According to our database1, William Harris authored at least 8 papers between 2006 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions.
Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018
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
Enforcing Kernel Security Invariants with Data Flow Integrity.
Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016
FlexJava: language support for safe and modular approximate programming.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Secure Programming via Safety Games.
Generation and Selection of Novel Estrogen Receptor Ligands Using the De Novo Structure-Based Design Tool, SkelGen.
Journal of Chemical Information and Modeling, 2006