Login / Signup
Dylan Johnson
ORCID
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 2
Top Topics
Kernel Space
Database Manager
Perceptron Learning
Signature Verification
Top Venues
SOSP
MT-ITS
</>
Publications
</>
Dylan Johnson
,
Emmanouil Chaniotakis
Innovative last mile delivery concepts: Evaluating last mile delivery using a traffic simulator.
MT-ITS
(2021)
Luke Nelson
,
Helgi Sigurbjarnarson
,
Kaiyuan Zhang
,
Dylan Johnson
,
James Bornholt
,
Emina Torlak
,
Xi Wang
Hyperkernel: Push-Button Verification of an OS Kernel.
SOSP
(2017)