@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 = {Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  editor = {Laurie J. Hendren},
  volume = {4959},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78790-7},
}

@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 Informatica},
  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 = {Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Pierpaolo Degano},
  volume = {2618},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00886-1},
}

@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 = {Science of Computer Programming},
  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 = {Theoretical Computer Science},
  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 = {Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  editor = {Thomas Ball and Robert B. Jones},
  volume = {4144},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37406-X},
}

@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 = {Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings},
  editor = {Roberto Giacobazzi},
  volume = {3148},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22791-1},
}

@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 = {Software Engineering - ESEC/FSE  97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings},
  editor = {Mehdi Jazayeri and Helmut Schauer},
  volume = {1301},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63531-9},
}

@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 = {Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  editor = {Rajeev Alur and Doron Peled},
  volume = {3114},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22342-8},
}

@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 = {Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Görel Hedin},
  volume = {2622},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00904-3},
}

@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 = {Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings},
  editor = {Dieter Gollmann and Jan Meier and Andrei Sabelfeld},
  volume = {4189},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44601-X},
}

@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 = {Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings},
  editor = {María Alpuente and Germán Vidal},
  volume = {5079},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69163-1},
}

@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 = {Partial Evaluation},
  editor = {Olivier Danvy and Robert Glück and Peter Thiemann},
  volume = {1110},
  series = {Lecture Notes in Computer Science},
  address = {Dagstuhl Castle, Germany},
  publisher = {Springer},
  isbn = {3-540-61580-6},
}

@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 = {Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings},
  editor = {María Alpuente and Germán Vidal},
  volume = {5079},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69163-1},
}

@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 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings},
  editor = {Vikraman Arvind and Sanjiva Prasad},
  volume = {4855},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77049-7},
}

@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 = {Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedi},
  editor = {Holger Hermanns and Jens Palsberg},
  volume = {3920},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33056-9},
}

@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 = {Higher-Order and Symbolic Computation},
  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 = {IEEE Trans. Software Eng.},
  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 = {ACM Transactions on Programming Languages and Systems},
  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  88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings},
  editor = {Harald Ganzinger},
  volume = {300},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19027-9},
}

@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 = {Formal Methods in System Design},
  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 = {Information \& Software Technology},
  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 Jahrestagung},
}

@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 = {Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings},
  editor = {Hanne Riis Nielson and Gilberto Filé},
  volume = {4634},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74060-5},
}

@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 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt},
  editor = {Samson Abramsky and T. S. E. Maibaum},
  volume = {494},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53981-6},
}

@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 = {Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings},
  editor = {Bernhard Steffen and Giorgio Levi},
  volume = {2937},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20803-8},
}

@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 = {Compiler Construction, 5th International Conference, CC 94, Edinburgh, U.K., April 7-9, 1994, Proceedings},
  editor = {Peter Fritzson},
  volume = {786},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57877-3},
}

@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 = {Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments},
  address = {New York, USA},
  publisher = {ACM},
}

@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 = {SIGSOFT 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 = {Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  editor = {Thomas Ball and Robert B. Jones},
  volume = {4144},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37406-X},
}

@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 = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings},
  editor = {Byron Cook and Andreas Podelski},
  volume = {4349},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69735-0},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 Notices},
  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 = {Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME  99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings},
  editor = {Laurence Pierre and Thomas Kropf},
  volume = {1703},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66559-5},
}

@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 = {ILPS},
}

@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 = {Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  editor = {Laurie J. Hendren},
  volume = {4959},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78790-7},
}

@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 = {15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1689-0},
}

@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 = {Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  editor = {Werner Damm and Holger Hermanns},
  volume = {4590},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73367-6},
}

@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 = {Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings},
  editor = {Radhia Cousot},
  volume = {2694},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40325-6},
}

@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 = {Fundamental Approaches to Software Engineering, FASE 2001 },
  editor = {Heinrich Hußmann},
  volume = {2029},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41863-6},
}

@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 = {ACM Transactions on Software Engineering Methodology},
  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 = {17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1483-9},
}

@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 = {16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1927-X},
}

@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 = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}

@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 = {Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings},
  editor = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen},
  volume = {2076},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42287-0},
}

@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 = {13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2719-1},
}

@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 = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
  editor = {S. Doaitse Swierstra},
  volume = {1576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65699-5},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions},
  editor = {Bertrand Meyer and Jim Woodcock},
  volume = {4171},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69147-1},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  editor = {Kousha Etessami and Sriram K. Rajamani},
  volume = {3576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-27231-3},
}

@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 = {Logic Journal of the 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 = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
  editor = {Jens Palsberg and Martín Abadi},
  publisher = {ACM},
  isbn = {1-58113-830-X},
}

@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 = {Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}

@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 Informatica},
  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 = {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},
}

@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 = {Communications of the ACM},
  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 = {Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings},
  editor = {Chris Hankin and Igor Siveroni},
  volume = {3672},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28584-9},
}

@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 = {Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings},
  editor = {Hanne Riis Nielson and Gilberto Filé},
  volume = {4634},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74060-5},
}

@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 = {Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
  editor = {Kwangkeun Yi},
  volume = {3780},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29735-9},
}

