Drew Zagieboylo

According to our database, Drew Zagieboylo authored at least 9 papers between 2017 and 2026.

Collaborative distances:

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

2026

Architecting Secure AI Agents: Perspectives on System-Level Defenses Against Indirect Prompt Injection Attacks.

Chong Xiang, Drew Zagieboylo, Shaona Ghosh, Sanjay Kariyappa, Kai Greshake, Hanshen Xiao, Chaowei Xiao, G. Edward Suh

CoRR, March, 2026

Sequential Specifications for Precise Hardware Exceptions.

Yulun Yao, Drew Zagieboylo, Andrew C. Myers, G. Edward Suh

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

ProofWright: Towards Agentic Formal Verification of CUDA.

Bodhisatwa Chatterjee, Drew Zagieboylo, Sana Damani, Siva Hari, Christos Kozyrakis

CoRR, November, 2025

2023

SpecVerilog: Adapting Information Flow Control for Secure Speculation.

Drew Zagieboylo, Charles Sherk, Andrew C. Myers, G. Edward Suh

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

PDL: a high-level hardware design language for pipelined processors.

Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2020

The Cost of Software-Based Memory Management Without Virtual Memory.

Drew Zagieboylo, G. Edward Suh, Andrew C. Myers

CoRR, 2020

2019

Using Information Flow to Design an ISA that Controls Timing Channels.

Drew Zagieboylo, G. Edward Suh, Andrew C. Myers

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

To Centralize or Not to Centralize: A Tale of Swarm Coordination.

Justin Hu, Ariana Bruno, Drew Zagieboylo, Mark Zhao, Brian Ritchken, Brendon Jackson, Joo Yeon Chae, Francois Mertil, Mateo Espinosa, Christina Delimitrou

CoRR, 2018

2017

Cost-Efficient and Reliable Reporting of Highly Bursty Video Game Crash Data.

Drew Zagieboylo, Kazi A. Zaman

Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017