Georg Neis

not me

Email: neis@mpi-sws.org
Phone: (+49) 681 9303 8714
Office: R-302, Wartburg, Martin-Luther-Str. 12, 66111 Saarbrücken

I'm a student at the Type Systems and Functional Programming group here at MPI-SWS. My advisor is Derek Dreyer. In 2010, I did an internship at Microsoft Research in Cambridge, working with Nick Benton.
To be continued...

Research

The Transitive Composability of Relation Transition Systems
Chung-Kil Hur, Georg Neis, Derek Dreyer, and Viktor Vafeiadis.
Submitted for conference publication.
Draft of January 2012: (abstract, paper, appendix, coq formalization)

The Marriage of Bisimulations and Kripke Logical Relations
Chung-Kil Hur, Derek Dreyer, Georg Neis, and Viktor Vafeiadis.
In 2012 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012).
Conference Version: (abstract, paper, appendix, coq formalization)

Self-Adjusting Stack Machines
Matthew Hammer, Georg Neis, Umut Acar, and Yan Chen.
In 2011 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011).
Conference Version: (abstract, paper, and technical report)

The Impact of Higher-Order State and Control Effects on Local Relational Reasoning
Derek Dreyer, Georg Neis, and Lars Birkedal.
Submitted for journal publication, July 2011.
This is a revised and expanded version of our ICFP 2010 paper.
Draft of July 2011: (abstract, paper)

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, and Andreas Rossberg.
In Journal of Functional Programming (JFP), 21(4&5):497--562, September 2011.
Special issue devoted to selected papers from ICFP 2009.
This is a revised and expanded version of our ICFP 2009 paper.
Journal Version: (abstract, paper)

The Impact of Higher-Order State and Control Effects on Local Relational Reasoning
Derek Dreyer, Georg Neis, and Lars Birkedal.
In 2010 ACM SIGPLAN International Conference on Functional Programming (ICFP 2010).
Conference Version: (abstract, paper, appendix)
Nominated by ACM SIGPLAN for a CACM Research Highlight!

A Relational Modal Logic for Higher-Order Stateful ADTs
Derek Dreyer, Georg Neis, Andreas Rossberg, and Lars Birkedal.
In 2010 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2010).
Conference Version: (abstract, paper, appendix)

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, and Andreas Rossberg.
In 2009 ACM SIGPLAN International Conference on Functional Programming (ICFP 2009).
Conference Version: (abstract, paper)
Long Version: (my master's thesis)