The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chandrasekhar Boyapati: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
    Korat: automated testing based on Java predicates. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:123-133 [Conf]
  2. Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard
    Ownership types for safe programming: preventing data races and deadlocks. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:211-230 [Conf]
  3. Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman
    Lazy modular upgrades in persistent object stores. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2003, pp:403-417 [Conf]
  4. Chandrasekhar Boyapati, Martin C. Rinard
    A Parameterized Type System for Race-Free Java Programs. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2001, pp:56-69 [Conf]
  5. Paul T. Darga, Chandrasekhar Boyapati
    Efficient software model checking of data structure properties. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2006, pp:363-382 [Conf]
  6. Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard
    Ownership types for safe region-based memory management in real-time Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:324-337 [Conf]
  7. Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira
    Ownership types for object encapsulation. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:213-223 [Conf]
  8. Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati
    A type system for preventing data races and deadlocks in the java virtual machine language: 1. [Citation Graph (0, 0)][DBLP]
    LCTES, 2007, pp:10- [Conf]

  9. Efficient Software Model Checking of Data Structure Properties. [Citation Graph (, )][DBLP]


  10. Efficient software model checking of soundness of type systems. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002