Stephen N. Freund
发表
Benjamin P. Wood,
Stephen N. Freund,
2008
.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2004,
Sci. Comput. Program..
Stephen N. Freund,
Shaz Qadeer,
S. Qadeer,
2004,
J. Object Technol..
Stephen N. Freund,
Cormac Flanagan,
Kenneth Knowles,
2006
.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2010,
PASTE '10.
Martín Abadi,
Stephen N. Freund,
Cormac Flanagan,
2006,
TOPL.
Stephen N. Freund,
Kim B. Bruce,
2008,
SIGP.
Stephen N. Freund,
Cormac Flanagan,
Jaeheon Yi,
2008,
PLDI '08.
Stephen N. Freund,
Cormac Flanagan,
2008,
Sci. Comput. Program..
Stephen N. Freund,
Cormac Flanagan,
Tim Disney,
2011
.
Stephen N. Freund,
Cormac Flanagan,
Shaz Qadeer,
2008,
TOPL.
Stephen N. Freund,
Cormac Flanagan,
Caitlin Sadowski,
2011,
RV.
Stephen N. Freund,
Cormac Flanagan,
Shaz Qadeer,
2005,
IEEE Trans. Software Eng..
Stephen N. Freund,
John C. Mitchell,
John C. Mitchell,
1998,
OOPSLA '98.
Stephen N. Freund,
Kathi Fisler,
Kim B. Bruce,
2011
.
James R. Larus,
Stephen N. Freund,
Eric Allen,
2008,
SIGP.
Stephen N. Freund,
Cormac Flanagan,
Marina Lifshin,
2005,
TLDI '05.
Stephen N. Freund,
Cormac Flanagan,
Shaz Qadeer,
2004,
IEEE Transactions on Software Engineering.
Stephen N. Freund,
Mark P. Mitchell,
2002
.
Stephen N. Freund,
John C. Mitchell,
1997,
Electron. Notes Theor. Comput. Sci..
Stephen N. Freund,
Cormac Flanagan,
2005
.
Stephen N. Freund,
Cormac Flanagan,
2010,
Commun. ACM.
Stephen N. Freund,
Cormac Flanagan,
Dustin Rhodes,
2017,
FTfJP@ECOOP.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2020,
Proc. ACM Program. Lang..
Stephen N. Freund,
Cormac Flanagan,
2006,
FATES/RV.
Stephen N. Freund,
Cormac Flanagan,
Shaz Qadeer,
2002,
ESOP.
Stephen N. Freund,
Cormac Flanagan,
Caitlin Sadowski,
2009,
ESOP.
Stephen N. Freund,
John C. Mitchell,
John C. Mitchell,
2003,
Journal of Automated Reasoning.
Stephen N. Freund,
Eric S. Roberts,
E. Roberts,
1996,
SIGCSE '96.
Stephen N. Freund,
John C. Mitchell,
2000
.
Stephen N. Freund,
Cormac Flanagan,
James R. Wilcox,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Stephen N. Freund,
1998
.
Stephen N. Freund,
Cormac Flanagan,
Dustin Rhodes,
2017,
PLDI.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2009,
PLDI '09.
Sanjit A. Seshia,
Stephen N. Freund,
Cormac Flanagan,
2005,
Theor. Comput. Sci..
Stephen N. Freund,
Corina S. Păsăreanu,
2013,
PASTE 2013.
Stephen N. Freund,
Cormac Flanagan,
2007,
Sci. Comput. Program..
Michael Burrows,
Stephen N. Freund,
Janet L. Wiener,
2003,
CC.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2013,
ECOOP.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2004,
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Stephen N. Freund,
Shaz Qadeer,
S. Qadeer,
2016
.
Stephen N. Freund,
John C. Mitchell,
Ole Agesen,
1997,
OOPSLA '97.
Stephen N. Freund,
John C. Mitchell,
John C. Mitchell,
1999,
OOPSLA '99.
Stephen N. Freund,
2011,
FTfJP@ECOOP.
Stephen N. Freund,
Cormac Flanagan,
Kenneth Knowles,
2007
.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2001,
PASTE '01.
Stephen N. Freund,
Cormac Flanagan,
C. Flanagan,
2000,
PLDI '00.
Stephen N. Freund,
Cormac Flanagan,
James R. Wilcox,
2018,
PPoPP.
Stephen N. Freund,
Cormac Flanagan,
2004,
IPDPS.
Stephen N. Freund,
Cormac Flanagan,
Tim Disney,
2012,
ISSTA 2012.
Stephen N. Freund,
Cormac Flanagan,
Tim Disney,
2015,
Sci. Comput. Program..
Stephen N. Freund,
Kim B. Bruce,
2008,
SIGP.
Stephen N. Freund,
Cormac Flanagan,
2010,
PLDI '10.
Stephen N. Freund,
Cormac Flanagan,
Dustin Rhodes,
2017,
PLDI.
Stephen N. Freund,
C. Flanagan,
2007
.
Stephen N. Freund,
C. Flanagan,
S. Freund,
2006
.
Stephen N. Freund,
C. Flanagan,
S. Freund,
2009,
PLDI '09.
Stephen N. Freund,
2013
.
Stephen N. Freund,
C. Flanagan,
Caitlin Sadowski,
2022
.
Stephen N. Freund,
S. Qadeer,
C. Flanagan,
2004
.
Stephen N. Freund,
John C. Mitchell,
John C. Mitchell,
1999,
TOPL.
Stephen N. Freund,
S. Qadeer,
C. Flanagan,
2008,
TOPL.