Chandrasekhar Boyapati

Assistant Professor, EECS Department, University of Michigan
Ph.D. Computer Science, MIT, 2004

Address
Department of Electrical Engineering and Computer Science
University of Michigan
Room 4628 CSE, 2260 Hayward Street, Ann Arbor, MI 48109-2121
1-734-763-9015 (voice)
1-734-763-8094 (fax)

Current Graduate Students
Melanie Agnew
Michael Roberson

Past Graduate Students
Paul Darga (Google)
Pratibha Permandla (Microsoft)

Teaching
EECS 590: Advanced Programming Languages (Winter 2009, Winter 2007, Winter 2006, Winter 2005, Winter 2004)
EECS 490: Programming Languages (Fall 2006, Fall 2005, Fall 2004)
EECS 183: Elementary Programming Concepts (Fall 2008, Winter 2008)

Professional Activities
PLDI 2010: ACM Programming Language Design and Implementation (External Review Committee)
SAS 2007: NIST Static Analysis Summit (Program Committee)
IWACO 2007: ECOOP International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (Program Committee)
SAC 2007: ACM Symposium on Applied Computing: Software Verification Track (Program Committee)
TAP 2007: IFIP Tests and Proofs (Program Committee)
OOPSLA 2006: ACM Object-Oriented Programming, Systems, Languages, and Applications (Program Committee)
COMPSAC 2006: IEEE Computer Software and Applications Conference (Program Committee)
PLDI 2004: ACM Programming Language Design and Implementation (Program Committee)
SOW 2002: MIT Student Oxygen Workshop (Program Committee)

Publications
Efficient Software Model Checking of Soundness of Type Systems (OOPSLA 2008)
A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language (LCTES 2007)
Efficient Software Model Checking of Data Structure Properties (OOPSLA 2006)
SafeJava: A Unified Type System for Safe Programming (MIT 2004)
Lazy Modular Upgrades in Persistent Object Stores (OOPSLA 2003)
Ownership Types for Safe Region-Based Memory Management in Real-Time Java (PLDI 2003)
Ownership Types for Object Encapsulation (POPL 2003)
Ownership Types for Safe Programming: Preventing Data Races and Deadlocks (OOPSLA 2002)
Korat: Automated Testing Based on Java Predicates (ISSTA 2002)
A Parameterized Type System for Race-Free Java Programs (OOPSLA 2001)
More...

Projects
SafeJava: A Next Generation Safe Programming Language
Program Analysis Techniques for Efficient Software Model Checking

Research
Chandra's primary research interest is software reliability, which spans the spectrum from programming languages, through program analysis, to software engineering. He is interested in all approaches for helping programmers write and maintain reliable software. He is particularly interested in type systems and software model checking techniques to improve software reliability. More information on his research is available here.

Biographical Sketch
Chandra Boyapati is an Assistant Professor in the Department of Electrical Engineering and Computer Science at the University of Michigan. He received his Ph.D. in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology, and his B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Madras. His curriculum vitae is available online.

Personal
Chandra and Lahari got married in December 2003 in Tirupati, India. Their daughter Asha was born in June 2007.