Danel Ahman

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 24

Top Topics

Derived Predicates

Defeasible Logic

Sound And Complete Axiomatization

Concurrent Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Danel Ahman
When Programs Have to Watch Paint Dry. FoSSaCS (2023)
Danel Ahman, Matija Pretnar
Higher-Order Asynchronous Effects. CoRR (2023)
Danel Ahman
When programs have to watch paint dry. CoRR (2022)
Danel Ahman, Matija Pretnar
Asynchronous effects. Proc. ACM Program. Lang. 5 (POPL) (2021)
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs. CoRR (2021)
Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg
Scalable Handling of Effects (Dagstuhl Seminar 21292). Dagstuhl Reports 11 (6) (2021)
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Danel Ahman, Matija Pretnar
Asynchronous effects. CoRR (2020)
Danel Ahman, Andrej Bauer
Runners in Action. ESOP (2020)
Danel Ahman, Andrej Bauer
Runners in action. CoRR (2019)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra monads for all. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra Monads for All. CoRR (2019)
Danel Ahman, Tarmo Uustalu
Decomposing Comonad Morphisms. CALCO (2019)
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. ESOP (2019)
Danel Ahman
Handling fibred algebraic effects. Proc. ACM Program. Lang. 2 (POPL) (2018)
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. CoRR (2018)
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Recalling a witness: foundations and applications of monotonic state. Proc. ACM Program. Lang. 2 (POPL) (2018)
Danel Ahman
Fibred Computational Effects. CoRR (2017)
Danel Ahman, Tarmo Uustalu
Taking Updates Seriously. BX@ETAPS (2017)
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Recalling a Witness: Foundations and Applications of Monotonic State. CoRR (2017)
Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
Dijkstra monads for free. POPL (2017)
Danel Ahman, Tarmo Uustalu
Directed Containers as Categories. MSFP (2016)
Danel Ahman, Neil Ghani, Gordon D. Plotkin
Dependent Types and Fibred Computational Effects. FoSSaCS (2016)
Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
Dijkstra Monads for Free. CoRR (2016)
Danel Ahman, Tarmo Uustalu
Coalgebraic Update Lenses. MFPS (2014)
Danel Ahman, James Chapman, Tarmo Uustalu
When is a container a comonad? Log. Methods Comput. Sci. 10 (3) (2014)
Danel Ahman, Sam Staton
Normalization by Evaluation and Algebraic Effects. MFPS (2013)
Danel Ahman, Tarmo Uustalu
Update Monads: Cointerpreting Directed Containers. TYPES (2013)
Danel Ahman, James Chapman, Tarmo Uustalu
When Is a Container a Comonad? FoSSaCS (2012)
Danel Ahman, Marko Kääramees
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs MBT (2012)