×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [program analyses]
Home >
program analyses
EChang-SystemsBiology
338 views
Future Endeavors in Automated Refactoring of Legacy Java Software to Enumerated Types
957 views
Summarizing Procedures in Concurrent Programs Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research.
216 views
Please remove your earplugs :-). Program Analyses: A Consumers Perspective Matthias Felleisen Rice University Houston, Texas.
213 views
Dependence flow graph for analysis
77 views
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,
222 views
Advanced Compiler Design CSE 231 Instructor: Sorin Lerner.
237 views
Hiperspace Lab University of Delaware Antony, Sara, Mike, Ben, Dave, Sreedevi, Emily, and Lori.
213 views
End-User Program Analysis Bor-Yuh Evan Chang University of California, Berkeley Dissertation Talk August 28, 2008 Advisor: George C. Necula, Collaborator:
215 views
Precise Memory Leak Detection for Java Software Using Container Profiling Guoqing Xu, Atanas Rountev Program analysis and software tools group Ohio State.
217 views
Architecture for a Next-Generation GCC Chris Lattner
[email protected]
Vikram Adve
[email protected]
The First Annual GCC Developers'
215 views
ROSE Tutorial
90 views
Next >