Chalice

Established: December 23, 2008

Publications

View by:

- Abstract Read Permissions: Fractional Permissions without the Fractions
  
  Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
  
  Proceedings 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 | January 2013
  
  Publication
- Stepwise Refinement of Heap-Manipulating Code in Chalice
  
  Rustan Leino, Kuat Yessenov
  
  December 2011
  
  Publication
- Fractional Permissions without the Fractions
  
  Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
  
  FTfJP'11, July 26, 2011, Lancaster, UK. | July 2011
  
  Publication
- Deadlock-Free Channels and Locks
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  ESOP 2010, Paphos, Cyprus | March 2010
  
  Publication
- Verifying Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  VMCAI, Madrid, Spain | January 2010
  
  Publication
- A Foundation for Verifying Concurrent Programs (Lecture 1)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  Publication Publication
- A Foundation for Verifying Concurrent Programs (Lecture 0)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  Publication Publication
- Verification of Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller, Jan Smans
  
  Foundations of Security Analysis and Design V | June 2009
  
  Publication Publication Publication
- A Basis for Verifying Multi-Threaded Programs
  
  Rustan Leino, Peter Müller
  
  ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | March 2009
  
  Publication Publication

- Abstract Read Permissions: Fractional Permissions without the Fractions
  
  Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
  
  Proceedings 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 | January 2013
  
  Publication
- Stepwise Refinement of Heap-Manipulating Code in Chalice
  
  Rustan Leino, Kuat Yessenov
  
  December 2011
  
  Publication
- Fractional Permissions without the Fractions
  
  Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
  
  FTfJP'11, July 26, 2011, Lancaster, UK. | July 2011
  
  Publication
- Deadlock-Free Channels and Locks
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  ESOP 2010, Paphos, Cyprus | March 2010
  
  Publication
- Verifying Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  VMCAI, Madrid, Spain | January 2010
  
  Publication
- A Foundation for Verifying Concurrent Programs (Lecture 1)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  Publication Publication
- A Foundation for Verifying Concurrent Programs (Lecture 0)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  Publication Publication
- Verification of Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller, Jan Smans
  
  Foundations of Security Analysis and Design V | June 2009
  
  Publication Publication Publication
- A Basis for Verifying Multi-Threaded Programs
  
  Rustan Leino, Peter Müller
  
  ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | March 2009
  
  Publication Publication

- Abstract Read Permissions: Fractional Permissions without the Fractions
  
  Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
  
  Proceedings 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 | January 2013
  
  Publication
- Stepwise Refinement of Heap-Manipulating Code in Chalice
  
  Rustan Leino, Kuat Yessenov
  
  December 2011
  
  Publication
- Fractional Permissions without the Fractions
  
  Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
  
  FTfJP'11, July 26, 2011, Lancaster, UK. | July 2011
  
  Publication
- Deadlock-Free Channels and Locks
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  ESOP 2010, Paphos, Cyprus | March 2010
  
  Publication
- Verifying Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  VMCAI, Madrid, Spain | January 2010
  
  Publication
- A Foundation for Verifying Concurrent Programs (Lecture 1)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  Publication Publication
- A Foundation for Verifying Concurrent Programs (Lecture 0)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  Publication Publication
- Verification of Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller, Jan Smans
  
  Foundations of Security Analysis and Design V | June 2009
  
  Publication Publication Publication
- A Basis for Verifying Multi-Threaded Programs
  
  Rustan Leino, Peter Müller
  
  ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | March 2009
  
  Publication Publication