Vikram S. Adve

Swarup Kumar Sahoo, John Criswell, Chase Geigle, Vikram S. Adve: Using likely invariants for automated software fault localization. ASPLOS 2013: 139-152

Stephen Heumann, Vikram S. Adve, Shengjie Wang: The tasks with effects model for safe concurrency. PPOPP 2013: 239-250

Ryan M. Lefever, Vikram S. Adve, William H. Sanders: A Mirrored Data Structures Approach to Diverse Partial Memory Replication. EDCC 2012: 61-72

Will Dietz, Peng Li, John Regehr, Vikram S. Adve: Understanding integer overflow in C/C++. ICSE 2012: 760-770

Byn Choi, Rakesh Komuravelli, Hyojin Sung, Robert Smolinski, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Nicholas P. Carter, Ching-Tsun Chou: DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism. PACT 2011: 155-166

Robert L. Bocchino Jr., Vikram S. Adve: Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks. ECOOP 2011: 306-332

Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman: Safe nondeterminism in a deterministic-by-default parallel language. POPL 2011: 535-548

Ryan M. Lefever, Vikram S. Adve, William H. Sanders: Diverse Partial Memory Replication. DSN 2010: 71-80

Swarup Kumar Sahoo, John Criswell, Vikram S. Adve: An empirical study of reported bugs in server software with implications for automated bug diagnosis. ICSE (1) 2010: 485-494

James C. Hoe, Vikram S. Adve (Eds.): Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010. ACM 2010, isbn 978-1-60558-839-1

Andrew Lenharth, Vikram S. Adve, Samuel T. King: Recovery domains: an organizing principle for recoverable operating systems. ASPLOS 2009: 49-60

Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr., Jeffrey Overbey, Vikram S. Adve, Ralph E. Johnson: Inferring Method Effect Summaries for Nested Heap Regions. ASE 2009: 421-432

Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian: A type and effect system for deterministic parallel Java. OOPSLA 2009: 97-116

John Criswell, Nicolas Geoffray, Vikram S. Adve: Memory Safety for Low-Level Software/Hardware Interactions. USENIX Security Symposium 2009: 83-100

Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou: Understanding the propagation of hard errors to software and implications for resilient system design. ASPLOS 2008: 265-276

Man-Lap Li, Pradeep Ramachandran, Swarup Kumar Sahoo, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou: Trace-based microarchitecture-level diagnosis of permanent hardware faults. DSN 2008: 22-31

Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandran, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou: Using likely program invariants to detect hardware errors. DSN 2008: 70-79

Robert L. Bocchino Jr., Vikram S. Adve, Bradford L. Chamberlain: Software transactional memory for large scale clusters. PPOPP 2008: 247-258

Vikram S. Adve, María Jesús Garzarán, Paul Petersen (Eds.): Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers. Lecture Notes in Computer Science 5234, Springer 2008, isbn 978-3-540-85260-5

David Gregg, Vikram S. Adve, Brian N. Bershad (Eds.): Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008. ACM 2008, isbn 978-1-59593-796-4

Chris Lattner, Andrew Lenharth, Vikram S. Adve: Making context-sensitive points-to analysis with heap cloning practical for the real world. PLDI 2007: 278-289

John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve: Secure virtual architecture: a safe execution environment for commodity operating systems. SOSP 2007: 351-366

Dinakar Dhurjati, Vikram S. Adve: Efficiently Detecting All Dangling Pointer Uses in Production Servers. DSN 2006: 269-280

Dinakar Dhurjati, Vikram S. Adve: Backwards-compatible array bounds checking for C with very low overhead. ICSE 2006: 162-171

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve: SAFECode: enforcing alias analysis for weakly typed languages. PLDI 2006: 144-157

Robert L. Bocchino Jr., Vikram S. Adve: Vector LLVA: a virtual vector instruction set for media processing. VEE 2006: 46-56

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner: Memory safety without garbage collection for embedded applications. ACM Trans. Embedded Comput. Syst. 4(1): 73-111 (2005)

Chris Lattner, Vikram S. Adve: Transparent pointer compression for linked data structures. Memory System Performance 2005: 24-35

Vikram S. Adve, Adnan Agbaria, Matti A. Hiltunen, Ravishankar K. Iyer, Kaustubh R. Joshi, Zbigniew Kalbarczyk, Ryan M. Lefever, Raymond Plante, William H. Sanders, Richard D. Schlichting: A Compiler-Enabled Model- and Measurement-Driven Adaptation Environment for Dependability and Performance. IPDPS 2005

Chris Lattner, Vikram S. Adve: Automatic pool allocation: improving performance by controlling data structure layout in the heap. PLDI 2005: 129-142

Qing Yi, Ken Kennedy, Vikram S. Adve: Transforming Complex Loop Nests for Locality. The Journal of Supercomputing 27(3): 219-264 (2004)

Vikram S. Adve, Mary K. Vernon: Parallel program performance prediction using deterministic task graph analysis. ACM Trans. Comput. Syst. 22(1): 94-136 (2004)

Chris Lattner, Vikram S. Adve: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. CGO 2004: 75-88

Brian Ensink, Vikram S. Adve: Coordinating Adaptations in Distributed Systems. ICDCS 2004: 446-455

Vikram S. Adve, Michael Brukman, Alkis Evlogimenos, Brian Gaeke: Software Implications of Virtual Instruction Set Computers. IPDPS Next Generation Software Program - NSFNGS - PI Workshop 2004

