Bringing Effortless Refinement of Data Layouts to Cogent. - Liam O'Connor; Zilin Chen; Partha Susarla; Christine Rizkallah; Gerwin Klein; Gabriele Keller (ISoLA (1), 2018)

Property-Based Testing: Climbing the Stairway to Verification. - Zilin Chen; Christine Rizkallah; Liam O'Connor; Partha Susarla; Gerwin Klein; Gernot Heiser; Gabriele Keller (SLE, 2022)