Australian National University — Australia
Computer Science · Physical Sciences
25h-index4.6kcitations148works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Parallel Computing and Optimization Techniques(77), Distributed systems and fault tolerance(52), Logic, programming, and type systems(28), Security and Verification in Computing(27), Advanced Data Storage Technologies(24)
Publications148 total
2023· 1 cited
2023
2023· 1 cited
2023· 13 cited
2023
page 1 of 8Next →
Frequent Co-authors
J. Eliot B. Moss(17), Stephen M. Blackburn(8), Adam Welc(7), Suresh Jagannathan(7), Daniel Frampton(6), Jan Vítek(6), Amer Diwan(5), Filip Pizlo(5), Martin Hirzel(4), Thomas VanDrunen(4), Robin Garner(3), Chris Hoffmann(3), Kathryn S. McKinley(3), Rotem Bentzur(3), Daniel Feinberg(3), Samuel Z. Guyer(3), Maria Jump(3), Han Lee(3), Aashish Phansalkar(3), Darko Stefanović(3)