Concepedia

Author

Chandrasekhar Boyapati

Massachusetts Institute of Technology

Also Known As

Chandrasekhar Boyapati

41

Publications

2.8K

Citations

18

H-Index

26

Concepts

All Affiliations

Massachusetts Institute of TechnologyUniversity of MichiganBrandeis University
CB

About

Chandrasekhar Boyapati is an author at Massachusetts Institute of Technology specializing in software analysis, computer science, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

16

19

2.6K

2

Computer Science

16

19

2.6K

3

Computer Engineering

9

9

757

4

Computer Architecture

7

7

1K

5

Data Management

3

3

118

Chandrasekhar Boyapati

×

21

Publications

2.7K

Citations

17

H-Index

YearCitations

Korat

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov

ACM SIGSOFT Software Engineering Notes

2002

592

Ownership types for safe programming

Chandrasekhar Boyapati, Robert Lee, Martin Rinard

2002

567

A parameterized type system for race-free Java programs

Chandrasekhar Boyapati, Martin Rinard

2001

295

Korat

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov

2002

292

Ownership types for object encapsulation

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira

2003

216

Ownership types for safe region-based memory management in real-time Java

Chandrasekhar Boyapati, Alexandru Sălcianu, William S. Beebee,

ACM SIGPLAN Notices

2003

150

Ownership types for safe region-based memory management in real-time Java

Chandrasekhar Boyapati, Alexandru Sălcianu, William S. Beebee,

2003

105

Lazy modular upgrades in persistent object stores

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira,

2003

94

Korat

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov

ACM SIGSOFT Software Engineering Notes

2002

82

Ownership types for safe programming

Chandrasekhar Boyapati, Robert Lee, Martin Rinard

ACM SIGPLAN Notices

2002

63

Page 1