Jacob Johannsen

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 2

Top Topics

Predicate Invention

Programming Language

Programming Education

Abstract Machine

Top Venues

Proc. ACM Program. Lang.

Publications

Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar, Ilya Sergey
Compiling a Higher-Order Smart Contract Language to LLVM. CoRR (2020)
Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, Ken Chan Guan Hao
Safer smart contract programming with Scilla. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Sergio Antoy, Jacob Johannsen, Steven Libby
Needed Computations Shortcutting Needed Steps. TERMGRAPH (2014)
Olivier Danvy, Jacob Johannsen
From Outermost Reduction Semantics to Abstract Machine. LOPSTR (2013)
Olivier Danvy, Jacob Johannsen, Ian Zerny
A walk in the semantic park. PEPM (2011)
Olivier Danvy, Jacob Johannsen
Inter-deriving semantic artifacts for object-oriented programming. J. Comput. Syst. Sci. 76 (5) (2010)
Olivier Danvy, Jacob Johannsen
Inter-deriving Semantic Artifacts for Object-Oriented Programming. WoLLIC (2008)