Georg Neis

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Causal Relations

Logic Programming

Top Venues

J. Funct. Program.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis
Pilsner: a compositionally verified compiler for a higher-order imperative language. ICFP (2015)
Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis
The power of parameterization in coinductive proof. POPL (2013)
Derek Dreyer, Georg Neis, Lars Birkedal
The impact of higher-order state and control effects on local relational reasoning. J. Funct. Program. 22 (4-5) (2012)
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis
The marriage of bisimulations and Kripke logical relations. POPL (2012)
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
Self-adjusting stack machines. OOPSLA (2011)
Georg Neis, Derek Dreyer, Andreas Rossberg
Non-parametric parametricity. J. Funct. Program. 21 (4-5) (2011)
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
Self-Adjusting Stack Machines CoRR (2011)
Derek Dreyer, Georg Neis, Lars Birkedal
The impact of higher-order state and control effects on local relational reasoning. ICFP (2010)
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
A relational modal logic for higher-order stateful ADTs. POPL (2010)
Georg Neis, Derek Dreyer, Andreas Rossberg
Non-parametric parametricity. ICFP (2009)