Zobrazeno 1 - 8
of 8
pro vyhledávání: '"William T. Hallahan"'
Publikováno v:
Formal Methods in System Design. 56:127-153
Firewalls are widely deployed to manage enterprise networks. Because enterprise-scale firewalls contain hundreds or thousands of rules, ensuring the correctness of firewalls—that the rules in the firewalls meet the specifications of their administr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::434ed88161eee2e179f3f2c255433363
https://doi.org/10.1007/s10703-020-00346-0
https://doi.org/10.1007/s10703-020-00346-0
Publikováno v:
Haskell@ICFP
Constraint solvers give programmers a useful interface to solve challenging constraints at runtime. In particular, SMT solvers have been used for a vast variety of different, useful applications, ranging from strengthening Haskell's type system to ve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4bec07165a774320c02420e93665e25
https://doi.org/10.1145/3331545.3342590
https://doi.org/10.1145/3331545.3342590
Publikováno v:
PLDI
We present counterfactual symbolic execution, a new approach that produces counterexamples that localize the causes of failure of static verification. First, we develop a notion of symbolic weak head normal form and use it to define lazy symbolic exe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af1b82d5d8fbd91e6ef17a484ed19551
https://doi.org/10.1145/3314221.3314618
https://doi.org/10.1145/3314221.3314618
Autor:
William T. Hallahan, Calin Cascaval, Nick McKeown, Jeongkeun Lee, Jed Liu, Cole Schlesinger, Milad Sharif, Han Wang, Nate Foster, Robert Soulé
Publikováno v:
SIGCOMM
We present the design and implementation of p4v, a practical tool for verifying data planes described using the P4 programming language. The design of p4v is based on classic verification techniques but adds several key innovations including a novel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47f4233b9540d2fba24f7cdee2ef7962
https://doi.org/10.1145/3230543.3230582
https://doi.org/10.1145/3230543.3230582
Publikováno v:
FMCAD
Firewalls are widely deployed to manage enterprise networks. Because enterprise-scale firewalls contain hundreds or thousands of rules, ensuring the correctness of firewalls — that the rules in the firewalls meet the specifications of their adminis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76f4a0c32bc330198833cdac5e7cf5e2
https://doi.org/10.23919/fmcad.2017.8102263
https://doi.org/10.23919/fmcad.2017.8102263
Publikováno v:
Journal of Physics A: Mathematical and Theoretical. 49:055203
We use recent work of Jonah Blasiak (2012 arXiv:1209.2018) to prove a stability result for the coefficients in the Kronecker product of two Schur functions: one indexed by a hook partition and one indexed by a rectangle partition. We also give nearly
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a1d27c84c2a93ccfdd5129d7eb168e4b
https://doi.org/10.1088/1751-8113/49/5/055203
https://doi.org/10.1088/1751-8113/49/5/055203
Publikováno v:
Scopus-Elsevier
AAAI
AAAI
Programming-by-example (PBE) is a synthesis paradigm that allows users to generate functions by simply providing input-output examples. While a promising interaction paradigm, synthesis is still too slow for realtime interaction and more widespread a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d182e35c90d781894e54a65b7554cf0
http://www.scopus.com/inward/record.url?eid=2-s2.0-85095318002&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-85095318002&partnerID=MN8TOARS
Publikováno v:
Journal of Physics A: Mathematical & Theoretical; 2/5/2016, Vol. 49 Issue 5, p1-1, 1p