Joachim Breitner

57 papers A 3B 3C 1Journal 39Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.
CoRR
Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng
2024 J jnl
Bringing the WebAssembly Standard up to Speed with SpecTec.
Proc. ACM Program. Lang.
Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg
2023 J jnl
More Fixpoints! (Functional Pearl).
Proc. ACM Program. Lang.
Joachim Breitner
2023 — conf
The Curious Case of the Half-Half Bitcoin ECDSA Nonces.
AFRICACRYPT
Dylan Rowe, Joachim Breitner, Nadia Heninger
2023 J jnl
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming.
Proc. ACM Program. Lang.
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
2023 J jnl
The curious case of the half-half Bitcoin ECDSA nonces.
IACR Cryptol. ePrint Arch.
Dylan Rowe, Joachim Breitner, Nadia Heninger
2023 J jnl
Wasm SpecTec: Engineering a Formal Language Standard.
CoRR
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn
2021 J jnl
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
J. Funct. Program.
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich
2020 B conf
Explicit Renyi Entropy for Hidden Markov Models.
ISIT
Joachim Breitner, Maciej Skorski
2019 — conf
Biased Nonce Sense: Lattice Attacks Against Weak ECDSA Signatures in Cryptocurrencies.
Financial Cryptography
Joachim Breitner, Nadia Heninger
2019 J jnl
Biased Nonce Sense: Lattice Attacks against Weak ECDSA Signatures in Cryptocurrencies.
IACR Cryptol. ePrint Arch.
Joachim Breitner, Nadia Heninger
2019 — conf
Demo: kaleidogen.
FARM@ICFP
Joachim Breitner
2019 J jnl
Embracing a mechanized formalization gap.
CoRR
Antal Spector-Zabusky, Joachim Breitner, Yao Li, Stephanie Weirich
2018 — conf
A promise checked is a promise kept: inspection testing.
Haskell@ICFP
Joachim Breitner
2018 J jnl
Beyond correct and fast: Inspection Testing.
CoRR
Joachim Breitner
2018 J jnl
Call Arity.
Comput. Lang. Syst. Struct.
Joachim Breitner
2018 J jnl
Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell).
CoRR
Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton
2018 — conf
Illi Isabellistes Se Custodes Egregios Praestabant.
Principled Software Development
Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting
2018 J jnl
Low-deterministic security for low-nondeterministic programs.
J. Comput. Secur.
Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2018 J jnl
More on sliding right.
IACR Cryptol. ePrint Arch.
Joachim Breitner
2018 J jnl
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
CoRR
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
2018 J jnl
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report).
Proc. ACM Program. Lang.
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
2018 J jnl
The adequacy of Launchbury's natural semantics for lazy evaluation.
J. Funct. Program.
Joachim Breitner
2018 J jnl
The sufficiently smart compiler is a theorem prover.
CoRR
Joachim Breitner
2018 — conf
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl).
Haskell@ICFP
Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton
2018 B conf
Total Haskell is reasonable Coq.
CPP
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich
2018 — conf
Type variables in patterns.
Haskell@ICFP
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
2018 J jnl
Type variables in patterns.
CoRR
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
2017 J jnl
Analytic Formulas for Renyi Entropy of Hidden Markov Models.
CoRR
Joachim Breitner, Maciej Skorski
2017 J jnl
HOLCF-Prelude.
Arch. Formal Proofs
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
2017 J jnl
Lock-step simulation is child's play (experience report).
Proc. ACM Program. Lang.
Joachim Breitner, Chris Smith
2017 J jnl
Lock-step simulation is child's play.
CoRR
Joachim Breitner, Chris Smith
2017 J jnl
Modular, higher order cardinality analysis in theory and practice.
J. Funct. Program.
Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner
2017 A conf
Securing Concurrent Lazy Programs Against Information Leakage.
CSF
Marco Vassena, Joachim Breitner, Alejandro Russo
2017 A conf
Sliding Right into Disaster: Left-to-Right Sliding Windows Leak.
CHES
Daniel J. Bernstein, Joachim Breitner, Daniel Genkin, Leon Groot Bruinderink, Nadia Heninger, Tanja Lange, Christine van Vredendaal, Yuval Yarom
2017 J jnl
Sliding right into disaster: Left-to-right sliding windows leak.
IACR Cryptol. ePrint Arch.
Daniel J. Bernstein, Joachim Breitner, Daniel Genkin, Leon Groot Bruinderink, Nadia Heninger, Tanja Lange, Christine van Vredendaal, Yuval Yarom
2017 J jnl
Total Haskell is Reasonable Coq.
CoRR
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich
2016 — —
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation.
Joachim Breitner
2016 — conf
On Improvements of Low-Deterministic Security.
POST
Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
2016 J jnl
Safe zero-cost coercions for Haskell.
J. Funct. Program.
Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich
2016 J jnl
Surprise Paradox.
Arch. Formal Proofs
Joachim Breitner
2016 — conf
The Incredible Proof Machine (Invited Talk).
LFMTP
Joachim Breitner
2016 J jnl
The meta theory of the Incredible Proof Machine.
Arch. Formal Proofs
Joachim Breitner, Denis Lohner
2016 B conf
Visual Theorem Proving with the Incredible Proof Machine.
ITP
Joachim Breitner
2015 C conf
Formally proving a compiler transformation safe.
Haskell
Joachim Breitner
2015 J jnl
The Safety of Call Arity.
Arch. Formal Proofs
Joachim Breitner
2014 — conf
Call Arity.
Trends in Functional Programming
Joachim Breitner
2014 A conf
Safe zero-cost coercions for Haskell.
ICFP
Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich
2014 J jnl
The Correctness of Launchbury's Natural Semantics for Lazy Evaluation.
CoRR
Joachim Breitner
2013 J jnl
Certified HLints with Isabelle/HOLCF-Prelude.
CoRR
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
2013 J jnl
The Correctness of Launchbury's Natural Semantics for Lazy Evaluation.
Arch. Formal Proofs
Joachim Breitner
2012 J jnl
Tackling the testing migration problem with SAT-Solvers
CoRR
Joachim Breitner
2012 J jnl
dup -- Explicit un-sharing in Haskell
CoRR
Joachim Breitner
2011 J jnl
Conditional Elimination through Code Duplication
CoRR
Joachim Breitner
2011 J jnl
The General Triangle Is Unique.
Arch. Formal Proofs
Joachim Breitner
2010 J jnl
Free Groups.
Arch. Formal Proofs
Joachim Breitner
2010 J jnl
Shivers' Control Flow Analysis.
Arch. Formal Proofs
Joachim Breitner