• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 56 matches

• 2024
• 
  Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg:
  Bringing the WebAssembly Standard up to Speed with SpecTec. Proc. ACM Program. Lang. 8(PLDI): 1559-1584 (2024)
• 2023
• 
  Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney:
  The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. 7(ICFP): 417-447 (2023)
• 
  Joachim Breitner:
  More Fixpoints! (Functional Pearl). Proc. ACM Program. Lang. 7(ICFP): 686-710 (2023)
• 
  Dylan Rowe, Joachim Breitner, Nadia Heninger:
  The Curious Case of the Half-Half Bitcoin ECDSA Nonces. AFRICACRYPT 2023: 273-284
• 
  Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn:
  Wasm SpecTec: Engineering a Formal Language Standard. CoRR abs/2311.07223 (2023)
• 
  Dylan Rowe, Joachim Breitner, Nadia Heninger:
  The curious case of the half-half Bitcoin ECDSA nonces. IACR Cryptol. ePrint Arch. 2023: 841 (2023)
• 2021
• 
  Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich:
  Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. J. Funct. Program. 31: e5 (2021)
• 2020
• 
  Joachim Breitner, Maciej Skorski:
  Explicit Renyi Entropy for Hidden Markov Models. ISIT 2020: 2303-2308
• 2019
• 
  Joachim Breitner, Nadia Heninger:
  Biased Nonce Sense: Lattice Attacks Against Weak ECDSA Signatures in Cryptocurrencies. Financial Cryptography 2019: 3-20
• 
  Joachim Breitner:
  Demo: kaleidogen. FARM@ICFP 2019: 49-51
• 
  Antal Spector-Zabusky, Joachim Breitner, Yao Li, Stephanie Weirich:
  Embracing a mechanized formalization gap. CoRR abs/1910.11724 (2019)
• 
  Joachim Breitner, Nadia Heninger:
  Biased Nonce Sense: Lattice Attacks against Weak ECDSA Signatures in Cryptocurrencies. IACR Cryptol. ePrint Arch. 2019: 23 (2019)
• 2018
• 
  Joachim Breitner:
  Call Arity. Comput. Lang. Syst. Struct. 52: 65-91 (2018)
• 
  Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting:
  Low-deterministic security for low-nondeterministic programs. J. Comput. Secur. 26(3): 335-366 (2018)
• 
  Joachim Breitner:
  The adequacy of Launchbury's natural semantics for lazy evaluation. J. Funct. Program. 28: e1 (2018)
• 
  Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich:
  Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report). Proc. ACM Program. Lang. 2(ICFP): 89:1-89:16 (2018)
• 
  Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting:
  Illi Isabellistes Se Custodes Egregios Praestabant. Principled Software Development 2018: 267-282
• 
  Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich:
  Total Haskell is reasonable Coq. CPP 2018: 14-27
• 
  Joachim Breitner:
  A promise checked is a promise kept: inspection testing. Haskell@ICFP 2018: 14-25
• 
  Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones:
  Type variables in patterns. Haskell@ICFP 2018: 94-105
• 
  Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton:
  Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). Haskell@ICFP 2018: 132-144
• 
  Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich:
  Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. CoRR abs/1803.06960 (2018)
• 
  Joachim Breitner:
  Beyond correct and fast: Inspection Testing. CoRR abs/1803.07130 (2018)
• 
  Joachim Breitner:
  The sufficiently smart compiler is a theorem prover. CoRR abs/1805.08106 (2018)
• 
  Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones:
  Type variables in patterns. CoRR abs/1806.03476 (2018)
• 
  Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton:
  Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell). CoRR abs/1806.03541 (2018)
• 
  Joachim Breitner:
  More on sliding right. IACR Cryptol. ePrint Arch. 2018: 1163 (2018)
• 2017
• 
  Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel:
  HOLCF-Prelude. Arch. Formal Proofs 2017 (2017)
• 
  Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner:
  Modular, higher order cardinality analysis in theory and practice. J. Funct. Program. 27: e11 (2017)
• 
  Joachim Breitner, Chris Smith:
  Lock-step simulation is child's play (experience report). Proc. ACM Program. Lang. 1(ICFP): 3:1-3:15 (2017)

skipping 26 more matches