Travelled to:1 × Canada
1 × Italy
1 × Spain
1 × United Kingdom
3 × USA
Collaborated with:D.Dreyer C.Hur V.Vafeiadis L.Birkedal A.Rossberg M.A.Hammer Y.Chen U.A.Acar J.Kaiser C.McLaughlin
Talks about:higher (3) relat (3) order (3) parametr (2) state (2) logic (2) parameter (1) composit (1) coinduct (1) pilsner (1)
Person: Georg Neis
DBLP: Neis:Georg
Contributed to:
2015
20132012
2011201020102009Wrote 7 papers:
- ICFP-2015-NeisHKMDV #compilation #higher-order #imperative #named
- Pilsner: a compositionally verified compiler for a higher-order imperative language (GN, CKH, JOK, CM, DD, VV), pp. 166–178.
- POPL-2013-HurNDV #induction #power of #proving
- The power of parameterization in coinductive proof (CKH, GN, DD, VV), pp. 193–206.
- POPL-2012-HurDNV #bisimulation #logic
- The marriage of bisimulations and Kripke logical relations (CKH, DD, GN, VV), pp. 59–72.
- OOPSLA-2011-HammerNCA #self #stack
- Self-adjusting stack machines (MAH, GN, YC, UAA), pp. 753–772.
- ICFP-2010-DreyerNB #higher-order #reasoning #relational
- The impact of higher-order state and control effects on local relational reasoning (DD, GN, LB), pp. 143–156.
- POPL-2010-DreyerNRB #data type #higher-order #logic #relational
- A relational modal logic for higher-order stateful ADTs (DD, GN, AR, LB), pp. 185–198.
- ICFP-2009-NeisDR #parametricity
- Non-parametric parametricity (GN, DD, AR), pp. 135–148.