Differences

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

Link to this comparison view

Both sides previous revision Previous revision
research [2019/03/10 17:30]
alex
research [2019/04/11 20:30] (current)
alex
Line 13: Line 13:
     * Nils Becker and [[http://​www.pm.inf.ethz.ch/​|Peter Müller]] and [[start|Alexander J. Summers]]     * 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]]     * To appear at [[https://​conf.researchr.org/​track/​etaps-2019/​tacas-2019-papers|TACAS 2019]]
- 
-==2018== 
   * 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]]
 +
 +==2018==
   * Permission Inference for Array Programs {{papers:​array-inference.pdf|Pdf (extended)}}   * Permission Inference for Array Programs {{papers:​array-inference.pdf|Pdf (extended)}}
     * [[http://​www.pm.inf.ethz.ch/​people/​person-detail.html?​persid=173070|Jérôme Dohrau]], [[start|Alexander J. Summers]], [[https://​people.inf.ethz.ch/​caurban/​|Caterina Urban]], Severin Münger, and [[http://​www.pm.inf.ethz.ch/​|Peter Müller]]  ​     * [[http://​www.pm.inf.ethz.ch/​people/​person-detail.html?​persid=173070|Jérôme Dohrau]], [[start|Alexander J. Summers]], [[https://​people.inf.ethz.ch/​caurban/​|Caterina Urban]], Severin Münger, and [[http://​www.pm.inf.ethz.ch/​|Peter Müller]]  ​