- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2001 A Parameterized Type System for Race-Free Java Programs
- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2010 Efficient Modular Glass Box Software Model Checking
- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2008 Efficient Software Model Checking of Soundness of Type Systems
- Laboratory for Computer ScienceLaboratory for Computer Science Massachusetts Institute of TechnologyMassachusetts Institute of Technology
- Safe Concurrent Programming in Java Chandrasekhar Boyapati CHANDRA@LCS.MIT.EDU
- Towards An Extensible Virtual Machine Chandrasekhar Boyapati
- A Type System for Preventing Data Races Chandrasekhar Boyapati CHANDRA@LCS.MIT.EDU
- Relaxed Fibonacci heaps: An alternative to Fibonacci heaps with worst case rather than
- On O(1) concatenation of deques with heap order Chandrasekhar Boyapati C. Pandu Rangan
- Lazy Modular Upgrades in Persistent Object Stores
- JPS: A Distributed Persistent Java System Chandrasekhar Boyapati
- Towards An Extensible Virtual Machine Chandrasekhar Boyapati
- ACM Symposium on Principles of Programming Languages (POPL), January 2003 Ownership Types for Object Encapsulation
- ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 2007 A Type System for Preventing Data Races and Deadlocks in the
- Automated Testing Based on Java Predicates Sarfraz Khurshid, MIT
- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), November 2002 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
- A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs
- ACM Conference on ObjectOriented Programming, Systems, Languages and Applications (OOPSLA), October 2008 Efficient Software Model Checking of Soundness of Type Systems
- ACM Conference on Programming Language Design and Implementation (PLDI), June 2003 Ownership Types for Safe RegionBased Memory
- ACM International Symposium on Software Testing and Analysis (ISSTA), July 2002. Winner of an ACM SIGSOFT Distinguished Paper Award. Korat: Automated Testing Based on Java Predicates
- Safe Concurrent Programming in Java Chandrasekhar Boyapati CHANDRA@LCS.MIT.EDU
- ACM Conference on ObjectOriented Programming, Systems, Languages and Applications (OOPSLA), October 2006 Efficient Software Model Checking of Data Structure Properties
- SafeJava: A Unified Type System for Safe Programming Chandrasekhar Boyapati
- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2003 Lazy Modular Upgrades in Persistent Object Stores
- A Parameterized Type System for Race-Free Java Programs
- Worst Case Efficient Data Structures for Priority Queues and Deques with Heap Order
- ACM Conference on ObjectOriented Programming, Systems, Languages and Applications (OOPSLA), November 2002 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
- JPS: A Distributed Persistent Java System Chandrasekhar Boyapati
- Safe Runtime Downcasts With Ownership Types Chandrasekhar Boyapati, Robert Lee, and Martin Rinard
- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2003 Lazy Modular Upgrades in Persistent Object Stores
- Chandrasekhar BoyapatiChandrasekhar Boyapati Laboratory for Computer ScienceLaboratory for Computer Science
- A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs
- Safe Runtime Downcasts With Ownership Types Chandrasekhar Boyapati, Robert Lee, and Martin Rinard
- Ownership Types for Safe Programming:Ownership Types for Safe Programming: Preventing Data Races and DeadlocksPreventing Data Races and Deadlocks
- ACM Symposium on Principles of Programming Languages (POPL), January 2003 Ownership Types for Object Encapsulation
- ACM Conference on Programming Language Design and Implementation (PLDI), June 2003 Ownership Types for Safe Region-Based Memory
- On O(1) concatenation of deques with heap order Chandrasekhar Boyapati C. Pandu Rangan
- Ownership Types for ObjectOwnership Types for Object EncapsulationEncapsulation
- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2006 Efficient Software Model Checking of Data Structure Properties
- SafeJava: A Unified Type System for Safe Programming Chandrasekhar Boyapati
- ACM International Symposium on Software Testing and Analysis (ISSTA), July 2002. Winner of an ACM SIGSOFT Distinguished Paper Award. Korat: Automated Testing Based on Java Predicates
- ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 2007 A Type System for Preventing Data Races and Deadlocks in the
- ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2001 A Parameterized Type System for Race-Free Java Programs
- Relaxed Fibonacci heaps: An alternative to Fibonacci heaps with worst case rather than
- Worst Case Ecient Data Structures for Priority Queues and Deques with Heap Order
- ACM Conference on ObjectOriented Programming, Systems, Languages and Applications (OOPSLA), October 2010 Efficient Modular Glass Box Software Model Checking
