Chandrasekhar Boyapati's Publications

• ACM SIGSOFT Impact Paper Award 2012: Systematic Software Testing: The Korat Approach
  Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov.
  ACM Symposium on Foundations of Software Engineering
  (FSE 2012), Cary, North Carolina, November 2012. [ PostScript |  PDF ]
  The slides from the conference keynote presentation are also available. [ PowerPoint ]
  
  
  
• A Static Analysis for Automatic Detection of Atomicity Violations in Java Programs
  Michael Roberson and Chandrasekhar Boyapati.
  CSE-TR-569-11, Electrical Engineering and Computer Science Department, University of Michigan, February 2011. [ PostScript |  PDF ]
  
  
  
• Efficient Modular Glass Box Software Model Checking
  Michael Roberson and Chandrasekhar Boyapati.
  ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  (OOPSLA 2010), Reno/Tahoe, Nevada, October 2010. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint ]
  
  
  
• Efficient Software Model Checking of Soundness of Type Systems
  Michael Roberson, Melanie Harries, Paul Darga, Chandrasekhar Boyapati.
  ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  (OOPSLA 2008), Nashville, Tennessee, October 2008. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint ]
  
  
  
• A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language
  Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati.
  ACM Conference on Languages, Compilers, and Tools for Embedded Systems
  (LCTES 2007), San Diego, California, June 2007. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint ]
  
  
  
• Efficient Software Model Checking of Data Structure Properties
  Paul Darga and Chandrasekhar Boyapati.
  ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  (OOPSLA 2006), Portland, Oregon, October 2006. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint ]
  
  
  
• SafeJava: A Unified Type System for Safe Programming
  Chandrasekhar Boyapati.
  Ph.D. Thesis, Electrical Engineering and Computer Science, MIT, February 2004. [ PostScript |  PDF ]
  
  
  
• Lazy Modular Upgrades in Persistent Object Stores
  Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman.
  ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  (OOPSLA 2003), Anaheim, California, October 2003. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint |  PDF ]
  
  
  
• Safe Runtime Downcasts With Ownership Types
  Chandrasekhar Boyapati, Robert Lee, Martin Rinard.
  ECOOP International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
  (IWACO 2003), Darmstadt, Germany, July 2003. [ PostScript |  PDF ]
  
  
  
• Ownership Types for Safe Region-Based Memory Management in Real-Time Java
  Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Martin Rinard.
  ACM Conference on Programming Language Design and Implementation
  (PLDI 2003), San Diego, California, June 2003. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint |  PDF ]
  
  
  
• Ownership Types for Object Encapsulation
  Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira.
  ACM Symposium on Principles of Programming Languages
  (POPL 2003), New Orleans, Louisiana, January 2003. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint |  PDF ]
  This is an invited paper.
  
  
  
• Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
  Chandrasekhar Boyapati, Robert Lee, Martin Rinard.
  ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  (OOPSLA 2002), Seattle, Washington, November 2002. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint |  PDF ]
  Also here are the slides from my job talk. [ PowerPoint |  PDF ]
  
  
  
• Aspect-Oriented Programming
  Gregor Kiczales, John Lamping, Cristina Lopes, James Hugunin, Erik Hilsdale, Chandrasekhar Boyapati.
  U.S. Patent No. 6,467,086, issued October 2002. [ HTML ]
  
  
  
• Korat: Automated Testing Based on Java Predicates
  Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov.
  ACM International Symposium on Software Testing and Analysis
  (ISSTA 2002), Rome, Italy, July 2002. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint |  PDF ]
  This paper received an ACM SIGSOFT Distinguished Paper Award.
  This paper also received an ACM SIGSOFT Impact Paper Award in 2012.
  
  
  
• Safe Concurrent Programming in Java
  Chandrasekhar Boyapati, Robert Lee, Martin Rinard.
  MIT LCS/AI Student Oxygen Workshop
  (MIT SOW 2002), Gloucester, Massachusetts, July 2002. [ PostScript |  PDF ]
  
  
  
• Towards an Extensible Virtual Machine
  Chandrasekhar Boyapati.
  MIT-LCS-TR-842, Laboratory for Computer Science, MIT, April 2002. [ PostScript |  PDF ]
  
  
  
• A Parameterized Type System for Race-Free Java Programs
  Chandrasekhar Boyapati and Martin Rinard.
  ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
  (OOPSLA 2001), Tampa, Florida, October 2001. [ PostScript |  PDF ]
  The slides from the conference presentation are also available. [ PowerPoint |  PDF ]
  
  
  
• A Type System for Preventing Data Races
  Chandrasekhar Boyapati and Martin Rinard.
  MIT LCS/AI Student Oxygen Workshop
  (MIT SOW 2001), Gloucester, Massachusetts, July 2001. [ PostScript |  PDF ]
  
  
  
• JPS: A Distributed Persistent Java System
  Chandrasekhar Boyapati.
  S.M. Thesis, Electrical Engineering and Computer Science, MIT, September 1998. [ PostScript |  PDF ]
  
  
  
• Worst Case Efficient Data Structures for Priority Queues and Deques With Heap Order
  Chandrasekhar Boyapati.
  B.Tech. Thesis, Computer Science and Engineering, IIT Madras, May 1996. [ PostScript |  PDF ]
  
  
  
• Relaxed Fibonacci Heaps: An Alternative to Fibonacci Heaps With Worst Case Rather Than Amortized Time Bounds
  Chandrasekhar Boyapati and C. Pandu Rangan.
  TR-TCS-95-07, Theoretical Computer Science Laboratory, IIT Madras, November 1995. [ PostScript |  PDF ]
  
  
  
• On O(1) Concatenation of Deques With Heap Order
  Chandrasekhar Boyapati and C. Pandu Rangan.
  TR-TCS-95-05, Theoretical Computer Science Laboratory, IIT Madras, March 1995. [ PostScript |  PDF ]
  
  
  

Copyright Notice