Computer Science · Physical Sciences
4h-index84citations6works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(5), Distributed systems and fault tolerance(5), Security and Verification in Computing(4), Formal Methods in Verification(1), GNSS positioning and interference(1)
Publications6 total
Computation of highly eccentric EMRIs to characterize background confusion noise in LISA
APS April Meeting Abstracts·2019
2016· 67 citedOpen Access
ACM SIGARCH Computer Architecture News·2016· 4 cited
ACM SIGOPS Operating Systems Review·2016· 5 cited
ACM SIGPLAN Notices·2016· 4 cited
arXiv (Cornell University)·2016· 4 citedOpen Access
Frequent Co-authors
Sidney Amani(5), Zilin Chen(5), Christine Rizkallah(5), Liam O’Connor(5), Yutaka Nagashima(5), Japheth Lim(5), Thomas Sewell(5), Gabriele Keller(5), Toby Murray(5), Gerwin Klein(5), Peter Chubb(4), Joel Beeren(4), Joseph Tuong(4), Gernot Heiser(4), Aaron M. Johnson(1), Alex Osborne(1), Daniel J Oliver(1), Daniel Kennefick(1)