Wen Kokke

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 32

Top Topics

Language Understanding

Cut Elimination

Proof Theoretic

Top Venues

Log. Methods Comput. Sci.

Proc. ACM Program. Lang.

Publications

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs. CoRR (2024)
Robert Atkey, Wen Kokke
A Semantic Proof of Generalised Cut Elimination for Deep Inference. CoRR (2024)
Matthew L. Daggitt, Wen Kokke, Robert Atkey
Efficient compilation of expressive problem space specifications to neural network solvers. CoRR (2024)
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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) (2024)
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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR (2024)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. Log. Methods Comput. Sci. 19 (3) (2023)
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
The Vehicle Tutorial: Neural Network Verification with Vehicle. FoMLAS@CAV (2023)
Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. CPP (2023)
Wen Kokke, Ornela Dardha
Prioritise the Best Variation. Log. Methods Comput. Sci. 19 (4) (2023)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
Neural Network Robustness as a Verification Property: A Principled Case Study. CAV (1) (2022)
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers. CoRR (2022)
Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
Why Robust Natural Language Understanding is a Challenge. CoRR (2022)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CoRR (2021)
Wen Kokke, Ornela Dardha
Prioritise the Best Variation. FORTE (2021)
Wen Kokke, Ornela Dardha
Deadlock-Free Session Types in Linear Haskell. CoRR (2021)
Wen Kokke, Ornela Dardha
Deadlock-free session types in linear Haskell. Haskell (2021)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CONCUR (2021)
Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart
Property-driven Training: All You (N)Ever Wanted to Know About. CoRR (2021)
Wen Kokke, Ornela Dardha
Prioritise the Best Variation. CoRR (2021)
Wen Kokke, Jeremy G. Siek, Philip Wadler
Programming language foundations in Agda. Sci. Comput. Program. 194 (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight Go. CoRR (2020)
Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz
Continuous Verification of Machine Learning: a Declarative Programming Approach. PPDP (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight go. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall
Neural Networks, Secure by Construction - An Exploration of Refinement Types. APLAS (2020)
Wen Kokke, J. Garrett Morris, Philip Wadler
Towards Races in Linear Logic. Log. Methods Comput. Sci. 16 (4) (2020)
Wen Kokke, J. Garrett Morris, Philip Wadler
Towards Races in Linear Logic. CoRR (2019)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Better late than never: a fully-abstract semantics for classical processes. Proc. ACM Program. Lang. 3 (POPL) (2019)
Wen Kokke, J. Garrett Morris, Philip Wadler
Towards Races in Linear Logic. COORDINATION (2019)
Wen Kokke
Rusty Variation: Deadlock-free Sessions with Failure in Rust. ICE (2019)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Better Late Than Never: A Fully Abstract Semantics for Classical Processes. CoRR (2018)
Wen Kokke, Fabrizio Montesi, Marco Peressotti
Taking Linear Logic Apart. Linearity-TLLA@FLoC (2018)
Wen Kokke
Formalising Type-Logical Grammars in Agda. CoRR (2017)