Chandrasekhar Boyapati

Chandrasekhar Boyapati works on Google Search. Prior to joining Google he served on the faculty of the Department of Electrical Engineering and Computer Science at the University of Michigan at Ann Arbor, where he conducted research in Programming Languages, Compilers, Software Engineering, and Formal Methods, and taught a variety of graduate and undergraduate courses. Dr. Boyapati has a Ph.D. in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology and B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Madras.

Recent Professional Activities


More information on his research is available here.

Google Publications

Previous Publications

  •   

    Efficient Modular Glass Box Software Model Checking

    Michael Roberson, Chandrasekhar Boyapati

    Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2010), pp. 4-21

  •   

    Efficient Software Model Checking of Soundness of Type Systems

    Michael Roberson, Chandrasekhar Boyapati

    Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2008), pp. 493-504

  •   

    A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language

    Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati

    Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM (2007), pp. 1-10

  •   

    Efficient Software Model Checking of Data Structure Properties

    Paul Darga, Chandrasekhar Boyapati

    Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2006), pp. 363-381

  •   

    SafeJava: A Unified Type System for Safe Programming

    Chandrasekhar Boyapati

    Ph.D. Thesis, Electrical Engineering and Computer Science, MIT (2004)

  •   

    Lazy Modular Upgrades in Persistent Object Stores

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

    Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2003), pp. 403-417

  •   

    Ownership Types for Object Encapsulation

    Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira

    Principles of Programming Languages (POPL), ACM (2003), pp. 213-223

  •   

    Ownership Types for Safe Region-Based Memory Management in Real-Time Java

    Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Martin Rinard

    Programming Language Design and Implementation (PLDI), ACM (2003), pp. 324-337

  •   

    Aspect-Oriented Programming

    Gregor Kiczales, John Lamping, Cristina Lopes, James Hugunin, Erik Hilsdale, Chandrasekhar Boyapati

    Patent (2002)

  •   

    Korat: Automated Testing Based on Java Predicates

    Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov

    International Symposium on Software Testing and Analysis (ISSTA), ACM (2002), pp. 123-133

  •   

    Ownership Types for Safe Programming: Preventing Data Races and Deadlocks

    Chandrasekhar Boyapati, Robert Lee, Martin Rinard

    Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2002), pp. 211-230

  •   

    A Parameterized Type System for Race-Free Java Programs

    Chandrasekhar Boyapati, Martin Rinard

    Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), ACM (2001), pp. 56-69