Arjun Guha
发表
David Walker,
Michael J. Freedman,
Jennifer Rexford,
2013,
IEEE Communications Magazine.
Chen Liang,
Shriram Krishnamurthi,
Arjun Guha,
2013,
SIGCOMM.
Benjamin Livshits,
Nikhil Swamy,
Arjun Guha,
2011,
2011 IEEE Symposium on Security and Privacy.
M. Casado,
Nate Foster,
Arjun Guha,
2014,
Commun. ACM.
Arjun Guha,
Nate Foster,
Mark Reitblatt,
2013,
PLDI.
M. Veloso,
Arjun Guha,
D. Garlan,
2019
.
Arjun Guha,
Joydeep Biswas,
Jarrett Holtz,
2018
.
Benjamin S. Lerner,
Arjun Guha,
J. Politz,
2012
.
Jean-Baptiste Jeannin,
Cole Schlesinger,
Nate Foster,
2014,
POPL.
Arjun Guha,
Ming-Ho Yee,
2023,
ArXiv.
Harm de Vries,
Carolyn Jane Anderson,
Leandro von Werra,
2023,
ArXiv.
Carolyn Jane Anderson,
Molly Q. Feldman,
Arjun Guha,
2022,
ArXiv.
Carolyn Jane Anderson,
Molly Q. Feldman,
Arjun Guha,
2022,
2208.08227.
Arjun Guha,
Michael Greenberg,
Carolyn Jane Anderson,
2021,
Proc. ACM Program. Lang..
Arjun Guha,
Nate Foster,
Steffen Smolka,
2015,
ICFP.
Nate Foster,
Jean-Baptiste Jeannin,
Arjun Guha,
2014,
POPL.
Abhinav Jangda,
Arjun Guha,
Marco Serafini,
2020,
EuroSys.
Harm de Vries,
Carolyn Jane Anderson,
Leandro von Werra,
2023,
ArXiv.
Carolyn Jane Anderson,
Molly Q. Feldman,
Arjun Guha,
2023,
IEEE Transactions on Software Engineering.
Yuriy Brun,
Abhinav Jangda,
Arjun Guha,
2019,
Proc. ACM Program. Lang..
Arjun Guha,
Emily Herbert,
Emily A. Herbert,
2019,
ArXiv.
Arjun Guha,
Steven Holtzen,
Ming-Ho Yee,
2023,
ArXiv.
Carolyn Jane Anderson,
Molly Q. Feldman,
Arjun Guha,
2023,
ArXiv.
Joe Gibbs Politz,
Kathi Fisler,
Shriram Krishnamurthi,
2016,
SIGCSE.
Arjun Guha,
Joydeep Biswas,
Jarrett Holtz,
2021,
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Arjun Guha,
Joydeep Biswas,
Jarrett Holtz,
2020,
CoRL.
Arjun Guha,
M. Serafini,
Abhinav Jangda,
2020,
ArXiv.
Chen Liang,
Shriram Krishnamurthi,
Arjun Guha,
2012,
HotSDN '12.
Carolyn Jane Anderson,
Arjun Guha,
Abhinav Jangda,
2023,
2308.09895.
Martín Casado,
Arjun Guha,
Nate Foster,
2014,
Commun. ACM.
Arjun Guha,
Cole Schlesinger,
Nate Foster,
2013,
2013 Formal Methods in Computer-Aided Design.
Kathi Fisler,
Daniel J. Dougherty,
Shriram Krishnamurthi,
2013,
HotSDN '13.
Marco Canini,
Arjun Guha,
Nate Foster,
2013,
HotSDN '13.
Robert Bruce Findler,
Shriram Krishnamurthi,
Arjun Guha,
2013,
SIGCSE '13.
Shriram Krishnamurthi,
Arjun Guha,
Claudiu Saftoiu,
2010,
ECOOP.
Shriram Krishnamurthi,
Arjun Guha,
Arjun Guha,
2010,
FoSER '10.
Arjun Guha,
Joydeep Biswas,
Jarrett Holtz,
2018,
IJCAI.
Shriram Krishnamurthi,
Arjun Guha,
Rodrigo Fonseca,
2012,
Hot-ICE.
Arjun Guha,
Jonathan Bell,
Federico Cassano,
2022,
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).
Yuriy Brun,
Arjun Guha,
Donald Pinckney,
2020,
DLS.
Jean-Baptiste Jeannin,
Arjun Guha,
Rachit Nigam,
2017,
SNAPL.
Shriram Krishnamurthi,
Leo A. Meyerovich,
Arjun Guha,
2009,
OOPSLA '09.
Jonathan Bell,
Arjun Guha,
J. Perretta,
2022,
ISSTA.
Abhinav Jangda,
Bobby Powers,
Arjun Guha,
2019,
USENIX Annual Technical Conference.
Harm de Vries,
Carolyn Jane Anderson,
Leandro von Werra,
2023,
ArXiv.
Arjun Guha,
Joydeep Biswas,
Jenna Claire Hammond,
2019,
ArXiv.
Arjun Guha,
Aaron Weiss,
Rian Shambaugh,
2015,
PLDI.
Laurent Vanbever,
Arjun Guha,
Nate Foster,
2016,
SOSR.
Laurent Vanbever,
Arjun Guha,
Nate Foster,
2015,
ArXiv.