Wen Kokke

Orcid: 0000-0002-1662-0381

According to our database1, Wen Kokke authored at least 22 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Semantic Proof of Generalised Cut Elimination for Deep Inference.
CoRR, 2024

Efficient compilation of expressive problem space specifications to neural network solvers.
CoRR, 2024

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.
CoRR, 2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023
Prioritise the Best Variation.
Log. Methods Comput. Sci., 2023

Separating Sessions Smoothly.
Log. Methods Comput. Sci., 2023

Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

The Vehicle Tutorial: Neural Network Verification with Vehicle.
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022
Why Robust Natural Language Understanding is a Challenge.
CoRR, 2022

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers.
CoRR, 2022

Neural Network Robustness as a Verification Property: A Principled Case Study.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Property-driven Training: All You (N)Ever Wanted to Know About.
CoRR, 2021

Deadlock-free session types in linear Haskell.
Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

2020
Programming language foundations in Agda.
Sci. Comput. Program., 2020

Featherweight go.
Proc. ACM Program. Lang., 2020

Towards Races in Linear Logic.
Log. Methods Comput. Sci., 2020

Continuous Verification of Machine Learning: a Declarative Programming Approach.
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

Neural Networks, Secure by Construction - An Exploration of Refinement Types.
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019
Better late than never: a fully-abstract semantics for classical processes.
Proc. ACM Program. Lang., 2019

Rusty Variation: Deadlock-free Sessions with Failure in Rust.
Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

2018
Taking Linear Logic Apart.
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

2017
Formalising Type-Logical Grammars in Agda.
CoRR, 2017


  Loading...