William Harris

According to our database, William Harris authored at least 21 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Symphony: Expressive Secure Multiparty Computation with Coordination.

Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks

Art Sci. Eng. Program., February, 2023

2022

Research Report: Strengthening Weak Links in the PDF Trust Chain.

Mark Tullsen, William Harris, Peter Wyatt

Proceedings of the 43rd IEEE Security and Privacy, 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

Proceedings of the 43rd IEEE Security and Privacy, 2022

Putting AI to Work: A Practical and Simple Application to Improve 3D X-ray FA.

William Harris, Allen Gu, Masako Terada

Proceedings of the IEEE International Reliability Physics Symposium, 2022

SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics.

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu

Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

2021

School Choice with Hybrid Schedules.

Mustafa Oguz Afacan, Umut Mert Dur, William Harris

Games, 2021

SIA: Optimizing Queries using Learned Predicates.

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2020

SPES: A Two-Stage Query Equivalence Verifier.

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu

CoRR, 2020

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

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

2019

Automated Verification of Query Equivalence Using Satisfiability Modulo Theories.

Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Dong Xu

Proc. VLDB Endow., 2019

Relational Verification via Invariant-Guided Synchronization.

Qi Zhou, David Heath, William Harris

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

2018

Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions.

Qi Zhou, William Harris

Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

2017

Proofs as Relational Invariants of Synthesized Execution Grammars.

Caleb Voss, David Heath, William Harris

CoRR, 2017

Completely Automated Equivalence Proofs.

Qi Zhou, David Heath, William Harris

CoRR, 2017

Efficient Protection of Path-Sensitive Control Security.

Ren Ding, Chenxiong Qian, Chengyu Song, William Harris, Taesoo Kim, Wenke Lee

Proceedings of the 26th USENIX Security Symposium, 2017

Socioeconomically sustainable rural microgrid engineering design.

William Harris, Mehrdad Ehsani

Proceedings of the IEEE Global Humanitarian Technology Conference, 2017

Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants.

Hyoukjun Kwon, William Harris, Hadi Esmaeilzadeh

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Enforcing Kernel Security Invariants with Data Flow Integrity.

Chengyu Song, Byoungyoung Lee, Kangjie Lu, William Harris, Taesoo Kim, Wenke Lee

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2015

FlexJava: language support for safe and modular approximate programming.

Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2012

Secure Programming via Safety Games.

William Harris

Tiny Trans. Comput. Sci., 2012

2006

Generation and Selection of Novel Estrogen Receptor Ligands Using the <i>De Novo</i> Structure-Based Design Tool, SkelGen.

Stuart Firth-Clark, Henriëtte M. G. Willems, Anthony Williams, William Harris

J. Chem. Inf. Model., 2006