Eelco Visser - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged program analysis

Decorated Attribute Grammars: Attribute Evaluation Meets Strategic ProgrammingLennart C. L. Kats, Anthony M. Sloane, Eelco Visser. CC 2009: 142-157 [doi]

Fusing a Transformation Language with an Open CompilerKarl Trygve Kalleberg, Eelco Visser. ENTCS, 203(2):21-36, 2008. [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]

Some Assembly Required - Program Analysis of Embedded System CodeAnsgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried. SCAM 2008: 15-24 [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]

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite RulesKarina Olmos, Eelco Visser. CC 2005: 204-220 [doi]

Imposing a Memory Management Discipline on Software DeploymentEelco Dolstra, Eelco Visser, Merijn de Jonge. ICSE 2004: 583-592 [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]

Retrofitting the AutoBayes Program Synthesis System with Concrete SyntaxBernd Fischer, Eelco Visser. Dagstuhl 2004: 239-253 [doi]

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ ProgramsAnya Helene Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser. SCAM 2003: 65 [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]

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]

Longitudinal program analysisDavid Notkin. PASTE 2002: 1 [doi]

Automatic Analysis of Pointer Aliasing for Untyped ProgramsArnaud Venet. SCP, 35(2):223-248, 1999.

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

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

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

On the Efficient Engineering of Ambitious Program AnalysisJong-Deok Choi, Ron Cytron, Jeanne Ferrante. TSE, 20(2):105-114, 1994. [doi]

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.

Logical Analysis of ProgramsShmuel Katz, Zohar Manna. CACM, 19(4):188-206, 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