Publications via dblp computer science bibliography

2010 – today

2000 – 2009

Talks

  • 2014
  • Sigurd Schneider, Towards Verification of GVN-CSE on a Functional Intermediate Language with System Calls. Talk at MPI-SWS. Saarbrücken, Germany, June 13, 2014.
  • Sigurd Schneider, Towards Verification of GVN-CSE on a Functional Intermediate Language with System Calls. Talk at INRIA - Rocquencourt. Paris, France, June 2, 2014.
  • Sigurd Schneider, Translating In and Out of a Functional Intermediate Language. Talk at PARKAS. Paris, France, April 29, 2014.
  • Sigurd Schneider, Translating In and Out of a Functional Intermediate Language. Talk at MPI-SWS. Saarbrücken, Germany, April 14, 2014.
  • Sigurd Schneider, Translating In and Out of a Functional Intermediate Language. Talk at INRIA - Rocquencourt. Paris, France, March 17, 2014.
  • 2013
  • Sigurd Schneider, Semantics of an Intermediate Language for Program Transformation. Talk at Student Session of POPL 2013 (Session Award). Rome, Italy, Jan. 23, 2013.