Chris Lattner, Vikram S. Adve: The LLVM Compiler Framework and Infrastructure Tutorial. LCPC 2004: 15-16

Brian Ensink, Joel Stanley, Vikram S. Adve: Program Control Language: a programming language for adaptive distributed applications. J. Parallel Distrib. Comput. 63(11): 1082-1104 (2003)

Vikram S. Adve, James C. Browne, Brian Ensink, John R. Rice, Patricia J. Teller, Mary K. Vernon, Stephen J. Wright: An Approach to Optimizing Adaptive Parabolic PDE Solvers for the Grid. IPDPS 2003: 210

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner: Memory safety without runtime checks or garbage collection. LCTES 2003: 69-80

Vikram S. Adve, Chris Lattner, Michael Brukman, Anand Shukla, Brian Gaeke: LLVA: A Low-level Virtual Instruction Set Architecture. MICRO 2003: 205-216

John M. Mellor-Crummey, Vikram S. Adve, Bradley Broom, Daniel G. Chavarría-Miranda, Robert J. Fowler, Guohua Jin, Ken Kennedy, Qing Yi: Advanced optimization strategies in the Rice dHPF compiler. Concurrency and Computation: Practice and Experience 14(8-9): 741-767 (2002)

Vikram S. Adve, Rajive Bagrodia, Ewa Deelman, Rizos Sakellariou: Compiler-Optimized Simulation of Large-Scale Applications on High Performance Architectures. J. Parallel Distrib. Comput. 62(3): 393-426 (2002)

Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve: Ensuring code safety without runtime checks for real-time control systems. CASES 2002: 288-297

Vikram S. Adve, Afolami Akinsanmi, James C. Browne, Det Buaklee, Guoshen Deng, Vinh Vi Lam, Trevor Morgan, John R. Rice, Gregory J. Rodin, Patricia J. Teller, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright: Model-Based Control of Adaptive Applications: An Overview. IPDPS 2002

Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve: Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization. IPDPS 2002

Chris Lattner, Vikram S. Adve: Automatic pool allocation for disjoint data structures. MSP/ISMM 2002: 13-24

Vikram S. Adve, John M. Mellor-Crummey: Advanced Code Generation for High Performance Fortran. Compiler Optimizations for Scalable Parallel Systems Languages 2001: 553-596

Vikram S. Adve, Vinh Vi Lam, Brian Ensink: Language and Compiler Support for Adaptive Distributed Applications. LCTES/OM 2001: 238-246

Ewa Deelman, Rajive Bagrodia, Rizos Sakellariou, Vikram S. Adve: Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis. Workshop on Parallel and Distributed Simulation 2001: 5-13

Vikram S. Adve, Rajive Bagrodia, James C. Browne, Ewa Deelman, Aditya Dube, Elias N. Houstis, John R. Rice, Rizos Sakellariou, David Sundaram-Stukel, Patricia J. Teller, Mary K. Vernon: POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems. IEEE Trans. Software Eng. 26(11): 1027-1048 (2000)

Vikram S. Adve, Rizos Sakellariou: Compiler Synthesis of Task Graphs for Parallel Program Performance Prediction. LCPC 2000: 208-226

Qing Yi, Vikram S. Adve, Ken Kennedy: Transforming loops to recursion for multi-level memory hierarchies. PLDI 2000: 169-181

Vikram S. Adve, Rajive Bagrodia, Ewa Deelman, Thomas Phan, Rizos Sakellariou: Compiler-Supported Simulation of Highly Scalable Parallel Applications. SC 1999: 1

John M. Mellor-Crummey, Vikram S. Adve: Simplifying Control Flow in Compiler-Generated Parallel Code. International Journal of Parallel Programming 26(5): 613-638 (1998)

Vikram S. Adve, John M. Mellor-Crummey: Using Integer Sets for Data-Parallel Program Analysis and Optimization. PLDI 1998: 186-198

Vikram S. Adve, Guohua Jin, John M. Mellor-Crummey, Qing Yi: High Performance Fortran Compilation Techniques for Parallelizing Scientific Codes. SC 1998: 11

Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo, Richard L. Oliver, David Sundaram-Stukel, Harvey J. Wasserman, Vikram S. Adve, Rajive Bagrodia, James C. Browne, Elias N. Houstis, Olaf M. Lubeck, John R. Rice, Patricia J. Teller, Mary K. Vernon: Poems: end-to-end performance design of large parallel adaptive computational systems. WOSP 1998: 18-30

Hazim Abdel-Shafi, Jonathan Hall, Sarita V. Adve, Vikram S. Adve: An Evaluation of Fine-Grain Producer-Initiated Communication in Cache-Coherent Multiprocessors. HPCA 1997: 204-215

John M. Mellor-Crummey, Vikram S. Adve: Simplifying Control Flow in Compiler-Generated Parallel Code. LCPC 1997: 235-239

Vikram S. Adve, John M. Mellor-Crummey, Mark Anderson, Ken Kennedy, Jhy-Chun Wang, Daniel A. Reed: An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs. SC 1995: 50

Vikram S. Adve, Mary K. Vernon: Performance Analysis of Mesh Interconnection Networks with Deterministic Routing. IEEE Trans. Parallel Distrib. Syst. 5(3): 225-246 (1994)

Vikram S. Adve, Mary K. Vernon: The Influence of Random Delays on Parallel Execution Times. SIGMETRICS 1993: 61-73

Sarita V. Adve, Vikram S. Adve, Mark D. Hill, Mary K. Vernon: Comparison of Hardware and Software Cache Coherence Schemes. ISCA 1991: 298-308