Generation and Selection of Novel Estrogen Receptor Ligands Using the De Novo Structure-Based Design Tool, SkelGen. - Stuart Firth-Clark; Henriëtte M. G. Willems; Anthony Williams; William Harris (J. Chem. Inf. Model., 2006)

Secure Programming via Safety Games. - William Harris (Adv. Math. Commun., 2012)

FlexJava: language support for safe and modular approximate programming. - Jongse Park; Hadi Esmaeilzadeh; Xin Zhang 035; Mayur Naik; William Harris (ESEC/SIGSOFT FSE, 2015)

Enforcing Kernel Security Invariants with Data Flow Integrity. - Chengyu Song; Byoungyoung Lee; Kangjie Lu; William Harris; Taesoo Kim; Wenke Lee (NDSS, 2016)

Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants. - Hyoukjun Kwon; William Harris; Hadi Esmaeilzadeh (CSF, 2017)

Socioeconomically sustainable rural microgrid engineering design. - William Harris; Mehrdad Ehsani (GHTC, 2017)

Efficient Protection of Path-Sensitive Control Security. - Ren Ding 001; Chenxiong Qian; Chengyu Song; William Harris; Taesoo Kim; Wenke Lee (USENIX Security Symposium, 2017)

Completely Automated Equivalence Proofs. - Qi Zhou 010; David Heath; William Harris (CoRR, 2017)

Proofs as Relational Invariants of Synthesized Execution Grammars. - Caleb Voss; David Heath; William Harris (CoRR, 2017)

Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions. - Qi Zhou 010; William Harris (HCVS, 2018)

Relational Verification via Invariant-Guided Synchronization. - Qi Zhou 010; David Heath; William Harris (HCVS/PERR@ETAPS, 2019)

Automated Verification of Query Equivalence Using Satisfiability Modulo Theories. - Qi Zhou 010; Joy Arulraj; Shamkant B. Navathe; William Harris; Dong Xu (Proc. VLDB Endow., 2019)

Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax. - Sam Cowger; Yerim Lee; Nichole Schimanski; Mark Tullsen; Walter Woods; Richard Jones; E. W. Davis; William Harris; Trent Brunson; Carson Harmon; Bradford Larsen; Evan Sultanik (SP (Workshops), 2020)

SPES: A Two-Stage Query Equivalence Verifier. - Qi Zhou 010; Joy Arulraj; Shamkant B. Navathe; William Harris; Jinpeng Wu (CoRR, 2020)

SIA: Optimizing Queries using Learned Predicates. - Qi Zhou 010; Joy Arulraj; Shamkant B. Navathe; William Harris; Jinpeng Wu (SIGMOD Conference, 2021)

School Choice with Hybrid Schedules. - Mustafa Oguz Afacan; Umut Mert Dur; William Harris (Games, 2021)

SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics. - Qi Zhou 010; Joy Arulraj; Shamkant B. Navathe; William Harris; Jinpeng Wu (ICDE, 2022)

Putting AI to Work: A Practical and Simple Application to Improve 3D X-ray FA. - William Harris; Allen Gu; Masako Terada (IRPS, 2022)

Capturing the iccMAX calculatorElement: A Case Study on Format Design. - Vijay H. Kothari; Prashant Anantharaman; Sean W. Smith; Briland Hitaj; Prashanth Mundkur; Natarajan Shankar; Letitia W. Li; Iavor Diatchki; William Harris (SP (Workshops), 2022)

Research Report: Strengthening Weak Links in the PDF Trust Chain. - Mark Tullsen; William Harris; Peter Wyatt (SP (Workshops), 2022)

Symphony: Expressive Secure Multiparty Computation with Coordination. - Ian Sweet; David Darais; David Heath; William Harris; Ryan Estes; Michael Hicks 001 (Art Sci. Eng. Program., 2023)

Increasing the representation of a targeted type in a reserve system. - Abdullah Almeer; Umut Mert Dur; William Harris; Greg Hauser; William Phan; Yanning Zhang 002 (Math. Soc. Sci., 2024)