| Verified Compilation and Optimization of Floating-Point Programs in CakeML | 0 | 0.34 | 2022 |
| Verifying Switched System Stability With Logic | 0 | 0.34 | 2022 |
| cake_lpr: Verified Propagation Redundancy Checking in CakeML. | 0 | 0.34 | 2021 |
| Pegasus: sound continuous invariant generation | 0 | 0.34 | 2021 |
| An axiomatic approach to existence and liveness for differential equations | 1 | 0.35 | 2021 |
| A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm | 0 | 0.34 | 2021 |
| Switched Systems as Hybrid Programs | 0 | 0.34 | 2021 |
| Deductive Stability Proofs for Ordinary Differential Equations. | 0 | 0.34 | 2021 |
| The Poincaré-Bendixson theorem in Isabelle/HOL. | 0 | 0.34 | 2020 |
| Do you have space for dessert? a verified space cost semantics for CakeML programs | 0 | 0.34 | 2020 |
| Differential Equation Invariance Axiomatization | 1 | 0.35 | 2020 |
| Proof-Producing Synthesis of CakeML from Monadic HOL Functions | 0 | 0.34 | 2020 |
| Blackbox End-to-End Verification of Ground Robot Safety and Liveness. | 0 | 0.34 | 2019 |
| A Formal Safety Net for Waypoint-Following in Ground Robots. | 0 | 0.34 | 2019 |
| Verified compilation on a verified processor | 0 | 0.34 | 2019 |
| Pegasus - A Framework for Sound Continuous Invariant Generation. | 0 | 0.34 | 2019 |
| The verified CakeML compiler backend. | 2 | 0.38 | 2019 |
| An Axiomatic Approach to Liveness for Differential Equations. | 0 | 0.34 | 2019 |
| Vector Barrier Certificates and Comparison Systems. | 1 | 0.37 | 2018 |
| Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions. | 1 | 0.37 | 2018 |
| Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. | 2 | 0.37 | 2018 |
| ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. | 0 | 0.34 | 2018 |
| Verified compilation of CakeML to multiple machine-code targets. | 3 | 0.39 | 2017 |
| Verifying efficient function calls in CakeML | 0 | 0.34 | 2017 |
| Functional Big-Step Semantics. | 13 | 0.71 | 2016 |
| Multi-Modal Hybrid Deep Neural Network for Speech Enhancement. | 3 | 0.38 | 2016 |
| Improved Recurrent Neural Networks for Session-based Recommendations. | 77 | 2.75 | 2016 |
| A verified type system for CakeML. | 2 | 0.40 | 2015 |
| Towards building and evaluating a personalized location-based recommender system | 1 | 0.35 | 2014 |
