@ilyasergey Drove me crazy when trying to organize a PC. It’s some kind of 90s era superstition that it protects you from evil spamming spirits. As if.
@miniapeur My shamelessness knows no bounds: here is a book on using simplicial complexes to analyze coordination problems in distributed systems https://t.co/Tu963q7pFr
5th International Workshop on Formal Methods for Blockchains - Third Call
https://t.co/6p2A8929UU
April 07, 2024, Luxembourg City, Luxembourg
Co-located with the european joint conferences on
theory and practice of software (ETAPS 2024)
https://t.co/dvhJzagzue
So @mpherlihy is talking about functional programming in his class and I'm resisting very, very hard the temptation to wander into the classroom (which is next to my office, and has an open door) and sit in the back row. <-;
A little video on our new Insights system! With it, Mentor can now do full program repair on each of the issues it finds across entire repositories.
With @CloudNativeFdn repos alone, we've exceeded over 1B LoC inference with Mentor. And more to come!
One month to AFT'23 paper submission deadline.
*Note new paper format* (similar text volume, open-access publication with LIPIcs).
https://t.co/Fud3eZHjvF
Deeply honored and grateful to receive the @NSF CAREER Award, and excited to work on addressing the next-generation software security challenges! Many thanks to all the students and mentors that made this happen!! #nsf#career#brownssl
This year, the National Centre for Scientific Research (@CNRS) invited only a dozen outstanding researchers to be part of its inaugural Fellow-Ambassadeur program, and one of them was An Wang Professor of Computer Science @mpherlihy of @BrownCSDept: https://t.co/VhCl5GmmDA