PhD Candidate [cv]
Computer Science (Software Security, POPV)
Email: wdblair at bu dot edu
I am a PhD candidate studying Program Analysis at Boston University under the
supervision of Manuel Egele and Hongwei Xi.
I am interested in developing program analysis techniques that discover unknown
vulnerabilities hiding in programs and exploring language based security
approaches that defend such programs from attacks. I am also interested in
how advanced type systems can help improve the reliability and security of
MS in Computer Science
Boston University 2014
BA in Computer Science
Boston University 2012
- ATSFlight [project]
A firmware for First-Person-View (FPV) racing drones implemented in ATS.
- HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing [pdf][post][slides]
William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, Engin Kirda, William Robertson, Manuel Egele
In Proceedings of Network and Distributed Systems Security Symposium (NDSS) 2020
- Dependent Types for Multi-Rate Data Flows in Synchronous Programming [pdf] [code]
William Blair, Hongwei Xi
In Post-Proceedings of 2015 ACM Workshop on ML
- Microservice-Aware Reference Monitoring through Hybrid Program Analysis
FloCon 2021, CMU Software Engineering Institute (SEI)
- HotFuzz: Fuzzing for Space and Time Vulnerabilities in Java Programs
DARPA Space and Time Analysis for Cybersecurity P.I. Meeting, Apogee Research, February 2019.
- Continuum: Finding Space and Time Vulnerabilities in Java Programs
DARPA Space and Time Analysis for Cybersecurity P.I. Meeting, August 2016.
- Side Channels and Worst Case Behavior in Java
Northeastern-WPI Seminar on Systems Security June 2016.
- Using a Portfolio of SMT Solvers in Software Development
New England Programming Languages Symposium (NEPLS), Tufts University, November 2015.
- Dependent Types for Real-Time Constraints [video]
ACM SIGPLAN ML Family Workshop at The International Conference on Functional Programming (ICFP), Vancouver, Canada, September 2015.
- Integrating SMT into Software Development
New England Programming Languages Symposium (NEPLS), Wesleyan University, June 2015.
- Debugging with Types in ATS[video]
Boston Haskell Meetup, December 2014.
I have served as a T.F. for the following courses.
- CS630: Graduate Design and Analysis of Algorithms (Fall 2020)
- CS530: Graduate Design and Analysis of Algorithms (Fall 2019)
- CS111: Introduction to Computer Science (Spring 2015)
- CS111: Introduction to Computer Science (Fall 2014)
- CS211: iOS Application Development (Spring 2014)
- DARPA Space and Time Analysis for Cybersecurity (STAC)