Login / Signup
James Shaker
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Java Bytecode
Ad Hoc Networks
Multipath
Congestion Control
Top Venues
ITP
</>
Publications
</>
Johannes Åman Pohjola
,
Alejandro Gómez-Londoño
,
James Shaker
,
Michael Norrish
Kalas: A Verified, End-To-End Compiler for a Choreographic Language.
ITP
(2022)