publications: - title: "Improved Memory-Access Analysis for x86 Executables" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-78791-4_2" links: doi: "http://dx.doi.org/10.1007/978-3-540-78791-4_2" tags: - "analysis" researchr: "https://researchr.org/publication/RepsB08" cites: 0 citedby: 0 pages: "16-35" booktitle: "Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings" editor: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" volume: "4959" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78790-7" kind: "inproceedings" key: "RepsB08" - title: "Efficient Comparison of Program Slices" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1991" tags: - "slicing" researchr: "https://researchr.org/publication/HorwitzR91" cites: 0 citedby: 0 journal: "Acta Informatica" volume: "28" number: "8" pages: "713-732" kind: "article" key: "HorwitzR91" - title: "Verifying Temporal Heap Properties Specified via Evolution Logic" author: - name: "Eran Yahav" link: "https://researchr.org/alias/eran-yahav" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180204.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180204.htm" tags: - "logic" researchr: "https://researchr.org/publication/YahavRSW03" cites: 0 citedby: 0 pages: "204-222" booktitle: "Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings" editor: - name: "Pierpaolo Degano" link: "https://researchr.org/alias/pierpaolo-degano" volume: "2618" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00886-1" kind: "inproceedings" key: "YahavRSW03" - title: "Weighted pushdown systems and their application to interprocedural dataflow analysis" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Stefan Schwoon" link: "https://researchr.org/alias/stefan-schwoon" - name: "Somesh Jha" link: "https://researchr.org/alias/somesh-jha" - name: "David Melski" link: "https://researchr.org/alias/david-melski" year: "2005" doi: "http://dx.doi.org/10.1016/j.scico.2005.02.009" links: doi: "http://dx.doi.org/10.1016/j.scico.2005.02.009" tags: - "analysis" researchr: "https://researchr.org/publication/RepsSJM05" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "58" number: "1-2" pages: "206-263" kind: "article" key: "RepsSJM05" - title: "On the Computational Complexity of Dynamic Graph Problems" author: - name: "Ganesan Ramalingam" link: "http://research.microsoft.com/en-us/um/people/grama/" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1996" doi: "http://dx.doi.org/10.1016/0304-3975(95)00079-8" links: doi: "http://dx.doi.org/10.1016/0304-3975(95)00079-8" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/RamalingamR96%3A0" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "158" number: "1&2" pages: "233-277" kind: "article" key: "RamalingamR96:0" - title: "Lookahead Widening" author: - name: "Denis Gopan" link: "https://researchr.org/alias/denis-gopan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2006" doi: "http://dx.doi.org/10.1007/11817963_41" links: doi: "http://dx.doi.org/10.1007/11817963_41" researchr: "https://researchr.org/publication/GopanR06" cites: 0 citedby: 0 pages: "452-466" booktitle: "Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings" editor: - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" - name: "Robert B. Jones" link: "https://researchr.org/alias/robert-b.-jones" volume: "4144" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37406-X" kind: "inproceedings" key: "GopanR06" - title: "A Relational Approach to Interprocedural Shape Analysis" author: - name: "Bertrand Jeannet" link: "https://researchr.org/alias/bertrand-jeannet" - name: "Alexey Loginov" link: "https://researchr.org/alias/alexey-loginov" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3148&spage=246" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3148&spage=246" tags: - "analysis" - "systematic-approach" researchr: "https://researchr.org/publication/JeannetLRS04" cites: 0 citedby: 0 pages: "246-264" booktitle: "Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings" editor: - name: "Roberto Giacobazzi" link: "https://researchr.org/alias/roberto-giacobazzi" volume: "3148" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22791-1" kind: "inproceedings" key: "JeannetLRS04" - title: "The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" - name: "Manuvir Das" link: "https://researchr.org/alias/manuvir-das" - name: "James R. Larus" link: "https://researchr.org/alias/james-r.-larus" year: "1997" doi: "http://doi.acm.org/10.1145/267895.267925" links: doi: "http://doi.acm.org/10.1145/267895.267925" tags: - "maintenance" researchr: "https://researchr.org/publication/RepsBDL98" cites: 0 citedby: 0 pages: "432-449" booktitle: "Software Engineering - ESEC/FSE 97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings" editor: - name: "Mehdi Jazayeri" link: "https://researchr.org/alias/mehdi-jazayeri" - name: "Helmut Schauer" link: "https://researchr.org/alias/helmut-schauer" volume: "1301" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-63531-9" kind: "inproceedings" key: "RepsBDL98" - title: "Solving Shape-Analysis Problems in Languages with Destructive Updating" author: - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "1996" doi: "http://doi.acm.org/10.1145/237721.237725" links: doi: "http://doi.acm.org/10.1145/237721.237725" tags: - "analysis" researchr: "https://researchr.org/publication/SagivRW96" cites: 0 citedby: 0 pages: "16-31" booktitle: "POPL" kind: "inproceedings" key: "SagivRW96" - title: "Verification via Structure Simulation" author: - name: "Neil Immerman" link: "https://researchr.org/alias/neil-immerman" - name: "Alexander Moshe Rabinovich" link: "https://researchr.org/alias/alexander-moshe-rabinovich" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Greta Yorsh" link: "https://researchr.org/alias/greta-yorsh" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=281" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=281" researchr: "https://researchr.org/publication/ImmermanRRSY04" cites: 0 citedby: 0 pages: "281-294" booktitle: "Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings" editor: - name: "Rajeev Alur" link: "https://researchr.org/alias/rajeev-alur" - name: "Doron Peled" link: "https://researchr.org/alias/doron-peled" volume: "3114" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22342-8" kind: "inproceedings" key: "ImmermanRRSY04" - title: "Tool Support for Fine-Grained Software Inspection" author: - name: "Paul Anderson" link: "https://researchr.org/alias/paul-anderson" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" - name: "Mark Zarins" link: "https://researchr.org/alias/mark-zarins" year: "2003" doi: "http://csdl.computer.org/comp/mags/so/2003/04/s4042abs.htm" links: doi: "http://csdl.computer.org/comp/mags/so/2003/04/s4042abs.htm" researchr: "https://researchr.org/publication/AndersonRTZ03" cites: 0 citedby: 0 journal: "IEEE Software" volume: "20" number: "4" pages: "42-50" kind: "article" key: "AndersonRTZ03" - title: "The Interprocedural Express-Lane Transformation" author: - name: "David Melski" link: "https://researchr.org/alias/david-melski" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220200.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2622/26220200.htm" tags: - "transformation" researchr: "https://researchr.org/publication/MelskiR03" cites: 0 citedby: 0 pages: "200-216" booktitle: "Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings" editor: - name: "Görel Hedin" link: "http://cs.lth.se/gorel_hedin" volume: "2622" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00904-3" kind: "inproceedings" key: "MelskiR03" - title: "Reducing the Dependence of SPKI/SDSI on PKI" author: - name: "Hao Wang" link: "https://researchr.org/alias/hao-wang" - name: "Somesh Jha" link: "https://researchr.org/alias/somesh-jha" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Stefan Schwoon" link: "https://researchr.org/alias/stefan-schwoon" - name: "Stuart G. Stubblebine" link: "https://researchr.org/alias/stuart-g.-stubblebine" year: "2006" doi: "http://dx.doi.org/10.1007/11863908_11" links: doi: "http://dx.doi.org/10.1007/11863908_11" researchr: "https://researchr.org/publication/WangJRSS06" cites: 0 citedby: 0 pages: "156-173" booktitle: "Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings" editor: - name: "Dieter Gollmann" link: "https://researchr.org/alias/dieter-gollmann" - name: "Jan Meier" link: "https://researchr.org/alias/jan-meier" - name: "Andrei Sabelfeld" link: "https://researchr.org/alias/andrei-sabelfeld" volume: "4189" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44601-X" kind: "inproceedings" key: "WangJRSS06" - title: "Precise Interprocedural Dataflow Analysis via Graph Reachability" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "1995" tags: - "analysis" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/RepsHS95" cites: 0 citedby: 0 pages: "49-61" booktitle: "POPL" kind: "inproceedings" key: "RepsHS95" - title: "Solving Multiple Dataflow Queries Using WPDSs" author: - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-69166-2_7" links: doi: "http://dx.doi.org/10.1007/978-3-540-69166-2_7" researchr: "https://researchr.org/publication/LalR08%3A0" cites: 0 citedby: 0 pages: "93-109" booktitle: "Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings" editor: - name: "María Alpuente" link: "http://www.dsic.upv.es/~alpuente" - name: "Germán Vidal" link: "http://users.dsic.upv.es/~gvidal/" volume: "5079" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69163-1" kind: "inproceedings" key: "LalR08:0" - title: "Program Specialization via Program Slicing" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Todd Turnidge" link: "https://researchr.org/alias/todd-turnidge" year: "1996" tags: - "slicing" researchr: "https://researchr.org/publication/RepsT96" cites: 0 citedby: 0 pages: "409-429" booktitle: "Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers" editor: - name: "Olivier Danvy" link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/" - name: "Robert Glück" link: "http://www.diku.dk/hjemmesider/ansatte/glueck/" - name: "Peter Thiemann" link: "https://researchr.org/alias/peter-thiemann" volume: "1110" series: "Lecture Notes in Computer Science" address: "Dagstuhl Castle, Germany" publisher: "Springer" isbn: "3-540-61580-6" kind: "inproceedings" key: "RepsT96" - title: "Language Strength Reduction" author: - name: "Nicholas Kidd" link: "https://researchr.org/alias/nicholas-kidd" - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-69166-2_19" links: doi: "http://dx.doi.org/10.1007/978-3-540-69166-2_19" researchr: "https://researchr.org/publication/KiddLR08" cites: 0 citedby: 0 pages: "283-298" booktitle: "Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings" editor: - name: "María Alpuente" link: "http://www.dsic.upv.es/~alpuente" - name: "Germán Vidal" link: "http://users.dsic.upv.es/~gvidal/" volume: "5079" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69163-1" kind: "inproceedings" key: "KiddLR08" - title: "Program Analysis Using Weighted Pushdown Systems" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Nicholas Kidd" link: "https://researchr.org/alias/nicholas-kidd" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-77050-3_4" links: doi: "http://dx.doi.org/10.1007/978-3-540-77050-3_4" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/RepsLK07" cites: 0 citedby: 0 pages: "23-51" booktitle: "FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings" editor: - name: "Vikraman Arvind" link: "https://researchr.org/alias/vikraman-arvind" - name: "Sanjiva Prasad" link: "https://researchr.org/alias/sanjiva-prasad" volume: "4855" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-77049-7" kind: "inproceedings" key: "RepsLK07" - title: "Verifying Concurrent Message-Passing C Programs with Recursive Calls" author: - name: "Sagar Chaki" link: "https://researchr.org/alias/sagar-chaki" - name: "Edmund M. Clarke" link: "https://researchr.org/alias/edmund-m.-clarke" - name: "Nicholas Kidd" link: "https://researchr.org/alias/nicholas-kidd" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Tayssir Touili" link: "https://researchr.org/alias/tayssir-touili" year: "2006" doi: "http://dx.doi.org/10.1007/11691372_22" links: doi: "http://dx.doi.org/10.1007/11691372_22" tags: - "program verification" - "C++" researchr: "https://researchr.org/publication/ChakiCKRT06" cites: 0 citedby: 0 pages: "334-349" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedi" editor: - name: "Holger Hermanns" link: "https://researchr.org/alias/holger-hermanns" - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" volume: "3920" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-33056-9" kind: "inproceedings" key: "ChakiCKRT06" - title: "Computational Divided Differencing and Divided-Difference Arithmetics" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Louis B. Rall" link: "https://researchr.org/alias/louis-b.-rall" year: "2003" doi: "http://dx.doi.org/10.1023/A:1023024221391" links: doi: "http://dx.doi.org/10.1023/A:1023024221391" researchr: "https://researchr.org/publication/RepsR03" cites: 0 citedby: 0 journal: "Higher-Order and Symbolic Computation" volume: "16" number: "1-2" pages: "93-149" kind: "article" key: "RepsR03" - title: "Remote Attribute Updating for Language-Based Editors" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Carla Marceau" link: "https://researchr.org/alias/carla-marceau" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "1986" tags: - "rule-based" researchr: "https://researchr.org/publication/RepsMT86" cites: 0 citedby: 0 pages: "1-13" booktitle: "POPL" kind: "inproceedings" key: "RepsMT86" - title: "Identifying Modules via Concept Analysis" author: - name: "Michael Siff" link: "https://researchr.org/alias/michael-siff" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1999" doi: "http://www.computer.org:80/tse/ts1999/e0749abs.htm" links: doi: "http://www.computer.org:80/tse/ts1999/e0749abs.htm" tags: - "analysis" researchr: "https://researchr.org/publication/SiffR99" cites: 0 citedby: 0 journal: "IEEE Trans. Software Eng." volume: "25" number: "6" pages: "749-768" kind: "article" key: "SiffR99" - title: "Solving Shape-Analysis Problems in Languages with Destructive Updating" author: - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "1998" doi: "http://doi.acm.org/10.1145/271510.271517" links: doi: "http://doi.acm.org/10.1145/271510.271517" tags: - "analysis" researchr: "https://researchr.org/publication/SagivRW98" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "20" number: "1" pages: "1-50" kind: "article" key: "SagivRW98" - title: "Semantics-Based Program Integration" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" year: "1988" tags: - "semantics" - "rule-based" researchr: "https://researchr.org/publication/RepsH88" cites: 0 citedby: 0 pages: "1-20" booktitle: "ESOP 88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings" editor: - name: "Harald Ganzinger" link: "https://researchr.org/alias/harald-ganzinger" volume: "300" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-19027-9" kind: "inproceedings" key: "RepsH88" - title: "Reducing concurrent analysis under a context bound to sequential analysis" author: - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2009" doi: "http://dx.doi.org/10.1007/s10703-009-0078-9" links: doi: "http://dx.doi.org/10.1007/s10703-009-0078-9" tags: - "analysis" - "context-aware" researchr: "https://researchr.org/publication/LalR09" cites: 0 citedby: 0 journal: "Formal Methods in System Design" volume: "35" number: "1" pages: "73-97" kind: "article" key: "LalR09" - title: "Program analysis via graph reachability" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1998" doi: "http://dx.doi.org/10.1016/S0950-5849(98)00093-7" links: doi: "http://dx.doi.org/10.1016/S0950-5849(98)00093-7" tags: - "program analysis" - "analysis" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/Reps98" cites: 0 citedby: 0 journal: "Information \\& Software Technology" volume: "40" number: "11-12" pages: "701-726" kind: "article" key: "Reps98" - title: "The Use of Program Profiling for Software Testing" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1997" tags: - "testing" researchr: "https://researchr.org/publication/Reps97" cites: 0 citedby: 0 pages: "4-16" booktitle: "GI Jahrestagung" kind: "inproceedings" key: "Reps97" - title: "Dependence Analysis for Pointer Variables" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Phil Pfeiffer" link: "https://researchr.org/alias/phil-pfeiffer" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1989" tags: - "analysis" researchr: "https://researchr.org/publication/HorwitzPR89" cites: 0 citedby: 0 pages: "28-40" booktitle: "PLDI" kind: "inproceedings" key: "HorwitzPR89" - title: "Abstract Error Projection" author: - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Nicholas Kidd" link: "https://researchr.org/alias/nicholas-kidd" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Tayssir Touili" link: "https://researchr.org/alias/tayssir-touili" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-74061-2_13" links: doi: "http://dx.doi.org/10.1007/978-3-540-74061-2_13" researchr: "https://researchr.org/publication/LalKRT07" cites: 0 citedby: 0 pages: "200-217" booktitle: "Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings" editor: - name: "Hanne Riis Nielson" link: "https://researchr.org/alias/hanne-riis-nielson" - name: "Gilberto Filé" link: "https://researchr.org/alias/gilberto-fil%C3%A9" volume: "4634" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-74060-5" kind: "inproceedings" key: "LalKRT07" - title: "A Theory of Program Modifications" author: - name: "Ganesan Ramalingam" link: "http://research.microsoft.com/en-us/um/people/grama/" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1991" researchr: "https://researchr.org/publication/RamalingamR91%3A0" cites: 0 citedby: 0 pages: "137-152" booktitle: "TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt" editor: - name: "Samson Abramsky" link: "https://researchr.org/alias/samson-abramsky" - name: "T. S. E. Maibaum" link: "https://researchr.org/alias/t.-s.-e.-maibaum" volume: "494" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-53981-6" kind: "inproceedings" key: "RamalingamR91:0" - title: "Symbolic Implementation of the Best Transformer" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Greta Yorsh" link: "https://researchr.org/alias/greta-yorsh" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=252" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2937&spage=252" researchr: "https://researchr.org/publication/RepsSY04" cites: 0 citedby: 0 pages: "252-266" booktitle: "Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings" editor: - name: "Bernhard Steffen" link: "https://researchr.org/alias/bernhard-steffen" - name: "Giorgio Levi" link: "https://researchr.org/alias/giorgio-levi" volume: "2937" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20803-8" kind: "inproceedings" key: "RepsSY04" - title: "Solving Demand Versions of Interprocedural Analysis Problems" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1994" tags: - "analysis" researchr: "https://researchr.org/publication/Reps94" cites: 0 citedby: 0 pages: "389-403" booktitle: "Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings" editor: - name: "Peter Fritzson" link: "https://researchr.org/alias/peter-fritzson" volume: "786" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-57877-3" kind: "inproceedings" key: "Reps94" - title: "The Synthesizer Generator" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "1984" doi: "http://doi.acm.org/10.1145/800020.808247" abstract: " Programs are hierarchical compositions of formulae satisfying structural and extra-structural relationships. A program editor can use knowledge of such relationships to detect and provide immediate feedback about violations of them. The Synthesizer Generator is a tool for creating such editors from language descriptions. An editor designer specifies the desired relationships and the feedback to be given when they are violated, as well as a user interface; from the specification, the Synthesizer Generator creates a full-screen editor for manipulating programs in the language. " links: doi: "http://doi.acm.org/10.1145/800020.808247" tags: - "programming languages" - "composition" - "Synthesizer Generator" researchr: "https://researchr.org/publication/RepsT84" cites: 16 citedby: 1 pages: "42-48" booktitle: "Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments" address: "New York, USA" publisher: "ACM" kind: "inproceedings" key: "RepsT84" - title: "Interprocedural Slicing Using Dependence Graphs" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "David W. Binkley" link: "http://www.cs.loyola.edu/~binkley/" year: "1988" tags: - "graph-rewriting" - "slicing" - "rewriting" researchr: "https://researchr.org/publication/HorwitzRB88" cites: 0 citedby: 0 pages: "35-46" booktitle: "PLDI" kind: "inproceedings" key: "HorwitzRB88" - title: "Program Generalization for Software Reuse: From C to C++" author: - name: "Michael Siff" link: "https://researchr.org/alias/michael-siff" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1996" doi: "http://doi.acm.org/10.1145/239098.239121" links: doi: "http://doi.acm.org/10.1145/239098.239121" tags: - "reuse" - "C++" researchr: "https://researchr.org/publication/SiffR96" cites: 0 citedby: 0 pages: "135-146" booktitle: "SIGSOFT FSE" kind: "inproceedings" key: "SiffR96" - title: "Improving Pushdown System Model Checking" author: - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2006" doi: "http://dx.doi.org/10.1007/11817963_32" links: doi: "http://dx.doi.org/10.1007/11817963_32" tags: - "model checking" - "meta-model" - "Meta-Environment" researchr: "https://researchr.org/publication/LalR06" cites: 0 citedby: 0 pages: "343-357" booktitle: "Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings" editor: - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" - name: "Robert B. Jones" link: "https://researchr.org/alias/robert-b.-jones" volume: "4144" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37406-X" kind: "inproceedings" key: "LalR06" - title: "Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1982" doi: "https://doi.org/10.1145/582153.582172" links: doi: "https://doi.org/10.1145/582153.582172" tags: - "analysis" - "incremental" researchr: "https://researchr.org/publication/Reps82" cites: 0 citedby: 0 pages: "169-176" booktitle: "POPL" kind: "inproceedings" key: "Reps82" - title: "Integrating Non-Interfering Versions of Programs" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Jan Prins" link: "https://researchr.org/alias/jan-prins" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1988" researchr: "https://researchr.org/publication/HorwitzPR88" cites: 0 citedby: 0 pages: "133-145" booktitle: "POPL" kind: "inproceedings" key: "HorwitzPR88" - title: "Constructing Specialized Shape Analyses for Uniform Change" author: - name: "Tal Lev-Ami" link: "https://researchr.org/alias/tal-lev-ami" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" - name: "Neil Immerman" link: "https://researchr.org/alias/neil-immerman" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-69738-1_16" links: doi: "http://dx.doi.org/10.1007/978-3-540-69738-1_16" researchr: "https://researchr.org/publication/Lev-AmiSIR07" cites: 0 citedby: 0 pages: "215-233" booktitle: "Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings" editor: - name: "Byron Cook" link: "https://researchr.org/alias/byron-cook" - name: "Andreas Podelski" link: "https://researchr.org/alias/andreas-podelski" volume: "4349" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69735-0" kind: "inproceedings" key: "Lev-AmiSIR07" - title: "Integrating Noninterfering Versions of Programs" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Jan Prins" link: "https://researchr.org/alias/jan-prins" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1989" doi: "http://doi.acm.org/10.1145/65979.65980" links: doi: "http://doi.acm.org/10.1145/65979.65980" researchr: "https://researchr.org/publication/HorwitzPR89%3A0" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "11" number: "3" pages: "345-387" kind: "article" key: "HorwitzPR89:0" - title: "Programming environments: report on an international workshop at Dagstuhl Castle" author: - name: "Paul Klint" link: "http://homepages.cwi.nl/~paulk/" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Gregor Snelting" link: "https://researchr.org/alias/gregor-snelting" year: "1992" doi: "http://doi.acm.org/10.1145/141018.141058" links: doi: "http://doi.acm.org/10.1145/141018.141058" tags: - "meta programming" - "programming" - "Meta-Environment" researchr: "https://researchr.org/publication/KlintRS92" cites: 0 citedby: 0 journal: "SIGPLAN Notices" volume: "27" number: "11" pages: "90-96" kind: "article" key: "KlintRS92" - title: "Pointer Analysis for Programs with Structures and Casting" author: - name: "Suan Hsi Yong" link: "https://researchr.org/alias/suan-hsi-yong" - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1999" doi: "http://doi.acm.org/10.1145/301618.301647" links: doi: "http://doi.acm.org/10.1145/301618.301647" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/YongHR99" cites: 0 citedby: 0 pages: "91-103" booktitle: "PLDI" kind: "inproceedings" key: "YongHR99" - title: "Program Slicing of Hardware Description Languages" author: - name: "Edmund M. Clarke" link: "https://researchr.org/alias/edmund-m.-clarke" - name: "Masahiro Fujita" link: "https://researchr.org/alias/masahiro-fujita" - name: "Sreeranga P. Rajan" link: "https://researchr.org/alias/sreeranga-p.-rajan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Subash Shankar" link: "https://researchr.org/alias/subash-shankar" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1703/17030298.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1703/17030298.htm" tags: - "programming languages" - "slicing" researchr: "https://researchr.org/publication/ClarkeFRRST99" cites: 0 citedby: 0 pages: "298-312" booktitle: "Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings" editor: - name: "Laurence Pierre" link: "https://researchr.org/alias/laurence-pierre" - name: "Thomas Kropf" link: "https://researchr.org/alias/thomas-kropf" volume: "1703" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66559-5" kind: "inproceedings" key: "ClarkeFRRST99" - title: "Shape Analysis as a Generalized Path Problem" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1995" tags: - "analysis" researchr: "https://researchr.org/publication/Reps95" cites: 0 citedby: 0 pages: "1-11" booktitle: "PEPM" kind: "inproceedings" key: "Reps95" - title: "Program Analysis via Graph Reachability" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1997" tags: - "program analysis" - "analysis" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/Reps97%3A0" cites: 0 citedby: 0 pages: "5-19" booktitle: "ILPS" kind: "inproceedings" key: "Reps97:0" - title: "A System for Generating Static Analyzers for Machine Instructions" author: - name: "Junghee Lim" link: "https://researchr.org/alias/junghee-lim" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-78791-4_3" links: doi: "http://dx.doi.org/10.1007/978-3-540-78791-4_3" researchr: "https://researchr.org/publication/LimR08" cites: 0 citedby: 0 pages: "36-52" booktitle: "Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings" editor: - name: "Laurie J. Hendren" link: "http://www.sable.mcgill.ca/~hendren/" volume: "4959" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78790-7" kind: "inproceedings" key: "LimR08" - title: "Analysis of SPKI/SDSI Certificates Using Model Checking" author: - name: "Somesh Jha" link: "https://researchr.org/alias/somesh-jha" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2002" doi: "http://csdl.computer.org/comp/proceedings/csfw/2002/1689/00/16890129abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/csfw/2002/1689/00/16890129abs.htm" tags: - "model checking" - "meta-model" - "analysis" - "certification" - "Meta-Environment" researchr: "https://researchr.org/publication/JhaR02" cites: 0 citedby: 0 pages: "129" booktitle: "15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada" publisher: "IEEE Computer Society" isbn: "0-7695-1689-0" kind: "inproceedings" key: "JhaR02" - title: "Low-Level Library Analysis and Summarization" author: - name: "Denis Gopan" link: "https://researchr.org/alias/denis-gopan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_10" links: doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_10" tags: - "analysis" researchr: "https://researchr.org/publication/GopanR07%3A0" cites: 0 citedby: 0 pages: "68-81" booktitle: "Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings" editor: - name: "Werner Damm" link: "https://researchr.org/alias/werner-damm" - name: "Holger Hermanns" link: "https://researchr.org/alias/holger-hermanns" volume: "4590" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73367-6" kind: "inproceedings" key: "GopanR07:0" - title: "Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Stefan Schwoon" link: "https://researchr.org/alias/stefan-schwoon" - name: "Somesh Jha" link: "https://researchr.org/alias/somesh-jha" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2694/26940189.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2694/26940189.htm" tags: - "analysis" researchr: "https://researchr.org/publication/RepsSJ03" cites: 0 citedby: 0 pages: "189-213" booktitle: "Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings" editor: - name: "Radhia Cousot" link: "https://researchr.org/alias/radhia-cousot" volume: "2694" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40325-6" kind: "inproceedings" key: "RepsSJ03" - title: "Debugging via Run-Time Type Checking" author: - name: "Alexey Loginov" link: "https://researchr.org/alias/alexey-loginov" - name: "Suan Hsi Yong" link: "https://researchr.org/alias/suan-hsi-yong" - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290217.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290217.htm" tags: - "type checking" - "debugging" researchr: "https://researchr.org/publication/LoginovYHR01" cites: 0 citedby: 0 pages: "217-232" booktitle: "Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings" editor: - name: "Heinrich Hußmann" link: "https://researchr.org/alias/heinrich-hu%C3%9Fmann" volume: "2029" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-41863-6" kind: "inproceedings" key: "LoginovYHR01" - title: "A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations" author: - name: "Wuu Yang" link: "https://researchr.org/alias/wuu-yang" - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1992" doi: "http://doi.acm.org/10.1145/131736.131756" links: doi: "http://doi.acm.org/10.1145/131736.131756" tags: - "semantics" - "transformation" - "program transformation" researchr: "https://researchr.org/publication/YangHR92" cites: 0 citedby: 0 journal: "ACM Transactions on Software Engineering Methodology" volume: "1" number: "3" pages: "310-354" kind: "article" key: "YangHR92" - title: "Semantic Minimization of 3-Valued Propositional Formulae" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Alexey Loginov" link: "https://researchr.org/alias/alexey-loginov" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "2002" doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029816" links: doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029816" researchr: "https://researchr.org/publication/RepsLS02" cites: 0 citedby: 0 pages: "40" booktitle: "17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings" publisher: "IEEE Computer Society" isbn: "0-7695-1483-9" kind: "inproceedings" key: "RepsLS02" - title: "On Generalized Authorization Problems" author: - name: "Stefan Schwoon" link: "https://researchr.org/alias/stefan-schwoon" - name: "Somesh Jha" link: "https://researchr.org/alias/somesh-jha" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Stuart G. Stubblebine" link: "https://researchr.org/alias/stuart-g.-stubblebine" year: "2003" doi: "http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270202abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270202abs.htm" researchr: "https://researchr.org/publication/SchwoonJRS03" cites: 0 citedby: 0 pages: "202" booktitle: "16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA" publisher: "IEEE Computer Society" isbn: "0-7695-1927-X" kind: "inproceedings" key: "SchwoonJRS03" - title: "Physical Type Checking for C" author: - name: "Satish Chandra" link: "https://researchr.org/alias/satish-chandra" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1999" doi: "http://doi.acm.org/10.1145/316158.316183" links: doi: "http://doi.acm.org/10.1145/316158.316183" tags: - "C++" - "type checking" researchr: "https://researchr.org/publication/ChandraR99" cites: 0 citedby: 0 pages: "66-75" booktitle: "PASTE" kind: "inproceedings" key: "ChandraR99" - title: "A Categorized Bibliography on Incremental Computation" author: - name: "Ganesan Ramalingam" link: "http://research.microsoft.com/en-us/um/people/grama/" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1993" doi: "10.1145/158511.158710" tags: - "bibliography" - "incremental" researchr: "https://researchr.org/publication/RamalingamR93" cites: 0 citedby: 0 pages: "502-510" booktitle: "Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages" kind: "inproceedings" key: "RamalingamR93" - title: "Model Checking of Unrestricted Hierarchical State Machines" author: - name: "Michael Benedikt" link: "https://researchr.org/alias/michael-benedikt" - name: "Patrice Godefroid" link: "https://researchr.org/alias/patrice-godefroid" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2076/20760652.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2076/20760652.htm" tags: - "model checking" - "meta-model" - "Meta-Environment" - "state machines" researchr: "https://researchr.org/publication/BenediktGR01" cites: 0 citedby: 0 pages: "652-666" booktitle: "Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings" editor: - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" - name: "Paul G. Spirakis" link: "https://researchr.org/alias/paul-g.-spirakis" - name: "Jan van Leeuwen" link: "https://researchr.org/alias/jan-van-leeuwen" volume: "2076" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42287-0" kind: "inproceedings" key: "BenediktGR01" - title: "Extracting Output Formats from Executables" author: - name: "Junghee Lim" link: "https://researchr.org/alias/junghee-lim" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Ben Liblit" link: "http://pages.cs.wisc.edu/~liblit/" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.29" links: doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.29" researchr: "https://researchr.org/publication/LimRL06" cites: 0 citedby: 0 pages: "167-178" booktitle: "13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy" publisher: "IEEE Computer Society" isbn: "0-7695-2719-1" kind: "inproceedings" key: "LimRL06" - title: "A Decidable Logic for Describing Linked Data Structures" author: - name: "Michael Benedikt" link: "https://researchr.org/alias/michael-benedikt" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1576/15760002.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1576/15760002.htm" tags: - "data-flow" - "logic" researchr: "https://researchr.org/publication/BenediktRS99" cites: 0 citedby: 0 pages: "2-19" booktitle: "Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings" editor: - name: "S. Doaitse Swierstra" link: "http://www.cs.uu.nl/staff/doaitse.html" volume: "1576" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-65699-5" kind: "inproceedings" key: "BenediktRS99" - title: "Interprocedural Slicing Using Dependence Graphs" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "David W. Binkley" link: "http://www.cs.loyola.edu/~binkley/" year: "1990" doi: "http://doi.acm.org/10.1145/77606.77608" links: doi: "http://doi.acm.org/10.1145/77606.77608" tags: - "graph-rewriting" - "slicing" - "rewriting" researchr: "https://researchr.org/publication/HorwitzRB90" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "12" number: "1" pages: "26-60" kind: "article" key: "HorwitzRB90" - title: "WYSINWYX: What You See Is Not What You eXecute" author: - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "David Melski" link: "https://researchr.org/alias/david-melski" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "2005" doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_22" links: doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_22" researchr: "https://researchr.org/publication/BalakrishnanRMT05" cites: 0 citedby: 0 pages: "202-213" booktitle: "Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions" editor: - name: "Bertrand Meyer" link: "http://se.ethz.ch/~meyer/" - name: "Jim Woodcock" link: "https://researchr.org/alias/jim-woodcock" volume: "4171" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69147-1" kind: "inproceedings" key: "BalakrishnanRMT05" - title: "Incremental Context-Dependent Analysis for Language-Based Editors" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" - name: "Alan J. Demers" link: "https://researchr.org/alias/alan-j.-demers" year: "1983" doi: "http://doi.acm.org/10.1145/2166.357218" links: doi: "http://doi.acm.org/10.1145/2166.357218" tags: - "rule-based" - "analysis" - "context-aware" - "incremental" researchr: "https://researchr.org/publication/RepsTD83" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "5" number: "3" pages: "449-477" kind: "article" key: "RepsTD83" - title: "Illustrating Interference in Interfering Versions of Programs" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "T. Bricker" link: "https://researchr.org/alias/t.-bricker" year: "1989" researchr: "https://researchr.org/publication/RepsB89" cites: 0 citedby: 0 pages: "46-55" booktitle: "SCM" kind: "inproceedings" key: "RepsB89" - title: "Extended Weighted Pushdown Systems" author: - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" year: "2005" doi: "http://dx.doi.org/10.1007/11513988_44" links: doi: "http://dx.doi.org/10.1007/11513988_44" researchr: "https://researchr.org/publication/LalRB05" cites: 0 citedby: 0 pages: "434-448" booktitle: "Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings" editor: - name: "Kousha Etessami" link: "https://researchr.org/alias/kousha-etessami" - name: "Sriram K. Rajamani" link: "https://researchr.org/alias/sriram-k.-rajamani" volume: "3576" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-27231-3" kind: "inproceedings" key: "LalRB05" - title: "Program slicing for VHDL" author: - name: "Edmund M. Clarke" link: "https://researchr.org/alias/edmund-m.-clarke" - name: "Masahiro Fujita" link: "https://researchr.org/alias/masahiro-fujita" - name: "Sreeranga P. Rajan" link: "https://researchr.org/alias/sreeranga-p.-rajan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Subash Shankar" link: "https://researchr.org/alias/subash-shankar" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "2002" doi: "http://link.springer.de/link/service/journals/10009/bibs/2004001/20040125.htm" links: doi: "http://link.springer.de/link/service/journals/10009/bibs/2004001/20040125.htm" tags: - "slicing" researchr: "https://researchr.org/publication/ClarkeFRRST02" cites: 0 citedby: 0 journal: "STTT" volume: "4" number: "1" pages: "125-137" kind: "article" key: "ClarkeFRRST02" - title: "Verifying Temporal Heap Properties Specified via Evolution Logic" author: - name: "Eran Yahav" link: "https://researchr.org/alias/eran-yahav" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "2006" doi: "http://dx.doi.org/10.1093/jigpal/jzl009" links: doi: "http://dx.doi.org/10.1093/jigpal/jzl009" tags: - "logic" researchr: "https://researchr.org/publication/YahavRSW06" cites: 0 citedby: 0 journal: "Logic Journal of the IGPL" volume: "14" number: "5" pages: "755-783" kind: "article" key: "YahavRSW06" - title: "A framework for numeric analysis of array operations" author: - name: "Denis Gopan" link: "https://researchr.org/alias/denis-gopan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "2005" doi: "http://doi.acm.org/10.1145/1040305.1040333" links: doi: "http://doi.acm.org/10.1145/1040305.1040333" tags: - "analysis" researchr: "https://researchr.org/publication/GopanRS05" cites: 0 citedby: 0 pages: "338-350" booktitle: "Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005" editor: - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" - name: "Martín Abadi" link: "https://researchr.org/alias/mart%C3%ADn-abadi" publisher: "ACM" isbn: "1-58113-830-X" kind: "inproceedings" key: "GopanRS05" - title: "Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors" author: - name: "Alan J. Demers" link: "https://researchr.org/alias/alan-j.-demers" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "1981" doi: "10.1145/567532.567544" tags: - "attribute grammars" - "incremental" - "grammar" researchr: "https://researchr.org/publication/DemersRT81" cites: 0 citedby: 0 pages: "105-116" booktitle: "Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages" kind: "inproceedings" key: "DemersRT81" - title: "Interconveritibility of Set Constraints and Context-Free Language Reachability" author: - name: "David Melski" link: "https://researchr.org/alias/david-melski" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1997" doi: "http://doi.acm.org/10.1145/258993.259006" links: doi: "http://doi.acm.org/10.1145/258993.259006" tags: - "constraints" - "context-aware" researchr: "https://researchr.org/publication/MelskiR97" cites: 0 citedby: 0 pages: "74-89" booktitle: "PEPM" kind: "inproceedings" key: "MelskiR97" - title: "Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1988" tags: - "attribute grammars" - "incremental" - "grammar" researchr: "https://researchr.org/publication/Reps88" cites: 0 citedby: 0 journal: "Acta Informatica" volume: "25" number: "2" pages: "155-178" kind: "article" key: "Reps88" - title: "An Appreciation of the Work of Reinhard Wilhelm" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" - name: "Jörg Bauer" link: "https://researchr.org/alias/j%C3%B6rg-bauer" year: "2006" doi: "http://dx.doi.org/10.1007/978-3-540-71322-7_1" links: doi: "http://dx.doi.org/10.1007/978-3-540-71322-7_1" researchr: "https://researchr.org/publication/RepsSB06" cites: 0 citedby: 0 pages: "1-11" booktitle: "Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday" editor: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" - name: "Jörg Bauer" link: "https://researchr.org/alias/j%C3%B6rg-bauer" volume: "4444" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71315-9" kind: "inproceedings" key: "RepsSB06" - title: "The Cornell Program Synthesizer: A Syntax-Directed Programming Environment" author: - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1981" tags: - "meta programming" - "meta-model" - "programming" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/TeitelbaumR81" cites: 0 citedby: 2 journal: "Communications of the ACM" volume: "24" number: "9" pages: "563-573" kind: "article" key: "TeitelbaumR81" - title: "A Relational Abstraction for Functions" author: - name: "Bertrand Jeannet" link: "https://researchr.org/alias/bertrand-jeannet" - name: "Denis Gopan" link: "https://researchr.org/alias/denis-gopan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2005" doi: "http://dx.doi.org/10.1007/11547662_14" links: doi: "http://dx.doi.org/10.1007/11547662_14" tags: - "abstraction" researchr: "https://researchr.org/publication/JeannetGR05" cites: 0 citedby: 0 pages: "186-202" booktitle: "Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings" editor: - name: "Chris Hankin" link: "https://researchr.org/alias/chris-hankin" - name: "Igor Siveroni" link: "https://researchr.org/alias/igor-siveroni" volume: "3672" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-28584-9" kind: "inproceedings" key: "JeannetGR05" - title: "Guided Static Analysis" author: - name: "Denis Gopan" link: "https://researchr.org/alias/denis-gopan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-74061-2_22" links: doi: "http://dx.doi.org/10.1007/978-3-540-74061-2_22" tags: - "analysis" - "static analysis" researchr: "https://researchr.org/publication/GopanR07" cites: 0 citedby: 0 pages: "349-365" booktitle: "Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings" editor: - name: "Hanne Riis Nielson" link: "https://researchr.org/alias/hanne-riis-nielson" - name: "Gilberto Filé" link: "https://researchr.org/alias/gilberto-fil%C3%A9" volume: "4634" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-74060-5" kind: "inproceedings" key: "GopanR07" - title: "A Next-Generation Platform for Analyzing Executables" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" - name: "Junghee Lim" link: "https://researchr.org/alias/junghee-lim" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "2005" doi: "http://dx.doi.org/10.1007/11575467_15" links: doi: "http://dx.doi.org/10.1007/11575467_15" researchr: "https://researchr.org/publication/RepsBLT05" cites: 0 citedby: 0 pages: "212-229" booktitle: "Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings" editor: - name: "Kwangkeun Yi" link: "https://researchr.org/alias/kwangkeun-yi" volume: "3780" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-29735-9" kind: "inproceedings" key: "RepsBLT05" - title: "Revamping TVLA: Making Parametric Shape Analysis Competitive" author: - name: "Igor Bogudlov" link: "https://researchr.org/alias/igor-bogudlov" - name: "Tal Lev-Ami" link: "https://researchr.org/alias/tal-lev-ami" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_25" links: doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_25" tags: - "analysis" researchr: "https://researchr.org/publication/BogudlovLRS07" cites: 0 citedby: 0 pages: "221-225" booktitle: "Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings" editor: - name: "Werner Damm" link: "https://researchr.org/alias/werner-damm" - name: "Holger Hermanns" link: "https://researchr.org/alias/holger-hermanns" volume: "4590" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73367-6" kind: "inproceedings" key: "BogudlovLRS07" - title: "Precise Interprocedural Chopping" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Genevieve Rosay" link: "https://researchr.org/alias/genevieve-rosay" year: "1995" doi: "http://doi.acm.org/10.1145/222124.222138" links: doi: "http://doi.acm.org/10.1145/222124.222138" researchr: "https://researchr.org/publication/RepsR95" cites: 0 citedby: 0 pages: "41-52" booktitle: "SIGSOFT FSE" kind: "inproceedings" key: "RepsR95" - title: "Interactive Proof Checking" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Bowen Alpern" link: "https://researchr.org/alias/bowen-alpern" year: "1984" researchr: "https://researchr.org/publication/RepsA84" cites: 0 citedby: 0 pages: "36-45" booktitle: "POPL" kind: "inproceedings" key: "RepsA84" - title: "Safety checking of machine code" author: - name: "Zhichen Xu" link: "https://researchr.org/alias/zhichen-xu" - name: "Barton P. Miller" link: "https://researchr.org/alias/barton-p.-miller" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2000" doi: "http://doi.acm.org/10.1145/349299.349313" links: doi: "http://doi.acm.org/10.1145/349299.349313" researchr: "https://researchr.org/publication/XuMR00" cites: 0 citedby: 0 pages: "70-82" booktitle: "PLDI" kind: "inproceedings" key: "XuMR00" - title: "Model Checking x86 Executables with CodeSurfer/x86 and WPDS++" author: - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Nicholas Kidd" link: "https://researchr.org/alias/nicholas-kidd" - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Junghee Lim" link: "https://researchr.org/alias/junghee-lim" - name: "David Melski" link: "https://researchr.org/alias/david-melski" - name: "Radu Gruian" link: "https://researchr.org/alias/radu-gruian" - name: "Suan Hsi Yong" link: "https://researchr.org/alias/suan-hsi-yong" - name: "Chi-Hua Chen" link: "https://researchr.org/alias/chi-hua-chen" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "2005" doi: "http://dx.doi.org/10.1007/11513988_17" links: doi: "http://dx.doi.org/10.1007/11513988_17" tags: - "model checking" - "meta-model" - "Meta-Environment" researchr: "https://researchr.org/publication/BalakrishnanRKLLMGYCT05" cites: 0 citedby: 0 pages: "158-163" booktitle: "Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings" editor: - name: "Kousha Etessami" link: "https://researchr.org/alias/kousha-etessami" - name: "Sriram K. Rajamani" link: "https://researchr.org/alias/sriram-k.-rajamani" volume: "3576" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-27231-3" kind: "inproceedings" key: "BalakrishnanRKLLMGYCT05" - title: "Algebraic Properties of Program Integration" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1991" tags: - " algebra" researchr: "https://researchr.org/publication/Reps91" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "17" number: "1-3" pages: "139-215" kind: "article" key: "Reps91" - title: "Automatic discovery of API-level exploits" author: - name: "Vinod Ganapathy" link: "https://researchr.org/alias/vinod-ganapathy" - name: "Sanjit A. Seshia" link: "https://researchr.org/alias/sanjit-a.-seshia" - name: "Somesh Jha" link: "https://researchr.org/alias/somesh-jha" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Randal E. Bryant" link: "https://researchr.org/alias/randal-e.-bryant" year: "2005" doi: "http://doi.acm.org/10.1145/1062455.1062518" links: doi: "http://doi.acm.org/10.1145/1062455.1062518" tags: - "discovery" researchr: "https://researchr.org/publication/GanapathySJRB05" cites: 0 citedby: 0 pages: "312-321" booktitle: "27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA" editor: - name: "Gruia-Catalin Roman" link: "https://researchr.org/alias/gruia-catalin-roman" - name: "William G. Griswold" link: "https://researchr.org/alias/william-g.-griswold" - name: "Bashar Nuseibeh" link: "https://researchr.org/alias/bashar-nuseibeh" publisher: "ACM" kind: "inproceedings" key: "GanapathySJRB05" - title: "Parametric Shape Analysis via 3-Valued Logic" author: - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "1999" doi: "http://doi.acm.org/10.1145/292540.292552" links: doi: "http://doi.acm.org/10.1145/292540.292552" tags: - "analysis" - "logic" researchr: "https://researchr.org/publication/SagivRW99" cites: 0 citedby: 0 pages: "105-118" booktitle: "POPL" kind: "inproceedings" key: "SagivRW99" - title: "Shape Analysis and Applications" author: - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "2002" tags: - "analysis" researchr: "https://researchr.org/publication/WilhelmRS02" cites: 0 citedby: 0 pages: "175-218" booktitle: "The Compiler Design Handbook" kind: "incollection" key: "WilhelmRS02" - title: "A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks" author: - name: "Nicholas Kidd" link: "https://researchr.org/alias/nicholas-kidd" - name: "Peter Lammich" link: "https://researchr.org/alias/peter-lammich" - name: "Tayssir Touili" link: "https://researchr.org/alias/tayssir-touili" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02652-2_12" links: doi: "http://dx.doi.org/10.1007/978-3-642-02652-2_12" researchr: "https://researchr.org/publication/KiddLTR09" cites: 0 citedby: 0 pages: "125-142" booktitle: "Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings" editor: - name: "Corina S. Pasareanu" link: "https://researchr.org/alias/corina-s.-pasareanu" volume: "5578" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02651-5" kind: "inproceedings" key: "KiddLTR09" - title: "Automatic Verification of Strongly Dynamic Software Systems" author: - name: "Nurit Dor" link: "https://researchr.org/alias/nurit-dor" - name: "John Field" link: "http://www.research.ibm.com/people/j/jfield/" - name: "Denis Gopan" link: "https://researchr.org/alias/denis-gopan" - name: "Tal Lev-Ami" link: "https://researchr.org/alias/tal-lev-ami" - name: "Alexey Loginov" link: "https://researchr.org/alias/alexey-loginov" - name: "Roman Manevich" link: "https://researchr.org/alias/roman-manevich" - name: "Ganesan Ramalingam" link: "http://research.microsoft.com/en-us/um/people/grama/" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Noam Rinetzky" link: "https://researchr.org/alias/noam-rinetzky" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" - name: "Eran Yahav" link: "https://researchr.org/alias/eran-yahav" - name: "Greta Yorsh" link: "https://researchr.org/alias/greta-yorsh" year: "2005" doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_11" links: doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_11" researchr: "https://researchr.org/publication/DorFGLLMRRRSWYY05" cites: 0 citedby: 0 pages: "82-92" booktitle: "Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions" editor: - name: "Bertrand Meyer" link: "http://se.ethz.ch/~meyer/" - name: "Jim Woodcock" link: "https://researchr.org/alias/jim-woodcock" volume: "4171" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69147-1" kind: "inproceedings" key: "DorFGLLMRRRSWYY05" - title: "Interprocedural slicing using dependence graphs (with retrospective)" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "David W. Binkley" link: "http://www.cs.loyola.edu/~binkley/" year: "1988" doi: "http://doi.acm.org/10.1145/989393.989419" links: doi: "http://doi.acm.org/10.1145/989393.989419" tags: - "graph-rewriting" - "slicing" - "rewriting" researchr: "https://researchr.org/publication/HorwitzRB88a" cites: 0 citedby: 0 pages: "229-243" booktitle: "20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection" editor: - name: "Kathryn S. McKinley" link: "https://researchr.org/alias/kathryn-s.-mckinley" publisher: "ACM" isbn: "1-58113-623-4" kind: "inproceedings" key: "HorwitzRB88a" - title: "Putting static analysis to work for verification: A case study" author: - name: "Tal Lev-Ami" link: "https://researchr.org/alias/tal-lev-ami" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "2000" doi: "http://doi.acm.org/10.1145/347324.348031" links: doi: "http://doi.acm.org/10.1145/347324.348031" tags: - "case study" - "analysis" - "static analysis" researchr: "https://researchr.org/publication/Lev-AmiRSW00" cites: 0 citedby: 0 pages: "26-38" booktitle: "ISSTA" kind: "inproceedings" key: "Lev-AmiRSW00" - title: "A semantics for procedure local heaps and its abstractions" author: - name: "Noam Rinetzky" link: "https://researchr.org/alias/noam-rinetzky" - name: "Jörg Bauer" link: "https://researchr.org/alias/j%C3%B6rg-bauer" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "2005" doi: "http://doi.acm.org/10.1145/1040305.1040330" links: doi: "http://doi.acm.org/10.1145/1040305.1040330" tags: - "semantics" - "abstraction" researchr: "https://researchr.org/publication/RinetzkyBRSW05" cites: 0 citedby: 0 pages: "296-309" booktitle: "Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005" editor: - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" - name: "Martín Abadi" link: "https://researchr.org/alias/mart%C3%ADn-abadi" publisher: "ACM" isbn: "1-58113-830-X" kind: "inproceedings" key: "RinetzkyBRSW05" - title: "Analysis of recursive state machines" author: - name: "Rajeev Alur" link: "https://researchr.org/alias/rajeev-alur" - name: "Michael Benedikt" link: "https://researchr.org/alias/michael-benedikt" - name: "Kousha Etessami" link: "https://researchr.org/alias/kousha-etessami" - name: "Patrice Godefroid" link: "https://researchr.org/alias/patrice-godefroid" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mihalis Yannakakis" link: "https://researchr.org/alias/mihalis-yannakakis" year: "2005" doi: "http://doi.acm.org/10.1145/1075382.1075387" links: doi: "http://doi.acm.org/10.1145/1075382.1075387" tags: - "analysis" - "state machines" researchr: "https://researchr.org/publication/AlurBEGRY05" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "27" number: "4" pages: "786-818" kind: "article" key: "AlurBEGRY05" - title: "Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1993" doi: "http://doi.acm.org/10.1145/165231.166114" links: doi: "http://doi.acm.org/10.1145/165231.166114" tags: - "attribute grammars" - "grammar" researchr: "https://researchr.org/publication/Reps93%3A0" cites: 0 citedby: 0 pages: "367-376" booktitle: "SPAA" kind: "inproceedings" key: "Reps93:0" - title: "The Semantics of Program Slicing and Program Integration" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Wuu Yang" link: "https://researchr.org/alias/wuu-yang" year: "1989" tags: - "semantics" - "slicing" researchr: "https://researchr.org/publication/RepsY89" cites: 0 citedby: 0 pages: "360-374" booktitle: "TAPSOFT 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is" editor: - name: "Josep Díaz" link: "https://researchr.org/alias/josep-d%C3%ADaz" - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" volume: "352" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-50940-2" kind: "inproceedings" key: "RepsY89" - title: "Semantic Foundations of Binding Time Analysis for Imperative Programs" author: - name: "Manuvir Das" link: "https://researchr.org/alias/manuvir-das" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Pascal Van Hentenryck" link: "https://researchr.org/alias/pascal-van-hentenryck" year: "1995" tags: - "program analysis" - "analysis" - "Pascal" researchr: "https://researchr.org/publication/DasRH95" cites: 0 citedby: 0 pages: "100-110" booktitle: "PEPM" kind: "inproceedings" key: "DasRH95" - title: "Undecidability of context-sensitive data-independence analysis" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2000" doi: "http://doi.acm.org/10.1145/345099.345137" links: doi: "http://doi.acm.org/10.1145/345099.345137" tags: - "analysis" - "context-aware" - "data-flow analysis" researchr: "https://researchr.org/publication/Reps00" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "22" number: "1" pages: "162-186" kind: "article" key: "Reps00" - title: "Analyzing Stripped Device-Driver Executables" author: - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-78800-3_10" links: doi: "http://dx.doi.org/10.1007/978-3-540-78800-3_10" researchr: "https://researchr.org/publication/BalakrishnanR08" cites: 0 citedby: 0 pages: "124-140" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed" editor: - name: "C. R. Ramakrishnan" link: "https://researchr.org/alias/c.-r.-ramakrishnan" - name: "Jakob Rehof" link: "https://researchr.org/alias/jakob-rehof" volume: "4963" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78799-0" kind: "inproceedings" key: "BalakrishnanR08" - title: "The Boundary Between Decidability and Undecidability for Transitive-Closure Logics" author: - name: "Neil Immerman" link: "https://researchr.org/alias/neil-immerman" - name: "Alexander Moshe Rabinovich" link: "https://researchr.org/alias/alexander-moshe-rabinovich" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Greta Yorsh" link: "https://researchr.org/alias/greta-yorsh" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3210&spage=160" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3210&spage=160" tags: - "logic" researchr: "https://researchr.org/publication/ImmermanRRSY04%3A0" cites: 0 citedby: 0 pages: "160-174" booktitle: "Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings" editor: - name: "Jerzy Marcinkowski" link: "https://researchr.org/alias/jerzy-marcinkowski" - name: "Andrzej Tarlecki" link: "https://researchr.org/alias/andrzej-tarlecki" volume: "3210" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23024-6" kind: "inproceedings" key: "ImmermanRRSY04:0" - title: "An Incremental Algorithm for a Generalization of the Shortest-Path Problem" author: - name: "Ganesan Ramalingam" link: "http://research.microsoft.com/en-us/um/people/grama/" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1996" tags: - "incremental" researchr: "https://researchr.org/publication/RamalingamR96" cites: 0 citedby: 0 journal: "J. Algorithms" volume: "21" number: "2" pages: "267-305" kind: "article" key: "RamalingamR96" - title: "A relational approach to interprocedural shape analysis" author: - name: "Bertrand Jeannet" link: "https://researchr.org/alias/bertrand-jeannet" - name: "Alexey Loginov" link: "https://researchr.org/alias/alexey-loginov" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" year: "2010" doi: "http://doi.acm.org/10.1145/1667048.1667050" links: doi: "http://doi.acm.org/10.1145/1667048.1667050" tags: - "analysis" - "systematic-approach" researchr: "https://researchr.org/publication/JeannetLRS10" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "32" number: "2" kind: "article" key: "JeannetLRS10" - title: "Logical characterizations of heap abstractions" author: - name: "Greta Yorsh" link: "https://researchr.org/alias/greta-yorsh" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "2007" doi: "http://doi.acm.org/10.1145/1182613.1182618" links: doi: "http://doi.acm.org/10.1145/1182613.1182618" tags: - "abstraction" researchr: "https://researchr.org/publication/YorshRSW07" cites: 0 citedby: 0 journal: "ACM Trans. Comput. Log." volume: "8" number: "1" pages: "5" kind: "article" key: "YorshRSW07" - title: "Weighted Pushdown Systems and Trust-Management Systems" author: - name: "Somesh Jha" link: "https://researchr.org/alias/somesh-jha" - name: "Stefan Schwoon" link: "https://researchr.org/alias/stefan-schwoon" - name: "Hao Wang" link: "https://researchr.org/alias/hao-wang" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2006" doi: "http://dx.doi.org/10.1007/11691372_1" links: doi: "http://dx.doi.org/10.1007/11691372_1" researchr: "https://researchr.org/publication/JhaSWR06" cites: 0 citedby: 0 pages: "1-26" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedi" editor: - name: "Holger Hermanns" link: "https://researchr.org/alias/holger-hermanns" - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" volume: "3920" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-33056-9" kind: "inproceedings" key: "JhaSWR06" - title: "Interconvertibility of a class of set constraints and context-free-language reachability" author: - name: "David Melski" link: "https://researchr.org/alias/david-melski" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2000" doi: "http://dx.doi.org/10.1016/S0304-3975(00)00049-9" links: doi: "http://dx.doi.org/10.1016/S0304-3975(00)00049-9" tags: - "constraints" - "context-aware" researchr: "https://researchr.org/publication/MelskiR00" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "248" number: "1-2" pages: "29-98" kind: "article" key: "MelskiR00" - title: "The Use of Program Dependence Graphs in Software Engineering" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1992" doi: "http://doi.acm.org/10.1145/143062.143156" links: doi: "http://doi.acm.org/10.1145/143062.143156" tags: - "graph-rewriting" - "software engineering" - "rewriting" researchr: "https://researchr.org/publication/HorwitzR92" cites: 0 citedby: 0 pages: "392-411" booktitle: "ICSE" kind: "inproceedings" key: "HorwitzR92" - title: "Intermediate-representation recovery from low-level code" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" - name: "Junghee Lim" link: "https://researchr.org/alias/junghee-lim" year: "2006" doi: "http://doi.acm.org/10.1145/1111542.1111560" links: doi: "http://doi.acm.org/10.1145/1111542.1111560" tags: - "intermediate representation" researchr: "https://researchr.org/publication/RepsBL06" cites: 0 citedby: 0 pages: "100-111" booktitle: "Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006" editor: - name: "John Hatcliff" link: "http://people.cis.ksu.edu/~hatcliff/newweb/" - name: "Frank Tip" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.index.html" publisher: "ACM" isbn: "1-59593-196-1" kind: "inproceedings" key: "RepsBL06" - title: "On the Sequential Nature of Interprocedural Program-Analysis Problems" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1996" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/Reps96" cites: 0 citedby: 0 journal: "Acta Informatica" volume: "33" number: "8" pages: "739-757" kind: "article" key: "Reps96" - title: "Shape Analysis" author: - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1781/17810001.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1781/17810001.htm" tags: - "analysis" researchr: "https://researchr.org/publication/WilhelmSR00" cites: 0 citedby: 0 pages: "1-17" booktitle: "Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings" editor: - name: "David A. Watt" link: "https://researchr.org/alias/david-a.-watt" volume: "1781" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67263-X" kind: "inproceedings" key: "WilhelmSR00" - title: "On the Adequacy of Program Dependence Graphs for Representing Programs" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Jan Prins" link: "https://researchr.org/alias/jan-prins" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1988" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HorwitzPR88a" cites: 0 citedby: 0 pages: "146-157" booktitle: "POPL" kind: "inproceedings" key: "HorwitzPR88a" - title: "DIVINE: DIscovering Variables IN Executables" author: - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-69738-1_1" links: doi: "http://dx.doi.org/10.1007/978-3-540-69738-1_1" researchr: "https://researchr.org/publication/BalakrishnanR07" cites: 0 citedby: 0 pages: "1-28" booktitle: "Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings" editor: - name: "Byron Cook" link: "https://researchr.org/alias/byron-cook" - name: "Andreas Podelski" link: "https://researchr.org/alias/andreas-podelski" volume: "4349" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69735-0" kind: "inproceedings" key: "BalakrishnanR07" - title: "Symbolically Computing Most-Precise Abstract Operations for Shape Analysis" author: - name: "Greta Yorsh" link: "https://researchr.org/alias/greta-yorsh" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=530" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=530" tags: - "analysis" researchr: "https://researchr.org/publication/YorshRS04" cites: 0 citedby: 0 pages: "530-545" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee" editor: - name: "Kurt Jensen" link: "https://researchr.org/alias/kurt-jensen" - name: "Andreas Podelski" link: "https://researchr.org/alias/andreas-podelski" volume: "2988" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21299-X" kind: "inproceedings" key: "YorshRS04" - title: " Maximal-munch Tokenization in Linear Time" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1998" doi: "http://doi.acm.org/10.1145/276393.276394" links: doi: "http://doi.acm.org/10.1145/276393.276394" researchr: "https://researchr.org/publication/Reps98%3A0" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "20" number: "2" pages: "259-273" kind: "article" key: "Reps98:0" - title: "Numeric Domains with Summarized Dimensions" author: - name: "Denis Gopan" link: "https://researchr.org/alias/denis-gopan" - name: "Frank DiMaio" link: "https://researchr.org/alias/frank-dimaio" - name: "Nurit Dor" link: "https://researchr.org/alias/nurit-dor" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=512" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=512" researchr: "https://researchr.org/publication/GopanDDRS04" cites: 0 citedby: 0 pages: "512-529" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee" editor: - name: "Kurt Jensen" link: "https://researchr.org/alias/kurt-jensen" - name: "Andreas Podelski" link: "https://researchr.org/alias/andreas-podelski" volume: "2988" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21299-X" kind: "inproceedings" key: "GopanDDRS04" - title: "An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph" author: - name: "Ganesan Ramalingam" link: "http://research.microsoft.com/en-us/um/people/grama/" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1994" tags: - "incremental" researchr: "https://researchr.org/publication/RamalingamR94" cites: 0 citedby: 0 pages: "287-296" booktitle: "Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages" kind: "inproceedings" key: "RamalingamR94" - title: "Labelled Clauses" author: - name: "Tal Lev-Ami" link: "https://researchr.org/alias/tal-lev-ami" - name: "Christoph Weidenbach" link: "https://researchr.org/alias/christoph-weidenbach" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73595-3_21" links: doi: "http://dx.doi.org/10.1007/978-3-540-73595-3_21" researchr: "https://researchr.org/publication/Lev-AmiWRS07" cites: 0 citedby: 0 pages: "311-327" booktitle: "Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings" editor: - name: "Frank Pfenning" link: "http://www.cs.cmu.edu/~fp/" volume: "4603" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73594-6" kind: "inproceedings" key: "Lev-AmiWRS07" - title: "Symbolic Analysis via Semantic Reinterpretation" author: - name: "Junghee Lim" link: "https://researchr.org/alias/junghee-lim" - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02652-2_14" links: doi: "http://dx.doi.org/10.1007/978-3-642-02652-2_14" tags: - "analysis" researchr: "https://researchr.org/publication/LimLR09" cites: 0 citedby: 0 pages: "148-168" booktitle: "Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings" editor: - name: "Corina S. Pasareanu" link: "https://researchr.org/alias/corina-s.-pasareanu" volume: "5578" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-02651-5" kind: "inproceedings" key: "LimLR09" - title: "Interprocedural Analysis of Concurrent Programs Under a Context Bound" author: - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Tayssir Touili" link: "https://researchr.org/alias/tayssir-touili" - name: "Nicholas Kidd" link: "https://researchr.org/alias/nicholas-kidd" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-78800-3_20" links: doi: "http://dx.doi.org/10.1007/978-3-540-78800-3_20" tags: - "program analysis" - "analysis" - "context-aware" researchr: "https://researchr.org/publication/LalTKR08" cites: 0 citedby: 0 pages: "282-298" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed" editor: - name: "C. R. Ramakrishnan" link: "https://researchr.org/alias/c.-r.-ramakrishnan" - name: "Jakob Rehof" link: "https://researchr.org/alias/jakob-rehof" volume: "4963" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78799-0" kind: "inproceedings" key: "LalTKR08" - title: "Typestate Checking of Machine Code" author: - name: "Zhichen Xu" link: "https://researchr.org/alias/zhichen-xu" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Barton P. Miller" link: "https://researchr.org/alias/barton-p.-miller" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2028/20280335.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2028/20280335.htm" researchr: "https://researchr.org/publication/XuRM01" cites: 0 citedby: 0 pages: "335-351" booktitle: "Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings" editor: - name: "David Sands" link: "https://researchr.org/alias/david-sands" volume: "2028" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-41862-8" kind: "inproceedings" key: "XuRM01" - title: "Design and Implementation of a Fine-Grained Software Inspection Tool" author: - name: "Paul Anderson" link: "https://researchr.org/alias/paul-anderson" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "2003" doi: "http://csdl.computer.org/comp/trans/ts/2003/08/e0721abs.htm" links: doi: "http://csdl.computer.org/comp/trans/ts/2003/08/e0721abs.htm" tags: - "design" researchr: "https://researchr.org/publication/AndersonRT03" cites: 0 citedby: 0 journal: "IEEE Trans. Software Eng." volume: "29" number: "8" pages: "721-733" kind: "article" key: "AndersonRT03" - title: "Program Integration for Languages with Procedure Calls" author: - name: "David W. Binkley" link: "http://www.cs.loyola.edu/~binkley/" - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1995" doi: "http://doi.acm.org/10.1145/201055.201056" links: doi: "http://doi.acm.org/10.1145/201055.201056" tags: - "programming languages" researchr: "https://researchr.org/publication/BinkleyHR95" cites: 0 citedby: 0 journal: "ACM Transactions on Software Engineering Methodology" volume: "4" number: "1" pages: "3-35" kind: "article" key: "BinkleyHR95" - title: "Algebraic Properties of Program Integration" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1990" tags: - " algebra" researchr: "https://researchr.org/publication/Reps90" cites: 0 citedby: 0 pages: "326-340" booktitle: "ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings" editor: - name: "Neil D. Jones" link: "http://www.diku.dk/hjemmesider/ansatte/neil/" volume: "432" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-52592-0" kind: "inproceedings" key: "Reps90" - title: "Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work" author: - name: "Greta Yorsh" link: "https://researchr.org/alias/greta-yorsh" - name: "Alexey Skidanov" link: "https://researchr.org/alias/alexey-skidanov" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2005.01.028" links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.01.028" researchr: "https://researchr.org/publication/YorshSRS05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "131" pages: "125-138" kind: "article" key: "YorshSRS05" - title: "Demand Interprocedural Program Analysis Using Logic Databases" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1993" abstract: "Interprocedural analysis concerns the static examination of a program that consists of multiple procedures. Its purpose is to determine certain kinds of summary information associated with the elements of a program (such as reaching definitions, available expressions, live variables, etc.). Most treatments of interprocedural analysis address the exhaustive version of the problem: summary information is to be reported for all elements of the program. This paper concerns the solution of demand versions of interprocedural analysis problems: summary information is to be reported only for a single program element of interest (or a small number of elements of interest). Because the summary information at one program point typically depends on summary information from other points, an important issue is to minimize the number of other points for which (transient) summary information is computed and/or the amount of information computed at those points." tags: - "program analysis" - "points-to analysis" - "analysis" - "static analysis" - "source-to-source" - "logic programming" - "programming" - "logic" - "open-source" researchr: "https://researchr.org/publication/Reps93" cites: 0 citedby: 1 pages: "163-196" booktitle: "Workshop on Programming with Logic Databases (Informal Proceedings), ILPS" kind: "inproceedings" key: "Reps93" - title: "Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis" author: - name: "Akash Lal" link: "https://researchr.org/alias/akash-lal" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_7" links: doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_7" tags: - "analysis" - "context-aware" researchr: "https://researchr.org/publication/LalR08" cites: 0 citedby: 0 pages: "37-51" booktitle: "Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings" editor: - name: "Aarti Gupta" link: "https://researchr.org/alias/aarti-gupta" - name: "Sharad Malik" link: "https://researchr.org/alias/sharad-malik" volume: "5123" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-70543-7" kind: "inproceedings" key: "LalR08" - title: "Finding Concurrency-Related Bugs Using Random Isolation" author: - name: "Nicholas Kidd" link: "https://researchr.org/alias/nicholas-kidd" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Julian Dolby" link: "https://researchr.org/alias/julian-dolby" - name: "Mandana Vaziri" link: "https://researchr.org/alias/mandana-vaziri" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-540-93900-9_18" links: doi: "http://dx.doi.org/10.1007/978-3-540-93900-9_18" researchr: "https://researchr.org/publication/KiddRDV09" cites: 0 citedby: 0 pages: "198-213" booktitle: "Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings" editor: - name: "Neil D. Jones" link: "http://www.diku.dk/hjemmesider/ansatte/neil/" - name: "Markus Müller-Olm" link: "https://researchr.org/alias/markus-m%C3%BCller-olm" volume: "5403" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-93899-6" kind: "inproceedings" key: "KiddRDV09" - title: "Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation" author: - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" year: "1995" tags: - "analysis" researchr: "https://researchr.org/publication/SagivRH95" cites: 0 citedby: 0 pages: "651-665" booktitle: "TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings" editor: - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Mogens Nielsen" link: "https://researchr.org/alias/mogens-nielsen" - name: "Michael I. Schwartzbach" link: "http://www.brics.dk/~mis/" volume: "915" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-59293-8" kind: "inproceedings" key: "SagivRH95" - title: "Comparison Under Abstraction for Verifying Linearizability" author: - name: "Daphna Amit" link: "https://researchr.org/alias/daphna-amit" - name: "Noam Rinetzky" link: "https://researchr.org/alias/noam-rinetzky" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" - name: "Eran Yahav" link: "https://researchr.org/alias/eran-yahav" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_49" links: doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_49" tags: - "abstraction" researchr: "https://researchr.org/publication/AmitRRSY07" cites: 0 citedby: 0 pages: "477-490" booktitle: "Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings" editor: - name: "Werner Damm" link: "https://researchr.org/alias/werner-damm" - name: "Holger Hermanns" link: "https://researchr.org/alias/holger-hermanns" volume: "4590" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73367-6" kind: "inproceedings" key: "AmitRRSY07" - title: "Modification Algebras" author: - name: "Ganesan Ramalingam" link: "http://research.microsoft.com/en-us/um/people/grama/" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1991" tags: - " algebra" researchr: "https://researchr.org/publication/RamalingamR91" cites: 0 citedby: 0 pages: "547-558" booktitle: "Algebraic Methodology and Software Technology (AMAST 91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991" editor: - name: "Maurice Nivat" link: "https://researchr.org/alias/maurice-nivat" - name: "Charles Rattray" link: "https://researchr.org/alias/charles-rattray" - name: "Teodor Rus" link: "https://researchr.org/alias/teodor-rus" - name: "Giuseppe Scollo" link: "https://researchr.org/alias/giuseppe-scollo" series: "Workshops in Computing" publisher: "Springer" isbn: "3-540-19797-4" kind: "inproceedings" key: "RamalingamR91" - title: "Coping with Type Casts in C" author: - name: "Michael Siff" link: "https://researchr.org/alias/michael-siff" - name: "Satish Chandra" link: "https://researchr.org/alias/satish-chandra" - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" - name: "Krishna Kunchithapadam" link: "https://researchr.org/alias/krishna-kunchithapadam" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1687/16870180.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1687/16870180.htm" tags: - "C++" researchr: "https://researchr.org/publication/SiffCBKR99" cites: 0 citedby: 0 pages: "180-198" booktitle: "Software Engineering - ESEC/FSE 99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings" editor: - name: "Oscar Nierstrasz" link: "http://scg.unibe.ch/staff/oscar" - name: "Michel Lemoine" link: "https://researchr.org/alias/michel-lemoine" volume: "1687" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66538-2" kind: "inproceedings" key: "SiffCBKR99" - title: "Abstraction Refinement via Inductive Learning" author: - name: "Alexey Loginov" link: "https://researchr.org/alias/alexey-loginov" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "2005" doi: "http://dx.doi.org/10.1007/11513988_50" links: doi: "http://dx.doi.org/10.1007/11513988_50" tags: - "refinement" - "abstraction" researchr: "https://researchr.org/publication/LoginovRS05" cites: 0 citedby: 0 pages: "519-533" booktitle: "Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings" editor: - name: "Kousha Etessami" link: "https://researchr.org/alias/kousha-etessami" - name: "Sriram K. Rajamani" link: "https://researchr.org/alias/sriram-k.-rajamani" volume: "3576" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-27231-3" kind: "inproceedings" key: "LoginovRS05" - title: "Sublinear-Space Evaluation Algorithms for Attribute Grammars" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Alan J. Demers" link: "https://researchr.org/alias/alan-j.-demers" year: "1987" doi: "http://doi.acm.org/10.1145/24039.214529" links: doi: "http://doi.acm.org/10.1145/24039.214529" tags: - "attribute grammars" - "grammar" researchr: "https://researchr.org/publication/RepsD87" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "9" number: "3" pages: "408-440" kind: "article" key: "RepsD87" - title: "Speeding up Slicing" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Genevieve Rosay" link: "https://researchr.org/alias/genevieve-rosay" year: "1994" doi: "http://doi.acm.org/10.1145/193173.195287" links: doi: "http://doi.acm.org/10.1145/193173.195287" tags: - "slicing" researchr: "https://researchr.org/publication/RepsHSR94" cites: 0 citedby: 0 pages: "11-20" booktitle: "SIGSOFT FSE" kind: "inproceedings" key: "RepsHSR94" - title: "Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures" author: - name: "Tal Lev-Ami" link: "https://researchr.org/alias/tal-lev-ami" - name: "Neil Immerman" link: "https://researchr.org/alias/neil-immerman" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "S. Srivastava" link: "https://researchr.org/alias/s.-srivastava" - name: "Greta Yorsh" link: "https://researchr.org/alias/greta-yorsh" year: "2005" doi: "http://dx.doi.org/10.1007/11532231_8" links: doi: "http://dx.doi.org/10.1007/11532231_8" tags: - "logic" researchr: "https://researchr.org/publication/Lev-AmiIRSSY05" cites: 0 citedby: 0 pages: "99-115" booktitle: "Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings" editor: - name: "Robert Nieuwenhuis" link: "https://researchr.org/alias/robert-nieuwenhuis" volume: "3632" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-28005-7" kind: "inproceedings" key: "Lev-AmiIRSSY05" - title: "Static Program Analysis via 3-Valued Logic" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=15" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=15" tags: - "program analysis" - "analysis" - "static analysis" - "logic programming" - "logic" researchr: "https://researchr.org/publication/RepsSW04" cites: 0 citedby: 0 pages: "15-30" booktitle: "Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings" editor: - name: "Rajeev Alur" link: "https://researchr.org/alias/rajeev-alur" - name: "Doron Peled" link: "https://researchr.org/alias/doron-peled" volume: "3114" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22342-8" kind: "inproceedings" key: "RepsSW04" - title: "Model checking SPKI/SDSI" author: - name: "Somesh Jha" link: "https://researchr.org/alias/somesh-jha" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2004" tags: - "model checking" - "meta-model" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/JhaR04" cites: 0 citedby: 0 journal: "Journal of Computer Security" volume: "12" number: "3-4" pages: "317-353" kind: "article" key: "JhaR04" - title: "Verifying Information Flow Control over Unbounded Processes" author: - name: "William R. Harris" link: "https://researchr.org/alias/william-r.-harris" - name: "Nicholas Kidd" link: "https://researchr.org/alias/nicholas-kidd" - name: "Sagar Chaki" link: "https://researchr.org/alias/sagar-chaki" - name: "Somesh Jha" link: "https://researchr.org/alias/somesh-jha" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-05089-3_49" links: doi: "http://dx.doi.org/10.1007/978-3-642-05089-3_49" tags: - "data-flow" researchr: "https://researchr.org/publication/HarrisKCJR09" cites: 0 citedby: 0 pages: "773-789" booktitle: "FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings" editor: - name: "Ana Cavalcanti" link: "https://researchr.org/alias/ana-cavalcanti" - name: "Dennis Dams" link: "https://researchr.org/alias/dennis-dams" volume: "5850" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-05088-6" kind: "inproceedings" key: "HarrisKCJR09" - title: "Identifying modules via concept analysis" author: - name: "Michael Siff" link: "https://researchr.org/alias/michael-siff" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1997" doi: "http://computer.org/proceedings/icsm/8013/80130170abs.htm" links: doi: "http://computer.org/proceedings/icsm/8013/80130170abs.htm" tags: - "analysis" researchr: "https://researchr.org/publication/SiffR97" cites: 0 citedby: 0 pages: "170-179" booktitle: "1997 International Conference on Software Maintenance (ICSM 97), 1-3 October 1997, Bari, Italy, Proceedings" publisher: "IEEE Computer Society" isbn: "0-8186-8013-X" kind: "inproceedings" key: "SiffR97" - title: "Parametric shape analysis via 3-valued logic" author: - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Reinhard Wilhelm" link: "https://researchr.org/alias/reinhard-wilhelm" year: "2002" doi: "http://doi.acm.org/10.1145/514188.514190" links: doi: "http://doi.acm.org/10.1145/514188.514190" tags: - "analysis" - "logic" researchr: "https://researchr.org/publication/SagivRW02" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "24" number: "3" pages: "217-298" kind: "article" key: "SagivRW02" - title: "Recency-Abstraction for Heap-Allocated Storage" author: - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2006" doi: "http://dx.doi.org/10.1007/11823230_15" links: doi: "http://dx.doi.org/10.1007/11823230_15" tags: - "abstraction" researchr: "https://researchr.org/publication/BalakrishnanR06" cites: 0 citedby: 0 pages: "221-239" booktitle: "Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings" editor: - name: "Kwangkeun Yi" link: "https://researchr.org/alias/kwangkeun-yi" volume: "4134" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37756-5" kind: "inproceedings" key: "BalakrishnanR06" - title: "Analyzing Memory Accesses in x86 Executables" author: - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2985&spage=5" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2985&spage=5" researchr: "https://researchr.org/publication/BalakrishnanR04" cites: 0 citedby: 0 pages: "5-23" booktitle: "Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings" volume: "2985" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21297-3" kind: "inproceedings" key: "BalakrishnanR04" - title: "On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem" author: - name: "Ganesan Ramalingam" link: "http://research.microsoft.com/en-us/um/people/grama/" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "1994" researchr: "https://researchr.org/publication/RamalingamR94%3A0" cites: 0 citedby: 0 journal: "Inf. Process. Lett." volume: "51" number: "3" pages: "155-161" kind: "article" key: "RamalingamR94:0" - title: "Support for Integrating Program Variants in an Environment for Programming in the Large" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Jan Prins" link: "https://researchr.org/alias/jan-prins" year: "1988" tags: - "meta programming" - "meta-model" - "programming" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/RepsHP88" cites: 0 citedby: 0 pages: "197-216" booktitle: "Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany" editor: - name: "Jürgen F. H. Winkler" link: "https://researchr.org/alias/j%C3%BCrgen-f.-h.-winkler" volume: "30" series: "Berichte des German Chapter of the ACM" publisher: "Teubner" isbn: "3-519-02671-6" kind: "inproceedings" key: "RepsHP88" - title: "CodeSurfer/x86-A Platform for Analyzing x86 Executables" author: - name: "Gogul Balakrishnan" link: "https://researchr.org/alias/gogul-balakrishnan" - name: "Radu Gruian" link: "https://researchr.org/alias/radu-gruian" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Tim Teitelbaum" link: "http://www.cs.cornell.edu/Info/People/tt/Tim_Teitelbaum.html" year: "2005" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=250" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=250" researchr: "https://researchr.org/publication/BalakrishnanGRT05" cites: 0 citedby: 0 pages: "250-254" booktitle: "Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings" editor: - name: "Rastislav Bodík" link: "https://researchr.org/alias/rastislav-bod%C3%ADk" volume: "3443" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25411-0" kind: "inproceedings" key: "BalakrishnanGRT05" - title: "Refinement-Based Verification for Possibly-Cyclic Lists" author: - name: "Alexey Loginov" link: "https://researchr.org/alias/alexey-loginov" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" year: "2006" doi: "http://dx.doi.org/10.1007/978-3-540-71322-7_12" links: doi: "http://dx.doi.org/10.1007/978-3-540-71322-7_12" tags: - "rule-based" - "refinement" researchr: "https://researchr.org/publication/LoginovRS06" cites: 0 citedby: 0 pages: "247-272" booktitle: "Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday" editor: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" - name: "Jörg Bauer" link: "https://researchr.org/alias/j%C3%B6rg-bauer" volume: "4444" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71315-9" kind: "inproceedings" key: "LoginovRS06" - title: "Demand Interprocedural Dataflow Analysis" author: - name: "Susan Horwitz" link: "https://researchr.org/alias/susan-horwitz" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" year: "1995" doi: "http://doi.acm.org/10.1145/222124.222146" links: doi: "http://doi.acm.org/10.1145/222124.222146" tags: - "analysis" researchr: "https://researchr.org/publication/HorwitzRS95" cites: 0 citedby: 0 pages: "104-115" booktitle: "SIGSOFT FSE" kind: "inproceedings" key: "HorwitzRS95" - title: "Finite Differencing of Logical Formulas for Static Analysis" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Shmuel Sagiv" link: "https://researchr.org/alias/shmuel-sagiv" - name: "Alexey Loginov" link: "https://researchr.org/alias/alexey-loginov" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180380.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180380.htm" tags: - "analysis" - "static analysis" researchr: "https://researchr.org/publication/RepsSL03" cites: 0 citedby: 0 pages: "380-398" booktitle: "Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings" editor: - name: "Pierpaolo Degano" link: "https://researchr.org/alias/pierpaolo-degano" volume: "2618" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00886-1" kind: "inproceedings" key: "RepsSL03" - title: "Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm" author: - name: "Alexey Loginov" link: "https://researchr.org/alias/alexey-loginov" - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" year: "2006" doi: "http://dx.doi.org/10.1007/11823230_17" links: doi: "http://dx.doi.org/10.1007/11823230_17" tags: - "traversal" researchr: "https://researchr.org/publication/LoginovRS06%3A0" cites: 0 citedby: 0 pages: "261-279" booktitle: "Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings" editor: - name: "Kwangkeun Yi" link: "https://researchr.org/alias/kwangkeun-yi" volume: "4134" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37756-5" kind: "inproceedings" key: "LoginovRS06:0" - title: "Static Program Analysis via 3-Valued Logic" author: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2477/24770001.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2477/24770001.htm" tags: - "program analysis" - "analysis" - "static analysis" - "logic programming" - "logic" researchr: "https://researchr.org/publication/Reps02" cites: 0 citedby: 0 pages: "1" booktitle: "Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings" editor: - name: "Manuel V. Hermenegildo" link: "https://researchr.org/alias/manuel-v.-hermenegildo" - name: "Germán Puebla" link: "https://researchr.org/alias/germ%C3%A1n-puebla" volume: "2477" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44235-9" kind: "inproceedings" key: "Reps02" - title: "Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday" year: "2007" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/birthday%3A2006wilhelm" cites: 0 citedby: 0 booktitle: "Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday" editor: - name: "Thomas W. Reps" link: "http://pages.cs.wisc.edu/~reps/" - name: "Mooly Sagiv" link: "https://researchr.org/alias/mooly-sagiv" - name: "Jörg Bauer" link: "https://researchr.org/alias/j%C3%B6rg-bauer" volume: "4444" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71315-9" kind: "proceedings" key: "birthday:2006wilhelm"