Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research [2019/04/11 20:30]
alex
research [2019/07/11 14:38] (current)
alex
Line 10: Line 10:
  
 ==2019== ==2019==
-  * The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations {{papers:​axiomprofiler.pdf|Pdf}} 
-    * Nils Becker and [[http://​www.pm.inf.ethz.ch/​|Peter Müller]] and [[start|Alexander J. Summers]] 
-    * To appear at [[https://​conf.researchr.org/​track/​etaps-2019/​tacas-2019-papers|TACAS 2019]] 
   * Leveraging Rust Types for Modular Specification and Verification {{papers:​prusti.pdf|Pdf (draft)}}   * Leveraging Rust Types for Modular Specification and Verification {{papers:​prusti.pdf|Pdf (draft)}}
     * [[http://​www.pm.inf.ethz.ch/​people/​person-detail.html?​persid=190772|Vytautas Astrauskas]] and [[http://​www.pm.inf.ethz.ch/​|Peter Müller]] and [[http://​www.pm.inf.ethz.ch/​people/​person-detail.html?​persid=240652|Federico Poli]] and [[start|Alexander J. Summers]]     * [[http://​www.pm.inf.ethz.ch/​people/​person-detail.html?​persid=190772|Vytautas Astrauskas]] and [[http://​www.pm.inf.ethz.ch/​|Peter Müller]] and [[http://​www.pm.inf.ethz.ch/​people/​person-detail.html?​persid=240652|Federico Poli]] and [[start|Alexander J. Summers]]
 +    * To appear at [[https://​conf.researchr.org/​track/​splash-2019/​splash-2019-oopsla|OOPSLA 2019]]
 +  * Modular Verification of Heap Reachability Properties in Separation Logic {{papers:​graphs.pdf|Pdf (draft)}}
 +    * [[https://​www.pm.inf.ethz.ch/​people/​person-detail.html?​persid=220074|Arshavir Ter-Gabrielyan]] and [[start|Alexander J. Summers]] and [[http://​www.pm.inf.ethz.ch/​|Peter Müller]]
 +  * The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations {{papers:​axiomprofiler.pdf|Pdf}}
 +    * Nils Becker and [[http://​www.pm.inf.ethz.ch/​|Peter Müller]] and [[start|Alexander J. Summers]]
 +    * Presented at [[https://​conf.researchr.org/​track/​etaps-2019/​tacas-2019-papers|TACAS 2019]]
  
 ==2018== ==2018==