BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Norway
Collaborated with:
T.Nipkow V.Kuncak C.Diekmann G.Carle J.C.Blanchette L.Noschinski D.Traytel
Talks about:
isabell (2) hol (2) translat (1) programm (1) descript (1) simplif (1) program (1) preserv (1) firewal (1) verifi (1)

Person: Lars Hupel

DBLP DBLP: Hupel:Lars

Contributed to:

FM 20152015
ESOP 20182018
IJCAR 20162016
Haskell 20142014

Wrote 4 papers:

FM-2015-DiekmannHC #semantics #set
Semantics-Preserving Simplification of Real-World Firewall Rule Sets (CD, LH, GC), pp. 195–212.
ESOP-2018-HupelN #compilation #higher-order
A Verified Compiler from Isabelle/HOL to CakeML (LH, TN), pp. 999–1026.
IJCAR-2016-HupelK #higher-order #scala #source code
Translating Scala Programs to Isabelle/HOL - System Description (LH, VK), pp. 568–577.
Haskell-2014-BlanchetteHNNT #case study #experience #haskell
Experience report: the next 1100 Haskell programmers (JCB, LH, TN, LN, DT), pp. 25–30.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.