|
CSIL Courses
|
Seminar papers
Analyzing Memory Accesses in x86 Executables, by G. Balakrishnan, T. Reps.
13th Int'l Conf on Compiler Construction (CC), ETAPS'04.
Click here to access the paper
A BDD-based Model Checker for Recursive Programs, by J. Esparza, S. Schwoon.
Int'l Conf on Computer Aided Verification, CAV'01.
Click here to access the paper
Discovering Affine Equalities Using Random Interpretation, by
S. Gulwani, G. Necula.
Proc. of Principles of Programming Languages (POPL), 2003.
Click
here for the paper
Interpolation and SAT-based Model Checking, by K. McMillan.
Int'l Conf on Computer Aided Verification (CAV03).
Click
here for the paper
Summarizing Procedures in Concurrent Programs, by S. Quadeer, S. Rajamani, J. Rehof.
Proc. of Principles of Programming Languages (POPL), 2004.
Click
here for the paper
Scalable Error Detection using Boolean Satisfiability, by Y. Xie, A. Aiken.
Proc. of Principles of Programming Languages (POPL), 2005.
Click
here for the paper
CVC-Lite
Choose papers and present the aspects of the theorem prover.
Also the paper Simplifica
tion by Cooperating Decision Procedures, by Nelson and Oppen.