Cole Schlesinger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
9
Active years
2012–2022
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PLDI | Type-directed program synthesis for RESTful APIs. | Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova |
| 2020 | CAV | Stratified Abstraction of Access Control Policies. | John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Se Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan |
| 2018 | SIGCOMM | p4v: practical verification for programmable data planes. | Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soul, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster |
| 2017 | NSDI | Correct by Construction Networks Using Stepwise Refinement. | Leonid Ryzhyk, Nikolaj S. Bjrner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese |
| 2017 | OOPSLA | I¿¿¿: a calculus for internet of things automation. | Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan |
| 2016 | OOPSLA | Type inference for static compilation of JavaScript. | Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi |
| 2016 | OOPSLA | A practical framework for type inference error explanation. | Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan |
| 2014 | CLOUD | Transparent, Live Migration of a Software-Defined Network. | Soudeh Ghorbani, Cole Schlesinger, Matthew Monaco, Eric Keller, Matthew Caesar, Jennifer Rexford, David Walker |
| 2014 | ICFP | Concurrent NetCore: from policies to pipelines. | Cole Schlesinger, Michael Greenberg, David Walker |
| 2014 | POPL | NetkAT: semantic foundations for networks. | Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker |
| 2013 | FMCAD | Tutorial: Practical verification of network programs. | Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger |
| 2013 | PLDI | Verifying higher-order programs with the dijkstra monad. | Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits |
| 2012 | SIGCOMM | Splendid isolation: a slice abstraction for software-defined networks. | Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster |
| 2012 | SIGCOMM | Abstractions for network update. | Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker |