Research

• 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 systems software.

• 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

• Symbolic Modeling of Micro Services for Intrusion Detection
  Poster Session: IEEE Symposium on Security and Privacy, May 2021
  
• Microservice-Aware Reference Monitoring through Hybrid Program Analysis
  FloCon 2021, CMU Software Engineering Institute (SEI)
  
• 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.

• CS210: Computer Systems (Spring 2021)
• 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)