arrow
Back
M

Maurice Herlihy

brown university

61H-index
466Paper Count
2.4WCitation Count
Published Papers 10
Publication Date
Distributed runtime verification of metric temporal properties
err2024-03-01
err3
PREAI
errGanguly, Ritam; Xue, Yingjie; Jonckheere, Aaron; Ljung, Parker; Schornstein, Benjamin; Bonakdarpour, Borzoo; Herlihy, Maurice
errShare
errSave
Energy-Efficient and High-Performance Lock Speculation Hardware for Embedded Multicore Systems
err2015-05-21
err2
PREAI
errPapagiannopoulou, Dimitra; Capodanno, Giuseppe; Moreshet, Tali; Herlihy, Maurice; Bahar, R. Iris
errShare
errSave
errShare
errSave
errShare
errSave
Composable memory transactions
err2008-08-01
err33
PREAI
errHarris, Tim; Marlow, Simon; Jones, Simon Peyton; Herlihy, Maurice
errShare
errSave
errShare
errSave
errShare
errSave