Zobrazeno 1 - 10
of 14
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:
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
Autor:
Nate Foster, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker, Carolyn J. Anderson, Arjun Guha
Publikováno v:
POPL
Recent years have seen growing interest in high-level languages for programming networks. But the design of these languages has been largely ad hoc, driven more by the needs of applications and the capabilities of network hardware than by foundationa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00f73443966a402b695e4f6579ffcb11
https://doi.org/10.1145/2578855.2535862
https://doi.org/10.1145/2578855.2535862
Autor:
Mark Reitblatt, David Walker, Cole Schlesinger, Joshua Reich, Rob Harrison, Alec Story, Christopher Monsanto, Jennifer Rexford, Nate Foster, Michael J. Freedman, Naga Praveen Kumar Katta, Arjun Guha
Publikováno v:
IEEE Communications Magazine. 51:128-134
Modern computer networks perform a bewildering array of tasks, from routing and traffic monitoring, to access control and server load balancing. However, managing these networks is unnecessarily complicated and error-prone, due to a heterogeneous mix
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f43b2822c0960fd0b973e80067de341
https://doi.org/10.1109/mcom.2013.6461197
https://doi.org/10.1109/mcom.2013.6461197