Cole Schlesinger
发表
B. Livshits,
N. Swamy,
Juan Chen,
2012
.
N. Swamy,
Cole Schlesinger,
2012
.
Juan Chen,
Benjamin Livshits,
Nikhil Swamy,
2013,
PLDI.
Benjamin Livshits,
Nikhil Swamy,
Cole Schlesinger,
2013,
PLDI.
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2013,
IEEE Communications Magazine.
David Walker,
Nikhil Swamy,
Cole Schlesinger,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
George Varghese,
Glen Gibb,
Nick McKeown,
2013,
CCRV.
Jean-Baptiste Jeannin,
Cole Schlesinger,
Nate Foster,
2014,
POPL.
N. Bjørner,
D. Terry,
G. Varghese,
2016
.
Jean-Baptiste Jeannin,
Frank Tip,
Manu Sridharan,
2016,
OOPSLA.
Nate Foster,
Jean-Baptiste Jeannin,
Arjun Guha,
2014,
POPL.
Nick McKeown,
Robert Soulé,
Han Wang,
2018,
SIGCOMM.
Jean-Baptiste Jeannin,
George Varghese,
Leonid Ryzhyk,
2017,
NSDI.
David Walker,
Jennifer Rexford,
Cole Schlesinger,
2012,
SIGCOMM '12.
Ranjit Jhala,
Liana Hadarean,
Byron Cook,
2020,
ESEC/SIGSOFT FSE.
David Walker,
Jennifer Rexford,
Cole Schlesinger,
2014,
SoCC.
Cole Schlesinger,
Nate Foster,
Alec Story,
2012,
HotSDN '12.
Cole Schlesinger,
Pauline Bolignano,
John D. Backes,
2019,
IEEE Software.
William T. Hallahan,
Jeongkeun Lee,
N. McKeown,
2018,
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication.
Cole Schlesinger,
Hitesh Ballani,
Thomas Karagiannis,
2015
.
Arjun Guha,
Cole Schlesinger,
Nate Foster,
2013,
2013 Formal Methods in Computer-Aided Design.
Cole Schlesinger,
Ranjit Jhala,
John D. Backes,
2020,
CAV.
David Walker,
Cole Schlesinger,
Michael Greenberg,
2014,
ICFP 2014.
Manu Sridharan,
Satish Chandra,
Cole Schlesinger,
2016
.
Manu Sridharan,
Cole Schlesinger,
S. Chandra,
2016
.
Nikhil Swamy,
Cole Schlesinger,
Juan Chen,
2012
.
Cole Schlesinger,
Jean Yang,
N. Polikarpova,
2022,
PLDI.