Travelled to:1 × Italy
9 × USA
Collaborated with:M.Roberson M.C.Rinard P.T.Darga B.Liskov L.Shrira P.Permandla S.Khurshid D.Marinov R.Lee M.Harries A.Salcianu W.S.Beebee C.Moh S.Richman
Talks about:type (6) java (4) ownership (3) softwar (3) system (3) effici (3) model (3) check (3) race (3) data (3)
Person: Chandrasekhar Boyapati
DBLP: Boyapati:Chandrasekhar
Contributed to:
20102008
200720062003
2003
2003
200220022001Wrote 10 papers:
- OOPSLA-2010-RobersonB #composition #model checking #performance
- Efficient modular glass box software model checking (MR, CB), pp. 4–21.
- OOPSLA-2008-RobersonHDB #model checking #performance #type system
- Efficient software model checking of soundness of type systems (MR, MH, PTD, CB), pp. 493–504.
- LCTES-2007-PermandlaRB #java #type system #virtual machine
- A type system for preventing data races and deadlocks in the java virtual machine language: 1 (PP, MR, CB), p. 10.
- OOPSLA-2006-DargaB #data type #model checking #performance
- Efficient software model checking of data structure properties (PTD, CB), pp. 363–382.
- OOPSLA-2003-BoyapatiLSMR #composition #lazy evaluation #persistent
- Lazy modular upgrades in persistent object stores (CB, BL, LS, CHM, SR), pp. 403–417.
- PLDI-2003-BoyapatiSBR #java #memory management #realtime
- Ownership types for safe region-based memory management in real-time Java (CB, AS, WSB, MCR), pp. 324–337.
- POPL-2003-BoyapatiLS #encapsulation
- Ownership types for object encapsulation (CB, BL, LS), pp. 213–223.
- ISSTA-2002-BoyapatiKM #automation #java #named #testing
- Korat: automated testing based on Java predicates (CB, SK, DM), pp. 123–133.
- OOPSLA-2002-BoyapatiLR #programming
- Ownership types for safe programming: preventing data races and deadlocks (CB, RL, MCR), pp. 211–230.
- OOPSLA-2001-BoyapatiR #java #source code #type system
- A Parameterized Type System for Race-Free Java Programs (CB, MCR), pp. 56–69.