Login / Signup
John Starks
Publication Activity (10 Years)
Years Active: 2006-2023
Publications (10 Years): 1
Top Topics
State Information
Execution Model
Numerical Data
Long Run
Top Venues
CoRR
</>
Publications
</>
Matthew A. Johnson
,
Stavros Volos
,
Ken Gordon
,
Sean T. Allen
,
Christoph M. Wintersteiger
,
Sylvan Clebsch
,
John Starks
,
Manuel Costa
COCOAEXPO: Confidential Containers via Attested Execution Policies.
CoRR
(2023)
James R. Ezick
,
Samuel B. Luckenbill
,
Donald Nguyen
,
Péter Szilágyi
,
John Starks
,
Richard A. Lethin
Poster reception - Alef parallel SAT solver for HPC hardware.
SC
(2006)