Wen Kokke

34 papers B 5C 4Journal 20Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Agda standard library: version 2.0.
J. Open Source Softw.
Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. S. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke
2025 B conf
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk).
FSCD
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi
2024 B conf
A Semantic Proof of Generalised Cut Elimination for Deep Inference.
MFPS
Robert Atkey, Wen Kokke
2024 J jnl
Efficient compilation of expressive problem space specifications to neural network solvers.
CoRR
Matthew L. Daggitt, Wen Kokke, Robert Atkey
2024 — conf
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CAV (2)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024 J jnl
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CoRR
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024 J jnl
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.
CoRR
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
2023 B conf
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively.
CPP
Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
2023 J jnl
Prioritise the Best Variation.
Log. Methods Comput. Sci.
Wen Kokke, Ornela Dardha
2023 J jnl
Separating Sessions Smoothly.
Log. Methods Comput. Sci.
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2023 — conf
The Vehicle Tutorial: Neural Network Verification with Vehicle.
FoMLAS@CAV
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
2022 — conf
Neural Network Robustness as a Verification Property: A Principled Case Study.
CAV (1)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
2022 J jnl
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers.
CoRR
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya
2022 J jnl
Why Robust Natural Language Understanding is a Challenge.
CoRR
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
2021 J jnl
Deadlock-Free Session Types in Linear Haskell.
CoRR
Wen Kokke, Ornela Dardha
2021 C conf
Deadlock-free session types in linear Haskell.
Haskell
Wen Kokke, Ornela Dardha
2021 C conf
Prioritise the Best Variation.
FORTE
Wen Kokke, Ornela Dardha
2021 J jnl
Prioritise the Best Variation.
CoRR
Wen Kokke, Ornela Dardha
2021 J jnl
Property-driven Training: All You (N)Ever Wanted to Know About.
CoRR
Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart
2021 B conf
Separating Sessions Smoothly.
CONCUR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2021 J jnl
Separating Sessions Smoothly.
CoRR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2020 C conf
Continuous Verification of Machine Learning: a Declarative Programming Approach.
PPDP
Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz
2020 J jnl
Featherweight Go.
CoRR
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020 J jnl
Featherweight go.
Proc. ACM Program. Lang.
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
2020 B conf
Neural Networks, Secure by Construction - An Exploration of Refinement Types.
APLAS
Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall
2020 J jnl
Programming language foundations in Agda.
Sci. Comput. Program.
Wen Kokke, Jeremy G. Siek, Philip Wadler
2020 J jnl
Towards Races in Linear Logic.
Log. Methods Comput. Sci.
Wen Kokke, J. Garrett Morris, Philip Wadler
2019 J jnl
Better late than never: a fully-abstract semantics for classical processes.
Proc. ACM Program. Lang.
Wen Kokke, Fabrizio Montesi, Marco Peressotti
2019 — conf
Rusty Variation: Deadlock-free Sessions with Failure in Rust.
ICE
Wen Kokke
2019 C conf
Towards Races in Linear Logic.
COORDINATION
Wen Kokke, J. Garrett Morris, Philip Wadler
2019 J jnl
Towards Races in Linear Logic.
CoRR
Wen Kokke, J. Garrett Morris, Philip Wadler
2018 J jnl
Better Late Than Never: A Fully Abstract Semantics for Classical Processes.
CoRR
Wen Kokke, Fabrizio Montesi, Marco Peressotti
2018 — conf
Taking Linear Logic Apart.
Linearity-TLLA@FLoC
Wen Kokke, Fabrizio Montesi, Marco Peressotti
2017 J jnl
Formalising Type-Logical Grammars in Agda.
CoRR
Wen Kokke