Maurice Herlihy (now mauriceh.bsky.social)

CS Prof Brown

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

@Hesam51240 Yes, I am advising BlockDAG

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

My course announcement for next semester

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

@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.

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

@ShriramKMurthi USA has a cricket team?

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

@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

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

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

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

Shriram is always welcome in my lectures, especially if he is eager to learn about this newfangled functional programming fad!

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

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. <-;

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

Seeking Tenure-Track Assistant Professor, Architecture & Databases https://t.co/eBny52RO5L

[Justin ("Goju") Gottschlich @j_gottschlich]

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!

[CNRS Sciences informatiques @CNRSinformatics]

#Portrait|"Devenir Fellow Ambassadeur @CNRS permet de créer des liens étroits entre les communautés de recherche et de stimuler les échanges"Maurice Herlihy @mpherlihy, professeur d’#informatique à @BrownUniversity
➡️https://t.co/xylATYN6Jj
🤝@LIP6_lab @CNRS_Paris @Sorbonne_Univ_

[CNRS Sciences informatiques @CNRSinformatics]

#Portrait | Maurice Herlihy @mpherlihy, professeur d’#informatique spécialiste des systèmes distribués à @BrownUniversity est nommé #fellow ambassadeur du @CNRS. Il rejoint le @LIP6_lab pendant un mois cette année.
➡️ https://t.co/8zpWNdTrTt
🤝 @CNRS_Paris @Sorbonne_Univ_

[Ittay Eyal @ittayeyal]

One month to AFT'23 paper submission deadline.
*Note new paper format* (similar text volume, open-access publication with LIPIcs).
https://t.co/Fud3eZHjvF

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

@lupindemid @ilyasergey Start over?

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

Hmm …

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

@ilyasergey https://t.co/sBtkxuGOH8

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

@AndrewCMyers @ilyasergey https://t.co/sBtkxuGOH8

[Vasileios Kemerlis @vkemerlis]

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

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

@ShriramKMurthi Can your colleagues participate in this event?

[Brown CS @BrownCSDept]

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

[Maurice Herlihy (now mauriceh.bsky.social) @mpherlihy]

@ZachWeiner https://t.co/tNuHzXpQqc