William Harris

Orcid: 0000-0001-6630-9412

According to our database1, William Harris authored at least 22 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Increasing the representation of a targeted type in a reserve system.
Math. Soc. Sci., 2024

2023
Symphony: Expressive Secure Multiparty Computation with Coordination.
Art Sci. Eng. Program., February, 2023

2022
Research Report: Strengthening Weak Links in the PDF Trust Chain.
Proceedings of the 43rd IEEE Security and Privacy, 2022

Capturing the iccMAX calculatorElement: A Case Study on Format Design.
Proceedings of the 43rd IEEE Security and Privacy, 2022

Putting AI to Work: A Practical and Simple Application to Improve 3D X-ray FA.
Proceedings of the IEEE International Reliability Physics Symposium, 2022

SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics.
Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

2021
School Choice with Hybrid Schedules.
Games, 2021

SIA: Optimizing Queries using Learned Predicates.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2020
SPES: A Two-Stage Query Equivalence Verifier.
CoRR, 2020

Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax.
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

2019
Automated Verification of Query Equivalence Using Satisfiability Modulo Theories.
Proc. VLDB Endow., 2019

Relational Verification via Invariant-Guided Synchronization.
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.
Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

2017
Proofs as Relational Invariants of Synthesized Execution Grammars.
CoRR, 2017

Completely Automated Equivalence Proofs.
CoRR, 2017

Efficient Protection of Path-Sensitive Control Security.
Proceedings of the 26th USENIX Security Symposium, 2017

Socioeconomically sustainable rural microgrid engineering design.
Proceedings of the IEEE Global Humanitarian Technology Conference, 2017

Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016
Enforcing Kernel Security Invariants with Data Flow Integrity.
Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2015
FlexJava: language support for safe and modular approximate programming.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2012
Secure Programming via Safety Games.
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.
J. Chem. Inf. Model., 2006


  Loading...