Drew Zagieboylo

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 6

Top Topics

Information Flow Control

Memory Management

Propositional Dynamic Logic

Top Venues

Publications

Drew Zagieboylo, Charles Sherk, Andrew C. Myers, G. Edward Suh
SpecVerilog: Adapting Information Flow Control for Secure Speculation. CCS (2023)
Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers
PDL: a high-level hardware design language for pipelined processors. PLDI (2022)
Drew Zagieboylo, G. Edward Suh, Andrew C. Myers
The Cost of Software-Based Memory Management Without Virtual Memory. CoRR (2020)
Drew Zagieboylo, G. Edward Suh, Andrew C. Myers
Using Information Flow to Design an ISA that Controls Timing Channels. CSF (2019)
Justin Hu, Ariana Bruno, Drew Zagieboylo, Mark Zhao, Brian Ritchken, Brendon Jackson, Joo Yeon Chae, Francois Mertil, Mateo Espinosa, Christina Delimitrou
To Centralize or Not to Centralize: A Tale of Swarm Coordination. CoRR (2018)
Drew Zagieboylo, Kazi A. Zaman
Cost-Efficient and Reliable Reporting of Highly Bursty Video Game Crash Data. ICPE (2017)