Publications2024-07-29T13:30:35+00:00

Publications & Reports

Filter by

Filters
Year

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

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 12134. 2020

Featherweight go.

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida.

Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA, 2020, Article No.: 149, 1–29.  2020

Program Verification in the Presence of I/O.

Hugo Férée, Johannes Å. Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, and Son Ho.

In: Piskac, R., Rümmer, P. (eds) Verified Software. Theories, Tools, and Experiments. VSTTE 2018. Lecture Notes in Computer Science, vol 11294. 2018

Go to Top