Georg Neis
Email: neis@mpi-sws.org |
ResearchThe Transitive Composability of Relation Transition SystemsChung-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) |