Matthew Parkinson
@ParkyMatthew
Followers
536
Following
688
Statuses
268
Working at Microsoft Research on various programming language things.
Cambridge, UK
Joined December 2015
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.
12
30
199
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:
0
0
3
RT @NewtonInstitute: 🗣️ Seminars are underway at the @NewtonGateway' 'Formal Specification and Validation at Scale' Open for Business event…
0
1
0
RT @ttforall: Congratulations @nikivazou and Simon Peyton-Jones for the Most Influential ICFP Paper Award of ICFP 2014 for the paper 'Refin…
0
21
0
@satnam6502 Have you heard about CHERIoT, The small embedded space is really interesting as you don't have virtual memory for isolation.
1
2
3
RT @DigitalUoM: ⚡️We have a special guest for #CDTS24! Andrew Paverd (@ajpaverd) from @msftsecresponse will be joining the 3rd panel sessio…
0
5
0
RT @heidiann360: Automatically generating new correct-by-construction distributed protocols. @davidchuyaya is going to be put me out of a j…
0
7
0
RT @CartesianGlee: Remember that IWACO is happening again in 2024! We have a full month to put together a description of ongoing work or ju…
0
3
0
RT @abgruszecki: And a gentle reminder: just a bit over a month remains until the IWACO'24 submission deadline on July 7th. If you want to…
0
2
0
RT @abgruszecki: Exciting news! IWACO'24 will start with a keynote by none other than Mark S. Miller (@marksammiller), on "Offer-safe Trade…
0
12
0
0
0
1
RT @ISMMconf: ISMM'24 Keynote 2: Euicheol Lim: Enabling the AI Revolution: Next-Generation Memory Solutions for AI Computing System Euiche…
0
1
0
RT @ISMMconf: ISMM'24 Keynote 1: Andreas Rossberg: Memory of Past and Future – Wasm’s Evolving Model of Store This should be a real treat,…
0
1
0
RT @heidiann360: We’re hiring! 🎉 We have openings for two postdocs to join us in Azure Research. One post in security & privacy ( https://t.…
0
19
0
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 :)
0
0
3