BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Boyapati:Chandrasekhar

Contributed to:

OOPSLA 20102010
OOPSLA 20082008
LCTES 20072007
OOPSLA 20062006
OOPSLA 20032003
PLDI 20032003
POPL 20032003
ISSTA 20022002
OOPSLA 20022002
OOPSLA 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.