Conference paperwith Richard A. Eisenberg & Simon Peyton JonesType variables in patterns2018, Haskell 2018, Preprint:
arXiv:1806.03476
Conference paperwith Niki Vazou, Will Kunkel, David Van Horn & Graham HuttonFunctional Pearl: Theorem Proving for AllEquational Reasoning in Liquid Haskell2018, Haskell 2018, Preprint:
arXiv:1806.03541
Conference paperwith Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley & Stephanie WeirichReady, Set, Verify! Applying hs-to-coq to real-world Haskell code (Experience Report)2018, ICFP 2018, DOI: 10.1145/3236784 • Preprint:
arXiv:1803.06960
Journal paperThe Adequacy of Launchbury's Natural Semantics for Lazy Evaluation2018, 3.1.2017, Journal of Functional Programming, Volume 28, DOI: 10.1017/S0956796817000144 • Preprint:
arXiv:1405.3099
Conference paperwith Antal Spector-Zabusky, Christine Rizkallah & Stephanie WeirichTotal Haskell is Reasonable Coq2017, CPP 2018, Preprint:
arXiv:1711.09286
Conference paperwith Daniel J. Bernstein, Daniel Genkin, Leon Groot Bruinderink, Nadia Heninger, Tanja Lange, Christine van Vredendaal & Yuval YaromSliding right into disaster: Left-to-right sliding windows leak25.8.2017, CHES 2017, DOI: 10.1007/978-3-319-66787-4_27 • Preprint:
ePrint:2017/627
Conference paperwith Chris SmithLock-step simulation is child's playExperience Report29.8.2017, ICFP 2017, DOI: 10.1145/3110247 • PDF-File • Preprint:
arXiv:1705.09704
Conference paperwith Marco Vassena & Alejandro RussoSecuring Concurrent Lazy Programs Against Information LeakageAugust2017, CSF 2017, DOI: 10.1109/CSF.2017.39 • PDF-File
Journal paperwith Ilya Sergey, Dimitrios Vytiniotis & Simon Peyton JonesModular, higher order cardinality analysis in theory and practice16.2.2017, Journal of Functional Programming, Volume 27, DOI: 10.1017/S0956796817000016
Journal paperwith Richard Eisenberg, Simon Peyton Jones & Stephanie WeirichSafe zero-cost coercions for Haskell28.7.2016, Journal of Functional Programming, Volume 26, DOI: 10.1017/S0956796816000150
Conference paperwith Jürgen Graf, Martin Hecker, Martin Mohr & Gregor SneltingOn Improvements Of Low-Deterministic Security2016, POST, PDF-File • DOI: 10.1007/978-3-662-49635-0_4
Conference paperCall Arity27.12.2014, Trends in Functional Programming, LNCS, Springer, Best student paper award, DOI: 10.1007/978-3-319-14675-1_3 • PDF-File
Conference paperwith Richard Eisenberg, Simon Peyton Jones & Stephanie WeirichSafe Zero-cost Coercions for Haskell28.2.2014, ICFP 2014, DOI: 10.1145/2628136.2628141 • PDF-File
Journal paperLoop subgroups of Fr and the image of their stabilizer subgroups in GLr(ℤ)Israel Journal of Mathematics, 21.12.2011, Issue 45, Pages 16-28, DOI: 10.1007/s11856-011-0213-3 • Preprint:
arXiv:1012.2729
Book chapterwith Martin Hecker & Gregor SneltingDer Grader Praktomat2017, Automatisierte Bewertung in der Programmierausbildung, 978-3-8309-3606-0 • Homepage • German National Library entry
Workshop paperwith Marco Vassena & Alejandro RussoSecuring Concurrent Lazy Programs 23.4.2017, 5th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2017), Event Schedule • PDF-File
Doctoral ThesisLazy Evaluation: From natural semantics to a machine-checked compiler transformation2016, Karlsruhe Institute of Technology, DOI: 10.5445/IR/1000054251 • Website
Student research projectControl Flow in Functional LanguagesFormally taming lambdas2010, Karlsruhe Institute of Technology, PDF-File • Blog entry
Diploma thesisLoop subgroups of Fr and the images of their stabilizer groups in GLr(ℤ)2010, Karlsruhe Institute of Technology, PDF-File • LaTeX-Source • Blog entry
TalkThe sufficiently smart compiler is a theorem prover30.8.2017, IFL 2017, Bristol
TalkLock-step simulation is child's play22.6.2017, Haskell Hackers: The South SF Bay Haskell User Group, Sunnyvale, Event Schedule • Slides • Blog entry
TalkLock-step simulation is child's play26.5.2017, University of Pennsylvania – PL Club, Philadelphia, Slides
TalkWho needs theorem provers when we have compilers?3.5.2017, Haskell User Group, Paris, Event Schedule
TalkWho needs theorem provers when we have compilers?2.5.2017, Seminar “Analyse et conception de systèmes”, Institut de Recherche en Informatique Fondamentale, Université Paris-Diderot, Paris, Event Schedule
TalkWho needs theorem provers when we have compilers?9.3.2017, HaskellerZ, Zürich, Event Schedule • Video Stream
TalkWho needs theorem provers when we have compilers?1.3.2017, Programming Systems PL Lunch, University of California – San Diego
TalkCall Arity13.9.2016, University of Pennsylvania – PL Club, Philadelphia
TalkVisual theorem proving with the Incredible Proof Machine22.8.2016, ITP 2016, Nancy, Event Schedule • Slides
TalkVisual theorem proving with the Incredible Proof Machine19.8.2016, University of Pennsylvania – PL Club, Philadelphia
TalkAgda – mit starken Typen abhängen15.5.2013, The Karlsruhe Functional Programmers Meetup Group, Karlsruhe, Event Schedule
Guest lectureHaskell BytesEine geführte Tour durch den Hauptspeicher eines Haskell-Programms10.1.2013, Vorlesung Fortgeschrittene Funktionale Programmierung von Jun.-Prof. Dr. Janis Voigtländer, Bonn, Transcript
TalkHaskell BytesEine geführte Tour durch den Hauptspeicher eines Haskell-Programms8.9.2012, MRMCD 12, Darmstadt, Event Schedule • Transcript
TalkAgda – Mit starken Typen abhängenEine Demo der abhängig getypten Programmiersprache7.6.2012, Gulaschprogrammiernacht 12, Karlsruhe, Event Schedule • Slides
Guest lectureEine nicht ganz faule ShowPerformance in Haskell6.12.2011, Vorlesung Fortgeschrittene Funktionale Programmierung von Jun.-Prof. Dr. Janis Voigtländer, Bonn, Transcript • Blog entry
TalkWarum wir noch Mathematiker brauchenChurch und das Entscheidungsproblem24.6.2011, Gulaschprogrammiernacht 11, Karlsruhe, Event Schedule • Transcript • Video Stream
TalkMonaden in Haskell16.11.2010, Seminar Kategorientheorie, Karlsruhe, Event Schedule • Handout
TalkSchleifenuntergruppen von Fr und die Bilder ihrer Stabilisatorgruppen in GLr(ℤ)11.3.2010, Studierendenkonferenz der Deutschen Mathematiker-Vereinigung, München, Event Schedule
Talkzpub: Ein Redaktionsprozess auf Basis von OpenSource-Software9.3.2010, tfk Technologietag 2010, München, Event Schedule • Slides
TalkUpstream-nahe Weiterentwicklung Freier Software3.3.2010, CeBIT Open Source Forum 2010, Hannover, Event Schedule • Video Stream
TalkFreie Werkzeuge für die technische Dokumentation14.2.2010, 3. Anwenderkreis Open Source im Maschinenbau, Stuttgart, Event Schedule • Slides
TalkLoop subgroups of Fr and the images of their stabilizer groups in GLr(ℤ)15.12.2009, Siebter Karlsruher Weihnachtsworkshop zur Geometrie und Zahlentheorie, Event Schedule
Bookwith Hans-Helmut Köstlin, Elisabeth Riehm-Settgast, Heinrich Riehm, Ulrich Riehm & Irene StaevesIsaak Riehm (1799 - 1881) und seine Frau Charlotte geb. Rinck (1803 - 1884)mit ihren rund 700 Nachkommen sowie Isaaks selbstgeschriebene Lebenserinnerung : ein Familienbuch2011, Homepage • German National Library entry