Georg Neis und Jan-Oliver - Info zur Person

(1 - 6 von 6

)

Derek Dreyer → Research

people.mpi-sws.org

Derek Dreyer → Research Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis. In ACM SIGPLAN International ...

Search results for "Georg Neis" – FacetedDBLP

dblp.l3s.uni-hannover.de

Hits ?△, Authors, Title, Venue, Year, Link, Author keywords. 1, Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis · Pilsner: a compositionally verified compiler for a higher-order imperative language. Search on Bibsonomy · ICFP The full citation details , DBLP DOI BibTeX ...

Pilsner: A Compositionally Verified Compiler for a Higher-Order...

plv.mpi-sws.org

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. In ACM SIGPLAN International Conference on Functional Programming ( ICFP ).

RustBelt

plv.mpi-sws.org

Current and former PhD students in the group have included Georg Neis, Beta Ziliani, Scott Kilpatrick, David Swasey, Ralf Jung, Jan-Oliver Kaiser, Hoang-Hai Dang, Marko Doko, and @pythonesque.

ICFP : Program

icfpconference.org

:30-11:30 Session 6: Theorem provers; Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language: Georg Neis, MPI-SWS (Germany); Chung-Kil Hur, Seoul National University (Republic of Korea); Jan-Oliver Kaiser, MPI-SWS (Germany); Craig McLaughlin, University of Glasgow (UK); Derek ...