This post was written as part of CS 6120: Advanced Compilers
Google Scholar: Drew Zagieboylo
- SpecVerilog: Adapting Information Flow Control for Secure Speculation - Drew Zagieboylo, Charles Sherk, G. Edward Suh, and Andrew C. Myers (To appear at CCS ‘23)
- 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]
- Cost-Efficient and Reliable Reporting of Highly Bursty Video Game Crash Data - Drew Zagieboylo, Kazi Zaman (ICPE ‘17)
- 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
- 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)
- Fa 2023:
- EECE 2140, Computing Fundamentals for Engineers
- EECE 2160, Embedded Design: Enabling Robotics
- 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
- 2016-2017, Volunteer with TEALS at Hillsdale High School
At UC Berkeley
- Sp 2014, TA Computer Security (CS 161) for David Wagner
Please feel free to reach out to me for anything releated to my research or personal interests!
Email : email@example.com
Academics and Experience
I am now an Assistant Teaching Professor at Northeastern University, where I am excited to be teaching in the Electrical and Computer Engineering Department.
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.
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.