William Harris

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