@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 = {Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  editor = {Werner Damm and Holger Hermanns},
  volume = {4590},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73367-6},
}

@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 = {SIGSOFT 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 = {Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  editor = {Kousha Etessami and Sriram K. Rajamani},
  volume = {3576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-27231-3},
}

@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 = {Science of Computer Programming},
  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 = {27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA},
  editor = {Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh},
  publisher = {ACM},
}

@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 = {Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings},
  editor = {Corina S. Pasareanu},
  volume = {5578},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02651-5},
}

@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 = {Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions},
  editor = {Bertrand Meyer and Jim Woodcock},
  volume = {4171},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69147-1},
}

@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 = {20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection},
  editor = {Kathryn S. McKinley},
  publisher = {ACM},
  isbn = {1-58113-623-4},
}

@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 = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
  editor = {Jens Palsberg and Martín Abadi},
  publisher = {ACM},
  isbn = {1-58113-830-X},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is},
  editor = {Josep Díaz and Fernando Orejas},
  volume = {352},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-50940-2},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed},
  editor = {C. R. Ramakrishnan and Jakob Rehof},
  volume = {4963},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78799-0},
}

@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 = {Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings},
  editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
  volume = {3210},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23024-6},
}

@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 = {J. Algorithms},
  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 = {ACM Transactions on Programming Languages and Systems},
  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 = {ACM Trans. Comput. Log.},
  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 = {Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedi},
  editor = {Holger Hermanns and Jens Palsberg},
  volume = {3920},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33056-9},
}

@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 = {Theoretical Computer Science},
  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 = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006},
  editor = {John Hatcliff and Frank Tip},
  publisher = {ACM},
  isbn = {1-59593-196-1},
}

@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 Informatica},
  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 = {Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings},
  editor = {David A. Watt},
  volume = {1781},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67263-X},
}

@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 = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings},
  editor = {Byron Cook and Andreas Podelski},
  volume = {4349},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69735-0},
}

@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 = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee},
  editor = {Kurt Jensen and Andreas Podelski},
  volume = {2988},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21299-X},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee},
  editor = {Kurt Jensen and Andreas Podelski},
  volume = {2988},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21299-X},
}

@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 = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@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 = {Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  editor = {Frank Pfenning},
  volume = {4603},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73594-6},
}

@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 = {Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings},
  editor = {Corina S. Pasareanu},
  volume = {5578},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02651-5},
}

@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 = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed},
  editor = {C. R. Ramakrishnan and Jakob Rehof},
  volume = {4963},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78799-0},
}

@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 = {Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings},
  editor = {David Sands},
  volume = {2028},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41862-8},
}

@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 = {IEEE Trans. Software Eng.},
  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 = {ACM Transactions on Software Engineering Methodology},
  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 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings},
  editor = {Neil D. Jones},
  volume = {432},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52592-0},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Workshop on Programming with Logic Databases (Informal Proceedings), ILPS},
}

@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 = {Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  editor = {Aarti Gupta and Sharad Malik},
  volume = {5123},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70543-7},
}

@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 = {Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings},
  editor = {Neil D. Jones and Markus Müller-Olm},
  volume = {5403},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-93899-6},
}

@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 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  editor = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach},
  volume = {915},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59293-8},
}

@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 = {Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  editor = {Werner Damm and Holger Hermanns},
  volume = {4590},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73367-6},
}

@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 = {Algebraic Methodology and Software Technology (AMAST  91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991},
  editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19797-4},
}

@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 = {Software Engineering - ESEC/FSE 99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings},
  editor = {Oscar Nierstrasz and Michel Lemoine},
  volume = {1687},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66538-2},
}

@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 = {Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  editor = {Kousha Etessami and Sriram K. Rajamani},
  volume = {3576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-27231-3},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {SIGSOFT 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 = {Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  editor = {Robert Nieuwenhuis},
  volume = {3632},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28005-7},
}

@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 = {Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  editor = {Rajeev Alur and Doron Peled},
  volume = {3114},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22342-8},
}

@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 = {Journal of Computer Security},
  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 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  editor = {Ana Cavalcanti and Dennis Dams},
  volume = {5850},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-05088-6},
}

@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 = {1997 International Conference on Software Maintenance (ICSM  97), 1-3 October 1997, Bari, Italy, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8013-X},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings},
  editor = {Kwangkeun Yi},
  volume = {4134},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37756-5},
}

@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 = {Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  volume = {2985},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21297-3},
}

@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 = {Inf. Process. Lett.},
  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 = {Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany},
  editor = {Jürgen F. H. Winkler},
  volume = {30},
  series = {Berichte des German Chapter of the ACM},
  publisher = {Teubner},
  isbn = {3-519-02671-6},
}

@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 = {Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  editor = {Rastislav Bodík},
  volume = {3443},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25411-0},
}

@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 = {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},
}

@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 = {SIGSOFT 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 = {Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Pierpaolo Degano},
  volume = {2618},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00886-1},
}

@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 = {Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings},
  editor = {Kwangkeun Yi},
  volume = {4134},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37756-5},
}

@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 = {Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings},
  editor = {Manuel V. Hermenegildo and Germán Puebla},
  volume = {2477},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44235-9},
}
@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},
}