Thomas W. Reps - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program analysis

Interprocedural Analysis of Concurrent Programs Under a Context BoundAkash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps. TACAS 2008: 282-298 [doi]

SlowFaster, a user-friendly program for slow-fast analysis and its application on phylogeny of ::::Blastocystis::::Martin Kostka, Magdalena Uzlikova, Ivan Cepicka, Jaroslav Flegr. bmcbi, 9, 2008. [doi]

Symbolic Analysis for Increased Program Execution PerformanceKleanthis Psarris. ica3pp 2008: 318 [doi]

Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th BirthdayThomas W. Reps, Mooly Sagiv, Jörg Bauer, editors, Volume 4444 of Lecture Notes in Computer Science, Springer, 2007.

Program Analysis Using Weighted Pushdown SystemsThomas W. Reps, Akash Lal, Nicholas Kidd. fsttcs 2007: 23-51 [doi]

A new computer program for QSAR-analysis: ARTE-QSARSofie Van Damme, Patrick Bultinck. jcc, 28(11):1924-1928, 2007. [doi]

Post-optimality analysis of the optimal solution of a degenerate linear program using a pivoting algorithmJan Stallaert. cor, 34(7):1871-1884, 2007. [doi]

Augmenting sensitivity analysis for embedded applications by program level derivation of process parametersDieter Zöbel, Christian Weyand. sies 2007: 17-24 [doi]

Collection analysis for Horn clause programsDale Miller. ppdp 2006: 179-188 [doi]

Static Program Analysis via 3-Valued LogicThomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. cav 2004: 15-30 [doi]

A Scalable Nonuniform Pointer Analysis for Embedded ProgramsArnaud Venet. SAS 2004: 149-164 [doi]

Structural Analysis of Explicit Fault-Tolerant ProgramsStefan Gossens, Mario Dal Cin. hase 2004: 89-96 [doi]

Quasar: A New Tool for Concurrent Ada Programs AnalysisSami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau. Ada-Europe 2003: 168-181 [doi]

Static Program Analysis via 3-Valued LogicThomas W. Reps. SAS 2002: 1 [doi]

Automated Analysis of CLP(FD) Program Execution TracesMireille Ducassé, Ludovic Langevine. ICLP 2002: 470-471 [doi]

Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time AnalysisAntoine Colin, Guillem Bernat. ecrts 2002: 50 [doi]

Pointer Analysis for Programs with Structures and CastingSuan Hsi Yong, Susan Horwitz, Thomas W. Reps. PLDI 1999: 91-103 [doi]

Program analysis via graph reachabilityThomas W. Reps. INFSOF, 40(11-12):701-726, 1998. [doi]

Dependency Analysis of Ada ProgramsJanusz W. Laski, William Stanley, Jim Hurst. sigada 1998: 263-275 [doi]

Program Analysis via Graph ReachabilityThomas W. Reps. SLP 1997: 5-19

On the Sequential Nature of Interprocedural Program-Analysis ProblemsThomas W. Reps. ACTA, 33(8):739-757, 1996.

A Simple Flexible Program for the Computational Analysis of Amyl Acyl Residue Distribution in Proteins: Application to the Distribution of Aromatic versus Aliphatic Hydrophobic Amino Acids in Transmembrane alpha-Helical Spanners of Integral Membrane TransS. Tsang, Milton H. Saier Jr.. jcb, 3(1):185-190, 1996.

Perspectives on Program AnalysisFlemming Nielson. ACM Comput. Surv., 28(4es):168, 1996.

Timing Analysis of Ada Tasking ProgramsJames C. Corbett. TSE, 22(7):461-483, 1996. [doi]

Specialization of Imperative Programs Through Analysis of Relational ExpressionsAlexander Sakharov. Dagstuhl 1996: 430-445

Semantic Foundations of Binding Time Analysis for Imperative ProgramsManuvir Das, Thomas W. Reps, Pascal Van Hentenryck. PEPM 1995: 100-110

