Proof-Producing Synthesis of CakeML from Monadic HOL Functions.
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, and Yong Kiam Tan. Journal of Automated Reasoning, 64, 1287–1306, 2020. 2020
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic.
Takamasa Okudono and Andy King. In: Biere, A., Parker, D. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. Lecture Notes [...]
Describing and Simulating Concurrent Quantum Systems.
Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, and Rajagopal Nagarajan. In: Biere, A., Parker, D. (eds) Tools and Algorithms for the Construction and Analysis [...]
Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP.
Kangfeng Ye, Simon Foster, and Jim Woodcock. In: Adamatzky, A., Kendon, V. (eds) From Astrophysics to Unconventional Computation. Emergence, Complexity and Computation, vol 35. 2020
Strongly Normalizing Higher-Order Relational Queries.
Wilmer Ricciotti and James Cheney. 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. 2020
Neural Networks, Secure by Construction.
Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, and David Aspinall. In: Oliveira, B.C.d.S. (eds) Programming Languages and Systems. APLAS 2020, vol 12470. 2020
Putting Randomized Compiler Testing into Production (Experience Report).
Alastair F. Donaldson, Hugues Evrard, and Paul Thomson. 34th European Conference on Object-Oriented Programming, ECOOP 2020. 2020
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels.
Perdita Stevens. Softw Syst Model 19, 935–958, 2020. 2020
Implementing Multiparty Session Types in Rust.
Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida. In: Bliudze, S., Bocchi, L. (eds) Coordination Models and Languages. COORDINATION 2020. Lecture Notes in Computer Science, vol [...]
Statically verified refinements for multiparty protocols.
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida. Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA 2020, Article No.: [...]
by