15 citations · 15 across the 2 of their papers we have counts for
3 papers
cs.CR2020★ 15 cited
HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing
William Blair, Andrea Mambretti, Sajjad Arshad +4
Contemporary fuzz testing techniques focus on identifying memory corruption vulnerabilities that allow adversaries to achieve either remote code execution or information disclosure…
cs.PL2017
Dependent Types for Multi-Rate Flows in Synchronous Programming
William Blair, Hongwei Xi
Synchronous programming languages emerged in the 1980s as tools for implementing reactive systems, which interact with events from physical environments and often must do so under…
cs.PL2016
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus
Hongwei Xi, Zhiqiang Ren, Hanwen Wu +1
We present a formalization of session types in a multi-threaded lambda-calculus (MTLC) equipped with a linear type system, establishing for the MTLC both type preservation and glob…