Chandrasekhar Boyapati

Publications

2.7K

Citations

H-Index

2001

Active since

Affiliations

Massachusetts Institute of Technology(Current)

University of Michigan

Brandeis University

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

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisSoftware EngineeringProgram AnalysisFormal VerificationSystem SoftwareComputer EngineeringVerification

Publications per year

2001–2008

Publications

Korat

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov · ACM SIGSOFT Software Engineering Notes · 2002 · 592 citations

Automated Testing, Engineering, Automated Reasoning +15

Ownership types for safe programming

Chandrasekhar Boyapati, Robert Lee, Martin Rinard · 2002 · 567 citations

Engineering, Information Security, Safety Science +20

A parameterized type system for race-free Java programs

Chandrasekhar Boyapati, Martin Rinard · 2001 · 295 citations

Multithreaded Programs, Engineering, Data Races +15

Korat

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov · 2002 · 292 citations

Automated Testing, Engineering, Automated Reasoning +15

Ownership types for object encapsulation

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira · 2003 · 216 citations

Engineering, Ownership Theory, Verification +18

Rows per page

1–5 of 21