Ross Tate
发表
Ross Tate,
Andrew K. Hirsch,
R. Tate,
2018,
Proc. ACM Program. Lang..
Ross Tate,
Sorin Lerner,
R. Tate,
2012
.
Ross Tate,
Nada Amin,
2016,
OOPSLA.
Ross Tate,
Fabian Muehlboeck,
Fabian Muehlboeck,
2018,
Proc. ACM Program. Lang..
Ross Tate,
Sorin Lerner,
Daan Leijen,
2010
.
Ross Tate,
2017,
ECOOP.
Ross Tate,
R. Tate,
2013,
POPL.
Ross Tate,
Ethan Cecchetti,
Andrew K. Hirsch,
2020,
2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Ross Tate,
Stephen Longfield,
Rajit Manohar,
2015,
PLDI.
Ross Tate,
Liron Cohen,
Sofia Abreu Faro,
2019,
MFPS.
Ross Tate,
2014
.
Ross Tate,
Sorin Lerner,
Alan Leung,
2011,
PLDI '11.
Ross Tate,
Fabian Muehlboeck,
2018
.
Jan Vitek,
Ross Tate,
Julia Belyakova,
2020,
Proc. ACM Program. Lang..
Ross Tate,
Chris Hawblitzel,
Juan Chen,
2008
.
Michael Stepp,
Ross Tate,
Sorin Lerner,
2010,
POPL '10.
Ross Tate,
Ben Greenman,
Fabian Muehlboeck,
2014,
PLDI.
Ross Tate,
Fabian Muehlboeck,
Fabian Muehlboeck,
2017,
Proc. ACM Program. Lang..
Michael Stepp,
Ross Tate,
Sorin Lerner,
2009,
POPL '09.
Ross Tate,
Juan Chen,
Chris Hawblitzel,
2010,
PLDI '10.
Ross Tate,
Daan Leijen,
2010
.
Ross Tate,
Étienne Miquey,
Liron Cohen,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Ross Tate,
Fabian Muehlboeck,
2021,
Proc. ACM Program. Lang..
Jan Vitek,
Ross Tate,
Benjamin Chung,
2021,
Proc. ACM Program. Lang..
Michael Stepp,
Ross Tate,
Sorin Lerner,
2010,
POPL.
Ross Tate,
Sorin Lerner,
Alan Leung,
2011
.