Chandrasekhar Boyapati

According to our database, Chandrasekhar Boyapati authored at least 11 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

Efficient modular glass box software model checking.

Michael Roberson, Chandrasekhar Boyapati

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2008

Efficient software model checking of soundness of type systems.

Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

A type system for preventing data races and deadlocks in the java virtual machine language: 1.

Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

2006

Efficient Software Model Checking of Data Structure Properties.

Chandrasekhar Boyapati, Paul T. Darga

Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006

2003

Unified type system for safe programming.

Chandrasekhar Boyapati

PhD thesis, 2003

Ownership types for object encapsulation.

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Ownership types for safe region-based memory management in real-time Java.

Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Lazy modular upgrades in persistent object stores.

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002

Ownership types for safe programming: preventing data races and deadlocks.

Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Korat: automated testing based on Java predicates.

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001

A Parameterized Type System for Race-Free Java Programs.

Chandrasekhar Boyapati, Martin C. Rinard

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001