University of Waterloo — Canada
Computer Science · Physical Sciences
13h-index1.3kcitations26works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Security and Verification in Computing(12), Parallel Computing and Optimization Techniques(9), Web Application Security Vulnerabilities(9), Logic, programming, and type systems(8), Advanced Malware Detection Techniques(8)
Publications26 total
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
The Australian National University·2026Open Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2020Open Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2019· 3 citedOpen Access
Compiler-driven performance
Computer Science and Software Engineering·2017
The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
Conference on Object-Oriented Programming Systems, Languages, and Applications·2017
Proceedings of the ACM on Programming Languages·2017· 30 citedOpen Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2015· 36 citedOpen Access
Transplantation proceedings·2014
ACM SIGPLAN Notices·2013· 4 cited
2013· 18 cited
2013· 286 cited
2012· 41 cited
ACM SIGPLAN Notices·2012· 9 cited
2011· 82 cited
ACM SIGPLAN Notices·2011· 21 cited
European Conference on Object-Oriented Programming·2011· 160 cited
JSLocker: flexible access control policies with delimited histories and revocation
Annual Information Security Symposium·2011· 1 cited
Lecture notes in computer science·2011· 86 cited
page 1 of 2Next →
Frequent Co-authors
Jan Vítek(16), Christian Hammer(5), Brian R. Burg(4), Johan Östlund(4), Tobias Wrigstad(4), Sylvain Lebresne(3), Bard Bloom(3), John K. Field(3), Nathaniel Nystrom(3), Rok Strniša(3), Francesco Zappa Nardelli(3), Ellen Arteca(3), Alexi Turcotte(3), Suresh Jagannathan(3), Alexandra Mirrlees-Black(3), Fabian Muehlboeck(3), Andreas Gal(2), Brendan Eich(2), Fadi Meawad(2), Floréal Morandat(2)