Statistics
Publications
22
Citations
1.1K
H-Index
17
Active since
2001
Alwen Tiu is an author at Australian National University specializing in computer science, formal methods, and logic.
Publications per year
2001–2018
22
22
Steelix: program-state based binary fuzzing
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan et al. · 2017 · 277 citations
A proof theory for generic judgments
Dale Miller, Alwen Tiu · ACM Transactions on Computational Logic · 2005 · 156 citations
Automating Open Bisimulation Checking for the Spi Calculus
Alwen Tiu, Jeremy E. Dawson · 2010 · 70 citations
Abella: A System for Reasoning about Relational Specifications
David Baelde, Kaustuv Chaudhuri, Andrew Gacek et al. · 2015 · 65 citations · Full text
A proof theory for generic judgments: an extended abstract
Dale Miller, Alwen Tiu · 2003 · 60 citations
1–5 of 22