William Harris
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2016–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICDE | SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics. | Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu |
| 2022 | SP | 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 |
| 2022 | SP | Research Report: Strengthening Weak Links in the PDF Trust Chain. | Mark Tullsen, William Harris, Peter Wyatt |
| 2021 | SIGMOD | SIA: Optimizing Queries using Learned Predicates. | Qi Zhou, Joy Arulraj, Shamkant B. Navathe, William Harris, Jinpeng Wu |
| 2020 | SP | 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 |
| 2016 | NDSS | Enforcing Kernel Security Invariants with Data Flow Integrity. | Chengyu Song, Byoungyoung Lee, Kangjie Lu, William Harris, Taesoo Kim, Wenke Lee |