Wen Kokke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk). | Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi |
| 2024 | CAV | Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. | 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 |
| 2023 | CAV | The Vehicle Tutorial: Neural Network Verification with Vehicle. | Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee |
| 2023 | CPP | Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively. | Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi |
| 2022 | CAV | Neural Network Robustness as a Verification Property: A Principled Case Study. | Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli |
| 2021 | CONCUR | Separating Sessions Smoothly. | Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris |
| 2021 | FORTE | Prioritise the Best Variation. | Wen Kokke, Ornela Dardha |
| 2021 | HASKELL | Deadlock-free session types in linear Haskell. | Wen Kokke, Ornela Dardha |
| 2020 | APLAS | Neural Networks, Secure by Construction - An Exploration of Refinement Types. | Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall |
| 2020 | PPDP | Continuous Verification of Machine Learning: a Declarative Programming Approach. | Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz |
| 2019 | Coordination | Towards Races in Linear Logic. | Wen Kokke, J. Garrett Morris, Philip Wadler |