EChang-SystemsBiology
Future Endeavors in Automated Refactoring of Legacy Java Software to Enumerated Types
Summarizing Procedures in Concurrent Programs Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research.
Please remove your earplugs :-). Program Analyses: A Consumers Perspective Matthias Felleisen Rice University Houston, Texas.
BioPerl (Poster T02, ISMB 2010)
Dependence flow graph for analysis
Extensible Shape Analysis by Designing with the User in Mind Bor-Yuh Evan Chang Bor-Yuh Evan Chang, Xavier Rival, and George Necula University of California,
Advanced Compiler Design CSE 231 Instructor: Sorin Lerner.
Hiperspace Lab University of Delaware Antony, Sara, Mike, Ben, Dave, Sreedevi, Emily, and Lori.
End-User Program Analysis Bor-Yuh Evan Chang University of California, Berkeley Dissertation Talk August 28, 2008 Advisor: George C. Necula, Collaborator:
Architecture for a Next-Generation GCC Chris Lattner [email protected] Vikram Adve [email protected] The First Annual GCC Developers'