Sotabase

Career

· Professor, University of Toronto2000–

Publications (166)

LLVM: a compilation framework for lifelong program analysis & transformation
International Symposium on Code Generation and Optimization, 2004. CGO 2004. · 2004
6,018
cited
A type and effect system for deterministic parallel Java
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2009
388
cited
Understanding the propagation of hard errors to software and implications for resilient system design
International Conference on Architectural Support for Programming Languages and Operating Systems · 2008
288
cited
Making context-sensitive points-to analysis with heap cloning practical for the real world
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2007
284
cited
Backwards-compatible array bounds checking for C with very low overhead
International Conference on Software Engineering · 2006
232
cited
Automatic pool allocation: improving performance by controlling data structure layout in the heap
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2005
230
cited
Parallel programming must be deterministic by default
2009
226
cited
KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels
IEEE Symposium on Security and Privacy · 2014
220
cited
SAFECode: enforcing alias analysis for weakly typed languages
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2005
190
cited
DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism
International Conference on Parallel Architectures and Compilation Techniques · 2011
189
cited
Secure virtual architecture: a safe execution environment for commodity operating systems
Symposium on Operating Systems Principles · 2007
166
cited
Understanding integer overflow in C/C++
International Conference on Software Engineering · 2012
165
cited
Software transactional memory for large scale clusters
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming · 2008
162
cited
Poems: end-to-end performance design of large parallel adaptive computational systems
Workshop on Software and Performance · 1998
160
cited
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation
International Conference on Architectural Support for Programming Languages and Operating Systems · 2015
154
cited
Performance Analysis of Mesh Interconnection Networks with Deterministic Routing
IEEE Trans. Parallel Distributed Syst. · 1994
150
cited
Using likely program invariants to detect hardware errors
Dependable Systems and Networks · 2008
139
cited
An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs
Proceedings of the IEEE/ACM SC95 Conference · 1995
134
cited
Virtual ghost: protecting applications from hostile operating systems
International Conference on Architectural Support for Programming Languages and Operating Systems · 2014
130
cited
Memory safety without runtime checks or garbage collection
ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems · 2003
114
cited
Sotabase
Vikram Adve | Researcher Profile | Sotabase | Sotabase