Georg Neis

According to our database, Georg Neis authored at least 8 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Compositional compiler correctness via parametric simulations.

Georg Neis

PhD thesis, 2018

2015

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

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2013

The power of parameterization in coinductive proof.

Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

The impact of higher-order state and control effects on local relational reasoning.

Derek Dreyer, Georg Neis, Lars Birkedal

J. Funct. Program., 2012

The marriage of bisimulations and Kripke logical relations.

Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Non-parametric parametricity.

Georg Neis, Derek Dreyer, Andreas Rossberg

J. Funct. Program., 2011

Self-adjusting stack machines.

Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

A relational modal logic for higher-order stateful ADTs.

Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010