Georg Neis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2009–2015
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICFP | Pilsner: a compositionally verified compiler for a higher-order imperative language. | Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis |
| 2013 | POPL | The power of parameterization in coinductive proof. | Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis |
| 2012 | POPL | The marriage of bisimulations and Kripke logical relations. | Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis |
| 2011 | OOPSLA | Self-adjusting stack machines. | Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar |
| 2010 | ICFP | The impact of higher-order state and control effects on local relational reasoning. | Derek Dreyer, Georg Neis, Lars Birkedal |
| 2010 | POPL | A relational modal logic for higher-order stateful ADTs. | Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal |
| 2009 | ICFP | Non-parametric parametricity. | Georg Neis, Derek Dreyer, Andreas Rossberg |