We stand with Ukraine  

Jacob Johannsen

According to our database1, Jacob Johannsen authored at least 6 papers between 2008 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Compiling a Higher-Order Smart Contract Language to LLVM.
[BibTeX]
[DOI]
Vaivaswatha Nagaraj
,
Jacob Johannsen
,
Anton Trunov
,
George Pîrlea
,
Amrit Kumar
,
Ilya Sergey
CoRR, 2020

2019
Safer smart contract programming with Scilla.
[BibTeX]
[DOI]
Ilya Sergey
,
Vaivaswatha Nagaraj
,
Jacob Johannsen
,
Amrit Kumar
,
Anton Trunov
,
Ken Chan Guan Hao
Proc. ACM Program. Lang., 2019

2014
Needed Computations Shortcutting Needed Steps.
[BibTeX]
[DOI]
Sergio Antoy
,
Jacob Johannsen
,
Steven Libby
Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

2013
From Outermost Reduction Semantics to Abstract Machine.
[BibTeX]
[DOI]
Olivier Danvy
,
Jacob Johannsen
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2011
A walk in the semantic park.
[BibTeX]
[DOI]
Olivier Danvy
,
Jacob Johannsen
,
Ian Zerny
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2008
Inter-deriving Semantic Artifacts for Object-Oriented Programming.
[BibTeX]
[DOI]
Olivier Danvy
,
Jacob Johannsen
Proceedings of the Logic, 2008


  Loading...