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: "CC"
  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"
  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: "ESOP"
  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: "SCP"
  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: "TCS"
  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: "cav"
  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: "SAS"
  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: "ESEC/FSE"
  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: "cav"
  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: "cc"
  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: "esorics"
  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: "SAS"
  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: "Dagstuhl"
  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: "SAS"
  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"
  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: "TACAS"
  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: "lisp"
  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: "TSE"
  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: "TOPLAS"
  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"
  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: "fmsd"
  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: "INFSOF"
  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"
  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: "SAS"
  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"
  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: "vmcai"
  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: "cc"
  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: "SDE"
  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: "ESEC/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: "cav"
  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: "vmcai"
  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: "TOPLAS"
  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"
  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: "charme"
  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: "SLP"
  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: "CC"
  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: "csfw"
  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: "cav"
  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: "SAS"
  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: "FASE"
  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: "TOSEM"
  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: "lics"
  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: "csfw"
  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: "POPL"
  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: "icalp"
  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: "WCRE"
  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: "ESOP"
  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: "TOPLAS"
  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: "vstte"
  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: "TOPLAS"
  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: "cav"
  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: "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: "POPL"
  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: "POPL"
  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"
  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: "birthday"
  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: "CACM"
  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: "SAS"
  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: "SAS"
  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: "aplas"
  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: "cav"
  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: "ESEC/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: "cav"
  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: "SCP"
  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: "ICSE"
  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: "spin"
  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: "vstte"
  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: "PLDI"
  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: "POPL"
  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: "TOPLAS"
  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"
  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: "TOPLAS"
  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: "TACAS"
  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: "csl"
  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: "jal"
  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: "TOPLAS"
  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: "tocl"
  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: "TACAS"
  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: "TCS"
  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: "PEPM"
  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"
  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: "cc"
  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: "vmcai"
  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: "TACAS"
  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: "TOPLAS"
  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: "TACAS"
  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: "POPL"
  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: "cade"
  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: "spin"
  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: "TACAS"
  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: "ESOP"
  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: "TSE"
  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: "TOSEM"
  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"
  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: "ENTCS"
  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: "deductive"
  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: "cav"
  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: "vmcai"
  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"
  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: "cav"
  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: "amast"
  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: "ESEC/FSE"
  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: "cav"
  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: "TOPLAS"
  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: "ESEC/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: "cade"
  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: "cav"
  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: "jcs"
  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"
  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: "ICSM"
  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: "TOPLAS"
  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: "SAS"
  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: "CC"
  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: "ipl"
  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: "SCM"
  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: "CC"
  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: "birthday"
  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: "ESEC/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: "ESOP"
  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: "SAS"
  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: "SAS"
  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"