Google Scholar: Drew Zagieboylo

Peer-Reviewed Papers

At Cornell

• SpecVerilog: Adapting Information Flow Control for Secure Speculation - Drew Zagieboylo, Charles Sherk, G. Edward Suh, and Andrew C. Myers (CCS ‘23) - Distinguished Paper
• PDL: A High-Level Hardware Design Language for Processor Pipelines - Drew Zagieboylo, Charles Sherk, G. Edward Suh, and Andrew C. Myers (PLDI ‘22)
• Using Information Flow to Design an ISA That Controls Timing Channels - Drew Zagieboylo, G. Edward Suh, and Andrew C. Myers (CSF ‘19) - [Tech Report]

At EA

• Cost-Efficient and Reliable Reporting of Highly Bursty Video Game Crash Data - Drew Zagieboylo, Kazi Zaman (ICPE ‘17)

Invited Talks

• PDL: A High-Level Hardware Design Language for Pipelined Processors MIT Programming Languages Review
• PDL: Hardware Design Language for Pipelined Processors - New England Systems Verification Day 2022
• Information Flow Contracts for Secure Processors - New England Systems Verification Day 2019
• Using Information Flow to Design an ISA that Controls Timing Channels - UC Santa Cruz CROSS Symposium 2019

Other Publications

• LANGUAGE–BASED TECHNIQUES FOR BUILDING TIMING CHANNEL SECURE HARDWARE–SOFTWARE SYSTEMS - Drew Zagieboylo, 2023 (PhD Dissertation - Cornell University)
• The Cost of Software-Based Memory Management Without Virtual Memory - Drew Zagieboylo, G. Edward Suh, and Andrew C. Myers (published on arXiv - Sept. 2020)

At Northeastern

• Sum 2024:
  • EECE 2140, Computing Fundamentals for Engineers
• Sp 2024:
  • EECE 2322, Fundamentals of Digital Design and Computer Organization
• Fa 2023:
  • EECE 2140, Computing Fundamentals for Engineers
  • EECE 2160, Embedded Design: Enabling Robotics

At Cornell

• Fa 2022, TA-Instructor for Computer System Organization & Programming (CS3410) with Anne Bracy
• Sp 2022, Student in the Teaching and Learning Graduate Seminar
• 2019-2022, (Head) Instructor for multiple Rock Climbing courses in the College of Outdoor Education
• Sp 2018, TA Operating Systems (CS4410/4411) for Anne Bracy
• Fa 2017, TA Operating Systems (CS4410/4411) for Anne Bracy and Gün Sirer

At EA

• 2016-2017, Volunteer with TEALS at Hillsdale High School

At UC Berkeley

• Sp 2014, TA Computer Security (CS 161) for David Wagner

Committees

I served as a reviewer on the program committee for PLDI 2024.

Academics and Experience

I have worked as an Assistant Teaching Professor at Northeastern University, where I taught introductory courses on programming, embedded systems, and computer organization in the department of Electrical and Computer Engineering.

I recently graduated with my PhD from Cornell University, where I investigated hardware—software co-design, particularly with a focus on security. My work aims to redefine and/or tighten the security abstractions across the program stack to prevent devastating side-channel attacks (such as Spectre) and even improve the performance of security-critical software. Most recently, I’ve been investigating how to use microarchitectural abstractions to build processors with provable correctness and security guarantees.

In 2014, I graduated from U.C. Berkeley with a Bachelor’s degree in Computer Science, where I focused on computer architecture courses and worked as a TA for CS 161 (Computer Security). For the following three years, I worked at Electronic Arts on the Digital Platform Data Team. I was (in part) responsible for administration and automated management of our AWS resources. Additionally, I worked on bringing low-latency stream processing to the EADP Data Team by adopting Apache Spark and Kafka. Lastly, I was in charge of rennovating EA’s responsive crash reporting system, BugSentry.

Other Interests

I am an avid outdoorsman and love to hike, bike, snowboard, ski, run and (most of all), rock climb. During my time at Cornell I was lucky enough to even teach a number of rock climbing courses with the wonderful College of Outdoor Education. I was also a member of the U.C. Berkeley Symphony Orchestra for 6 years as a violist.