Vikram Adve

Affiliations: 
University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Google:
"Vikram Adve"

Children

Sign in to add trainee
Christopher A. Lattner grad student 2005 UIUC
Dinakar Dhurjati grad student 2006 UIUC
Robert L. Bocchino grad student 2010 UIUC
Andrew D. Lenharth grad student 2010 UIUC
Swarup K. Sahoo grad student 2012 UIUC
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Heumann ST, Tzannes A, Adve VS. (2016) Scalable Task Scheduling and Synchronization Using Hierarchical Effects Parallel Architectures and Compilation Techniques - Conference Proceedings, Pact. 2016: 125-137
Tzannes A, Heumann ST, Eloussi L, et al. (2016) Region and effect inference for safe parallelism Proceedings - 2015 30th Ieee/Acm International Conference On Automated Software Engineering, Ase 2015. 512-523
Dietz W, Li P, Regehr J, et al. (2015) Understanding integer overflow in C/C++ Acm Transactions On Software Engineering and Methodology. 25
Criswell J, Dautenhahn N, Adve V. (2014) Virtual Ghost: Protecting applications from hostile operating systems International Conference On Architectural Support For Programming Languages and Operating Systems - Asplos. 81-96
Criswell J, Dautenhahn N, Adve V. (2014) KCoFI: Complete control-flow integrity for commodity operating system kernels Proceedings - Ieee Symposium On Security and Privacy. 292-307
Heumann ST, Adve VS, Wang S. (2013) The tasks with effects model for safe concurrency Acm Sigplan Notices. 48: 239-250
Lefever RM, Adve VS, Sanders WH. (2012) A mirrored data structures approach to diverse partial memory replication Proceedings - 9th European Dependable Computing Conference, Edcc 2012. 61-72
Bocchino RL, Heumann S, Honarmand N, et al. (2011) Safe nondeterminism in a deterministic-by-default parallel language Acm Sigplan Notices. 46: 535-548
Choi B, Komuravelli R, Sung H, et al. (2011) DeNovo: Rethinking the memory hierarchy for disciplined parallelism Parallel Architectures and Compilation Techniques - Conference Proceedings, Pact. 155-166
Bocchino RL, Adve VS. (2011) Types, regions, and effects for safe programming with object-oriented parallel frameworks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6813: 306-332
See more...