Novel PC-program-systems for Efficient Analysis; Simulation and Iteration of High-resolution 1-D NMR SpectraGerhard Hägele, Rainer Fuhler, Hans Wolfgang Höffken, Thomas Lenzen, Robert Spiske, Ursula Weber. CANDC, 19(3):283-285, 1995. [doi]

Dynamic Matrices and the Cost Analysis of Concurrent ProgramsGian Luigi Ferrari, Ugo Montanari. amast 1995: 307-321

SpinA-AT and DNMR-SIM--two New PC-programs for Analysis and Simulation of NMR SpectraRainer Fuhler, Thomas Lenzen, Gerhard Hägele. CANDC, 19(3):277-282, 1995. [doi]

KITP-93: An Automated Inference System for Program AnalysisTie-Cheng Wang, Allen Goldberg. cade 1994: 831-835

Demand Interprocedural Program Analysis Using Logic DatabasesThomas W. Reps. deductive 1993: 163-196

Software Tools for Micro-analysis of ProgramsJacques Cohen, Aline Weitzman. SPE, 22(9):777-808, 1992.

SSCNAP: a program for symbolic analysis of switched capacitor circuitsBixia Li, Deren Gu. tcad, 11(3):334-340, 1992. [doi]

CASPER: a computer program used for structural analysis of carbohydratesPer Erik Jansson, Lennart Kenne, Goeran Widmalm. jcisd, 31(4):508-516, 1991. [doi]

A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis TechniquesG. A. Venkatesh. PLDI 1989: 1-12

COMAP: a comigrating analysis program for estimating the relationship of adenoviruses on the genome levelT. Adrian, W. Heinrich. nar, 14(1):559-565, 1986.

A collection of programs for nucleic acid and protein analysis, written in FORTRAN 77 for IBM-PC compatible microcomputersB. Franz Lang, Gertraud Burger. nar, 14(1):455-465, 1986.

Improved programs for DNA and protein sequence analysis on the IBM personal computer and other standard computer systemsD. W. Mount, B. Conrad. nar, 14(1):443-454, 1986.

The SEQANAL and SEQTALK programs: a new method of access to high- resolution nucleotide sequence comparison and analysis programs from a remote laboratory mini- or microcomputerL. Burnett, A. Basten, W. J. Hensley. bioinformatics, 1(4):241-247, 1985.

Microcomputer programs for graphic analysis of nucleic acid and protein sequencesD. W. Mount, B. Conrad. nar, 12(1):811-817, 1984.

A comprehensive set of sequence analysis programs for the VAXJ. Devereux, P. Haeberli, O. Smithies. nar, 12(1):387-395, 1984.

Programmable calculator section : Numerical analysis of one-dimensional and cylindrical diffusion systems using a programmable calculatorW. Linert, K. J. Stiglbrunner, P. Rechberger. CANDC, 8(1):59-66, 1983. [doi]

Symbolic Program Analysis in Almost-Linear TimeJohn H. Reif, Robert Endre Tarjan. SICOMP, 11(1):81-93, 1982.

Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report)A. J. Kfoury. focs 1980: 173-184

Analysis of Simple Programs Over Different Sets of PrimitivesA. J. Kfoury. POPL 1980: 56-61

A Theoretical Study of the Time Analysis of ProgramsAkeo Adachi, Takumi Kasai, Etsuro Moriya. mfcs 1979: 201-207

Sensitivity Analysis Procedures for Geometric Programs: Computational AspectsJohn J. Dinkel, Gary A. Kochenberger, S. N. Wong. TOMS, 4(1):1-14, 1978. [doi]

Intelligent Program AnalysisGregory R. Ruth. ai, 7(1):65-85, 1976.

A Computer Program for the Statistical Analysis of Series of EventsPeter A. W. Lewis. IBMSJ, 5(4):202-225, 1966.

An Experimental Program for Linkage AnalysisFrank Bitonti, DeWitt W. Cooper, David N. Frayne, Howard H. Hansen. IBMSJ, 4(3):200-223, 1965.

runs on WebDSL