Inter-deriving semantic artifacts for object-oriented programming. - Olivier Danvy; Jacob Johannsen (J. Comput. Syst. Sci., 2010)

A walk in the semantic park. - Olivier Danvy; Jacob Johannsen; Ian Zerny (PEPM, 2011)

From Outermost Reduction Semantics to Abstract Machine. - Olivier Danvy; Jacob Johannsen (LOPSTR, 2013)

Needed Computations Shortcutting Needed Steps. - Sergio Antoy; Jacob Johannsen; Steven Libby (TERMGRAPH, 2014)

Safer smart contract programming with Scilla. - Ilya Sergey; Vaivaswatha Nagaraj; Jacob Johannsen; Amrit Kumar 001; Anton Trunov; Ken Chan Guan Hao (Proc. ACM Program. Lang., 2019)

Compiling a Higher-Order Smart Contract Language to LLVM. - Vaivaswatha Nagaraj; Jacob Johannsen; Anton Trunov; George Pîrlea; Amrit Kumar 001; Ilya Sergey (CoRR, 2020)