Themen fuer das Seminar aus Programmiersprachen 185.307 im SS 2010
==================================================================


1. Sumit Gulwani and Florian Zuleger.
   "The Reachability Bound Problem". 
   Proc. of PLDI 2010.

2. Saurabh Srivastava and Sumit Gulwani.
   "Program Verification using Templates over Predicate Abstraction".
   Proc. of  PLDI 2009.

3. Ashutosh Gupta, Rupak Majumdar and Andrey Rybalcheko. 
  "From Tests To Proofs".
   Proc. of TAcAS 2008.

4. Elvira Albert, Puri Arenas, Samir Genaim and German Puebla.
  "Automatic Inference of Upper Bounds for
   Recurrence Relations in Cost Analysis"
   Proc. of SAS 2008.

5. Aziem Chawdhary, Byron Cook, SumitGulwani, Mooly Sagiv,
   and Hongseok Yang
   "Ranking Abstractions"
   Proc. of CAV 2008

6. Karl Crary and Stephanie Weirich.
   "Resource Bound Certification"
   Proc. of POPL 2000

7. Christophet Healy, Mikael Sjoedin, Viresh Rustagi, David Whalley, and
   Robert van Engelen. 
   "Supporting Timing Analysis by Automatic Bounding of Loop Iterations"
    Journal of Time-Critical Computing Systems, 2000.

8. Bhargav S. Gulavani and Sumit Gulwani. 
   "A Numerical Abstract Domain Based on 
   Expression Abstraction and Max Operator 
   with Application in Timing Analysis".
   Proc. of CAV 2008.

9. Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, 
   Martin Hofmann. 
   "Carbon Credits for Resource-Bounded Computations Using Amortised 
   Analysis".   
   Proc. of FM 2009. 

9*. Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann. 
    "Static determination of quantitative resource usage for higher-order
    programs". 
    Proc. of POPL 2010.

10. Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, 
    Hans-Wolfgang Loidl, Robert F. Pointon. 
    "Automatic Amortised Worst-Case Execution Time Analysis". 
    Proc. of WCET 2007.

11. Ranjit Jhala and Rupak Majumdar.
    "Path Slicing".
    Proc. of PLDI 2005.