CSIL
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.