Cormac Flanagan

发表

Matthias Felleisen, Cormac Flanagan, C. Flanagan, 1994 .
Cormac Flanagan, Tim Disney, Nathan Faubion, 2015 .
Thomas H. Austin, Cormac Flanagan, Tejas Saoji, 2017, PLAS@CCS.
Cormac Flanagan, Tim Disney, Christopher Schuster, 2016, ESOP.
Stephen N. Freund, Cormac Flanagan, C. Flanagan, 2004, Sci. Comput. Program..
Alejandro Russo, Thomas Schmitz, Nataliia Bielova, 2018, WWW.
Stephen N. Freund, Cormac Flanagan, Kenneth Knowles, 2006 .
Stephen N. Freund, Cormac Flanagan, C. Flanagan, 2010, PASTE '10.
Cormac Flanagan, Caitlin Sadowski, Jaeheon Yi, 2011, PPoPP '11.
Martín Abadi, Stephen N. Freund, Cormac Flanagan, 2006, TOPL.
Cormac Flanagan, Shaz Qadeer, S. Qadeer, 2003, SoftMC@CAV.
Cormac Flanagan, Maximilian Algehed, C. Flanagan, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Thomas H. Austin, Cormac Flanagan, Kenneth Knowles, 2014 .
Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi, 1996, PLDI '96.
Stephen N. Freund, Cormac Flanagan, Jaeheon Yi, 2008, PLDI '08.
Armando Solar-Lezama, Stephen Chong, Thomas H. Austin, 2015, ArXiv.
Stephen N. Freund, Cormac Flanagan, 2008, Sci. Comput. Program..
Armando Solar-Lezama, Thomas H. Austin, Cormac Flanagan, 2012 .
Cormac Flanagan, Shaz Qadeer, S. Qadeer, 2003, TLDI '03.
Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi, 1996, PLDI.
Stephen N. Freund, Cormac Flanagan, Tim Disney, 2011 .
Stephen N. Freund, Cormac Flanagan, Shaz Qadeer, 2008, TOPL.
Barbara König, Cormac Flanagan, C. Flanagan, 2012, Lecture Notes in Computer Science.
Stephen N. Freund, Cormac Flanagan, Caitlin Sadowski, 2011, RV.
Martín Abadi, Thomas H. Austin, Cormac Flanagan, 2012, APLAS.
Cormac Flanagan, Aaron Tomb, 2005, PPDP '05.
Stephen N. Freund, Cormac Flanagan, Shaz Qadeer, 2005, IEEE Trans. Software Eng..
Matthias Felleisen, Cormac Flanagan, 2007 .
Martín Abadi, Cormac Flanagan, 1999, CONCUR.
K. Rustan M. Leino, Cormac Flanagan, C. Flanagan, 2001, FME.
Matthias Felleisen, Cormac Flanagan, C. Flanagan, 1997, TOPL.
Cormac Flanagan, David Herman, C. Flanagan, 2007, ML '07.
Cormac Flanagan, Christopher Schuster, Sohum Banerjea, 2018, IFL.
Stephen N. Freund, Cormac Flanagan, Marina Lifshin, 2005, TLDI '05.
Stephen N. Freund, Cormac Flanagan, Shaz Qadeer, 2004, IEEE Transactions on Software Engineering.
Cormac Flanagan, Shaz Qadeer, S. Qadeer, 2003, PLDI.
Cormac Flanagan, C. Flanagan, 2003, ESOP.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, 2002, J. Funct. Program..
Cormac Flanagan, Shaz Qadeer, Susanne Graf, 2009, Design and Validation of Concurrent Systems.
Stephen N. Freund, Cormac Flanagan, 2005 .
Cormac Flanagan, C. Flanagan, 2009 .
Stephen N. Freund, Cormac Flanagan, 2010, Commun. ACM.
Kenneth Knowles, Cormac Flanagan, C. Flanagan, 2007, ESOP.
Stephen N. Freund, Cormac Flanagan, Dustin Rhodes, 2017, FTfJP@ECOOP.
Thomas H. Austin, Thomas Schmitz, Cormac Flanagan, 2017, ACM Trans. Program. Lang. Syst..
Cormac Flanagan, Tim Disney, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Stephen N. Freund, Cormac Flanagan, C. Flanagan, 2020, Proc. ACM Program. Lang..
Cormac Flanagan, Shaz Qadeer, S. Qadeer, 2002, POPL '02.
Cormac Flanagan, C. Flanagan, 2012 .
Matthias Felleisen, Cormac Flanagan, C. Flanagan, 1994 .
Kenneth Knowles, Thomas H. Austin, Thomas Schmitz, 2016, POST.
Amr Sabry, Matthias Felleisen, Cormac Flanagan, 1993, PLDI 1993.
K. Rustan M. Leino, Cormac Flanagan, Rajeev Joshi, 2001, Inf. Process. Lett..
Thomas H. Austin, Cormac Flanagan, Tim Disney, 2011, OOPSLA '11.
Cormac Flanagan, Jessica Gronski, 2007, Trends in Functional Programming.
Armando Solar-Lezama, Stephen Chong, Thomas H. Austin, 2015, PLDI.
Stephen N. Freund, Cormac Flanagan, 2006, FATES/RV.
Cormac Flanagan, Tim Disney, Nathan Faubion, 2014, DLS.
Cormac Flanagan, C. Flanagan, 2004, Sci. Comput. Program..
Cormac Flanagan, James B. Saxe, J. Saxe, 2001, POPL '01.
Stephen N. Freund, Cormac Flanagan, Shaz Qadeer, 2002, ESOP.
Graham Hutton, Jan Vitek, Frank Tip, 2014, SIGP.
Cormac Flanagan, Jaeheon Yi, 2011 .
Alejandro Russo, Cormac Flanagan, Maximilian Algehed, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Stephen N. Freund, Cormac Flanagan, Caitlin Sadowski, 2009, ESOP.
Martín Abadi, Cormac Flanagan, M. Abadi, 1999, ESOP.
Matthias Felleisen, Cormac Flanagan, 1999, J. Funct. Program..
Yannis Smaragdakis, Cormac Flanagan, Caitlin Sadowski, 2012, POPL '12.
Stephen N. Freund, Cormac Flanagan, James R. Wilcox, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Cormac Flanagan, Tim Disney, Dustin Rhodes, 2015 .
Matthias Felleisen, Cormac Flanagan, C. Flanagan, 1996 .
Amr Sabry, Matthias Felleisen, Cormac Flanagan, 1993, PLDI '93.
Stephen N. Freund, Cormac Flanagan, Dustin Rhodes, 2017, PLDI.
Matthias Felleisen, Cormac Flanagan, C. Flanagan, 1995 .
Matthew B. Dwyer, Gary T. Leavens, Cormac Flanagan, 2005, ECOOP.
Mark Lillibridge, K. Rustan M. Leino, Raymie Stata, 2002, PLDI '02.
Stephen N. Freund, Cormac Flanagan, C. Flanagan, 2009, PLDI '09.
Alejandro Russo, Thomas Schmitz, Cormac Flanagan, 2018, CCS.
Sanjit A. Seshia, Stephen N. Freund, Cormac Flanagan, 2005, Theor. Comput. Sci..
Stephen N. Freund, Cormac Flanagan, 2007, Sci. Comput. Program..
Kenneth Knowles, Cormac Flanagan, 2010, TOPL.
Cormac Flanagan, Shaz Qadeer, S. Qadeer, 2003, SPIN.
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..
Cormac Flanagan, Christopher Schuster, 2015 .
Cormac Flanagan, Christopher Schuster, 2019, Programming.
Thomas H. Austin, Alan Jeffrey, Cormac Flanagan, 2011 .
Matthias Felleisen, Cormac Flanagan, C. Flanagan, 1995, POPL '95.
Thomas H. Austin, Cormac Flanagan, 2010, PLAS '10.
Xinming Ou, Cormac Flanagan, Rajeev Joshi, 2003, CAV.
Cormac Flanagan, David Herman, Aaron Tomb, 2010, High. Order Symb. Comput..
Matthias Felleisen, Cormac Flanagan, 1999, ACM Trans. Program. Lang. Syst..
Eran Yahav, Shmuel Sagiv, Cormac Flanagan, 2007, SPIN.
Cormac Flanagan, Christopher Schuster, 2016, MODULARITY.
Cormac Flanagan, C. Flanagan, 2004, SPIN.
Leonid Ryzhyk, Thomas Schmitz, Shmuel Sagiv, 2018, Proc. ACM Program. Lang..
Martín Abadi, Thomas H. Austin, Cormac Flanagan, 2012 .
Mark Lillibridge, K. Rustan M. Leino, Raymie Stata, 2013, SIGP.
Cormac Flanagan, Tim Disney, Dustin Rhodes, 2014, DLS '14.
Cormac Flanagan, Jaeheon Yi, 2010, TLDI '10.
Barbara König, Cormac Flanagan, 2013, International Journal on Software Tools for Technology Transfer.
Thomas H. Austin, Cormac Flanagan, 2012, POPL '12.
Stephen N. Freund, Cormac Flanagan, 2001, PASTE '01.
Cormac Flanagan, Caitlin Sadowski, Jaeheon Yi, 2009, PADTAD '09.
Cormac Flanagan, C. Flanagan, 2005 .
Stephen N. Freund, Cormac Flanagan, C. Flanagan, 2000, PLDI '00.
Stephen N. Freund, Cormac Flanagan, James R. Wilcox, 2018, PPoPP.
Armando Solar-Lezama, Thomas H. Austin, Cormac Flanagan, 2013, PLAS '13.
Cormac Flanagan, Tim Disney, Jay McCarthy, 2011, ICFP.
Cormac Flanagan, C. Flanagan, 2006, POPL '06.
Cormac Flanagan, Aaron Tomb, 2012, ISSTA 2012.
Matthias Felleisen, Cormac Flanagan, 1994 .
Cormac Flanagan, Kenneth Knowles, Caitlin Sadowski, 2008 .
Stephen N. Freund, Cormac Flanagan, Tim Disney, 2012, ISSTA 2012.
Mark Stamp, Thomas H. Austin, Cormac Flanagan, 2016 .
Sanjit A. Seshia, Cormac Flanagan, Shaz Qadeer, 2002, CAV.
Thomas H. Austin, Cormac Flanagan, 2009, SIGP.
Cormac Flanagan, Rishiyur S. Nikhil, R. Nikhil, 1996, ICFP '96.
Cormac Flanagan, Tim Disney, Alessandro Bruni, 2011 .
Thomas H. Austin, Cormac Flanagan, C. Flanagan, 2009, PLAS '09.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, 1997, PLILP.
Stephen N. Freund, Cormac Flanagan, Tim Disney, 2015, Sci. Comput. Program..
Patrice Godefroid, Cormac Flanagan, C. Flanagan, 2005, POPL '05.
Matthias Felleisen, Robert Bruce Findler, Cormac Flanagan, 2011, POPL '11.
Stephen N. Freund, Cormac Flanagan, 2010, PLDI '10.
Cormac Flanagan, Maximilian Algehed, C. Flanagan, 2021, ArXiv.
Stephen N. Freund, Cormac Flanagan, Dustin Rhodes, 2017, PLDI.
Cormac Flanagan, Shaz Qadeer, S. Qadeer, 2003, PLDI '03.
Patrice Godefroid, Cormac Flanagan, C. Flanagan, 2005, POPL '05.
Cormac Flanagan, Shaz Qadeer, S. Qadeer, 2002 .