Thomas W. Reps

发表

Thomas W. Reps, Gogul Balakrishnan, 2008, CC.
William R. Harris, Somesh Jha, Robert N. M. Watson, 2013, 2013 IEEE Symposium on Security and Privacy.
Barton P. Miller, Thomas W. Reps, Zhichen Xu, 2001, ESOP.
Thomas W. Reps, Alan Mycroft, Andy King, 2012, Dagstuhl Reports.
James R. Larus, Thomas W. Reps, Thomas Ball, 1997, ESEC '97/FSE-5.
Julian Dolby, Thomas W. Reps, Nicholas Kidd, 2011, International Journal on Software Tools for Technology Transfer.
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, 2004, CSL.
Thomas W. Reps, Tushar Sharma, Matt Elder, 2011, SAS.
Thomas W. Reps, Susan Horwitz, Suan Hsi Yong, 1999, PLDI '99.
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, 2006, PEPM '06.
Thomas W. Reps, Shmuel Sagiv, Nurit Dor, 2004, TACAS.
Satish Chandra, Thomas W. Reps, Thomas Ball, 1999, ESEC/FSE-7.
Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv, 1998, TOPL.
Thomas W. Reps, Aditya V. Thakur, T. Reps, 2012, CAV.
David W. Binkley, Thomas W. Reps, Susan Horwitz, 1988, SIGP.
Thomas W. Reps, Venkatesh Srinivasan, Tushar Sharma, 2016, OOPSLA.
Hao Wang, Somesh Jha, Thomas W. Reps, 2006, TACAS.
Thomas W. Reps, Denis Gopan, T. Reps, 2007, SAS.
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu, 2017, ACM Trans. Program. Lang. Syst..
Thomas W. Reps, T. Reps, 1982 .
Thomas W. Reps, Gogul Balakrishnan, Tim Teitelbaum, 2005, APLAS.
Satish Chandra, Thomas W. Reps, T. Reps, 1999, PASTE '99.
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis, 2001, TOPL.
Somesh Jha, Thomas W. Reps, Stefan Schwoon, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Thomas W. Reps, Gogul Balakrishnan, T. Reps, 2008, TACAS.
Zachary Kincaid, Thomas W. Reps, Jason Breck, 2019, Proc. ACM Program. Lang..
Thomas W. Reps, Evan Driscoll, Amanda Burton, 2011, ESEC/FSE '11.
William R. Harris, Somesh Jha, Thomas W. Reps, 2010, CCS '10.
Nikolaj Bjørner, Thomas W. Reps, Shmuel Sagiv, 2014, CAV.
Thomas W. Reps, Aditya V. Thakur, T. Reps, 2016, VMCAI.
Somesh Jha, Thomas W. Reps, S. Jha, 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Eran Yahav, Noam Rinetzky, Thomas W. Reps, 2007, CAV.
Thomas W. Reps, Gogul Balakrishnan, T. Reps, 2006, SAS.
Thomas W. Reps, G. Ramalingam, T. Reps, 1991, AMAST.
Thomas W. Reps, T. Reps, 1990, Sci. Comput. Program..
Thomas W. Reps, Susan Horwitz, Richard Joiner, 2014, PLDI.
Thomas W. Reps, Aditya V. Thakur, Matt Elder, 2012, SAS.
Sagar Chaki, Edmund M. Clarke, Tayssir Touili, 2006, TACAS.
Tayssir Touili, Thomas W. Reps, Peter Lammich, 2009, International Journal on Software Tools for Technology Transfer.
Isil Dillig, Yu Feng, Thomas W. Reps, 2017, POPL.
Ninghui Li, Somesh Jha, Thomas W. Reps, 2010, Analysis Techniques for Information Security.
Thomas W. Reps, Venkatesh Srinivasan, Ara Vartanian, 2017, Proc. ACM Program. Lang..
Eran Yahav, Reinhard Wilhelm, Noam Rinetzky, 2013, Programming Logics.
Thomas W. Reps, Venkatesh Srinivasan, T. Reps, 2014, CC.
Thomas W. Reps, David Melski, David Melski, 2000, Theor. Comput. Sci..
Thomas W. Reps, Tim Teitelbaum, Alan J. Demers, 1983, TOPL.
Swarat Chaudhuri, Thomas W. Reps, Matthew Amodio, 2017, ArXiv.
Thomas W. Reps, Michael Siff, 1999, IEEE Trans. Software Eng..
Thomas W. Reps, Gogul Balakrishnan, T. Reps, 2005, TOPL.
William R. Harris, Somesh Jha, Thomas W. Reps, 2012, CAV.
Thomas W. Reps, Venkatesh Srinivasan, 2015, PLDI.
Michael Benedikt, Thomas W. Reps, Shmuel Sagiv, 1999, ESOP.
Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm, 2007, The Compiler Design Handbook, 2nd ed..
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2010, TOPL.
Thomas W. Reps, Tushar Sharma, 2017, VMCAI.
Phil Pfeiffer, Thomas W. Reps, Susan Horwitz, 1989, PLDI '89.
Thomas W. Reps, T. Reps, 1998, TOPL.
Christoph Weidenbach, Thomas W. Reps, Shmuel Sagiv, 2007, CADE.
David W. Binkley, Thomas W. Reps, Susan Horwitz, 1988, PLDI.
Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm, 2000, ISSTA '00.
Thomas W. Reps, Gogul Balakrishnan, T. Reps, 2004, CC.
Zachary Kincaid, Thomas W. Reps, Jason Breck, 2017, PLDI.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2005, CAV.
Thomas W. Reps, Akash Lal, Aditya V. Thakur, 2015, Electron. Notes Theor. Comput. Sci..
Thomas W. Reps, Akash Lal, 2008, SAS.
Thomas W. Reps, Todd Turnidge, T. Reps, 1996, Dagstuhl Seminar on Partial Evaluation.
Thomas W. Reps, Akash Lal, A. Lal, 2006, CAV.
Thomas W. Reps, Susan Horwitz, T. Reps, 1988, ESOP.
Tayssir Touili, Thomas W. Reps, Akash Lal, 2007, SAS.
Thomas W. Reps, Tim Teitelbaum, T. Reps, 1987, Computer.
Thomas W. Reps, Akash Lal, Nicholas Kidd, 2008, SAS.
Thomas W. Reps, Tushar Sharma, 2017, SAS.
Shuvendu K. Lahiri, Thomas W. Reps, Jordan Henkel, 2018, ESEC/SIGSOFT FSE.
Thomas W. Reps, T. Reps, 1995, PEPM '95.
Thomas W. Reps, Tim Teitelbaum, Alan J. Demers, 1981, POPL '81.
Michael Benedikt, Thomas W. Reps, Patrice Godefroid, 2001, ICALP.
Thomas W. Reps, Gogul Balakrishnan, Akash Lal, 2010, CAV.
Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv, 1999, POPL '99.
Somesh Jha, Thomas W. Reps, S. Jha, 2004, J. Comput. Secur..
Neil Immerman, Thomas W. Reps, Shmuel Sagiv, 2007, VMCAI.
Thomas W. Reps, David Melski, David Melski, 1999, CC.
Thomas W. Reps, Susan Horwitz, Jan Prins, 1988, POPL '88.
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, 2004, CAV.
Thomas W. Reps, Akash Lal, Aditya V. Thakur, 2010, CAV.
Thomas W. Reps, G. Ramalingam, T. Reps, 1994, Inf. Process. Lett..
Hao Wang, Somesh Jha, Thomas W. Reps, 2006, ESORICS.
Thomas W. Reps, Susan Horwitz, Jan Prins, 1988, POPL '88.
Zachary Kincaid, Thomas W. Reps, Jason Breck, 2020, PLDI.
Thomas W. Reps, Shmuel Sagiv, Jörg Kreiker, 2006, Program Analysis and Compilation.
Thomas W. Reps, Louis B. Rall, L. B. Rall, 2003, High. Order Symb. Comput..
Thomas W. Reps, Michael Siff, T. Reps, 1997, 1997 Proceedings International Conference on Software Maintenance.
Wuu Yang, Thomas W. Reps, T. Reps, 1989, TAPSOFT, Vol.2.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Daniel Kroening, Sanjit A. Seshia, Thomas W. Reps, 2014, Dagstuhl Reports.
David W. Binkley, Thomas W. Reps, Susan Horwitz, 1995, TSEM.
Masahiro Fujita, Edmund M. Clarke, Thomas W. Reps, 2002 .
Thomas W. Reps, Aditya V. Thakur, Evan Driscoll, 2012, CAV.
Thomas W. Reps, Aditya V. Thakur, Jason Breck, 2014, SPIN.
Bertrand Jeannet, Thomas W. Reps, Shmuel Sagiv, 2004, SAS.
Tayssir Touili, Thomas W. Reps, Akash Lal, 2008, TACAS.
Thomas W. Reps, Shmuel Sagiv, Greta Yorsh, 2005, AIOOL@VMCAI.
Thomas W. Reps, Ben Liblit, Peter Ohmann, 2015, WODA@SPLASH.
Thomas W. Reps, T. Reps, 1996, Acta Informatica.
Thomas W. Reps, Shmuel Sagiv, Denis Gopan, 2005, POPL '05.
Thomas W. Reps, G. Ramalingam, T. Reps, 1993, POPL '93.
Thomas W. Reps, Tim Teitelbaum, Carla Marceau, 1986, POPL '86.
Loris D'Antoni, Thomas W. Reps, Qinheping Hu, 2019, CAV.
Thomas W. Reps, 2004 .
Somesh Jha, Vinod Ganapathy, Thomas W. Reps, 2014, FSE 2014.
Thomas W. Reps, Junghee Lim, T. Reps, 2008, CC.
David W. Binkley, Thomas W. Reps, Susan Horwitz, 1990, TOPL.
Satish Chandra, Thomas W. Reps, T. Reps, 1999, PASTE '99.
Paul Anderson, Thomas W. Reps, Tim Teitelbaum, 2003, IEEE Softw..
Thomas W. Reps, Denis Gopan, T. Reps, 2007, CAV.
Thomas W. Reps, T. Reps, 1997, Inf. Softw. Technol..
Shan Lu, Thomas W. Reps, Wei Zhang, 2011, ASPLOS XVI.
Somesh Jha, Thomas W. Reps, Stefan Schwoon, 2003, Sci. Comput. Program..
Thomas W. Reps, Ben Liblit, David Bingham Brown, 2017, ESEC/SIGSOFT FSE.
Thomas W. Reps, Aditya V. Thakur, 2012, SAS.
Thomas W. Reps, Gogul Balakrishnan, Tim Teitelbaum, 2005, APLAS.
Zhong Shao, Thomas W. Reps, Jan Hoffmann, 2017, CAV.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2006, SAS.
Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv, 2003, TOCL.
Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv, 2002, TOPL.
Paul Anderson, Thomas W. Reps, Tim Teitelbaum, 2003, IEEE Trans. Software Eng..
Thomas W. Reps, Akash Lal, Junghee Lim, 2009, SPIN.
Eran Yahav, Reinhard Wilhelm, Thomas W. Reps, 2003, Log. J. IGPL.
Thomas W. Reps, T. Reps, 1993, Workshop on Programming with Logic Databases , ILPS.
Thomas W. Reps, Gogul Balakrishnan, G. Balakrishnan, 2007, VMCAI.
Zachary Kincaid, Thomas W. Reps, Jason Breck, 2017, Proc. ACM Program. Lang..
Thomas W. Reps, Akash Lal, 2009, Formal Methods Syst. Des..
Eran Yahav, Reinhard Wilhelm, Thomas W. Reps, 2006, Log. J. IGPL.
Thomas W. Reps, Tushar Sharma, Matt Elder, 2011, SAS.
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, 1995, TAPSOFT.
Shuvendu K. Lahiri, Thomas W. Reps, Jordan Henkel, 2019, ArXiv.
Thomas W. Reps, Gogul Balakrishnan, Tim Teitelbaum, 2005, VSTTE.
Thomas W. Reps, Junghee Lim, Ben Liblit, 2006, 2006 13th Working Conference on Reverse Engineering.
Thomas W. Reps, Alan J. Demers, T. Reps, 1987, TOPL.
Thomas W. Reps, David Melski, 2003, CC.
Thomas W. Reps, G. Ramalingam, 1991, TAPSOFT, Vol.2.
Pascal Van Hentenryck, Thomas W. Reps, Manuvir Das, 1995, PEPM '95.
William R. Harris, Somesh Jha, Sagar Chaki, 2009, FM.
Thomas W. Reps, Shmuel Sagiv, Greta Yorsh, 2004, VMCAI.
Thomas W. Reps, Vineeth Kashyap, David Melski, 2017, ArXiv.
Thomas W. Reps, Genevieve Rosay, T. Reps, 1995, SIGSOFT FSE.
Chi-Hua Chen, Thomas W. Reps, Gogul Balakrishnan, 2005, CAV.
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, 1995, POPL '95.
Thomas W. Reps, Akash Lal, Junghee Lim, 2009, International Journal on Software Tools for Technology Transfer.
Thomas W. Reps, Tim Teitelbaum, T. Reps, 1984, SDE 1.
Thomas W. Reps, Shmuel Sagiv, Bill McCloskey, 2010, SAS.
William R. Harris, Somesh Jha, Thomas W. Reps, 2013, 2013 Formal Methods in Computer-Aided Design.
Thomas W. Reps, Michael Siff, T. Reps, 1996, SIGSOFT '96.
Masahiro Fujita, Edmund M. Clarke, Thomas W. Reps, 1999, CHARME.
Thomas W. Reps, Tim Teitelbaum, 1989, Texts and Monographs in Computer Science.
Thomas W. Reps, Gogul Balakrishnan, Akash Lal, 2005, CAV.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2003, ESOP.
Thomas W. Reps, Venkatesh Srinivasan, T. Reps, 2016, OOPSLA.
Bowen Alpern, Thomas W. Reps, T. Reps, 1984, POPL.
Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv, 2000, CC.
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, 1994, SIGSOFT '94.
Thomas W. Reps, Matt Elder, Denis Gopan, 2010, NSAD@SAS.
Bertrand Jeannet, Thomas W. Reps, Shmuel Sagiv, 2004, TOPL.
Thomas W. Reps, Susan Horwitz, Suan Hsi Yong, 2001, FASE.
Thomas W. Reps, Gogul Balakrishnan, Tim Teitelbaum, 2005, CC.
Thomas W. Reps, Susan Horwitz, T. Reps, 1992, International Conference on Software Engineering.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2006, Program Analysis and Compilation.
Thomas W. Reps, Venkatesh Srinivasan, T. Reps, 2015, OOPSLA.
Thomas W. Reps, G. Ramalingam, T. Reps, 1996, Theor. Comput. Sci..
Thomas W. Reps, Shmuel Sagiv, Greta Yorsh, 2004, TACAS.
Julian Dolby, Thomas W. Reps, Nicholas Kidd, 2008, International Journal on Software Tools for Technology Transfer.
Zachary Kincaid, Thomas W. Reps, Jason Breck, 2019, Proc. ACM Program. Lang..
Thomas W. Reps, Susan Horwitz, T. Reps, 1991, Acta Informatica.
Paul Klint, Gregor Snelting, Thomas W. Reps, 1992, SIGP.
Thomas W. Reps, Susan Horwitz, Jan Prins, 1989, TOPL.
Somesh Jha, Sanjit A. Seshia, Vinod Ganapathy, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Zachary Kincaid, Thomas W. Reps, Jason Breck, 2020 .
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, 1995, TAPSOFT.
Thomas W. Reps, 2004 .
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, 1995, SIGSOFT FSE.
Di Wang, Thomas W. Reps, Jan Hoffmann, 2018, PLDI.
Thomas W. Reps, G. Ramalingam, T. Reps, 1996, J. Algorithms.
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu, 2016, POPL.
Thomas W. Reps, Akash Lal, Nicholas Kidd, 2007, FSTTCS.
Thomas W. Reps, Denis Gopan, T. Reps, 2006, CAV.
Thomas W. Reps, T. Bricker, T. Reps, 1989, SCM.
Reinhard Wilhelm, Noam Rinetzky, Thomas W. Reps, 2005, POPL '05.
Thomas W. Reps, Shmuel Sagiv, Tal Lev-Ami, 2007, CAV.
Thomas W. Reps, Tim Teitelbaum, T. Reps, 1984, SDE 1.
Thomas W. Reps, T. Reps, 1997, GI Jahrestagung.
Bertrand Jeannet, Thomas W. Reps, Denis Gopan, 2005, SAS.
Thomas W. Reps, Louis B. Rall, 2001, Perspectives on Enclosure Methods.
Thomas W. Reps, Aditya Venkataraman, 2015 .
Eran Yahav, Noam Rinetzky, Roman Manevich, 2005, VSTTE.
Barton P. Miller, Thomas W. Reps, Zhichen Xu, 2000, PLDI '00.
Swarat Chaudhuri, Chris Jermaine, Thomas W. Reps, 2021, NeurIPS.
Zachary Kincaid, Thomas W. Reps, John Cyphert, 2021, CAV.
Loris D'Antoni, Thomas W. Reps, Qinheping Hu, 2021, CAV.
Zachary Kincaid, Thomas W. Reps, Jason Breck, 2017, PLDI.