Chandrasekhar Boyapati
- Research Area(s)
- Algorithms and Theory
- Software Engineering
Recent Professional Activities
- Keynote Speaker, ACM FSE 2012.
- Recepient of ACM SIGSOFT Impact Paper Award 2012.
- Program Committee Member, ACM FSE 2013.
More information on his research is available here.
Google Publications
-
Systematic Software Testing: The Korat Approach
Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
Foundations of Software Engineering (FSE), ACM (2012), pp. 1
Previous Publications
-
Efficient Modular Glass Box Software Model Checking
Michael Roberson, Chandrasekhar Boyapati
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2010), pp. 4-21
-
Efficient Software Model Checking of Soundness of Type Systems
Michael Roberson, Chandrasekhar Boyapati
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2008), pp. 493-504
-
A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language
Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati
Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM (2007), pp. 1-10
-
Efficient Software Model Checking of Data Structure Properties
Paul Darga, Chandrasekhar Boyapati
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2006), pp. 363-381
-
SafeJava: A Unified Type System for Safe Programming
Ph.D. Thesis, Electrical Engineering and Computer Science, MIT (2004)
-
Lazy Modular Upgrades in Persistent Object Stores
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2003), pp. 403-417
-
Ownership Types for Object Encapsulation
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
Principles of Programming Languages (POPL), ACM (2003), pp. 213-223
-
Ownership Types for Safe Region-Based Memory Management in Real-Time Java
Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Martin Rinard
Programming Language Design and Implementation (PLDI), ACM (2003), pp. 324-337
-
Aspect-Oriented Programming
Gregor Kiczales, John Lamping, Cristina Lopes, James Hugunin, Erik Hilsdale, Chandrasekhar Boyapati
Patent (2002)
-
Korat: Automated Testing Based on Java Predicates
Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
International Symposium on Software Testing and Analysis (ISSTA), ACM (2002), pp. 123-133
-
Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
Chandrasekhar Boyapati, Robert Lee, Martin Rinard
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2002), pp. 211-230
-
A Parameterized Type System for Race-Free Java Programs
Chandrasekhar Boyapati, Martin Rinard
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2001), pp. 56-69
