Chandrasekhar Boyapati

12 papers A* 2A 7B 1Unranked 1

Year	Rank	Type	Title / Venue / Authors
2010	A	`conf`	Efficient modular glass box software model checking. OOPSLA Michael Roberson, Chandrasekhar Boyapati
2008	A	`conf`	Efficient software model checking of soundness of type systems. OOPSLA Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati
2007	B	`conf`	A type system for preventing data races and deadlocks in the java virtual machine language: 1. LCTES Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati
2006	—	`conf`	Efficient Software Model Checking of Data Structure Properties. Directed Model Checking Chandrasekhar Boyapati, Paul T. Darga
2006	A	`conf`	Efficient software model checking of data structure properties. OOPSLA Paul T. Darga, Chandrasekhar Boyapati
2003	A	`conf`	Lazy modular upgrades in persistent object stores. OOPSLA Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman
2003	A*	`conf`	Ownership types for object encapsulation. POPL Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
2003	A*	`conf`	Ownership types for safe region-based memory management in real-time Java. PLDI Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard
2003	—	`—`	Unified type system for safe programming. Chandrasekhar Boyapati
2002	A	`conf`	Korat: automated testing based on Java predicates. ISSTA Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
2002	A	`conf`	Ownership types for safe programming: preventing data races and deadlocks. OOPSLA Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard
2001	A	`conf`	A Parameterized Type System for Race-Free Java Programs. OOPSLA Chandrasekhar Boyapati, Martin C. Rinard

2025 Best paper conf

Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski