William Harris

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 20

Top Topics

Boolean Operators

Engineering Design

Top Venues

Proc. VLDB Endow.

Publications

Abdullah Almeer, Umut Mert Dur, William Harris, Greg Hauser, William Phan, Yanning Zhang
Increasing the representation of a targeted type in a reserve system. Math. Soc. Sci. 129 (2024)
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
Symphony: Expressive Secure Multiparty Computation with Coordination. CoRR (2023)
Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
Symphony: Expressive Secure Multiparty Computation with Coordination. Art Sci. Eng. Program. 7 (3) (2023)
Vijay H. Kothari, Prashant Anantharaman, Sean W. Smith, Briland Hitaj, Prashanth Mundkur, Natarajan Shankar, Letitia W. Li, Iavor Diatchki, William Harris
Capturing the iccMAX calculatorElement: A Case Study on Format Design. SP Workshops (2022)
Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu
SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics. ICDE (2022)
Mark Tullsen, William Harris, Peter Wyatt
Research Report: Strengthening Weak Links in the PDF Trust Chain. SP Workshops (2022)
William Harris, Allen Gu, Masako Terada
Putting AI to Work: A Practical and Simple Application to Improve 3D X-ray FA. IRPS (2022)
Mustafa Oguz Afacan, Umut Mert Dur, William Harris
School Choice with Hybrid Schedules. Games 12 (2) (2021)
Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu
SIA: Optimizing Queries using Learned Predicates. SIGMOD Conference (2021)
Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu
SPES: A Two-Stage Query Equivalence Verifier. CoRR (2020)
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
Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax. SP Workshops (2020)
Qi Zhou, David Heath, William Harris
Relational Verification via Invariant-Guided Synchronization. HCVS/PERR@ETAPS (2019)
Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Dong Xu
Automated Verification of Query Equivalence Using Satisfiability Modulo Theories. Proc. VLDB Endow. 12 (11) (2019)
Qi Zhou, William Harris
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions. HCVS (2018)
Caleb Voss, David Heath, William Harris
Proofs as Relational Invariants of Synthesized Execution Grammars. CoRR (2017)
Hyoukjun Kwon, William Harris, Hadi Esmaeilzadeh
Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants. CSF (2017)
Ren Ding, Chenxiong Qian, Chengyu Song, William Harris, Taesoo Kim, Wenke Lee
Efficient Protection of Path-Sensitive Control Security. USENIX Security Symposium (2017)
William Harris, Mehrdad Ehsani
Socioeconomically sustainable rural microgrid engineering design. GHTC (2017)
Qi Zhou, David Heath, William Harris
Completely Automated Equivalence Proofs. CoRR (2017)
Chengyu Song, Byoungyoung Lee, Kangjie Lu, William Harris, Taesoo Kim, Wenke Lee
Enforcing Kernel Security Invariants with Data Flow Integrity. NDSS (2016)
Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris
FlexJava: language support for safe and modular approximate programming. ESEC/SIGSOFT FSE (2015)
William Harris
Secure Programming via Safety Games. Tiny Trans. Comput. Sci. 1 (2012)
Stuart Firth-Clark, Henriëtte M. G. Willems, Anthony Williams, William Harris
Structure-Based Design Tool, SkelGen. J. Chem. Inf. Model. 46 (2) (2006)