William Blair

According to our database, William Blair authored at least 8 papers between 2015 and 2023.

Collaborative distances:

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

2023

A Dependently Typed Language with Dynamic Equality.

Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

ThreadLock: Native Principal Isolation Through Memory Protection Keys.

William Blair, William K. Robertson, Manuel Egele

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

2022

HotFuzz: Discovering Temporal and Spatial Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing.

William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele

ACM Trans. Priv. Secur., 2022

MPKAlloc: Efficient Heap Meta-data Integrity Through Hardware Memory Protection Keys.

William Blair, William K. Robertson, Manuel Egele

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2022

2021

FlexFilt: Towards Flexible Instruction Filtering for Security.

Leila Delshadtehrani, Sadullah Canakci, William Blair, Manuel Egele, Ajay Joshi

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020

HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing.

William Blair, Andrea Mambretti, Sajjad Arshad, Michael Weissbacher, William Robertson, Engin Kirda, Manuel Egele

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

2016

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus.

Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair

CoRR, 2016

2015

Dependent Types for Multi-Rate Flows in Synchronous Programming.

William Blair, Hongwei Xi

Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2015