E-LIB Suche - Ergebnisse für: Schlesinger, Cole

1

Daedalus: Safer Document Parsing:

Diatchki, Iavor S. ; Dodds, Mike ; Goldstein, Harrison...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 816-840 , 2024

Link: https://doi.org/10.1145/..

2

KATch: A Fast Symbolic Verifier for NetKAT:

Moeller, Mark ; Jacobs, Jules ; Belanger, Olivier Savary...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1905-1928 , 2024

Link: https://doi.org/10.1145/..

3

Type-directed program synthesis for RESTful APIs:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Guo, Zheng ; Cao, David ; Tjong, Davin... - p. 122-136 , 2022

Link: https://dl.acm.org/doi/1..

4

Stratified Abstraction of Access Control Policies:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Backes, John ; Berrueco, Ulises ; Bray, Tyler... - p. 165-176 , 2020

Link: https://doi.org/10.1007/..

5

Block public access: trust safety verification of access co..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Bouchet, Malik ; Cook, Byron ; Cutler, Bryant... - p. 281-291 , 2020

Link: https://dl.acm.org/doi/1..

6

One-Click Formal Methods:

Backes, John ; Bolignano, Pauline ; Cook, Byron...
IEEE Software. 36 (2019) 6 - p. 61-65 , 2019

Link: https://doi.org/10.1109/..

7

p4v : practical verification for programmable data plane:

, In: Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication,

Liu, Jed ; Hallahan, William ; Schlesinger, Cole... - p. 490-503 , 2018

Link: https://dl.acm.org/doi/1..

8

IOTA: a calculus for internet of things automation:

, In: Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Newcomb, Julie L. ; Chandra, Satish ; Jeannin, Jean-Baptiste.. - p. 119-133 , 2017

Link: https://dl.acm.org/doi/1..

9

A practical framework for type inference error explanation:

Loncaric, Calvin ; Chandra, Satish ; Schlesinger, Cole.
ACM SIGPLAN Notices. 51 (2016) 10 - p. 781-799 , 2016

Link: https://doi.org/10.1145/..

10

A practical framework for type inference error explanation:

, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Loncaric, Calvin ; Chandra, Satish ; Schlesinger, Cole. - p. 781-799 , 2016

Link: https://dl.acm.org/doi/1..

11

Type inference for static compilation of JavaScript:

, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Chandra, Satish ; Gordon, Colin S. ; Jeannin, Jean-Baptiste... - p. 410-429 , 2016

Link: https://dl.acm.org/doi/1..

12

Type inference for static compilation of JavaScript:

Chandra, Satish ; Gordon, Colin S. ; Jeannin, Jean-Baptiste...
ACM SIGPLAN Notices. 51 (2016) 10 - p. 410-429 , 2016

Link: https://doi.org/10.1145/..

13

P4: programming protocol-independent packet processors:

Bosshart, Pat ; Daly, Dan ; Gibb, Glen...
ACM SIGCOMM Computer Communication Review. 44 (2014) 3 - p. 87-95 , 2014

Link: https://doi.org/10.1145/..

14

P4 : programming protocol-independent packet processors:

Bosshart, Pat ; Daly, Dan ; Gibb, Glen...
ACM SIGCOMM Computer Communication Review. 44 (2014) 3 - p. 87-95 , 2014

Link: https://dl.acm.org/doi/1..

15

NetKAT: semantic foundations for networks:

Anderson, Carolyn Jane ; Foster, Nate ; Guha, Arjun...
ACM SIGPLAN Notices. 49 (2014) 1 - p. 113-126 , 2014

Link: https://doi.org/10.1145/..