Andrew W. Appel

发表

Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, A. Appel, 2006 .
Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, 2002 .
Andrew W. Appel, A. Appel, 1989, Softw. Pract. Exp..
Andrew W. Appel, 1990 .
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, Daniel C. Wang, A. Appel, 2001, POPL '01.
Andrew W. Appel, Kenneth J. Supowit, 1987, Softw. Pract. Exp..
Andrew W. Appel, A. Appel, 2012, NASA Formal Methods.
Andrew W. Appel, Zhong Shao, Zhong Shao, 1993, POPL '93.
Andrew W. Appel, Xavier Leroy, Sandrine Blazy, 2014 .
Andrew W. Appel, Edward W. Felten, E. Felten, 1999, CCS '99.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Andrew W. Appel, Lennart Beringer, Lennart Beringer, 2019, Formal Methods in System Design.
Andrew W. Appel, Michael L. Mauldin, Leonard G. C. Hamey, 1983 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, Gang Tan, Christopher D. Richards, 2010, TOPL.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, Dinghao Wu, Aaron Stump, 2003, PPDP '03.
Andrew W. Appel, David B. MacQueen, A. Appel, 1991, PLILP.
Andrew W. Appel, Sandrine Blazy, 2007 .
Andrew W. Appel, Lennart Beringer, Gordon Stewart, 2012, ICFP.
Andrew W. Appel, Eunyoung Lee, 2003, FSE 2003.
Andrew W. Appel, David B. MacQueen, A. Appel, 1994, PLDI '94.
Andrew W. Appel, Maia Ginsburg, A. Appel, 1997 .
Andrew W. Appel, Maia Ginsburg, A. Appel, 1997 .
Andrew W. Appel, Maia Ginsburg, A. Appel, 1997 .
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Aquinas Hobor, Lennart Beringer, 2014 .
Andrew W. Appel, Francesco Zappa Nardelli, Aquinas Hobor, 2008 .
Andrew W. Appel, Qinxiang Cao, Santiago Cuellar, 2017, APLAS.
Andrew W. Appel, Eunyoung Lee, 2003, ESEC/FSE-11.
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, Matthias Blume, Matthias Blume, 1999, TOPL.
Andrew W. Appel, Gang Tan, A. Appel, 2006, VMCAI.
Andrew W. Appel, Lal George, 2000 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, Matthias Blume, Matthias Blume, 1997, ICFP '97.
Andrew W. Appel, Roberto Virga, Amal Ahmed, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Andrew W. Appel, Richard DeMillo, Philip Stark, 2019 .
Andrew W. Appel, 1994 .
Andrew W. Appel, 1989, Softw. Pract. Exp..
Andrew W. Appel, A. Appel, 2015, TOPL.
Andrew W. Appel, 2011 .
Andrew W. Appel, Amy P. Felty, A. Appel, 1999, ICLP.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Marcelo J. R. Gonçalves, 1995, FPCA '95.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, A. Appel, 1985 .
Andrew W. Appel, 2004 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, Xavier Leroy, Karl Crary, 2000 .
Andrew W. Appel, A. Appel, 1990, LISP Symb. Comput..
Andrew W. Appel, David Tarditi, A. Appel, 2000 .
Andrew W. Appel, Amy P. Felty, A. Appel, 2004, Theory and Practice of Logic Programming.
Andrew W. Appel, Jeffrey L. Korn, 1998, Proceedings IEEE Symposium on Information Visualization (Cat. No.98TB100258).
Andrew W. Appel, Dinghao Wu, Gang Tan, 2004, VMCAI.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Andrew W. Appel, Robert Dockins, Lennart Beringer, 2014, ESOP.
Andrew W. Appel, 1994, LISP Symb. Comput..
Andrew W. Appel, David A. Naumann, D. Naumann, 2020, ISMM.
Andrew W. Appel, Andrew P. Tolmach, 1990, LISP and Functional Programming.
Andrew W. Appel, Lennart Beringer, Adam Petcher, 2015, USENIX Security Symposium.
Andrew W. Appel, Lennart Beringer, Josiah Dodds, 2018, Journal of Automated Reasoning.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Marcelo J. r. Gon alves, A. Appel, 1993 .
Andrew W. Appel, 2003, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Andrew W. Appel, Lal George, A. Appel, 1996, POPL '96.
Andrew W. Appel, Lujo Bauer, Edward W. Felten, 2003, Proceedings DARPA Information Survivability Conference and Exposition.
Andrew W. Appel, Amy P. Felty, A. Appel, 1999, ICLP 1999.
Andrew W. Appel, Arthur Charguéraud, Hervé Grall, 2007 .
Andrew W. Appel, A. Appel, 1987, Inf. Process. Lett..
Andrew W. Appel, A. Appel, 2009 .
Andrew W. Appel, A. Appel, 2014 .
Andrew W. Appel, A. Appel, 1997 .
Andrew W. Appel, Kedar N. Swadi, 2003 .
Andrew W. Appel, David Walker, Christian J. Bell, 2010, SAS.
Andrew W. Appel, Robert Dockins, A. Appel, 2012 .
Andrew W. Appel, Sudhakar Govindavajhala, 2006 .
Andrew W. Appel, Hubertus Franke, Jaswinder Pal Singh, 2002, OOPSLA '02.
Andrew W. Appel, Edward W. Felten, E. Felten, 2000 .
Andrew W. Appel, Zhong Shao, Valery Trifonov, 2005 .
Andrew W. Appel, Lal George, A. Appel, 1996, TOPL.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, Aage Bendiksen, 2004, The Journal of Supercomputing.
Andrew W. Appel, Anand Raghunathan, Gang Tan, 2006 .
Andrew W. Appel, Maia Ginsburg, A. Appel, 1997 .
Andrew W. Appel, Aquinas Hobor, Aquinas Hobor, 2008 .
Andrew W. Appel, Jérôme Vouillon, Christopher D. Richards, 2007, POPL '07.
Andrew W. Appel, Francesco Zappa Nardelli, Aquinas Hobor, 2008, ESOP.
Andrew W. Appel, Maia Ginsburg, A. Appel, 1997 .
Andrew W. Appel, Roberto Virga, Amal Ahmed, 2003 .
Andrew W. Appel, Juan Chen, Dinghao Wu, 2003, PLDI '03.
Andrew W. Appel, Andrew P. Tolmach, A. Appel, 1991, PADD '91.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, Christopher D. Richards, A. Appel, 2010 .
Andrew W. Appel, 1992, SIGP.
Andrew W. Appel, Gordon Stewart, 2011, PLPV '11.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Dan S. Wallach, Edward W. Felten, 2000, TSEM.
Andrew W. Appel, Olivier Savary Bélanger, A. Appel, 2017, PPDP.
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2010, POPL '10.
Andrew W. Appel, Maia Ginsburg, A. Appel, 1997 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, A. Appel, 1994, TOPL.
Andrew W. Appel, Xinming Ou, Sudhakar Govindavajhala, 2005, USENIX Security Symposium.
Andrew W. Appel, 1985, POPL '85.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, David A. McAllester, A. Appel, 2001, TOPL.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Zhong Shao, Zhong Shao, 1992, LISP Symb. Comput..
Andrew W. Appel, Lujo Bauer, Edward W. Felten, 2003, Softw. Pract. Exp..
Andrew W. Appel, Ljudevit Bauer, A. Appel, 2003 .
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2010, APLAS.
Andrew W. Appel, Shengyi Wang, Aquinas Hobor, 2019, ArXiv.
Andrew W. Appel, Matthew Green, Lennart Beringer, 2017, CCS.
Andrew W. Appel, A. Appel, 2007 .
Andrew W. Appel, Philip B. Stark, Richard A. DeMillo, 2020 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, A. Appel, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Andrew W. Appel, Maia Ginsburg, A. Appel, 1997 .
Andrew W. Appel, Sandrine Blazy, A. Appel, 2007, TPHOLs.
Andrew W. Appel, Kedar N. Swadi, A. Appel, 2002 .
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2014 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Andrew W. Appel, Trevor Jim, A. Appel, 1989, POPL '89.
Andrew W. Appel, Andrew P. Tolmach, A. Appel, 1995, Journal of Functional Programming.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, Roberto Virga, Aaron Stump, 2004, Journal of Automated Reasoning.
Andrew W. Appel, A. Appel, 1989, LISP Symb. Comput..
Andrew W. Appel, Zhong Shao, 2000, TOPL.
Andrew W. Appel, William Mansky, Wolf Honoré, 2020, ESOP.
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2008, MFPS.
Andrew W. Appel, Amy P. Felty, A. Appel, 2000, POPL '00.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Daniel Chen-An Wang, 2002 .
Andrew W. Appel, David B. MacQueen, 1987, FPCA.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, Maia Ginsburg, A. Appel, 1997 .
Andrew W. Appel, A. Appel, 1993, Journal of Functional Programming.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Xavier Leroy, Robert Dockins, 2011, Journal of Automated Reasoning.
Andrew W. Appel, A. Appel, 1997 .
Andrew W. Appel, Maia Ginsburg, A. Appel, 1997 .
Andrew W. Appel, Kai Li, K. Li, 1991, ASPLOS IV.
Andrew W. Appel, Brian W. Kernighan, Gang Tan, 2009, EVT/WOTE.
Andrew W. Appel, Zhong Shao, John H. Reppy, 1994, LFP '94.
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, A. Appel, 1991 .
Andrew W. Appel, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Andrew W. Appel, Rafael Alonso, A. Appel, 1990, SIGMETRICS '90.
Andrew W. Appel, Trevor Jim, 1997, J. Funct. Program..
Andrew W. Appel, Neophytos G. Michael, A. Appel, 2000, CADE.
Andrew W. Appel, Kai Li, Kai Li, 1991, ASPLOS IV.
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Guy J. Jacobson, A. Appel, 1988, CACM.
Andrew W. Appel, Sandrine Blazy, Benoît Robillard, 2010, ESOP.
Andrew W. Appel, Lal George, A. Appel, 2001, PLDI '01.
Andrew W. Appel, Amy P. Felty, 2004, J. Funct. Program..
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Aquinas Hobor, Robert Dockins, 2009, APLAS.
Andrew W. Appel, Aleksey Nogin, William Mansky, 2017, Proc. ACM Program. Lang..
Andrew W. Appel, Jeffrey L. Korn, Daniel C. Wang, 1997, DSL.
Andrew W. Appel, Gordon Stewart, Joshua A. Kroll, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Andrew W. Appel, A. Appel, 2011, CPP.
Andrew W. Appel, Lennart Beringer, Gordon Stewart, 2015, POPL.
Andrew W. Appel, A. Appel, 2019, Commun. ACM.
Andrew W. Appel, A. Appel, 1998, SIGP.
Andrew W. Appel, Robert Harper, 1992 .
Andrew W. Appel, Zhong Shao, 1994, LFP '94.
Andrew W. Appel, Richard Drews Dean, A. Appel, 1999 .
Andrew W. Appel, Sudhakar Govindavajhala, A. Appel, 2003, 2003 Symposium on Security and Privacy, 2003..
Andrew W. Appel, Xavier Leroy, Aquinas Hobor, 2014 .
Andrew W. Appel, Josiah Dodds, A. Appel, 2013, CPP.
Andrew W. Appel, Kedar N. Swadi, 2001 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Andrew W. Appel, A. Appel, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Andrew W. Appel, Zhong Shao, 1995, PLDI '95.
Andrew W. Appel, Xavier Leroy, 2021, ArXiv.
Andrew W. Appel, John M. Li, 2021, Proc. ACM Program. Lang..
Andrew W. Appel, Zoe Paraskevopoulou, John M. Li, 2021, Proc. ACM Program. Lang..
Andrew W. Appel, A. Appel, 1999 .
Andrew W. Appel, Roberto Virga, Amal J. Ahmed, .
Andrew W. Appel, A. Appel, 1988 .
Andrew W. Appel, Zhong Shao, Adam Chlipala, 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Andrew W. Appel, Carl A. Gunter, A. Appel, 1999 .
Andrew W. Appel, Lennart Beringer, Gordon Stewart, 2012, ICFP.
Andrew W. Appel, Xinming Ou, Sudhakar Govindavajhala, .
Andrew W. Appel, Matthew Z. Weaver, Olivier Savary Bélanger, 2019 .
Andrew W. Appel, Jonathan Aldrich, Alexander Mordvintsev, 2016 .