@inproceedings{RepsB08,
  title = {Improved Memory-Access Analysis for x86 Executables},
  author = {Thomas W. Reps and Gogul Balakrishnan},
  year = {2008},
  doi = {10.1007/978-3-540-78791-4_2},
  url = {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},
}

@article{HorwitzR91,
  title = {Efficient Comparison of Program Slices},
  author = {Susan Horwitz and Thomas W. Reps},
  year = {1991},
  tags = {slicing},
  researchr = {https://researchr.org/publication/HorwitzR91},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {28},
  number = {8},
  pages = {713-732},
}

@inproceedings{YahavRSW03,
  title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
  author = {Eran Yahav and Thomas W. Reps and Shmuel Sagiv and Reinhard Wilhelm},
  year = {2003},
  url = {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},
}

@article{RepsSJM05,
  title = {Weighted pushdown systems and their application to interprocedural dataflow analysis},
  author = {Thomas W. Reps and Stefan Schwoon and Somesh Jha and David Melski},
  year = {2005},
  doi = {10.1016/j.scico.2005.02.009},
  url = {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},
}

@article{RamalingamR96:0,
  title = {On the Computational Complexity of Dynamic Graph Problems},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1996},
  doi = {10.1016/0304-3975(95)00079-8},
  url = {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},
}

