Zobrazeno 1 - 10
of 55
pro vyhledávání: '"William R. Harris"'
Publikováno v:
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security.
Publikováno v:
SIGMOD Conference
Predicate-centric rules for rewriting queries is a key technique in optimizing queries. These include pushing down the predicate below the join and aggregation operators, or optimizing the order of evaluating predicates. However, many of these rules
Publikováno v:
Proceedings of the VLDB Endowment. 12:1276-1288
Database-as-a-service offerings enable users to quickly create and deploy complex data processing pipelines. In practice, these pipelines often exhibit significant overlap of computation due to redundant execution of certain sub-queries. It is challe
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 296, Iss Proc. HCVS/PERR 2019, Pp 28-41 (2019)
HCVS/PERR@ETAPS
HCVS/PERR@ETAPS
Relational properties describe relationships that hold over multiple executions of one or more programs, such as functional equivalence. Conventional approaches for automatically verifying such properties typically rely on syntax-based, heuristic str
Autor:
Bradford Larsen, EW Davis, Evan A. Sultanik, Carson Harmon, Walter Woods, Nichole Schimanski, Sam Cowger, Trent Brunson, William R. Harris, Mark Tullsen, Yerim Lee, Richard Jones
Publikováno v:
SP Workshops
When $a$ data format achieves a significant level of adoption, the presence of multiple format implementations expands the original specification in often-unforeseen ways. This results in an implicitly defined, de facto format, which can create vulne
Autor:
William R. Harris, Brian Prokuda
Publikováno v:
2020 IEEE IAS Electrical Safety Workshop (ESW).
The 2017 Electrical Safety Workshop provided inspiration to incorporate an Arc Flash incident in the annual facility safety drill. The scope was to have the local bomb squad set off a flash pack in a decommissioned substation to simulate an arc flash
Publikováno v:
Theoretical Ecology. 10:417-431
Most flowering plants are simultaneous hermaphrodites. Within species and even within local populations, sex allocation is usually highly plastic. Here, we link pollen sufficiency to the size of pollen-exchanging groups (i.e., pollen neighborhoods) a
Autor:
William R. Harris
Publikováno v:
INSIGHT. 19:24-27
Autor:
Simon P. Chung, Taesoo Kim, Chenxiong Qian, Wenke Lee, Carter Yagemann, Hong Hu, William R. Harris
Publikováno v:
CCS
The goal of control-flow integrity (CFI) is to stop control-hijacking attacks by ensuring that each indirect control-flow transfer (ICT) jumps to its legitimate target. However, existing implementations of CFI have fallen short of this goal because t