31 citations · 41 across the 5 of their papers we have counts for
5 papers
Total Haskell is Reasonable Coq
Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah +1
We would like to use the Coq proof assistant to mechanically verify properties of Haskell programs. To that end, we present a tool, named hs-to-coq, that translates total Haskell p…
Analytic Formulas for Renyi Entropy of Hidden Markov Models
Joachim Breitner, Maciej Skorski
Determining entropy rates of stochastic processes is a fundamental and difficult problem, with closed-form solutions known only for specific cases. This paper pushes the state-of-t…
Lock-step simulation is child's play
Joachim Breitner, Chris Smith
Implementing multi-player networked games by broadcasting the player's input and letting each client calculate the game state - a scheme known as lock-step simulation - is an estab…
dup -- Explicit un-sharing in Haskell
Joachim Breitner
We propose two operations to prevent sharing in Haskell that do not require modifying the data generating code, demonstrate their use and usefulness, and compare them to other appr…
Conditional Elimination through Code Duplication
Joachim Breitner
We propose an optimizing transformation which reduces program runtime at the expense of program size by eliminating conditional jumps.