BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
program analysis
Google program analysis

Tag #program analysis

218 papers:

ECOOPECOOP-2019-VillazonSRRBDOB #automation #multi #scalability
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper) (AV, HS, AR, ER, DB, ID, SO, WB), p. 27.
OOPSLAOOPSLA-2019-WeiCR #composition #metaprogramming #performance #staged
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming (GW, YC, TR), p. 32.
ASEASE-2019-EiersSBB
Subformula Caching for Model Counting and Quantitative Program Analysis (WE, SS, TB, TB), pp. 453–464.
ASEASE-2019-NguyenNLW #statistics
Combining Program Analysis and Statistical Language Model for Code Statement Completion (SVN, TNN, YL, SW0), pp. 710–721.
ESEC-FSEESEC-FSE-2019-Mitropoulos #debugging #evolution
Employing different program analysis methods to study bug evolution (CM), pp. 1202–1204.
ICSE-2019-HeoOY #abstraction #online #resource management
Resource-aware program analysis via online abstraction coarsening (KH, HO, HY), pp. 94–104.
VMCAIVMCAI-2019-BoutonnetH #abstract interpretation #interprocedural #relational
Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis (RB, NH), pp. 136–159.
ICSMEICSME-2018-MurthyP #javascript
Change-Aware Dynamic Program Analysis for JavaScript (DRKM, MP), pp. 127–137.
SCAMSCAM-2018-HarmanO #problem
From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis (MH, PWO), pp. 1–23.
SEFMSEFM-2018-Balasubramanian #execution #framework
A Cloud-Based Execution Framework for Program Analysis (DB, DK, KSL, RK, GK), pp. 139–154.
SASSAS-2018-NamjoshiP #program transformation
The Impact of Program Transformations on Static Program Analysis (KSN, ZP), pp. 306–325.
ASEASE-2018-Noller #difference #execution #fuzzing #symbolic computation
Differential program analysis with fuzzing and symbolic execution (YN), pp. 944–947.
ICSE-2018-UpadhyayaR
Collective program analysis (GU, HR), pp. 620–631.
ICSE-2018-ZhaoLLM #latency #mobile
Leveraging program analysis to reduce user-perceived latency in mobile applications (YZ, MSL, YL, NM), pp. 176–186.
ESOPESOP-2018-BatzKKM #how #network
How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times (KB, BLK, JPK, CM), pp. 186–213.
CAVCAV-2018-SinghPV #learning #performance
Fast Numerical Program Analysis with Reinforcement Learning (GS, MP, MTV), pp. 211–229.
CAVCAV-2018-CousotGR #perspective #verification
Program Analysis Is Harder Than Verification: A Computability Perspective (PC, RG, FR), pp. 75–95.
ICSMEICSME-2017-AngererGPL #empirical #variability
An Experiment Comparing Lifted and Delayed Variability-Aware Program Analysis (FA, PG, HP, LL), pp. 148–158.
SANERSANER-2017-StefanicaM #named #tool support
XCORE: Support for developing program analysis tools (AS, PFM), pp. 462–466.
SEFMSEFM-2017-LiuW #api #named
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (PL, TW), pp. 316–331.
OOPSLAOOPSLA-2017-ChaeOHY #automation #generative #heuristic #learning
Automatically generating features for learning program analysis heuristics for C-like languages (KC, HO, KH, HY), p. 25.
LOPSTRLOPSTR-2017-LiqatBLH #bound #energy #modelling
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks (UL, ZB, PLG0, MVH), pp. 54–72.
QAPLQAPL-2017-LidmanS #fuzzy #logic #using
Bridging Static and Dynamic Program Analysis using Fuzzy Logic (JL, JS), pp. 111–126.
ESEC-FSEESEC-FSE-2017-BrennanTRAB #constraints #normalisation
Constraint normalization and parameterized caching for quantitative program analysis (TB, NT, NR, AA, TB), pp. 535–546.
ESEC-FSEESEC-FSE-2017-BuXXZTX #android #industrial #internet #mobile #security
When program analysis meets mobile security: an industrial study of misusing Android internet sockets (WB, MX, LX, YZ, ZT, TX), pp. 842–847.
VMCAIVMCAI-2017-0062BW #memory management #modelling
Partitioned Memory Models for Program Analysis (WW0, CWB, TW), pp. 539–558.
SANERSANER-2016-GrimmerAPG #case study #experience #lessons learnt
Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned (AG, FA, HP, PG), pp. 460–469.
IFM-2016-Kovacs #automation #reasoning #symbolic computation
Symbolic Computation and Automated Reasoning for Program Analysis (LK), pp. 20–27.
ECOOPECOOP-2016-PalmerS #higher-order
Higher-Order Demand-Driven Program Analysis (ZP, SFS0), p. 25.
ECOOPECOOP-2016-ZhaoCLS #ontology #towards
Towards Ontology-Based Program Analysis (YZ, GC, CL, XS), p. 25.
POPLPOPL-2016-RepsTP
Newtonian program analysis via tensor product (TWR, ET, PP), pp. 663–677.
ASEASE-2016-ChristakisB #developer #empirical #what
What developers want and need from program analysis: an empirical study (MC, CB), pp. 332–343.
FSEFSE-2016-JohnsonPSFEMHS #communication
A cross-tool communication study on program analysis tool notifications (BJ, RP, JS0, DF, SE, ERMH, SH, CS), pp. 73–84.
CCCC-2016-ScholzJSW #datalog #on the #performance #scalability
On fast large-scale program analysis in Datalog (BS, HJ, PS, TW), pp. 196–206.
CAVCAV-2016-GuthHSR #named #semantics
RV-Match: Practical Semantics-Based Program Analysis (DG, CH, MS, GR), pp. 447–453.
VMCAIVMCAI-2016-KarpenkovMW #policy
Program Analysis with Local Policy Iteration (EGK, DM, PW), pp. 127–146.
SIGMODSIGMOD-2015-0002KBDHKFG #coordination #protocol #transaction
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis (SR, LK, GB, BD, HH, CK, NF, JG), pp. 1311–1326.
FMFM-2015-NelsonFK #difference #network
Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
OOPSLAOOPSLA-2015-DaraisMH #composition #reuse
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.
OOPSLAOOPSLA-2015-OhYY #adaptation #learning #optimisation
Learning a strategy for adapting a program analysis via bayesian optimisation (HO, HY, KY), pp. 572–588.
PLDIPLDI-2015-SinghPV #performance
Making numerical program analysis fast (GS, MP, MTV), pp. 303–313.
ASEASE-2015-MaAZSGR15a #automation #generative #named #using
GRT: An Automated Test Generator Using Orchestrated Program Analysis (LM, CA, CZ, HS, JG, RR), pp. 842–847.
ESEC-FSEESEC-FSE-2015-MangalZNN #approach
A user-guided approach to program analysis (RM, XZ, AVN, MN), pp. 462–473.
GTTSEGTTSE-2015-DwyerFGGPV #probability
Probabilistic Program Analysis (MBD, AF, JG, MJG, CSP, WV), pp. 1–25.
ICSEICSE-v1-2015-SadowskiGJSW #ecosystem #named
Tricorder: Building a Program Analysis Ecosystem (CS, JvG, CJ, ES, CW), pp. 598–608.
ICSEICSE-v1-2015-WeissRL #fault #scalability
Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.
PPoPPPPoPP-2015-DasSR #communication #concurrent #detection #thread
Section based program analysis to reduce overhead of detecting unsynchronized thread communication (MD, GS, JR), pp. 283–284.
ICLPICLP-J-2015-GangeNSSS #horn clause #program transformation #representation
Horn clauses as an intermediate representation for program analysis and transformation (GG, JAN, PS, HS, PJS), pp. 526–542.
ISSTAISSTA-2015-AquinoBCDP #constraints #proving #reuse
Reusing constraint proofs in program analysis (AA, FAB, MC, GD, MP), pp. 305–315.
ICPCICPC-2014-GuptaS #quality
A semiautomated method for classifying program analysis rules into a quality model (SG, HKS), pp. 266–270.
OOPSLAOOPSLA-2014-HsiaoCN #corpus #statistics #using #web
Using web corpus statistics for program analysis (CHH, MJC, SN), pp. 49–65.
POPLPOPL-2014-SharmaNA #trade-off
Bias-variance tradeoffs in program analysis (RS, AVN, AA), pp. 127–138.
ASEASE-2014-StephenSSE #big data
Program analysis for secure big data processing (JJS, SS, RS, PTE), pp. 277–288.
FSEFSE-2014-Gao #testing
Numerical program analysis and testing (ZG), pp. 779–782.
ISSTAISSTA-2014-Chen #constraints #proving #reuse #scalability
Reusing constraint proofs for scalable program analysis (MC), pp. 449–452.
SMTSMT-2014-FremontS #smt
Speeding Up SMT-Based Quantitative Program Analysis (DJF, SAS), pp. 3–13.
ECOOPECOOP-2013-AliL #named
Averroes: Whole-Program Analysis without the Whole Program (KA, OL), pp. 378–400.
ECOOPECOOP-2013-AnsaloniKZBBT #composition #java #tool support #virtual machine
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
OnwardOnward-2013-Repenning #interactive #programming
Conversational programming: exploring interactive program analysis (AR), pp. 63–74.
OOPSLAOOPSLA-2013-BhattacharyaGN #detection
Combining concern input with program analysis for bloat detection (SB, KG, MGN), pp. 745–764.
ESEC-FSEESEC-FSE-2013-WangZCZZ #javascript
Extracting URLs from JavaScript via program analysis (QW, JZ, YC, YZ, JZ), pp. 627–630.
ICSEICSE-2013-HaoLHG #energy #mobile #using
Estimating mobile application energy consumption using program analysis (SH, DL, WGJH, RG), pp. 92–101.
ICSEICSE-2013-Johnson04a #comprehension
Novice understanding of program analysis tool notifications (BJ), pp. 1432–1434.
ICSEICSE-2013-SharTB #hybrid #injection #mining #sql #using
Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis (LKS, HBKT, LCB), pp. 642–651.
GPCEGPCE-2013-MarekKZBBTASS #framework #java #named #platform #robust
ShadowVM: robust and comprehensive dynamic program analysis for the java platform (LM, SK, YZ, LB, WB, PT, DA, AS, AS), pp. 105–114.
CGOCGO-2013-JeonGT #named #performance
Skadu: Efficient vector shadow memories for poly-scopic program analysis (DJ, SG, MBT), p. 12.
CAVCAV-2013-ChakarovS #probability
Probabilistic Program Analysis with Martingales (AC, SS), pp. 511–526.
SCAMSCAM-2012-AftandilianSPK #compilation #java #tool support #using
Building Useful Program Analysis Tools Using an Extensible Java Compiler (EA, RS, SP, SK), pp. 14–23.
ICEISICEIS-v2-2012-FonteBCGH #evaluation #using
Program Analysis and Evaluation using Quimera (DF, IVB, DCdC, ALG, PRH), pp. 209–219.
OOPSLAOOPSLA-2012-BaoZZ #nondeterminism
White box sampling in uncertain data processing enabled by program analysis (TB, YZ, XZ), pp. 897–914.
LOPSTRLOPSTR-2012-Zinn #reasoning
Program Analysis and Manipulation to Reproduce Learners’ Erroneous Reasoning (CZ), pp. 228–243.
PLDIPLDI-2012-BenzHH #float #problem
A dynamic program analysis to find floating-point accuracy problems (FB, AH, SH), pp. 453–462.
PLDIPLDI-2012-LeeCFN #hybrid #named
Chimera: hybrid program analysis for determinism (DL, PMC, JF, SN), pp. 463–474.
FSEFSE-2012-VisserGD #constraints #named #reuse
Green: reducing, reusing and recycling constraints in program analysis (WV, JG, MBD), p. 58.
CCCC-2012-JimboreanMLC #framework #named
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework (AJ, LM, VL, PC), pp. 220–239.
CCCC-2012-YangBMIGSSS #c++ #inheritance
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
CGOCGO-2012-AnsaloniBHC #multi
Deferred methods: accelerating dynamic program analysis on multicores (DA, WB, AH, LYC), pp. 242–251.
WRLAWRLA-2012-HillsKV #rascal
Program Analysis Scenarios in Rascal (MH, PK, JJV), pp. 10–30.
SCAMSCAM-2011-Larson #set
Program Analysis Too Loopy? Set the Loops Aside (EL), pp. 15–24.
PEPMPEPM-J-2007-MollerS11 #graph #xml
XML graphs in program analysis (AM, MIS), pp. 492–515.
PEPMPEPM-2011-Rinard #bound #probability #program transformation #source code
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation (MCR), pp. 79–80.
SASSAS-2011-Mitchell #security #web
Program Analysis for Web Security (JCM), p. 4.
SASSAS-2011-NoriR #machine learning
Program Analysis and Machine Learning: A Win-Win Deal (AVN, SKR), pp. 2–3.
GTTSEGTTSE-2011-CleveNH #database #reverse engineering
Dynamic Program Analysis for Database Reverse Engineering (AC, NN, JLH), pp. 297–321.
ICSEICSE-2011-LiuZ
Program analysis: from qualitative analysis to quantitative analysis (SL, JZ), pp. 956–959.
SLESLE-2011-HillsKV #named #rascal
RLSRunner: Linking Rascal with K for Program Analysis (MH, PK, JJV), pp. 344–353.
CAVCAV-2011-CookKV #verification
Temporal Property Verification as a Program Analysis Task (BC, EK, MYV), pp. 333–348.
CAVCAV-2011-LeeYP #data type
Program Analysis for Overlaid Data Structures (OL, HY, RP), pp. 592–608.
ICPCICPC-2010-RatiuH #web
Utilizing Web Search Engines for Program Analysis (DR, LH), pp. 94–103.
ICSMEICSM-2010-Cleve #data-driven #evolution #program transformation
Program analysis and transformation for data-intensive system evolution (AC), pp. 1–6.
RTARTA-2010-HillsR #approach #composition #logic #semantics
A Rewriting Logic Semantics Approach to Modular Program Analysis (MH, GR), pp. 151–160.
SFMSFM-2010-PierroHW #probability #semantics
Probabilistic Semantics and Program Analysis (ADP, CH, HW), pp. 1–42.
PLDIPLDI-2010-MightSH #functional #object-oriented
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis (MM, YS, DVH), pp. 305–315.
POPLPOPL-2010-GodefroidNRT #composition #power of
Compositional may-must program analysis: unleashing the power of alternation (PG, AVN, SKR, ST), pp. 43–56.
POPLPOPL-2010-HarrisSIG #satisfiability #source code
Program analysis via satisfiability modulo path programs (WRH, SS, FI, AG), pp. 71–82.
FSEFSE-2010-SinhaW #concurrent #staged
Staged concurrent program analysis (NS, CW), pp. 47–56.
ICLPICLP-2010-Dandois10 #logic programming #source code
Program analysis for code duplication in logic programs (CD), pp. 241–247.
ICLPICLP-2010-Demeyer10 #concurrent #declarative #programming
Program Analysis to Support Concurrent Programming in Declarative Languages (RD), pp. 248–254.
ISSTAISSTA-2010-GodefroidK #float #memory management #proving #safety
Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.
CIAACIAA-2009-Seidl #automaton #finite
Program Analysis through Finite Tree Automata (HS), p. 3.
PEPMPEPM-2009-CifuentesKLS #debugging #detection #using
Program analysis for bug detection using parfait: invited talk (CC, NK, LL, BS), pp. 7–8.
PLDIPLDI-2009-JoshiPSN #detection #random
A randomized dynamic program analysis technique for detecting real deadlocks (PJ, CSP, KS, MN), pp. 110–120.
LICSLICS-2009-Ghica #game studies #hardware #semantics #synthesis
Applications of Game Semantics: From Program Analysis to Hardware Synthesis (DRG), pp. 17–26.
ICPCICPC-2008-EaddyAAG #dynamic analysis #information retrieval #named #requirements #source code #using
CERBERUS: Tracing Requirements to Source Code Using Information Retrieval, Dynamic Analysis, and Program Analysis (ME, AVA, GA, YGG), pp. 53–62.
PASTEPASTE-2008-ZaksP #compilation #validation
Program analysis for compiler validation (AZ, AP), pp. 1–7.
SCAMSCAM-2008-FehnkerHRS #assembly #embedded
Some Assembly Required — Program Analysis of Embedded System Code (AF, RH, FR, SS), pp. 15–24.
SCAMSCAM-2008-WangZZ #automation #detection #model checking
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking (LW, QZ, PZ), pp. 165–173.
FMFM-2008-ZaksP #compilation #named #validation
CoVaC: Compiler Validation by Program Analysis of the Cross-Product (AZ, AP), pp. 35–51.
FLOPSFLOPS-2008-Kobayashi #type system
Substructural Type Systems for Program Analysis (NK), p. 14.
AdaEuropeAdaEurope-2008-FecheteKB #ada #framework #source code
A Framework for CFG-Based Static Program Analysis of Ada Programs (RF, GK, JB), pp. 130–143.
PLDIPLDI-2008-GulwaniSV #constraints #theorem proving
Program analysis as constraint solving (SG, SS, RV), pp. 281–292.
POPLPOPL-2008-McMillan #heuristic
Relevance heuristics for program analysis (KLM), pp. 145–146.
ASEASE-2008-BeyerHT #precise
Program Analysis with Dynamic Precision Adjustment (DB, TAH, GT), pp. 29–38.
VMCAIVMCAI-2008-Pistoia #programming language #security
Program Analysis and Programming Languages for Security (MP), p. 7.
CSMRCSMR-2007-Boogerd #evolution #reliability
Supporting Reliable Software Evolution through Program Analysis (CB), pp. 341–344.
PASTEPASTE-2007-PollockVSHFM #natural language
Introducing natural language program analysis (LLP, KVS, DCS, EH, ZPF, KM), pp. 15–16.
PASTEPASTE-2007-ShepherdPV #case study #natural language #reverse engineering
Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task (DCS, LLP, KVS), pp. 49–54.
ECOOPECOOP-2007-BoddenHL #monitoring #performance #runtime #staged
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring (EB, LJH, OL), pp. 525–549.
PEPMPEPM-2007-MollerS #graph #xml
XML graphs in program analysis (AM, MIS), pp. 1–10.
PPDPPPDP-2007-BentonF #declarative #implementation #interactive #prototype #scalability
Interactive, scalable, declarative program analysis: from prototype to implementation (WCB, CNF), pp. 13–24.
SASSAS-2007-SankaranarayananIG #using
Program Analysis Using Symbolic Ranges (SS, FI, AG), pp. 366–383.
ASEASE-2007-ZaraketAK
Sequential circuits for program analysis (FAZ, AA, SK), pp. 114–123.
ICSEICSE-2007-DwyerKE #adaptation #online
Adaptive Online Program Analysis (MBD, AK, SGE), pp. 220–229.
SACSAC-2007-Varma #program transformation #recognition
Generalizing recognition of an individual dialect in program analysis and transformation (PV), pp. 1432–1439.
CADECADE-2007-TiwariG #logic #proving #theorem proving #using
Logical Interpretation: Static Program Analysis Using Theorem Proving (AT, SG), pp. 147–166.
CAVCAV-2007-BeyerHT #configuration management #convergence #model checking #verification
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis (DB, TAH, GT), pp. 504–518.
ISSTAISSTA-2007-TombBV #detection #fault #interprocedural #runtime
Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
ICSMEICSM-2006-StreinLLL #metamodelling
An Extensible Meta-Model for Program Analysis (DS, RL, JL, WL), pp. 380–390.
SCAMSCAM-2006-StreinKL #refactoring
Cross-Language Program Analysis and Refactoring (DS, HK, WL), pp. 207–216.
OOPSLAOOPSLA-2006-MaebeBEB #java #named #tool support
Javana: a system for building customized Java program analysis tools (JM, DB, LE, KDB), pp. 153–168.
AdaEuropeAdaEurope-2006-RazaVP #named #reverse engineering
Bauhaus — A Tool Suite for Program Analysis and Reverse Engineering (AR, GV, EP), pp. 71–82.
SASSAS-2006-OHearn #logic
Separation Logic and Program Analysis (PWO), p. 181.
ICSEICSE-2006-Ruthruff #paradigm
Experimental program analysis: a new paradigm for program analysis (JRR), pp. 977–980.
TACASTACAS-2006-GroceJ
Exploiting Traces in Program Analysis (AG, RJ), pp. 379–393.
ISSTAISSTA-2006-RuthruffER #paradigm
Experimental program analysis: a new program analysis paradigm (JRR, SGE, GR), pp. 49–60.
VMCAIVMCAI-2006-ChangCN #framework #safety
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety (BYEC, AC, GCN), pp. 174–189.
PODSPODS-2005-LamWLMACU #database #query
Context-sensitive program analysis as database queries (MSL, JW, VBL, MCM, DA, MC, CU), pp. 1–12.
PASTEPASTE-2005-Myers #distributed #program transformation
Making distributed systems secure with program analysis and transformation (ACM), p. 47.
PASTEPASTE-2005-StroutMH #independence
Representation-independent program analysis (MMS, JMMC, PDH), pp. 67–74.
QAPLQAPL-2004-HankinW05 #λ-calculus
λ-calculus and Quantitative Program Analysis: (CH, HW), pp. 5–18.
PLDIPLDI-2005-LukCMPKLWRH #named #tool support
Pin: building customized program analysis tools with dynamic instrumentation (CKL, RSC, RM, HP, AK, PGL, SW, VJR, KMH), pp. 190–200.
CAVCAV-2005-NeculaG #algorithm #random #verification
Randomized Algorithms for Program Analysis and Verification (GCN, SG), p. 1.
ICSMEICSM-2004-Marcus #semantics
Semantic Driven Program Analysis (AM), pp. 469–473.
IFMIFM-2004-EllisI #automation #integration #proving #theorem proving
An Integration of Program Analysis and Automated Theorem Proving (BJE, AI), pp. 67–86.
ECOOPECOOP-2004-VitenbergKS #concurrent #database #using
Increasing Concurrency in Databases Using Program Analysis (RV, KK, AKS), pp. 341–363.
CCCC-2004-ClaussT #approach #optimisation
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization (PC, IT), pp. 120–133.
CGOCGO-2004-LattnerA #compilation #framework #named
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation (CL, VSA), pp. 75–88.
CAVCAV-2004-RepsSW #logic
Static Program Analysis via 3-Valued Logic (TWR, SS, RW), pp. 15–30.
ICFPICFP-2003-OgawaHS
Iterative-free program analysis (MO, ZH, IS), pp. 111–123.
ICSEICSE-2003-YokomoriIYMKI #component #java #slicing
Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J (RY, TI, TY, MM, SK, KI), pp. 828–829.
CSMRCSMR-2002-RaysideK #algorithm #graph #problem #reachability
A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis (DR, KK), pp. 67–76.
PASTEPASTE-2002-Notkin
Longitudinal program analysis (DN), p. 1.
WCREWCRE-2002-TanT #fault #transaction #verification
Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.
SASSAS-2002-Reps #logic
Static Program Analysis via 3-Valued Logic (TWR), p. 1.
CCCC-2002-CousotC #composition
Modular Static Program Analysis (PC, RC), pp. 159–178.
CBSECBSE-2001-Mason #probability
Probability Density Functions in Program Analysis (DM), p. 13.
IWPCIWPC-J-1999-MartinoMMV01 #communication #detection #interactive #parallel
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs (BDM, AM, NM, UV), pp. 235–263.
CSMRCSMR-2001-Villavicencion #automation #detection #programming #slicing
Program Analysis for the Automatic Detection of Programming Plans Applying Slicing (GV), pp. 188–191.
PASTEPASTE-2001-MaessenSG #java #safety #virtual machine
Program analysis for safety guarantees in a Java virtual machine written in Java (JWM, VS, DG), pp. 62–65.
POPLPOPL-2001-Ganzinger #deduction #performance
Efficient deductive methods for program analysis (HG), pp. 102–103.
ESOPESOP-2001-HuthJS
Modal Transition Systems: A Foundation for Three-Valued Program Analysis (MH, RJ, DAS), pp. 155–169.
ESOPESOP-2001-Laud #data flow #semantics
Semantics and Program Analysis of Computationally Secure Information Flow (PL), pp. 77–91.
ICFPICFP-2000-DamianD #continuation
Syntactic accidents in program analysis: on the impact of the CPS transformation (DD, OD), pp. 209–220.
TOOLSTOOLS-USA-2000-HindP #case study #experience #object-oriented
Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System (MH, AP), pp. 49–60.
PEPMPEPM-2000-MurphyL
Program Analysis with Partial Transfer Functions (BRM, MSL), pp. 94–103.
POPLPOPL-2000-CharatonikPT
Paths vs. Trees in Set-Based Program Analysis (WC, AP, JMT), pp. 330–337.
ICSEICSE-2000-HayesGM #component #design #reuse #tool support
Component design of retargetable program analysis tools that reuse intermediate representations (JH, WGG, SM), pp. 356–365.
FLOPSFLOPS-1999-HanusL #functional #logic #semantics
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages (MH, SL), pp. 353–368.
POPLPOPL-1999-RamalingamFT #identification
Aggregate Structure Identification and Its Application to Program Analysis (GR, JF, FT), pp. 119–132.
ESECESEC-FSE-1999-LiangH #performance #points-to
Efficient Points-to Analysis for Whole-Program Analysis (DL, MJH), pp. 199–215.
ICLPICLP-1999-HermenegildoBPL #debugging #optimisation #preprocessor #using
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor (MVH, FB, GP, PLG), pp. 52–66.
LICSLICS-1999-MalacariaH #game studies #nondeterminism #security
Non-Deterministic Games and Program Analysis: An Application to Security (PM, CH), pp. 443–452.
IWPCIWPC-1998-MartinoMMV #automation #detection #development #interactive #parallel
Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development (BDM, AM, NM, UV), pp. 206–213.
PPDPALP-PLILP-1998-Hannan #prolog
Program Analysis in λ-Prolog (JH), pp. 353–354.
PLDIPLDI-1998-AdveM #integer #optimisation #set #using
Using Integer Sets for Data-Parallel Program Analysis and Optimization (VSA, JMMC), pp. 186–198.
SASSAS-1998-SchmidtS #abstract interpretation #model checking
Program Analysis as Model Checking of Abstract Interpretations (DAS, BS), pp. 351–380.
SASSAS-1998-TadjouddineEF #automation #difference
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis (MT, FE, CF), pp. 311–326.
FSEFSE-1998-AtkinsonG #effectiveness #pointer
Effective Whole-Program Analysis in the Presence of Pointers (DCA, WGG), pp. 46–55.
PLDIPLDI-1997-Webber #using
Program Analysis Using Binary Relations (ABW), pp. 249–260.
SASSAS-1997-FahndrichA #constraints #set #using
Program Analysis Using Mixed Term and Set Constraints (MF, AA), pp. 114–126.
ASEASE-1997-Ameur #comprehension #source code
A Contribution to Program Comprehension by Program Analysis: Application to Numerical Programs (YAA), pp. 134–142.
ICLPICLP-1997-CodishDS
XSB as the Natural Habitat for General Purpose Program Analysis (MC, BD, KFS), p. 416.
ICLPILPS-1997-Reps #graph #reachability
Program Analysis via Graph Reachability (TWR), pp. 5–19.
WPCWPC-1996-Sullivan #agile #development #tool support
Rapid Development of Simple, Custom Program Analysis Tools (KJS), pp. 40–44.
SEKESEKE-1996-SunM #automation #named
Wheels: An Automated Program Analysis Tool (AYS, BMM), pp. 269–276.
PLDIPLDI-1996-DawsonRW #case study #logic programming #using
Practical Program Analysis Using General Purpose Logic Programming Systems — A Case Study (SD, CRR, DSW), pp. 117–126.
POPLPOPL-1996-ColbyL
Trace-Based Program Analysis (CC, PL), pp. 195–207.
SASSAS-1996-Aiken #constraints
Constraint-Based Program Analysis (AA), p. 1.
SASSAS-1996-CoppoDG #refinement
Refinement Types for Program Analysis (MC, FD, PG), pp. 143–158.
SASSAS-1996-Nielson #perspective #semantics
Semantics-Directed Program Analysis: A Tool-Maker’s Perspective (FN), pp. 2–21.
ICSEICSE-1996-AtkinsonG #design #tool support
The Design of Whole-Program Analysis Tools (DCA, WGG), pp. 16–27.
CCCC-1996-Assmann #graph grammar #how #program transformation #term rewriting
How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems (UA), pp. 121–135.
TACASTACAS-1996-KleinKKS #automaton
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation (MK, JK, DK, BS), pp. 422–426.
FPCAFPCA-1995-CousotC #abstract interpretation #constraints #formal method
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation (PC, RC), pp. 170–181.
LOPSTRLOPSTR-1995-VasconcelosF #approach #logic programming #optimisation #using
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations (WWV, NEF), pp. 174–188.
LOPSTRLOPSTR-1995-WaalT #deduction #problem #program transformation #using
Solving Deductive Planning Problems Using Program Analysis and Transformation (DAdW, MT), pp. 189–203.
ESOPESOP-J-1994-HankinM95 #lazy evaluation #type inference
Lazy Type Inference and Program Analysis (CH, DLM), pp. 219–249.
ICGTTAGT-1994-Assmann #on the #term rewriting
On Edge Addition Rewrite Systems and their Relevance to Program Analysis (UA), pp. 321–335.
PLDIPLDI-1994-SrivastavaE #named #tool support
ATOM — A System for Building Customized Program Analysis Tools (AS, AE), pp. 196–205.
SASSAS-1994-HankinM #framework #type system
A Type-based Framework for Program Analysis (CH, DLM), pp. 380–394.
PLDIBest-of-PLDI-1994-SrivastavaE94a #named #tool support
ATOM: a system for building customized program analysis tools (with retrospective) (AS, AE), pp. 528–539.
HPDCHPDC-1994-LiHW #performance #program transformation
Program Analysis and Transformations for Fast Data Sharing (AL, GH, LDW), pp. 131–138.
CADECADE-1994-WaalG #logic programming #program transformation #proving #theorem proving
The Applicability of Logic Program Analysis and Transformation to Theorem Proving (DAdW, JPG), pp. 207–221.
CADECADE-1994-WangG #automation #named
KITP-93: An Automated Inference System for Program Analysis (TCW, AG), pp. 831–835.
PLDIPLDI-1993-JohnsonP #dependence
Dependence-Based Program Analysis (RJ, KP), pp. 78–89.
SASWSA-1993-KatoSI #abduction #performance #reasoning
An Efficient Abductive Reasoning System Based on Program Analysis (SK, HS, HI), pp. 230–241.
PEPMPEPM-1992-Field #imperative #semantics #source code
A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis (JF), pp. 98–107.
LICSLICS-1992-HeintzeJ #logic programming
An Engine for Logic Program Analysis (NH, JJ), pp. 318–328.
PLDIPLDI-1989-Venkatesh #evaluation #framework #specification
A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques (GAV), pp. 1–12.
ESECESEC-1989-Shutt #development #specification #tool support #using
A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools (RNS), pp. 260–291.
VLDBVLDB-1983-Demo #database #interface #navigation #specification
Program Analysis for Conversion from a Navigation to a Specification Database Interface (GBD), pp. 387–398.
POPLPOPL-1979-CousotC #design #framework
Systematic Design of Program Analysis Frameworks (PC, RC), pp. 269–282.
ICSEICSE-1979-Ploedereder #verification
Pragmatic Techniques for Program Analysis and Verification (EP), pp. 63–72.
SIGMODSIGMOD-1978-NationsS #sequence
Some DML Instruction Sequences for Application Program Analysis and Conversion (JN, SYWS), pp. 120–131.
ICSEICSE-1978-BrowneJ #generative #named #performance
FAST: A Second Generation Program Analysis System (JCB, DBJ), pp. 142–148.
SIGMODSIGMOD-1977-SuL #database #semantics
A Methodology of Application Program Analysis and Conversion Based on Database Semantics (SYWS, BJL), pp. 75–87.
ICSEICSE-1976-EhrenbergerRO #verification
Program Analysis — A Method for the Verification of Software for the Control of a Nuclear Reactor (WDE, GR, KO), pp. 611–616.
ICSEICSE-1976-Zelkowitz #automation #evaluation
Automatic Program Analysis and Evaluation (MVZ), pp. 158–163.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.