Working at Microsoft Research on various programming language things.
Cambridge, UK
Joined December 2015
- Tweets262
- Following548
- Followers533
- Likes657
Pinned Tweet
I am immensely honoured that yesterday at #popl23 the Views paper has been names the “Most Influential Paper from POPL’13”. I have always loved POPL, and to receive this honour is truly amazing.
ALT Title: Views Compositional Reasoning for Concurrent Programs Authors: Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang
This was one of the best talks at the workshop. Mike provides great insight for anyone trying to pitch formal methods.
I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: mikedodds.github.io/files/ta…
Matthew Parkinson retweeted
🗣️ Seminars are underway at the @NewtonGateway' 'Formal Specification and Validation at Scale' Open for Business event.
Share your experience with us using the event hashtag #NewtonBSP2024!
ALT A person smiling while stood at a podium with the letters "INI" on it.
ALT A person with glasses concentrating on the ongoing lecture.
ALT A person with their hands slightly raised while stood at a podium with the letters "INI" on it.
ALT A side profile of a person watching an ongoing lecture.
📢 This week's Open for Business event in collaboration with the @NewtonGateway is on "Formal Specification and Validation at Scale", part of the Big Specification programme.
Share your experience with us using the event hashtag #NewtonBSP2024!
ALT A person engaged in a seminar talk while seated at a table.
ALT A sign on a table featuring the text "Sign-in Desk, Formal Specification and Validation at Scale, Monday 21st October 2024 to Tuesday 22nd October 2024, Isaac Newton Institute, Cambridge,".
ALT Many purple pens featuring the Newton Gateway to Mathematics Logo.
ALT A sliver tray full of numerous pastries.
Matthew Parkinson retweeted
Congratulations @nikivazou and Simon Peyton-Jones for the Most Influential ICFP Paper Award of ICFP 2014 for the paper 'Refinement Types for Haskell'
@icfp_conference
Matthew Parkinson retweeted
⚡️We have a special guest for #CDTS24! Andrew Paverd (@ajpaverd) from @msftsecresponse will be joining the 3rd panel session, join the waiting list for the chance to hear his expertise on Generative AI & security🦾🔒. Grab your free ticket: tinyurl.com/bdzb463w @UoM_CDTS xitter.cf/DigitalUoM/status/1806…
Matthew Parkinson retweeted
Automatically generating new correct-by-construction distributed protocols. @davidchuyaya is going to be put me out of a job!
Matthew Parkinson retweeted
Remember that IWACO is happening again in 2024! We have a full month to put together a description of ongoing work or just write an extended abstract on an interesting idea (I'm sure you have plenty!)
Glad to say that IWACO is happening again in 2024! If you didn't get your fix of Aliasing, Capabilities, and Ownership last year, now's your chance :) 2024.splashcon.org/home/iwac…
Matthew Parkinson retweeted
And a gentle reminder: just a bit over a month remains until the IWACO'24 submission deadline on July 7th. If you want to share your work involving Aliasing, Capabilities or Ownership with the community, you're more than welcome to submit! Find out more: 2024.splashcon.org/home/iwac…
Matthew Parkinson retweeted
Exciting news! IWACO'24 will start with a keynote by none other than Mark S. Miller (@marksammiller), on "Offer-safe Trade of Mutable Objects"! Sneak peek: it involves a missing piece to ownership systems allowing transfer and trade of exclusive rights to cause effects.
Matthew Parkinson retweeted
We’re hiring! 🎉 We have openings for two postdocs to join us in Azure Research. One post in security & privacy (jobs.careers.microsoft.com/g…) and one in systems & security (jobs.careers.microsoft.com/g…). Please help spread the word to final year phd students & early career researchers
IWACO was great fun last year. Let's make the next one even better.
Glad to say that IWACO is happening again in 2024! If you didn't get your fix of Aliasing, Capabilities, and Ownership last year, now's your chance :) 2024.splashcon.org/home/iwac…
Our team in Cambridge is looking to recruit two postdoc researchers to work in the space of Security/Privacy/Systems/PL. It's a great team to work in with a massive potential for impact. You also get @markrussinovich as your (skip-)skip-level manager as an added bonus. (1/4)
Matthew Parkinson retweeted
Please consider submitting a paper to ISMM 2024! It's a great conference with many innovations in memory management; particularly great ideas in GC have been published there. Also, the community is welcoming and fun. It's co-located with PLDI as always.
conf.researchr.org/home/ismm…
Ming-Ho is awesome. He did a great internship in Cambridge a few years back.
Hi! I'm finishing my PhD this spring and looking for industry work in 🇨🇦🇺🇸; Europe if fit is right.
Experience: compilers/PL impl, static analysis, recently code LLMs
Website: mhyee.com
If you're hiring or think I should apply somewhere, please DM! (And retweet!)