@inproceedings{GopanR06,
  title = {Lookahead Widening},
  author = {Denis Gopan and Thomas W. Reps},
  year = {2006},
  doi = {10.1007/11817963_41},
  url = {http://dx.doi.org/10.1007/11817963_41},
  researchr = {https://researchr.org/publication/GopanR06},
  cites = {0},
  citedby = {0},
  pages = {452-466},
  booktitle = {cav},
}

@inproceedings{JeannetLRS04,
  title = {A Relational Approach to Interprocedural Shape Analysis},
  author = {Bertrand Jeannet and Alexey Loginov and Thomas W. Reps and Shmuel Sagiv},
  year = {2004},
  url = {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},
}

@inproceedings{RepsBDL98,
  title = {The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem},
  author = {Thomas W. Reps and Thomas Ball and Manuvir Das and James R. Larus},
  year = {1997},
  doi = {10.1145/267895.267925},
  url = {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},
}

@inproceedings{SagivRW96,
  title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
  author = {Shmuel Sagiv and Thomas W. Reps and Reinhard Wilhelm},
  year = {1996},
  doi = {10.1145/237721.237725},
  url = {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},
}

@inproceedings{ImmermanRRSY04,
  title = {Verification via Structure Simulation},
  author = {Neil Immerman and Alexander Moshe Rabinovich and Thomas W. Reps and Shmuel Sagiv and Greta Yorsh},
  year = {2004},
  url = {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},
}

@article{AndersonRTZ03,
  title = {Tool Support for Fine-Grained Software Inspection},
  author = {Paul Anderson and Thomas W. Reps and Tim Teitelbaum and Mark Zarins},
  year = {2003},
  url = {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},
}

@inproceedings{MelskiR03,
  title = {The Interprocedural Express-Lane Transformation},
  author = {David Melski and Thomas W. Reps},
  year = {2003},
  url = {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},
}

@inproceedings{WangJRSS06,
  title = {Reducing the Dependence of SPKI/SDSI on PKI},
  author = {Hao Wang and Somesh Jha and Thomas W. Reps and Stefan Schwoon and Stuart G. Stubblebine},
  year = {2006},
  doi = {10.1007/11863908_11},
  url = {http://dx.doi.org/10.1007/11863908_11},
  researchr = {https://researchr.org/publication/WangJRSS06},
  cites = {0},
  citedby = {0},
  pages = {156-173},
  booktitle = {esorics},
}

@inproceedings{RepsHS95,
  title = {Precise Interprocedural Dataflow Analysis via Graph Reachability},
  author = {Thomas W. Reps and Susan Horwitz and Shmuel Sagiv},
  year = {1995},
  tags = {analysis, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/RepsHS95},
  cites = {0},
  citedby = {0},
  pages = {49-61},
  booktitle = {POPL},
}

@inproceedings{LalR08:0,
  title = {Solving Multiple Dataflow Queries Using WPDSs},
  author = {Akash Lal and Thomas W. Reps},
  year = {2008},
  doi = {10.1007/978-3-540-69166-2_7},
  url = {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},
}

@inproceedings{RepsT96,
  title = {Program Specialization via Program Slicing},
  author = {Thomas W. Reps and Todd Turnidge},
  year = {1996},
  tags = {slicing},
  researchr = {https://researchr.org/publication/RepsT96},
  cites = {0},
  citedby = {0},
  pages = {409-429},
  booktitle = {Dagstuhl},
}

@inproceedings{KiddLR08,
  title = {Language Strength Reduction},
  author = {Nicholas Kidd and Akash Lal and Thomas W. Reps},
  year = {2008},
  doi = {10.1007/978-3-540-69166-2_19},
  url = {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},
}

@inproceedings{RepsLK07,
  title = {Program Analysis Using Weighted Pushdown Systems},
  author = {Thomas W. Reps and Akash Lal and Nicholas Kidd},
  year = {2007},
  doi = {10.1007/978-3-540-77050-3_4},
  url = {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},
}

@inproceedings{ChakiCKRT06,
  title = {Verifying Concurrent Message-Passing C Programs with Recursive Calls},
  author = {Sagar Chaki and Edmund M. Clarke and Nicholas Kidd and Thomas W. Reps and Tayssir Touili},
  year = {2006},
  doi = {10.1007/11691372_22},
  url = {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},
}

@article{RepsR03,
  title = {Computational Divided Differencing and Divided-Difference Arithmetics},
  author = {Thomas W. Reps and Louis B. Rall},
  year = {2003},
  doi = {10.1023/A:1023024221391},
  url = {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},
}

@inproceedings{RepsMT86,
  title = {Remote Attribute Updating for Language-Based Editors},
  author = {Thomas W. Reps and Carla Marceau and Tim Teitelbaum},
  year = {1986},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/RepsMT86},
  cites = {0},
  citedby = {0},
  pages = {1-13},
  booktitle = {POPL},
}

@article{SiffR99,
  title = {Identifying Modules via Concept Analysis},
  author = {Michael Siff and Thomas W. Reps},
  year = {1999},
  url = {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},
}

@article{SagivRW98,
  title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
  author = {Shmuel Sagiv and Thomas W. Reps and Reinhard Wilhelm},
  year = {1998},
  doi = {10.1145/271510.271517},
  url = {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},
}

@inproceedings{RepsH88,
  title = {Semantics-Based Program Integration},
  author = {Thomas W. Reps and Susan Horwitz},
  year = {1988},
  tags = {semantics, rule-based},
  researchr = {https://researchr.org/publication/RepsH88},
  cites = {0},
  citedby = {0},
  pages = {1-20},
  booktitle = {ESOP},
}

@article{LalR09,
  title = {Reducing concurrent analysis under a context bound to sequential analysis},
  author = {Akash Lal and Thomas W. Reps},
  year = {2009},
  doi = {10.1007/s10703-009-0078-9},
  url = {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},
}

@article{Reps98,
  title = {Program analysis via graph reachability},
  author = {Thomas W. Reps},
  year = {1998},
  doi = {10.1016/S0950-5849(98)00093-7},
  url = {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},
}

@inproceedings{Reps97,
  title = {The Use of Program Profiling for Software Testing},
  author = {Thomas W. Reps},
  year = {1997},
  tags = {testing},
  researchr = {https://researchr.org/publication/Reps97},
  cites = {0},
  citedby = {0},
  pages = {4-16},
  booktitle = {gi},
}

@inproceedings{HorwitzPR89,
  title = {Dependence Analysis for Pointer Variables},
  author = {Susan Horwitz and Phil Pfeiffer and Thomas W. Reps},
  year = {1989},
  tags = {analysis},
  researchr = {https://researchr.org/publication/HorwitzPR89},
  cites = {0},
  citedby = {0},
  pages = {28-40},
  booktitle = {PLDI},
}

@inproceedings{LalKRT07,
  title = {Abstract Error Projection},
  author = {Akash Lal and Nicholas Kidd and Thomas W. Reps and Tayssir Touili},
  year = {2007},
  doi = {10.1007/978-3-540-74061-2_13},
  url = {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},
}

@inproceedings{RamalingamR91:0,
  title = {A Theory of Program Modifications},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1991},
  researchr = {https://researchr.org/publication/RamalingamR91%3A0},
  cites = {0},
  citedby = {0},
  pages = {137-152},
  booktitle = {tapsoft},
}

@inproceedings{RepsSY04,
  title = {Symbolic Implementation of the Best Transformer},
  author = {Thomas W. Reps and Shmuel Sagiv and Greta Yorsh},
  year = {2004},
  url = {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},
}

@inproceedings{Reps94,
  title = {Solving Demand Versions of Interprocedural Analysis Problems},
  author = {Thomas W. Reps},
  year = {1994},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Reps94},
  cites = {0},
  citedby = {0},
  pages = {389-403},
  booktitle = {cc},
}

@inproceedings{RepsT84,
  title = {The Synthesizer Generator},
  author = {Thomas W. Reps and Tim Teitelbaum},
  year = {1984},
  doi = {10.1145/800020.808247},
  url = {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},
}

@inproceedings{HorwitzRB88,
  title = {Interprocedural Slicing Using Dependence Graphs},
  author = {Susan Horwitz and Thomas W. Reps and David W. Binkley},
  year = {1988},
  tags = {graph-rewriting, slicing, rewriting},
  researchr = {https://researchr.org/publication/HorwitzRB88},
  cites = {0},
  citedby = {0},
  pages = {35-46},
  booktitle = {PLDI},
}

@inproceedings{SiffR96,
  title = {Program Generalization for Software Reuse: From C to C++},
  author = {Michael Siff and Thomas W. Reps},
  year = {1996},
  doi = {10.1145/239098.239121},
  url = {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},
}

@inproceedings{LalR06,
  title = {Improving Pushdown System Model Checking},
  author = {Akash Lal and Thomas W. Reps},
  year = {2006},
  doi = {10.1007/11817963_32},
  url = {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},
}

@inproceedings{Reps82,
  title = {Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors},
  author = {Thomas W. Reps},
  year = {1982},
  doi = {10.1145/582153.582172},
  url = {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},
}

@inproceedings{HorwitzPR88,
  title = {Integrating Non-Interfering Versions of Programs},
  author = {Susan Horwitz and Jan Prins and Thomas W. Reps},
  year = {1988},
  researchr = {https://researchr.org/publication/HorwitzPR88},
  cites = {0},
  citedby = {0},
  pages = {133-145},
  booktitle = {POPL},
}

@inproceedings{Lev-AmiSIR07,
  title = {Constructing Specialized Shape Analyses for Uniform Change},
  author = {Tal Lev-Ami and Mooly Sagiv and Neil Immerman and Thomas W. Reps},
  year = {2007},
  doi = {10.1007/978-3-540-69738-1_16},
  url = {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},
}

@article{HorwitzPR89:0,
  title = {Integrating Noninterfering Versions of Programs},
  author = {Susan Horwitz and Jan Prins and Thomas W. Reps},
  year = {1989},
  doi = {10.1145/65979.65980},
  url = {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},
}

@article{KlintRS92,
  title = {Programming environments: report on an international workshop at Dagstuhl Castle},
  author = {Paul  Klint and Thomas W. Reps and Gregor Snelting},
  year = {1992},
  doi = {10.1145/141018.141058},
  url = {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},
}

@inproceedings{YongHR99,
  title = {Pointer Analysis for Programs with Structures and Casting},
  author = {Suan Hsi Yong and Susan Horwitz and Thomas W. Reps},
  year = {1999},
  doi = {10.1145/301618.301647},
  url = {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},
}

@inproceedings{ClarkeFRRST99,
  title = {Program Slicing of Hardware Description Languages},
  author = {Edmund M. Clarke and Masahiro Fujita and Sreeranga P. Rajan and Thomas W. Reps and Subash Shankar and Tim Teitelbaum},
  year = {1999},
  url = {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},
}

@inproceedings{Reps95,
  title = {Shape Analysis as a Generalized Path Problem},
  author = {Thomas W. Reps},
  year = {1995},
  tags = {analysis},
  researchr = {https://researchr.org/publication/Reps95},
  cites = {0},
  citedby = {0},
  pages = {1-11},
  booktitle = {PEPM},
}

@inproceedings{Reps97:0,
  title = {Program Analysis via Graph Reachability},
  author = {Thomas W. 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},
}

@inproceedings{LimR08,
  title = {A System for Generating Static Analyzers for Machine Instructions},
  author = {Junghee Lim and Thomas W. Reps},
  year = {2008},
  doi = {10.1007/978-3-540-78791-4_3},
  url = {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},
}

@inproceedings{JhaR02,
  title = {Analysis of SPKI/SDSI Certificates Using Model Checking},
  author = {Somesh Jha and Thomas W. Reps},
  year = {2002},
  url = {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},
}

@inproceedings{GopanR07:0,
  title = {Low-Level Library Analysis and Summarization},
  author = {Denis Gopan and Thomas W. Reps},
  year = {2007},
  doi = {10.1007/978-3-540-73368-3_10},
  url = {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},
}

@inproceedings{RepsSJ03,
  title = {Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis},
  author = {Thomas W. Reps and Stefan Schwoon and Somesh Jha},
  year = {2003},
  url = {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},
}

@inproceedings{LoginovYHR01,
  title = {Debugging via Run-Time Type Checking},
  author = {Alexey Loginov and Suan Hsi Yong and Susan Horwitz and Thomas W. Reps},
  year = {2001},
  url = {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},
}

@article{YangHR92,
  title = {A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations},
  author = {Wuu Yang and Susan Horwitz and Thomas W. Reps},
  year = {1992},
  doi = {10.1145/131736.131756},
  url = {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},
}

@inproceedings{RepsLS02,
  title = {Semantic Minimization of 3-Valued Propositional Formulae},
  author = {Thomas W. Reps and Alexey Loginov and Shmuel Sagiv},
  year = {2002},
  doi = {10.1109/LICS.2002.1029816},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029816},
  researchr = {https://researchr.org/publication/RepsLS02},
  cites = {0},
  citedby = {0},
  pages = {40},
  booktitle = {lics},
}

@inproceedings{SchwoonJRS03,
  title = {On Generalized Authorization Problems},
  author = {Stefan Schwoon and Somesh Jha and Thomas W. Reps and Stuart G. Stubblebine},
  year = {2003},
  url = {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},
}

@inproceedings{ChandraR99,
  title = {Physical Type Checking for C},
  author = {Satish Chandra and Thomas W. Reps},
  year = {1999},
  doi = {10.1145/316158.316183},
  url = {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},
}

@inproceedings{RamalingamR93,
  title = {A Categorized Bibliography on Incremental Computation},
  author = {Ganesan Ramalingam and Thomas W. 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},
}

@inproceedings{BenediktGR01,
  title = {Model Checking of Unrestricted Hierarchical State Machines},
  author = {Michael Benedikt and Patrice Godefroid and Thomas W. Reps},
  year = {2001},
  url = {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},
}

@inproceedings{LimRL06,
  title = {Extracting Output Formats from Executables},
  author = {Junghee Lim and Thomas W. Reps and Ben Liblit},
  year = {2006},
  doi = {10.1109/WCRE.2006.29},
  url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.29},
  researchr = {https://researchr.org/publication/LimRL06},
  cites = {0},
  citedby = {0},
  pages = {167-178},
  booktitle = {WCRE},
}

@inproceedings{BenediktRS99,
  title = {A Decidable Logic for Describing Linked Data Structures},
  author = {Michael Benedikt and Thomas W. Reps and Shmuel Sagiv},
  year = {1999},
  url = {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},
}

@article{HorwitzRB90,
  title = {Interprocedural Slicing Using Dependence Graphs},
  author = {Susan Horwitz and Thomas W. Reps and David W. Binkley},
  year = {1990},
  doi = {10.1145/77606.77608},
  url = {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},
}

@inproceedings{BalakrishnanRMT05,
  title = {WYSINWYX: What You See Is Not What You eXecute},
  author = {Gogul Balakrishnan and Thomas W. Reps and David Melski and Tim Teitelbaum},
  year = {2005},
  doi = {10.1007/978-3-540-69149-5_22},
  url = {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},
}

@article{RepsTD83,
  title = {Incremental Context-Dependent Analysis for Language-Based Editors},
  author = {Thomas W. Reps and Tim Teitelbaum and Alan J. Demers},
  year = {1983},
  doi = {10.1145/2166.357218},
  url = {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},
}

@inproceedings{RepsB89,
  title = {Illustrating Interference in Interfering Versions of Programs},
  author = {Thomas W. Reps and T. Bricker},
  year = {1989},
  researchr = {https://researchr.org/publication/RepsB89},
  cites = {0},
  citedby = {0},
  pages = {46-55},
  booktitle = {SCM},
}

@inproceedings{LalRB05,
  title = {Extended Weighted Pushdown Systems},
  author = {Akash Lal and Thomas W. Reps and Gogul Balakrishnan},
  year = {2005},
  doi = {10.1007/11513988_44},
  url = {http://dx.doi.org/10.1007/11513988_44},
  researchr = {https://researchr.org/publication/LalRB05},
  cites = {0},
  citedby = {0},
  pages = {434-448},
  booktitle = {cav},
}

@article{ClarkeFRRST02,
  title = {Program slicing for VHDL},
  author = {Edmund M. Clarke and Masahiro Fujita and Sreeranga P. Rajan and Thomas W. Reps and Subash Shankar and Tim Teitelbaum},
  year = {2002},
  url = {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},
}

@article{YahavRSW06,
  title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
  author = {Eran Yahav and Thomas W. Reps and Shmuel Sagiv and Reinhard Wilhelm},
  year = {2006},
  doi = {10.1093/jigpal/jzl009},
  url = {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},
}

@inproceedings{GopanRS05,
  title = {A framework for numeric analysis of array operations},
  author = {Denis Gopan and Thomas W. Reps and Shmuel Sagiv},
  year = {2005},
  doi = {10.1145/1040305.1040333},
  url = {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},
}

@inproceedings{DemersRT81,
  title = {Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors},
  author = {Alan J. Demers and Thomas W. Reps and Tim Teitelbaum},
  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},
}

@inproceedings{MelskiR97,
  title = {Interconveritibility of Set Constraints and Context-Free Language Reachability},
  author = {David Melski and Thomas W. Reps},
  year = {1997},
  doi = {10.1145/258993.259006},
  url = {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},
}

@article{Reps88,
  title = {Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications},
  author = {Thomas W. 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},
}

@inproceedings{RepsSB06,
  title = {An Appreciation of the Work of Reinhard Wilhelm},
  author = {Thomas W. Reps and Mooly Sagiv and Jörg Bauer},
  year = {2006},
  doi = {10.1007/978-3-540-71322-7_1},
  url = {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},
}

@article{TeitelbaumR81,
  title = {The Cornell Program Synthesizer: A Syntax-Directed Programming Environment},
  author = {Tim Teitelbaum and Thomas W. 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},
}

@inproceedings{JeannetGR05,
  title = {A Relational Abstraction for Functions},
  author = {Bertrand Jeannet and Denis Gopan and Thomas W. Reps},
  year = {2005},
  doi = {10.1007/11547662_14},
  url = {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},
}

@inproceedings{GopanR07,
  title = {Guided Static Analysis},
  author = {Denis Gopan and Thomas W. Reps},
  year = {2007},
  doi = {10.1007/978-3-540-74061-2_22},
  url = {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},
}

@inproceedings{RepsBLT05,
  title = {A Next-Generation Platform for Analyzing Executables},
  author = {Thomas W. Reps and Gogul Balakrishnan and Junghee Lim and Tim Teitelbaum},
  year = {2005},
  doi = {10.1007/11575467_15},
  url = {http://dx.doi.org/10.1007/11575467_15},
  researchr = {https://researchr.org/publication/RepsBLT05},
  cites = {0},
  citedby = {0},
  pages = {212-229},
  booktitle = {aplas},
}

@inproceedings{BogudlovLRS07,
  title = {Revamping TVLA: Making Parametric Shape Analysis Competitive},
  author = {Igor Bogudlov and Tal Lev-Ami and Thomas W. Reps and Mooly Sagiv},
  year = {2007},
  doi = {10.1007/978-3-540-73368-3_25},
  url = {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},
}

@inproceedings{RepsR95,
  title = {Precise Interprocedural Chopping},
  author = {Thomas W. Reps and Genevieve Rosay},
  year = {1995},
  doi = {10.1145/222124.222138},
  url = {http://doi.acm.org/10.1145/222124.222138},
  researchr = {https://researchr.org/publication/RepsR95},
  cites = {0},
  citedby = {0},
  pages = {41-52},
  booktitle = {ESEC/FSE},
}

@inproceedings{RepsA84,
  title = {Interactive Proof Checking},
  author = {Thomas W. Reps and Bowen Alpern},
  year = {1984},
  researchr = {https://researchr.org/publication/RepsA84},
  cites = {0},
  citedby = {0},
  pages = {36-45},
  booktitle = {POPL},
}

@inproceedings{XuMR00,
  title = {Safety checking of machine code},
  author = {Zhichen Xu and Barton P. Miller and Thomas W. Reps},
  year = {2000},
  doi = {10.1145/349299.349313},
  url = {http://doi.acm.org/10.1145/349299.349313},
  researchr = {https://researchr.org/publication/XuMR00},
  cites = {0},
  citedby = {0},
  pages = {70-82},
  booktitle = {PLDI},
}

@inproceedings{BalakrishnanRKLLMGYCT05,
  title = {Model Checking x86 Executables with CodeSurfer/x86 and WPDS++},
  author = {Gogul Balakrishnan and Thomas W. Reps and Nicholas Kidd and Akash Lal and Junghee Lim and David Melski and Radu Gruian and Suan Hsi Yong and Chi-Hua Chen and Tim Teitelbaum},
  year = {2005},
  doi = {10.1007/11513988_17},
  url = {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},
}

@article{Reps91,
  title = {Algebraic Properties of Program Integration},
  author = {Thomas W. 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},
}

@inproceedings{GanapathySJRB05,
  title = {Automatic discovery of API-level exploits},
  author = {Vinod Ganapathy and Sanjit A. Seshia and Somesh Jha and Thomas W. Reps and Randal E. Bryant},
  year = {2005},
  doi = {10.1145/1062455.1062518},
  url = {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},
}

@inproceedings{SagivRW99,
  title = {Parametric Shape Analysis via 3-Valued Logic},
  author = {Shmuel Sagiv and Thomas W. Reps and Reinhard Wilhelm},
  year = {1999},
  doi = {10.1145/292540.292552},
  url = {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},
}

@incollection{WilhelmRS02,
  title = {Shape Analysis and Applications},
  author = {Reinhard Wilhelm and Thomas W. Reps and Shmuel Sagiv},
  year = {2002},
  tags = {analysis},
  researchr = {https://researchr.org/publication/WilhelmRS02},
  cites = {0},
  citedby = {0},
  pages = {175-218},
  booktitle = {The Compiler Design Handbook},
}

@inproceedings{KiddLTR09,
  title = {A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks},
  author = {Nicholas Kidd and Peter Lammich and Tayssir Touili and Thomas W. Reps},
  year = {2009},
  doi = {10.1007/978-3-642-02652-2_12},
  url = {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},
}

@inproceedings{DorFGLLMRRRSWYY05,
  title = {Automatic Verification of Strongly Dynamic Software Systems},
  author = {Nurit Dor and John Field and Denis Gopan and Tal Lev-Ami and Alexey Loginov and Roman Manevich and Ganesan Ramalingam and Thomas W. Reps and Noam Rinetzky and Mooly Sagiv and Reinhard Wilhelm and Eran Yahav and Greta Yorsh},
  year = {2005},
  doi = {10.1007/978-3-540-69149-5_11},
  url = {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},
}

@inproceedings{HorwitzRB88a,
  title = {Interprocedural slicing using dependence graphs (with retrospective)},
  author = {Susan Horwitz and Thomas W. Reps and David W. Binkley},
  year = {1988},
  doi = {10.1145/989393.989419},
  url = {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},
}

@inproceedings{Lev-AmiRSW00,
  title = {Putting static analysis to work for verification: A case study},
  author = {Tal Lev-Ami and Thomas W. Reps and Shmuel Sagiv and Reinhard Wilhelm},
  year = {2000},
  doi = {10.1145/347324.348031},
  url = {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},
}

@inproceedings{RinetzkyBRSW05,
  title = {A semantics for procedure local heaps and its abstractions},
  author = {Noam Rinetzky and Jörg Bauer and Thomas W. Reps and Shmuel Sagiv and Reinhard Wilhelm},
  year = {2005},
  doi = {10.1145/1040305.1040330},
  url = {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},
}

@article{AlurBEGRY05,
  title = {Analysis of recursive state machines},
  author = {Rajeev Alur and Michael Benedikt and Kousha Etessami and Patrice Godefroid and Thomas W. Reps and Mihalis Yannakakis},
  year = {2005},
  doi = {10.1145/1075382.1075387},
  url = {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},
}

@inproceedings{Reps93:0,
  title = {Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism},
  author = {Thomas W. Reps},
  year = {1993},
  doi = {10.1145/165231.166114},
  url = {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},
}

@inproceedings{RepsY89,
  title = {The Semantics of Program Slicing and Program Integration},
  author = {Thomas W. Reps and Wuu Yang},
  year = {1989},
  tags = {semantics, slicing},
  researchr = {https://researchr.org/publication/RepsY89},
  cites = {0},
  citedby = {0},
  pages = {360-374},
  booktitle = {tapsoft},
}

@inproceedings{DasRH95,
  title = {Semantic Foundations of Binding Time Analysis for Imperative Programs},
  author = {Manuvir Das and Thomas W. Reps and 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},
}

@article{Reps00,
  title = {Undecidability of context-sensitive data-independence analysis},
  author = {Thomas W. Reps},
  year = {2000},
  doi = {10.1145/345099.345137},
  url = {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},
}

@inproceedings{BalakrishnanR08,
  title = {Analyzing Stripped Device-Driver Executables},
  author = {Gogul Balakrishnan and Thomas W. Reps},
  year = {2008},
  doi = {10.1007/978-3-540-78800-3_10},
  url = {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},
}

@inproceedings{ImmermanRRSY04:0,
  title = {The Boundary Between Decidability and Undecidability for Transitive-Closure Logics},
  author = {Neil Immerman and Alexander Moshe Rabinovich and Thomas W. Reps and Shmuel Sagiv and Greta Yorsh},
  year = {2004},
  url = {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},
}

@article{RamalingamR96,
  title = {An Incremental Algorithm for a Generalization of the Shortest-Path Problem},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1996},
  tags = {incremental},
  researchr = {https://researchr.org/publication/RamalingamR96},
  cites = {0},
  citedby = {0},
  journal = {jal},
  volume = {21},
  number = {2},
  pages = {267-305},
}

@article{JeannetLRS10,
  title = {A relational approach to interprocedural shape analysis},
  author = {Bertrand Jeannet and Alexey Loginov and Thomas W. Reps and Mooly Sagiv},
  year = {2010},
  doi = {10.1145/1667048.1667050},
  url = {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},
}

@article{YorshRSW07,
  title = {Logical characterizations of heap abstractions},
  author = {Greta Yorsh and Thomas W. Reps and Mooly Sagiv and Reinhard Wilhelm},
  year = {2007},
  doi = {10.1145/1182613.1182618},
  url = {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},
}

@inproceedings{JhaSWR06,
  title = {Weighted Pushdown Systems and Trust-Management Systems},
  author = {Somesh Jha and Stefan Schwoon and Hao Wang and Thomas W. Reps},
  year = {2006},
  doi = {10.1007/11691372_1},
  url = {http://dx.doi.org/10.1007/11691372_1},
  researchr = {https://researchr.org/publication/JhaSWR06},
  cites = {0},
  citedby = {0},
  pages = {1-26},
  booktitle = {TACAS},
}

@article{MelskiR00,
  title = {Interconvertibility of a class of set constraints and context-free-language reachability},
  author = {David Melski and Thomas W. Reps},
  year = {2000},
  doi = {10.1016/S0304-3975(00)00049-9},
  url = {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},
}

@inproceedings{HorwitzR92,
  title = {The Use of Program Dependence Graphs in Software Engineering},
  author = {Susan Horwitz and Thomas W. Reps},
  year = {1992},
  doi = {10.1145/143062.143156},
  url = {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},
}

@inproceedings{RepsBL06,
  title = {Intermediate-representation recovery from low-level code},
  author = {Thomas W. Reps and Gogul Balakrishnan and Junghee Lim},
  year = {2006},
  doi = {10.1145/1111542.1111560},
  url = {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},
}

@article{Reps96,
  title = {On the Sequential Nature of Interprocedural Program-Analysis Problems},
  author = {Thomas W. 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},
}

@inproceedings{WilhelmSR00,
  title = {Shape Analysis},
  author = {Reinhard Wilhelm and Shmuel Sagiv and Thomas W. Reps},
  year = {2000},
  url = {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},
}

@inproceedings{HorwitzPR88a,
  title = {On the Adequacy of Program Dependence Graphs for Representing Programs},
  author = {Susan Horwitz and Jan Prins and Thomas W. Reps},
  year = {1988},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HorwitzPR88a},
  cites = {0},
  citedby = {0},
  pages = {146-157},
  booktitle = {POPL},
}

@inproceedings{BalakrishnanR07,
  title = {DIVINE: DIscovering Variables IN Executables},
  author = {Gogul Balakrishnan and Thomas W. Reps},
  year = {2007},
  doi = {10.1007/978-3-540-69738-1_1},
  url = {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},
}

@inproceedings{YorshRS04,
  title = {Symbolically Computing Most-Precise Abstract Operations for Shape Analysis},
  author = {Greta Yorsh and Thomas W. Reps and Shmuel Sagiv},
  year = {2004},
  url = {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},
}

@article{Reps98:0,
  title = { Maximal-munch  Tokenization in Linear Time},
  author = {Thomas W. Reps},
  year = {1998},
  doi = {10.1145/276393.276394},
  url = {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},
}

@inproceedings{GopanDDRS04,
  title = {Numeric Domains with Summarized Dimensions},
  author = {Denis Gopan and Frank DiMaio and Nurit Dor and Thomas W. Reps and Shmuel Sagiv},
  year = {2004},
  url = {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},
}

@inproceedings{RamalingamR94,
  title = {An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1994},
  tags = {incremental},
  researchr = {https://researchr.org/publication/RamalingamR94},
  cites = {0},
  citedby = {0},
  pages = {287-296},
  booktitle = {POPL},
}

@inproceedings{Lev-AmiWRS07,
  title = {Labelled Clauses},
  author = {Tal Lev-Ami and Christoph Weidenbach and Thomas W. Reps and Mooly Sagiv},
  year = {2007},
  doi = {10.1007/978-3-540-73595-3_21},
  url = {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},
}

@inproceedings{LimLR09,
  title = {Symbolic Analysis via Semantic Reinterpretation},
  author = {Junghee Lim and Akash Lal and Thomas W. Reps},
  year = {2009},
  doi = {10.1007/978-3-642-02652-2_14},
  url = {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},
}

@inproceedings{LalTKR08,
  title = {Interprocedural Analysis of Concurrent Programs Under a Context Bound},
  author = {Akash Lal and Tayssir Touili and Nicholas Kidd and Thomas W. Reps},
  year = {2008},
  doi = {10.1007/978-3-540-78800-3_20},
  url = {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},
}

@inproceedings{XuRM01,
  title = {Typestate Checking of Machine Code},
  author = {Zhichen Xu and Thomas W. Reps and Barton P. Miller},
  year = {2001},
  url = {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},
}

@article{AndersonRT03,
  title = {Design and Implementation of a Fine-Grained Software Inspection Tool},
  author = {Paul Anderson and Thomas W. Reps and Tim Teitelbaum},
  year = {2003},
  url = {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},
}

@article{BinkleyHR95,
  title = {Program Integration for Languages with Procedure Calls},
  author = {David W. Binkley and Susan Horwitz and Thomas W. Reps},
  year = {1995},
  doi = {10.1145/201055.201056},
  url = {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},
}

@inproceedings{Reps90,
  title = {Algebraic Properties of Program Integration},
  author = {Thomas W. Reps},
  year = {1990},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Reps90},
  cites = {0},
  citedby = {0},
  pages = {326-340},
  booktitle = {ESOP},
}

@article{YorshSRS05,
  title = {Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work},
  author = {Greta Yorsh and Alexey Skidanov and Thomas W. Reps and Shmuel Sagiv},
  year = {2005},
  doi = {10.1016/j.entcs.2005.01.028},
  url = {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},
}

@inproceedings{Reps93,
  title = {Demand Interprocedural Program Analysis Using Logic Databases},
  author = {Thomas W. Reps},
  year = {1993},
  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},
}

@inproceedings{LalR08,
  title = {Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis},
  author = {Akash Lal and Thomas W. Reps},
  year = {2008},
  doi = {10.1007/978-3-540-70545-1_7},
  url = {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},
}

@inproceedings{KiddRDV09,
  title = {Finding Concurrency-Related Bugs Using Random Isolation},
  author = {Nicholas Kidd and Thomas W. Reps and Julian Dolby and Mandana Vaziri},
  year = {2009},
  doi = {10.1007/978-3-540-93900-9_18},
  url = {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},
}

@inproceedings{SagivRH95,
  title = {Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation},
  author = {Shmuel Sagiv and Thomas W. Reps and Susan Horwitz},
  year = {1995},
  tags = {analysis},
  researchr = {https://researchr.org/publication/SagivRH95},
  cites = {0},
  citedby = {0},
  pages = {651-665},
  booktitle = {tapsoft},
}

@inproceedings{AmitRRSY07,
  title = {Comparison Under Abstraction for Verifying Linearizability},
  author = {Daphna Amit and Noam Rinetzky and Thomas W. Reps and Mooly Sagiv and Eran Yahav},
  year = {2007},
  doi = {10.1007/978-3-540-73368-3_49},
  url = {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},
}

@inproceedings{RamalingamR91,
  title = {Modification Algebras},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1991},
  tags = { algebra},
  researchr = {https://researchr.org/publication/RamalingamR91},
  cites = {0},
  citedby = {0},
  pages = {547-558},
  booktitle = {amast},
}

@inproceedings{SiffCBKR99,
  title = {Coping with Type Casts in C},
  author = {Michael Siff and Satish Chandra and Thomas Ball and Krishna Kunchithapadam and Thomas W. Reps},
  year = {1999},
  url = {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},
}

@inproceedings{LoginovRS05,
  title = {Abstraction Refinement via Inductive Learning},
  author = {Alexey Loginov and Thomas W. Reps and Shmuel Sagiv},
  year = {2005},
  doi = {10.1007/11513988_50},
  url = {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},
}

@article{RepsD87,
  title = {Sublinear-Space Evaluation Algorithms for Attribute Grammars},
  author = {Thomas W. Reps and Alan J. Demers},
  year = {1987},
  doi = {10.1145/24039.214529},
  url = {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},
}

@inproceedings{RepsHSR94,
  title = {Speeding up Slicing},
  author = {Thomas W. Reps and Susan Horwitz and Shmuel Sagiv and Genevieve Rosay},
  year = {1994},
  doi = {10.1145/193173.195287},
  url = {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},
}

@inproceedings{Lev-AmiIRSSY05,
  title = {Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures},
  author = {Tal Lev-Ami and Neil Immerman and Thomas W. Reps and Shmuel Sagiv and S. Srivastava and Greta Yorsh},
  year = {2005},
  doi = {10.1007/11532231_8},
  url = {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},
}

@inproceedings{RepsSW04,
  title = {Static Program Analysis via 3-Valued Logic},
  author = {Thomas W. Reps and Shmuel Sagiv and Reinhard Wilhelm},
  year = {2004},
  url = {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},
}

@article{JhaR04,
  title = {Model checking SPKI/SDSI},
  author = {Somesh Jha and Thomas W. 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},
}

@inproceedings{HarrisKCJR09,
  title = {Verifying Information Flow Control over Unbounded Processes},
  author = {William R. Harris and Nicholas Kidd and Sagar Chaki and Somesh Jha and Thomas W. Reps},
  year = {2009},
  doi = {10.1007/978-3-642-05089-3_49},
  url = {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},
}

@inproceedings{SiffR97,
  title = {Identifying modules via concept analysis},
  author = {Michael Siff and Thomas W. Reps},
  year = {1997},
  url = {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},
}

@article{SagivRW02,
  title = {Parametric shape analysis via 3-valued logic},
  author = {Shmuel Sagiv and Thomas W. Reps and Reinhard Wilhelm},
  year = {2002},
  doi = {10.1145/514188.514190},
  url = {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},
}

@inproceedings{BalakrishnanR06,
  title = {Recency-Abstraction for Heap-Allocated Storage},
  author = {Gogul Balakrishnan and Thomas W. Reps},
  year = {2006},
  doi = {10.1007/11823230_15},
  url = {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},
}

@inproceedings{BalakrishnanR04,
  title = {Analyzing Memory Accesses in x86 Executables},
  author = {Gogul Balakrishnan and Thomas W. Reps},
  year = {2004},
  url = {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},
}

@article{RamalingamR94:0,
  title = {On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem},
  author = {Ganesan Ramalingam and Thomas W. Reps},
  year = {1994},
  researchr = {https://researchr.org/publication/RamalingamR94%3A0},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {51},
  number = {3},
  pages = {155-161},
}

@inproceedings{RepsHP88,
  title = {Support for Integrating Program Variants in an Environment for Programming in the Large},
  author = {Thomas W. Reps and Susan Horwitz and 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},
}

@inproceedings{BalakrishnanGRT05,
  title = {CodeSurfer/x86-A Platform for Analyzing x86 Executables},
  author = {Gogul Balakrishnan and Radu Gruian and Thomas W. Reps and Tim Teitelbaum},
  year = {2005},
  url = {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},
}

@inproceedings{LoginovRS06,
  title = {Refinement-Based Verification for Possibly-Cyclic Lists},
  author = {Alexey Loginov and Thomas W. Reps and Mooly Sagiv},
  year = {2006},
  doi = {10.1007/978-3-540-71322-7_12},
  url = {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},
}

@inproceedings{HorwitzRS95,
  title = {Demand Interprocedural Dataflow Analysis},
  author = {Susan Horwitz and Thomas W. Reps and Shmuel Sagiv},
  year = {1995},
  doi = {10.1145/222124.222146},
  url = {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},
}

@inproceedings{RepsSL03,
  title = {Finite Differencing of Logical Formulas for Static Analysis},
  author = {Thomas W. Reps and Shmuel Sagiv and Alexey Loginov},
  year = {2003},
  url = {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},
}

@inproceedings{LoginovRS06:0,
  title = {Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm},
  author = {Alexey Loginov and Thomas W. Reps and Mooly Sagiv},
  year = {2006},
  doi = {10.1007/11823230_17},
  url = {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},
}

@inproceedings{Reps02,
  title = {Static Program Analysis via 3-Valued Logic},
  author = {Thomas W. Reps},
  year = {2002},
  url = {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},
}
@proceedings{birthday:2006wilhelm,
  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 = {Thomas W. Reps and Mooly Sagiv and Jörg Bauer},
  volume = {4444},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71315-9},
}