Future systems-on-chip: software of hardware design? (panel session). - Brian Dipert; Danesh Tavana; Barry K. Britton; Bill Harris; Bob Boderson; Chris Rowen (DAC, 2000)

DISV: Domain Independent Semantic Validation of Data Files. - Ashish Kumar; Bill Harris; Gang Tan (SP (Workshops), 2023)

Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities. - Santiago Cuéllar; Bill Harris; James Parker; Stuart Pernsteiner; Eran Tromer (USENIX Security Symposium, 2023)

Daedalus: Safer Document Parsing. - Iavor S. Diatchki; Mike Dodds; Harrison Goldstein; Bill Harris; David A. Holland; Benoît Razet; Cole Schlesinger; Simon Winwood (Proc. ACM Program. Lang., 2024)