Dylan Johnson

According to our database, Dylan Johnson authored at least 2 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Innovative last mile delivery concepts: Evaluating last mile delivery using a traffic simulator.

Dylan Johnson, Emmanouil Chaniotakis

Proceedings of the 7th International Conference on Models and Technologies for Intelligent Transportation Systems, 2021

2017

Hyperkernel: Push-Button Verification of an OS Kernel.

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 26th Symposium on Operating Systems Principles, 2017