Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Cole Schlesinger"'
With the rise of software-as-a-service and microservice architectures, RESTful APIs are now ubiquitous in mobile and web applications. A service can have tens or hundreds of API methods, making it a challenge for programmers to find the right combina
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2047bd91cce7980c3f080bdba7dc636
http://arxiv.org/abs/2203.16697
http://arxiv.org/abs/2203.16697
Autor:
Andrew Gacek, Cole Schlesinger, Michael W. Whalen, John Backes, Carsten Varming, Rima Tanash, Martin Schaef, Byron Cook, Pauline Bolignano, Kasper Søe Luckow, Neha Rungta
Publikováno v:
IEEE Software. 36:61-65
Formal methods are mathematically based approaches for specifying, building, and reasoning about software. Despite 50 years of research and development, formal methods have had only limited impact in industry. While we have seen success in such domai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c37e1da603d67fbaa3ae6c301606c75
https://doi.org/10.1109/ms.2019.2930609
https://doi.org/10.1109/ms.2019.2930609
Autor:
Andrew Gacek, Andy Warfield, Dan Peebles, Brad E. Marshall, Neha Rungta, Chriss Stephens, Cole Schlesinger, Malik Bouchet, Ranjit Jhala, Byron Cook, Anna Druzkina, Bryant Cutler, Liana Hadarean, Carsten Varming
Publikováno v:
ESEC/SIGSOFT FSE
Data stored in cloud services is highly sensitive and so access to it is controlled via policies written in domain-specific languages (DSLs). The expressiveness of these DSLs provides users flexibility to cover a wide variety of uses cases, however,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f80ccb3115bd7dfa265955048afb0229
https://doi.org/10.1145/3368089.3409728
https://doi.org/10.1145/3368089.3409728
Autor:
Anvesh Tanuku, Mclaughlin Sean, Cole Schlesinger, Tyler Stuart Bray, Neha Rungta, Deepa Viswanathan, Kasper Søe Luckow, Adam Schodde, Andrew Gacek, Ulises Berrueco, Madhav Menon, Daniel Brim, Byron Cook, Daniel Peebles, John Backes, Ranjit Jhala, Carsten Varming, Ujjwal Pugalia
Publikováno v:
Computer Aided Verification ISBN: 9783030532871
CAV (1)
CAV (1)
The shift to cloud-based APIs has made application security critically depend on understanding and reasoning about policies that regulate access to cloud resources. We present stratified predicate abstraction, a new approach that summarizes complex s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c616e6d67a7cf2c2d29a11d41f8f95b
https://doi.org/10.1007/978-3-030-53288-8_9
https://doi.org/10.1007/978-3-030-53288-8_9
Autor:
Frank Tip, Jean-Baptiste Jeannin, Colin S. Gordon, Cole Schlesinger, Satish Chandra, Young-Il Choi, Manu Sridharan
Publikováno v:
OOPSLA
We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recursive objects, and is expressive e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b1cb2dbd4e8eb9f6451479cb2216642
https://doi.org/10.1145/3022671.2984017
https://doi.org/10.1145/3022671.2984017
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:
Onward!
Programmatically controllable home devices are proliferating, ranging from lights, locks, and motion sensors to smart refrigerators, televisions, and cameras, giving end users unprecedented control over their environment. New domain-specific language
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aeba89fb26830b720afc9d88cc588c31
https://doi.org/10.1145/3133850.3133860
https://doi.org/10.1145/3133850.3133860
Publikováno v:
ICFP
In a Software-Defined Network (SDN), a central, computationally powerful controller manages a set of distributed, computationally simple switches . The controller computes a policy describing how each switch should route packets and populates packet-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b109856ea1b62cfe8086cb879dbab90
https://doi.org/10.1145/2692915.2628157
https://doi.org/10.1145/2692915.2628157
Autor:
Cole Schlesinger, Martin J. Izzard, Daniel Talayco, Daniel P. Daly, Jennifer Rexford, Amin Vahdat, David Walker, George Varghese, Glen Gibb, Nick McKeown, Pat Bosshart
Publikováno v:
ACM SIGCOMM Computer Communication Review. 44:87-95
P4 is a high-level language for programming protocol-independent packet processors. P4 works in conjunction with SDN control protocols like OpenFlow. In its current form, OpenFlow explicitly specifies protocol headers on which it operates. This set h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7e9872e14904b6f06a6d1ec1a2f954c
https://doi.org/10.1145/2656877.2656890
https://doi.org/10.1145/2656877.2656890
Publikováno v:
CSF
This paper introduces Yarra, a conservative extension to C to protect applications from non-control data attacks. Yarra programmers specify their data integrity requirements by declaring critical data types and ascribing these critical types to impor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbd70197bd043c62745ba5df083ab159
https://doi.org/10.3233/jcs-140502
https://doi.org/10.3233/jcs-140502