BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
analysi (384)
program (144)
dynam (143)
use (93)
type (75)

Stem static$ (all stems)

912 papers:

DACDAC-2015-McLaughlin #behaviour #policy
Blocking unsafe behaviors in control systems through static and dynamic policy enforcement (SM), p. 6.
DATEDATE-2015-PozoSKM #question
Side-channel attacks from static power: when should we care? (SMDP, FXS, DK, AM), pp. 145–150.
ESOPESOP-2015-0002S #automation #cost analysis #parallel #source code
Automatic Static Cost Analysis for Parallel Programs (JH, ZS), pp. 132–157.
ESOPESOP-2015-ChengR #detection #spreadsheet #static analysis
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection (TC, XR), pp. 26–52.
TACASTACAS-2015-ArmandoBCCMMM #framework #mobile #named #security #static analysis #verification
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform (AA, GB, GC, GC, GDM, RM, AM), pp. 225–230.
ICPCICPC-2015-LafetaMR #dynamic analysis #framework #using
Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.
ICSMEICSME-2015-DongAS #fault #static analysis #using
Practical and accurate pinpointing of configuration errors using static analysis (ZD, AA, KS), pp. 171–180.
ICSMEICSME-2015-DorningerPK #industrial #static analysis #user interface #using
Using static analysis for knowledge extraction from industrial User Interfaces (BD, JP, AK), pp. 497–500.
SANERSANER-2015-MuskeB #on the #static analysis #tool support
On implementational variations in static analysis tools (TM, PB), pp. 512–515.
SANERSANER-2015-NagyMC #approach #concept #query #sql
Where was this SQL query executed? a static concept location approach (CN, LM, AC), pp. 580–584.
SANERSANER-2015-NairJNH #analysis
A static code analysis tool for control system software (SN, RJ, ARN, SHS), pp. 459–463.
SANERSANER-2015-OumarouAEDK #identification
Identifying the exact fixing actions of static rule violation (HO, NA, AE, SD, DTK), pp. 371–379.
SANERSANER-2015-PanichellaAPA #code review #developer #question #static analysis #tool support
Would static analysis tools help developers with code reviews? (SP, VA, MDP, GA), pp. 161–170.
SCAMSCAM-2015-BinkleyGHIKY #slicing
ORBS and the limits of static slicing (DB, NEG, MH, SSI, JK, SY), pp. 1–10.
SCAMSCAM-2015-DarizRS #analysis #programmable
A static microcode analysis tool for programmable load drivers (LD, MR, MS), pp. 265–270.
PEPMPEPM-2015-LisperMK #slicing
Static Backward Demand-Driven Slicing (BL, ANM, HK), pp. 115–126.
PLDIPLDI-2015-OlivoDL #debugging #detection #performance #static analysis #traversal
Static detection of asymptotic performance bugs in collection traversals (OO, ID, CL), pp. 369–378.
SASSAS-2015-AldousM #low level #static analysis
Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.
SASSAS-2015-LeeHYC #static analysis
Static Analysis with Set-Closure in Secrecy (WL, HH, KY, JHC), pp. 18–35.
FMFM-2015-AhrendtCPS #runtime #specification #verification
A Specification Language for Static and Runtime Verification of Data and Control Properties (WA, JMC, GJP, GS), pp. 108–125.
FMFM-2015-ChimdyalwarDCVC #abstraction #bound #model checking #static analysis #using
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking (BC, PD, AC, SV, AC), pp. 573–576.
FMFM-2015-LiuH #analysis #android #case study #kernel #security
Case Study: Static Security Analysis of the Android Goldfish Kernel (TL, RH), pp. 589–592.
FMFM-2015-NelsonFK #difference #network #program analysis
Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
FMFM-2015-ZhuYGZZZ #data flow #graph #model checking #scheduling
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (XZ, RY, YLG, JZ, WZ, GZ), pp. 551–569.
ICFPICFP-2015-BuirasVR #data flow #dynamic typing #haskell #named #type system
HLIO: mixing static and dynamic typing for information-flow control in Haskell (PB, DV, AR), pp. 289–301.
ICFPICFP-2015-GenevesG #problem #static typing #type system #xquery
XQuery and static typing: tackling the problem of backward axes (PG, NG), pp. 88–100.
HCIDHM-EH-2015-GieserBM #artificial reality #gesture #realtime #recognition #using
Real-Time Static Gesture Recognition for Upper Extremity Rehabilitation Using the Leap Motion (SNG, AB, FM), pp. 144–154.
AdaEuropeAdaEurope-2015-KhanfarLM #safety #slicing
Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.
SEKESEKE-2015-WangSZ #detection #execution #symbolic computation
Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.
ECOOPECOOP-2015-HauzarK #framework #php #static analysis
Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.
ECOOPECOOP-2015-ParkR #javascript #precise #scalability #static analysis
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.
OOPSLAOOPSLA-2015-MadsenTL #javascript #static analysis
Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.
PPDPPPDP-2015-GarciaLL #static analysis
Static analysis of cloud elasticity (AG, CL, ML), pp. 125–136.
POPLPOPL-2015-JourdanLBLP #c
A Formally-Verified C Static Analyzer (JHJ, VL, SB, XL, DP), pp. 247–259.
SACSAC-2015-KapoorDC #capacity #energy #performance #reduction
Static energy reduction by performance linked cache capacity management in tiled CMPs (HKK, SD, SC), pp. 1913–1918.
SACSAC-2015-MongioviGFPT #analysis #approach #data flow #detection #hybrid #java
Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications (MM, GG, AF, GP, ET), pp. 1573–1579.
SACSAC-2015-RaniseTV #analysis #automation #constraints #policy
Automated analysis of RBAC policies with temporal constraints and static role hierarchies (SR, ATT, LV), pp. 2177–2184.
ESEC-FSEESEC-FSE-2015-SmithJMCL #developer #security #static analysis
Questions developers ask while diagnosing potential security vulnerabilities with static analysis (JS, BJ, ERMH, BC, HRL), pp. 248–259.
ICSEICSE-v1-2015-AvgustinovBHLMM #developer #static analysis
Tracking Static Analysis Violations over Time to Capture Developer Characteristics (PA, AIB, ASH, RGL, GM, OdM, MS, JT), pp. 437–447.
ICSEICSE-v1-2015-YangYWWR #analysis #android #control flow
Static Control-Flow Analysis of User-Driven Callbacks in Android Applications (SY, DY, HW, YW, AR), pp. 89–99.
ASPLOSASPLOS-2015-SenguptaBZBK #bound #dynamic analysis #hybrid
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
HPCAHPCA-2015-XieLWSW #coordination
Coordinated static and dynamic cache bypassing for GPUs (XX, YL, YW, GS, TW), pp. 76–88.
LCTESLCTES-2015-BairdGSWU #architecture #optimisation #pipes and filters
Optimizing Transfers of Control in the Static Pipeline Architecture (RB, PG, MS, DBW, GRU), p. 10.
PPoPPPPoPP-2015-SaillardCB #concurrent #multi #thread #validation
Static/Dynamic validation of MPI collective communications in multi-threaded context (ES, PC, DB), pp. 279–280.
CSLCSL-2015-SchwentickVZ #source code #static analysis
Static Analysis for Logic-based Dynamic Programs (TS, NV, TZ), pp. 308–324.
ICSTICST-2015-MidtgaardM #static analysis
QuickChecking Static Analysis Properties (JM, AM), pp. 1–10.
ICSTICST-2015-XuLCK #approach #bound #detection #lightweight #thread
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
VMCAIVMCAI-2015-Christakis0W #evaluation
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer (MC, PM, VW), pp. 336–354.
QoSAQoSA-2014-OlssonTWE #architecture #consistency #evaluation #game studies
Evaluation of a static architectural conformance checking method in a line of computer games (TO, DT, AW, ME), pp. 113–118.
ASEASE-2014-HillsKV #lightweight #php
Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.
CASECASE-2014-KeferZX #industrial
A versatile, non-linear and elasto-static stiffness model of articulated industrial robots (MK, JZ, HX), pp. 208–214.
DACDAC-2014-KangYKBHT #fault tolerance
Static Mapping of Mixed-Critical Applications for Fault-Tolerant MPSoCs (SHK, HY, SK, IB, SH, LT), p. 6.
DATEDATE-2014-AltmeyerD #analysis #correctness #on the #precise #probability
On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.
DATEDATE-2014-VijaykumarV #analysis #canonical #statistics #using
Statistical static timing analysis using a skew-normal canonical delay model (MV, VV), pp. 1–6.
DATEDATE-2014-ZhuGBS #data flow #graph #scheduling
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming (XYZ, MG, TB, SS), pp. 1–6.
ESOPESOP-2014-Fu #abstraction #analysis #memory management
Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.
ESOPESOP-2014-SlepakSM #morphism #polymorphism #rank
An Array-Oriented Language with Static Rank Polymorphism (JS, OS, PM), pp. 27–46.
FASEFASE-2014-MudduluruR #abstraction #incremental #performance #static analysis #using
Efficient Incremental Static Analysis Using Path Abstraction (RM, MKR), pp. 125–139.
TACASTACAS-2014-AlbertAFGGMPR #concurrent #named
SACO: Static Analyzer for Concurrent Objects (EA, PA, AFM, SG, MGZ, EMM, GP, GRD), pp. 562–567.
WRLAWRLA-2014-Genet #automaton #functional #source code #static analysis #towards #using
Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.
ICPCICPC-2014-PetersenHR #api #comparison #eclipse #empirical #groovy #ide #java #type system
An empirical comparison of static and dynamic type systems on API usage in the presence of an IDE: Java vs. groovy with eclipse (PP, SH, RR), pp. 212–222.
MSRMSR-2014-HanamTHL #ranking #static analysis
Finding patterns in static analysis alerts: improving actionable alert ranking (QH, LT, RH, PL), pp. 152–161.
SCAMSCAM-2014-CaraccioloCSL #corpus #multi #named
Pangea: A Workbench for Statically Analyzing Multi-language Software Corpora (AC, AC, BS, ML), pp. 71–76.
PEPMPEPM-2014-KerneisSH #continuation #named #performance #static analysis
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines (GK, CS, SH), pp. 83–94.
PLDIPLDI-2014-CaiGRO #difference #formal method #higher-order #λ-calculus
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.
SASSAS-2014-BessonJV #java #named #static analysis
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications (FB, TPJ, PV), pp. 51–67.
SASSAS-2014-LeeOY
A Progress Bar for Static Analyzers (WL, HO, KY), pp. 184–200.
SEFMSEFM-2014-BratNSV #abstract interpretation #framework #named #static analysis
IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.
SEFMSEFM-2014-DeganoFG #adaptation #reliability #static analysis
A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.
ICGTICGT-2014-AnjorinLST #graph grammar #model transformation #performance #static analysis
A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.
AdaEuropeAdaEurope-2014-BurgstallerB #ada #algebra #source code #static analysis
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.
ICEISICEIS-v2-2014-Chung #complexity #profiling #realtime #towards
Towards Real-time Static and Dynamic Profiling of Organisational Complexity (KSKC), pp. 466–471.
CIKMCIKM-2014-KimC #array #performance
Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.
ICPRICPR-2014-LinCCLH #analysis #detection
Left-Luggage Detection from Finite-State-Machine Analysis in Static-Camera Videos (KL, SCC, CSC, DTL, YPH), pp. 4600–4605.
SEKESEKE-2014-ChenHQJ #performance #static analysis #using
Improving Static Analysis Performance Using Rule-Filtering Technique (DC, RH, BQ, SJ), pp. 19–24.
AMTAMT-2014-GogollaHH #dynamic analysis #modelling #ocl #on the #uml
On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
OOPSLAOOPSLA-2014-AndreasenM #static analysis
Determinacy in static analysis for jQuery (EA, AM), pp. 17–31.
OOPSLAOOPSLA-2014-BrutschyF0 #developer #independence #static analysis
Static analysis for independent app developers (LB, PF, PM), pp. 847–860.
PADLPADL-2014-ElsmanS #evaluation #named #rule-based #static typing #user interface
Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.
POPLPOPL-2014-ZhangM #fault #towards
Toward general diagnosis of static errors (DZ, ACM), pp. 569–582.
FSEFSE-2014-Banerjee #energy #performance #static analysis #testing
Static analysis driven performance and energy testing (AB), pp. 791–794.
FSEFSE-2014-FengADA #android #detection #named #semantics #static analysis
Apposcopy: semantics-based detection of Android malware through static analysis (YF, SA, ID, AA), pp. 576–587.
FSEFSE-2014-KashyapDKWGSWH #framework #javascript #named #static analysis
JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.
FSEFSE-2014-LalQ #using #verification
Powering the static driver verifier using corral (AL, SQ), pp. 202–212.
ICSEICSE-2014-EndrikatHRS #api #documentation #how #question #static typing #type system #usability
How do API documentation and static typing affect API usability? (SE, SH, RR, AS), pp. 632–642.
ICSEICSE-2014-NadiBKC #analysis #constraints #empirical #mining
Mining configuration constraints: static analyses and empirical results (SN, TB, CK, KC), pp. 140–151.
ICSEICSE-2014-RahmanKBD #debugging #predict #statistics
Comparing static bug finders and statistical prediction (FR, SK, ETB, PTD), pp. 424–434.
CGOCGO-2014-DingEO #architecture #compilation #congruence
Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes (SD, JE, ), p. 196.
CGOCGO-2014-Herczeg #backtracking #compilation #library
Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support (ZH), p. 306.
CGOCGO-2014-RountevY #analysis #android #user interface
Static Reference Analysis for GUI Objects in Android Software (AR, DY), p. 143.
CGOCGO-2014-YanXYR #detection #memory management #named
LeakChecker: Practical Static Memory Leak Detection for Managed Languages (DY, G(X, SY, AR), p. 87.
CGOCGO-2014-YeSX #analysis #detection
Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis (DY, YS, JX), p. 154.
CAVCAV-2014-AlglaveKNP #approach #automation #static analysis
Don’t Sit on the Fence — A Static Analysis Approach to Automatic Fence Insertion (JA, DK, VN, DP), pp. 508–524.
CAVCAV-2014-BardsleyBCCDDKLQ #gpu #kernel #verification
Engineering a Static Verification Tool for GPU Kernels (EB, AB, NC, PC, PD, AFD, JK, DL, SQ), pp. 226–242.
CAVCAV-2014-SinnZV #bound #complexity #scalability #static analysis
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (MS, FZ, HV), pp. 745–761.
ISSTAISSTA-2014-XuZXW #c #named #source code
Canalyze: a static bug-finding tool for C programs (ZX, JZ, ZX, JW), pp. 425–428.
TAPTAP-2014-KanigCCGMR #verification
Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.
TAPTAP-2014-KosmatovS #analysis #runtime #tutorial
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
VMCAIVMCAI-2014-Fu #abstract domain #analysis #java #points-to #scalability
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java (ZF), pp. 282–301.
VMCAIVMCAI-2014-Mine #abstract interpretation #analysis #relational #thread
Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.
DACDAC-2013-BenazouzKHB #data flow #evaluation #graph #liveness
Liveness evaluation of a cyclo-static DataFlow graph (MB, AMK, TH, BB), p. 7.
DATEDATE-2013-KavousianosC #testing
Testing for SoCs with advanced static and dynamic power-management capabilities (XK, KC), pp. 737–742.
DATEDATE-2013-RizkBJMA #case study #design
Statically-scheduled application-specific processor design: a case-study on MMSE MIMO equalization (MR, AB, MJ, YM, YA), pp. 677–680.
VLDBVLDB-2013-NagendraC #framework #named
SkySuite: A Framework of Skyline-Join Operators for Static and Stream Environments (MN, KSC), pp. 1266–1269.
CSMRCSMR-2013-JezekHB #analysis #compilation #library
Supplying Compiler’s Static Compatibility Checks by the Analysis of Third-Party Libraries (KJ, LH, PB), pp. 375–378.
CSMRCSMR-2013-Nagy #data-driven #static analysis
Static Analysis of Data-Intensive Applications (CN), pp. 435–438.
ICSMEICSM-2013-LabicheKM #analysis #diagrams
Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams (YL, BK, HM), pp. 130–139.
ICSMEICSM-2013-YukselS #analysis #automation #case study #classification
Automated Classification of Static Code Analysis Alerts: A Case Study (UY, HS), pp. 532–535.
SCAMSCAM-2013-MattsenCS #bound
Driving a sound static software analyzer with branch-and-bound (SM, PC, SS), pp. 63–68.
SCAMSCAM-2013-MuskeBS #bibliography #clustering #reduction #static analysis
Review efforts reduction by partitioning of static analysis warnings (TBM, AB, TS), pp. 106–115.
WCREWCRE-2013-FryW #clustering #fault #maintenance #static analysis
Clustering static analysis defect reports to reduce maintenance costs (ZPF, WW), pp. 282–291.
WCREWCRE-2013-SmithsonEAKB #correctness #trade-off
Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness (MS, KE, KA, AK, RB), pp. 52–61.
PEPMPEPM-2013-Thiemann
Partially static operations (PT), pp. 75–76.
PLDIPLDI-2013-BoddenTRBBM #named #product line
SPLLIFT: statically analyzing software product lines in minutes instead of years (EB, TT, MR, CB, PB, MM), pp. 355–364.
PLDIPLDI-2013-SankaranarayananCG #probability #source code #static analysis
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths (SS, AC, SG), pp. 447–458.
SASSAS-2013-Goubault #abstract interpretation #source code #static analysis
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT (EG), pp. 1–3.
SASSAS-2013-KimDS #documentation #html #parsing #semantics #validation
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
SASSAS-2013-MajumdarMW #message passing #source code #verification
Static Provenance Verification for Message Passing Programs (RM, RM, ZW), pp. 366–387.
SASSAS-2013-PelegSYY #automaton #mining #specification
Symbolic Automata for Static Specification Mining (HP, SS, EY, HY), pp. 63–83.
SASSAS-2013-Sankaranarayanan #static analysis
Static Analysis in the Continuously Changing World (SS), pp. 4–5.
ICALPICALP-v2-2013-PetricekOM #named #static analysis
Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.
SEFMSEFM-2013-SalehKBW #detection #fault #implementation #specification #static analysis #using
Static Detection of Implementation Errors Using Formal Code Specification (IS, GK, MBB, YW), pp. 197–211.
SEFMSEFM-2013-TranST #composition #static analysis #transaction
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.
CSCWCSCW-2013-OKaneMT #health #information management #privacy
Non-static nature of patient consent: shifting privacy perspectives in health information sharing (AAO, HMM, ET), pp. 553–562.
HCIHCI-UC-2013-BelliniBNP #network #recommendation
A Static and Dynamic Recommendations System for Best Practice Networks (PB, IB, PN, MP), pp. 259–268.
HCIHCI-UC-2013-TungC #towards
Exploring Children’s Attitudes towards Static and Moving Humanoid Robots (FWT, TYC), pp. 237–245.
ICEISICEIS-v1-2013-SimrinAD #heuristic #problem #using
A Lagrangian Relaxation based Heuristic for the Static Berth Allocation Problem using the Cutting Plane Method (ASS, NNA, AHD), pp. 565–569.
CIKMCIKM-2013-ChengSHZC #named
StaticGreedy: solving the scalability-accuracy dilemma in influence maximization (SC, HS, JH, GZ, XC), pp. 509–518.
CIKMCIKM-2013-TongWL #web
Latency-aware strategy for static list caching in flash-based web search engines (JT, GW, XL), pp. 1209–1212.
ICMLICML-c3-2013-HuangS #learning #markov #modelling
Spectral Learning of Hidden Markov Models from Dynamic and Static Data (TKH, JGS), pp. 630–638.
KEODKEOD-2013-KarolyA #implementation
The Implementation of a ReALIS-based Method of Static Intensional Interpretation (MK, GA), pp. 393–398.
SEKESEKE-2013-PereiraAS #data access #policy #relational #runtime
Runtime Values Driven by Access Control Policies — Statically Enforced at the Level of Relational Business Tiers (ÓMP, RLA, MYS), pp. 1–7.
SIGIRSIGIR-2013-ChenL
An information-theoretic account of static index pruning (RCC, CJL), pp. 163–172.
ECOOPECOOP-2013-LernerELK #source code #static typing
Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.
OnwardOnward-2013-ValleeWZFK #modelling #problem #reasoning #security
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems (HQdlV, JMW, WZ, KF, SK), pp. 1–16.
OOPSLAOOPSLA-2013-TetaliLMM #named #static analysis
MrCrypt: static analysis for secure cloud computations (SDT, ML, RM, TDM), pp. 271–286.
POPLPOPL-2013-BenzakenCNS #semantics
Static and dynamic semantics of NoSQL languages (VB, GC, KN, JS), pp. 101–114.
SACSAC-2013-ChaeKHLW #api #detection
Software plagiarism detection via the static API call frequency birthmark (DKC, SWK, JH, SCL, GW), pp. 1639–1643.
SACSAC-2013-ChenLWW #abstraction #source code #static analysis
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions (LC, RL, XW, JW), pp. 1204–1210.
SACSAC-2013-CohenA #composition #refactoring
Practical use of static composition of refactoring operations (JC, AA), pp. 1700–1705.
SACSAC-2013-DelahayeKS #c #dynamic analysis #source code #specification
Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
SACSAC-2013-KimHCYWNPC #similarity #using
Measuring similarity of windows applications using static and dynamic birthmarks (DJK, YH, SC, HY, JW, YN, MP, LC), pp. 1628–1633.
ESEC-FSEESEC-FSE-2013-HawblitzelLPHGFDW #compilation #validation
Will you still compile me tomorrow? static cross-version compiler validation (CH, SKL, KP, HH, SG, LF, DD, SW), pp. 191–201.
ESEC-FSEESEC-FSE-2013-KumarN #static analysis #tool support
The economics of static analysis tools (RK, AVN), pp. 707–710.
ESEC-FSEESEC-FSE-2013-MadsenLF #framework #javascript #library #static analysis
Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.
ICSEICSE-2013-Balachandran #automation #code review #quality #recommendation #static analysis #using
Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation (VB), pp. 931–940.
ICSEICSE-2013-JohnsonSMB #debugging #developer #question #static analysis #tool support #why
Why don’t software developers use static analysis tools to find bugs? (BJ, YS, ERMH, RWB), pp. 672–681.
ICSEICSE-2013-ZhengZ #detection #execution #static analysis #web
Path sensitive static analysis of web applications for remote code execution vulnerability detection (YZ, XZ), pp. 652–661.
ASPLOSASPLOS-2013-TangMWDS #compilation #named
ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.
CCCC-2013-BraunBHLMZ #performance
Simple and Efficient Construction of Static Single Assignment Form (MB, SB, SH, RL, CM, AZ), pp. 102–122.
CGOCGO-2013-PienaarH #javascript #memory management #named #static analysis
JSWhiz: Static analysis for JavaScript memory leaks (JAP, RH), p. 11.
HPCAHPCA-2013-WangCWMZLN #architecture #execution #parallel
A multiple SIMD, multiple data (MSMD) architecture: Parallel execution of dynamic and static SIMD fragments (YW, SC, JW, JM, KZ, WL, XN), pp. 603–614.
LCTESLCTES-2013-FinlaysonDGUWST #performance #pipes and filters
Improving processor efficiency by statically pipelining instructions (IF, BD, PG, GRU, DBW, MS, GST), pp. 33–44.
CAVCAV-2013-FarzanK #bound #named #parallel #static analysis
Duet: Static Analysis for Unbounded Parallelism (AF, ZK), pp. 191–196.
ISSTAISSTA-2013-HillsKV #empirical #perspective #php #static analysis
An empirical study of PHP feature usage: a static analysis perspective (MH, PK, JJV), pp. 325–335.
ISSTAISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning
Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
ISSTAISSTA-2013-LiCWX #memory management #validation
Dynamically validating static memory leak warnings (ML, YC, LW, G(X), pp. 112–122.
ISSTAISSTA-2013-RadoiD #concurrent #detection #java #parallel
Practical static race detection for Java parallel loops (CR, DD), pp. 178–190.
VMCAIVMCAI-2013-DAntoniV #static analysis #string
Static Analysis of String Encoders and Decoders (LD, MV), pp. 209–228.
ASEASE-2012-ThungLLJRD #debugging #detection #empirical #fault #tool support #what
To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools (FT, L, DL, LJ, FR, PTD), pp. 50–59.
ASEASE-2012-XiaoTFHM #analysis #privacy
User-aware privacy control via extended static-information-flow analysis (XX, NT, MF, JdH, MM), pp. 80–89.
CASECASE-2012-WakamatsuAMAH #identification #image #towards
Property identification of a deformable belt object from its static images toward its manipulation (HW, MA, EM, EA, SH), pp. 448–453.
DACDAC-2012-GhosalLRTPWTA #analysis #data access #data flow #semantics
Static dataflow with access patterns: semantics and analysis (AG, RL, KR, ST, AP, GW, TNT, HAA), pp. 656–663.
DATEDATE-2012-Chaturvedi #static analysis
Static analysis of asynchronous clock domain crossings (SC), pp. 1122–1125.
DATEDATE-2012-DamavandpeymaSBGC #data flow #graph #modelling
Modeling static-order schedules in synchronous dataflow graphs (MD, SS, TB, MG, HC), pp. 775–780.
DATEDATE-2012-HuangBRBK #scheduling #smt
Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving (JH, JOB, AR, CB, AK), pp. 509–514.
PODSPODS-2012-LetelierPPS #optimisation #query #semantics #static analysis #web
Static analysis and optimization of semantic web queries (AL, JP, RP, SS), pp. 89–100.
ESOPESOP-2012-BartheDP
A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.
CSMRCSMR-2012-JaszSBOG #impact analysis #using
Impact Analysis Using Static Execute After in WebKit (JJ, LS, ÁB, CO, TG), pp. 95–104.
ICPCICPC-2012-KleinschmagerHRS #empirical #maintenance #static typing #type system
Do static type systems improve the maintainability of software systems? An empirical study (SK, SH, RR, ÉT, AS), pp. 153–162.
SCAMSCAM-2012-SchrettnerJGBG #clustering #dependence #impact analysis #using
Impact Analysis in the Presence of Dependence Clusters Using Static Execute after in WebKit (LS, JJ, TG, ÁB, TG), pp. 24–33.
WCREWCRE-2012-AlomariCM #approach #performance #scalability #slicing
A Very Efficient and Scalable Forward Static Slicing Approach (HWA, MLC, JIM), pp. 425–434.
WCREWCRE-2012-Kinder #obfuscation #static analysis #towards
Towards Static Analysis of Virtualization-Obfuscated Binaries (JK), pp. 61–70.
PLDIPLDI-2012-KruijfSJ #compilation #design #static analysis
Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.
SASSAS-2012-DSilvaHK #satisfiability
Satisfiability Solvers Are Static Analysers (VD, LH, DK), pp. 317–333.
SASSAS-2012-GoubaultPV #composition #static analysis
Modular Static Analysis with Zonotopes (EG, SP, FV), pp. 24–40.
IFMIFM-2012-ZhangNN #model checking #revisited #static analysis
Model Checking as Static Analysis: Revisited (FZ, FN, HRN), pp. 99–112.
CIKMCIKM-2012-ChenLTH
Information preservation in static index pruning (RCC, CJL, CMT, JH), pp. 2487–2490.
ECIRECIR-2012-Baeza-YatesJ #modelling #web
Modeling Static Caching in Web Search Engines (RABY, SJ), pp. 436–446.
ICMLICML-2012-McAfeeO #code generation #network #static analysis
Utilizing Static Analysis and Code Generation to Accelerate Neural Networks (LCM, KO), p. 192.
TOOLSTOOLS-EUROPE-J-2011-SchwarzLN12 #fine-grained #named
Seuss: Decoupling responsibilities from static methods for fine-grained configurability (NS, ML, ON), pp. 1–23.
ECOOPECOOP-2012-DohertyH #framework #matlab #named #static analysis
McSAF: A Static Analysis Framework for MATLAB (JD, LJH), pp. 132–155.
ECOOPECOOP-2012-DugganY #data flow
Static Sessional Dataflow (DD, JY), pp. 484–508.
ECOOPECOOP-2012-XuYR #data type #detection #invariant #static analysis
Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.
OnwardOnward-2012-Heinlein #composition #named #programming language #static typing
MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.
OOPSLAOOPSLA-2012-CastanosEINNOW #compilation #jit #on the #scripting language #static typing
On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages (JGC, DE, KI, PN, TN, TO, PW), pp. 195–212.
OOPSLAOOPSLA-2012-MayerHRTS #empirical #static typing #type system #usability
An empirical study of the influence of static type systems on the usability of undocumented software (CM, SH, RR, ÉT, AS), pp. 683–702.
POPLPOPL-2012-StampoulisS #proving
Static and user-extensible proof checking (AS, ZS), pp. 273–284.
SACSAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification
Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
SACSAC-2012-MannS #android #detection #framework #privacy #static analysis
A framework for static detection of privacy leaks in android applications (CM, AS), pp. 1457–1462.
SACSAC-2012-ZanioliFC #information management #named #static analysis
SAILS: static analysis of information leakage with sample (MZ, PF, AC), pp. 1308–1313.
FSEFSE-2012-AcharyaR #impact analysis #industrial #slicing
Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.
ICSEICSE-2012-Johnson #case study #question #static analysis #tool support #using #why
A study on improving static analysis tools: Why are we not using them? (BJ), pp. 1607–1609.
ICSEICSE-2012-PradelJAG #api #consistency #multi #protocol #specification
Statically checking API protocol conformance with mined multi-object specifications (MP, CJ, JA, TRG), pp. 925–935.
ICSEICSE-2012-SunSPR #mining #static analysis
Extending static analysis by mining project-specific rules (BS, GS, AP, BR), pp. 1054–1063.
ICSEICSE-2012-Vetro #automation #identification #static analysis #technical debt #using
Using automatic static analysis to identify technical debt (AV), pp. 1613–1615.
ICSEICSE-2012-ZhengZ #detection #problem #static analysis
Static detection of resource contention problems in server-side scripts (YZ, XZ), pp. 584–594.
CCCC-2012-KwonS #component #detection #static analysis
Static Detection of Unsafe Component Loadings (TK, ZS), pp. 122–143.
CGOCGO-2012-PlazarKMF
WCET-aware static locking of instruction caches (SP, JCK, PM, HF), pp. 44–52.
LCTESLCTES-2012-SallenaveD #embedded #lightweight #static analysis
Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.
CAVCAV-2012-HasuoS #hybrid #standard #static analysis
Exercises in Nonstandard Static Analysis of Hybrid Systems (IH, KS), pp. 462–478.
ICLPICLP-2012-ZomboriCS #constraints #logic programming #static typing #type inference #using
Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.
ICSTICST-2012-Kannavara #source code #static analysis
Securing Opensource Code via Static Analysis (RK), pp. 429–436.
ICSTICST-2012-PatrickOC #evaluation #named #semantics
MESSI: Mutant Evaluation by Static Semantic Interpretation (MP, MO, JAC), pp. 711–719.
ICSTICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving
Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
ISSTAISSTA-2012-PradelHG #detection #parametricity #static analysis #type system
Static detection of brittle parameter typing (MP, SH, TRG), pp. 265–275.
ISSTAISSTA-2012-SuiYX #analysis #detection #memory management #using
Static memory leak detection using full-sparse value-flow analysis (YS, DY, JX), pp. 254–264.
ICSTSAT-2012-DemirovicG #composition #performance #satisfiability
An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition — (Poster Presentation) (ED, HG), pp. 489–490.
VMCAIVMCAI-2012-LeeLY #clustering #static analysis #statistics
Sound Non-statistical Clustering of Static Analysis Alarms (WL, WL, KY), pp. 299–314.
ECSAECSA-2011-PereiraAS #component #interface #reuse
A Reusable Business Tier Component with a Single Wide Range Static Interface (ÓMP, RLA, MYS), pp. 216–219.
ASEASE-2011-VakiliD #declarative #model checking #modelling #using
Using model checking to analyze static properties of declarative models (AV, NAD), pp. 428–431.
DACDAC-2011-OnaissiTLN #analysis #approach #performance
A fast approach for static timing analysis covering all PVT corners (SO, FT, JL, FNN), pp. 777–782.
DATEDATE-2011-FalkZHT #algorithm #clustering #data flow #embedded #performance #rule-based #synthesis
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis (JF, CZ, CH, JT), pp. 521–526.
DATEDATE-2011-HausmansBC #data flow #graph
Resynchronization of Cyclo-Static Dataflow graphs (JPHMH, MJGB, HC), pp. 1315–1320.
DATEDATE-2011-KobayashiH #analysis #correlation #power management
An LOCV-based static timing analysis considering spatial correlations of power supply variations (SK, KH), pp. 559–562.
DATEDATE-2011-MerrettAWZRMRLFA #analysis #modelling #monte carlo #performance #statistics #variability
Modelling circuit performance variations due to statistical variability: Monte Carlo static timing analysis (MM, PA, YW, MZ, DR, CM, SR, ZL, SBF, AA), pp. 1537–1540.
DATEDATE-2011-TsukiyamaF #algorithm #analysis #statistics
An algorithm to improve accuracy of criticality in statistical static timing analysis (ST, MF), pp. 1529–1532.
ITiCSEITiCSE-2011-BreukerDB #quality #student
Measuring static quality of student code (DMB, JD, JB), pp. 13–17.
ESOPESOP-2011-JensenKP #policy
Secure the Clones — Static Enforcement of Policies for Secure Object Copying (TPJ, FK, DP), pp. 317–337.
ESOPESOP-2011-Mine #c #embedded #fault #parallel #runtime #source code #static analysis
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
ICPCICPC-2011-ScannielloM #clustering #concept #source code
Clustering Support for Static Concept Location in Source Code (GS, AM), pp. 1–10.
SCAMSCAM-2011-Keul #analysis
Tuning Static Data Race Analysis for Automotive Control Software (SK), pp. 45–54.
WCREWCRE-2011-SeppMS #precise #relational #static analysis
Precise Static Analysis of Binaries by Extracting Relational Information (AS, BM, AS), pp. 357–366.
SASSAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
SASSAS-2011-HuangZ #concurrent #debugging #performance #source code
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs (JH, CZ), pp. 163–179.
SASSAS-2011-MightH #abstract interpretation #concurrent #higher-order #product line #source code #static analysis
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs (MM, DVH), pp. 180–197.
SEFMSEFM-2011-TschannenFNM #object-oriented #source code #verification
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques (JT, CAF, MN, BM), pp. 382–398.
CEFPCEFP-2011-TothB #erlang #static analysis
Static Analysis of Complex Software Systems Implemented in Erlang (MT, IB), pp. 440–498.
ICFPICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis
Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.
ICEISICEIS-v1-2011-Getta #information management #integration #optimisation
Static Optimization of Data Integration Plans in Global Information Systems (JRG), pp. 141–150.
MLDMMLDM-2011-Kessl #mining #parallel #using
Static Load Balancing of Parallel Mining of Frequent Itemsets Using Reservoir Sampling (RK), pp. 553–567.
ECOOPECOOP-2011-DietlEM #static analysis
Tunable Static Inference for Generic Universe Types (WD, MDE, PM), pp. 333–357.
TOOLSTOOLS-EUROPE-2011-MilanovaV
Static Dominance Inference (AM, JV), pp. 211–227.
GPCEGPCE-J-2005-HuangZS11 #generative #static typing
Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.
GPCEGPCE-2011-HannousseDA #component #composition #interactive #modelling #static analysis
Static analysis of aspect interaction and composition in component models (AH, RD, GA), pp. 43–52.
PADLPADL-2011-ChristakisS #detection #fault #message passing #static analysis #using
Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.
POPLPOPL-2011-AnCFH #ruby #static typing
Dynamic inference of static types for ruby (Jh(A, AC, JSF, MH), pp. 459–472.
POPLPOPL-2011-ChoiAYT #multi #source code #static analysis
Static analysis of multi-staged programs via unstaging translation (WC, BA, KY, MT), pp. 81–92.
POPLPOPL-2011-SchwarzSVLM #protocol #source code #static analysis
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (MDS, HS, VV, PL, MMO), pp. 93–104.
SACSAC-2011-Perez-CastilloGPWP #comparison #empirical #mining #process
An empirical comparison of static and dynamic business process mining (RPC, IGRdG, MP, BW, ÁSP), pp. 272–279.
ESEC-FSEESEC-FSE-2011-CifuentesKLHVBZCTH #fault #scalability #using
Static deep error checking in large system applications using parfait (CC, NK, LL, NH, MV, AB, JZ, AC, DT, CH), pp. 432–435.
ESEC-FSEESEC-FSE-2011-JensenMM #api #html #javascript #modelling #static analysis #web
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications (SHJ, MM, AM), pp. 59–69.
GTTSEGTTSE-2011-Fuhrer #ide #static analysis
Leveraging Static Analysis in an IDE (RMF), pp. 101–158.
ICSEICSE-2011-AcharyaR #impact analysis #industrial #slicing
Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), pp. 746–755.
ICSEICSE-2011-BayneCE #feedback
Always-available static and dynamic feedback (MB, RC, MDE), pp. 521–530.
ICSEICSE-2011-BoddenSSOM #static analysis
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders (EB, AS, JS, HO, MM), pp. 241–250.
ICSEICSE-2011-GeTXT #execution #named #symbolic computation #verification
DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.
ICSEICSE-2011-RabkinK #configuration management
Static extraction of program configuration options (AR, RHK), pp. 131–140.
CCCC-2011-GreweO #approach #clustering #using
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL (DG, MFPO), pp. 286–305.
CCCC-2011-LameedH #array #compilation #jit #matlab #semantics #staged
Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.
LCTESLCTES-2011-ChattopadhyayR #multi
Static bus schedule aware scratchpad allocation in multiprocessors (SC, AR), pp. 11–20.
LCTESLCTES-2011-GamatieG #design #embedded #multi #performance #source code #static analysis
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems (AG, LG), pp. 71–80.
CADECADE-2011-PayetS #android #source code #static analysis
Static Analysis of Android Programs (ÉP, FS), pp. 439–445.
ICLPICLP-2011-ZomboriCS #functional #prolog #static typing #type checking
Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.
ISSTAISSTA-2011-BabicMMS #automation #generative #testing
Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
ISSTAISSTA-2011-ZhangSBE #automation #generative #testing
Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.
RTARTA-2011-ConchinhaBC #deduction #equivalence #named #performance
FAST: An Efficient Decision Procedure for Deduction and Static Equivalence (BC, DAB, CC), pp. 11–20.
VMCAIVMCAI-2011-DonaldsonHK #lightweight #static analysis
Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.
VMCAIVMCAI-2011-GoubaultP #finite #precise #static analysis
Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.
ASEASE-2010-LiangWWWXM #automation #effectiveness #set #static analysis
Automatic construction of an effective training set for prioritizing static analysis warnings (GL, LW, QW, QW, TX, HM), pp. 93–102.
DACDAC-2010-HsuLML #analysis #flexibility
Static timing analysis for flexible TFT circuits (CHH, CL, EHM, JCML), pp. 799–802.
DACDAC-2010-IosifidisMMGBSC #automation #framework #memory management #optimisation #parallel
A framework for automatic parallelization, static and dynamic memory optimization in MPSoC platforms (YI, AM, SM, EdG, AB, DS, FC), pp. 549–554.
DACDAC-2010-TangZBM #analysis #simulation #statistics
RDE-based transistor-level gate simulation for statistical static timing analysis (QT, AZ, MB, NvdM), pp. 787–792.
DATEDATE-2010-AlordaTBS #power management
Static and dynamic stability improvement strategies for 6T CMOS low-power SRAMs (BA, GT, SAB, JS), pp. 429–434.
DATEDATE-2010-KanoriaMM #analysis #markov #monte carlo #statistics #using
Statistical static timing analysis using Markov chain Monte Carlo (YK, SM, AM), pp. 813–818.
DATEDATE-2010-Scholzel #detection #fault #performance
HW/SW co-detection of transient and permanent faults with fast recovery in statically scheduled data paths (MS), pp. 723–728.
DATEDATE-2010-VasudevanSPTTJ #automation #data mining #generative #mining #named #static analysis #using
GoldMine: Automatic assertion generation using data mining and static analysis (SV, DS, SJP, DT, WT, DRJ), pp. 626–629.
ESOPESOP-2010-AdjeGG #invariant #policy #static analysis
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.
FoSSaCSFoSSaCS-2010-NielsonN #logic #model checking #static analysis
Model Checking Is Static Analysis of Modal Logic (FN, HRN), pp. 191–205.
CSMRCSMR-2010-LiuM #analysis #case study #data flow
Static Information Flow Analysis with Handling of Implicit Flows and a Study on Effects of Implicit Flows vs Explicit Flows (YL, AM), pp. 146–155.
ICSMEICSM-2010-CeccatoT #consistency #legacy #migration #static analysis #thread
Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system (MC, PT), pp. 1–9.
ICSMEICSM-2010-Letarte #interprocedural #model checking #performance #static analysis
Conversion of fast inter-procedural static analysis to model checking (DL), pp. 1–2.
ICSMEICSM-2010-LuciaDGR #design pattern #detection #dynamic analysis #eclipse #plugin
An Eclipse plug-in for the detection of design pattern instances through static and dynamic analysis (ADL, VD, CG, MR), pp. 1–6.
SCAMSCAM-2010-KesterMB #concurrent #debugging #how #question #static analysis
How Good is Static Analysis at Finding Concurrency Bugs? (DK, MM, JSB), pp. 115–124.
SCAMSCAM-2010-LuoHDQ #concurrent #debugging #effectiveness #java #static analysis
Effective Static Analysis to Find Concurrency Bugs in Java (ZDL, LH, RD, YQ), pp. 135–144.
WCREWCRE-2010-MilanovaL #comprehension #concurrent #java #source code #static analysis
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs (AM, YL), pp. 45–54.
PLDIPLDI-2010-Chlipala #metaprogramming #named #static typing
Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.
SASSAS-2010-DilligDA #constraints #online #scalability #source code #static analysis
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis (ID, TD, AA), pp. 236–252.
SASSAS-2010-Fahndrich #contract #verification
Static Verification for Code Contracts (MF), pp. 2–5.
SASSAS-2010-Lesens #question #static analysis #using #why
Using Static Analysis in Space: Why Doing so? (DL), pp. 51–70.
SASSAS-2010-McCloskeyRS #array #invariant
Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.
FLOPSFLOPS-2010-Sagonas #concurrent #detection #erlang #fault #source code #static analysis #using
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs (KFS), pp. 13–18.
SEFMSEFM-2010-BartolettiZ
Static Enforcement of Service Deadlines (MB, RZ), pp. 320–324.
ICGTICGT-2010-Ujhelyi #model transformation #source code #static typing #type checking
Static Type Checking of Model Transformation Programs (ZU), pp. 413–415.
AdaEuropeAdaEurope-2010-Keul #detection #version control
Static Versioning of Global State for Race Condition Detection (SK), pp. 111–124.
AdaSIGAda-2010-JemliR #compilation #problem #static analysis #using
A methodology for avoiding known compiler problems using static analysis (MJ, JPR), pp. 23–30.
MODELSMoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling #uml
Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.
ECOOPECOOP-2010-Hanenberg #developer #empirical #programming #static typing #type system
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects — An Empirical Study (SH), pp. 300–303.
OOPSLAOOPSLA-2010-Hanenberg #development #empirical #static typing #type system
An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time (SH), pp. 22–35.
OOPSLAOOPSLA-2010-LiangTNS #abstraction #evaluation #precise
A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.
LOPSTRLOPSTR-2010-LlorensOST #csp #generative #graph #process
Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
PPDPPPDP-2010-Jeltsch #combinator #static typing #type checking
Generic record combinators with static type checking (WJ), pp. 143–154.
PADLPADL-2010-ChristakisS #detection #erlang #static analysis
Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.
POPLPOPL-2010-JostHLH #higher-order #resource management #source code
Static determination of quantitative resource usage for higher-order programs (SJ, KH, HWL, MH), pp. 223–236.
SACSAC-2010-CiraciBA #constraints #graph #verification
Graph-based verification of static program constraints (SC, PvdB, MA), pp. 2265–2272.
ICSEICSE-2010-Elmas #abstraction #concurrent #named #proving #reduction #verification
QED: a proof system based on reduction and abstraction for the static verification of concurrent software (TE), pp. 507–508.
ICSEICSE-2010-Rakamaric #concurrent #named #source code
STORM: static unit checking of concurrent programs (ZR), pp. 519–520.
CCCC-2010-RoyS #optimisation
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.
OSDIOSDI-2010-Chlipala #policy #security #static analysis
Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications (AC), pp. 105–118.
CAVCAV-2010-BallBLKL #framework #research #verification
The Static Driver Verifier Research Platform (TB, EB, VL, RK, JL), pp. 119–122.
ISSTAISSTA-2010-GodefroidK #float #memory management #program analysis #proving #safety
Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.
TAPTAP-2010-ChebaroKGJ #c #debugging #generative #static analysis #testing
Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.
TAPTAP-2010-Ernst #feedback #how #proving #testing
How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback (MDE), pp. 1–2.
VMCAIVMCAI-2010-WilhelmABGHRWW #analysis #realtime
Static Timing Analysis for Hard Real-Time Systems (RW, SA, CB, DG, JH, JR, BW, SW), pp. 3–22.
ASEASE-2009-AnCF #ruby #static typing #type system
Static Typing for Ruby on Rails (Jh(A, AC, JSF), pp. 590–594.
ASEASE-2009-KroeningSTTW #named #source code
Loopfrog: A Static Analyzer for ANSI-C Programs (DK, NS, ST, AT, CMW), pp. 668–670.
ASEASE-2009-SaebjoernsenJQS #c #metaprogramming #preprocessor #validation
Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
DACDAC-2009-FalkK
Optimal static WCET-aware scratchpad allocation of program code (HF, JCK), pp. 732–737.
DACDAC-2009-LingVFA #analysis #effectiveness
A moment-based effective characterization waveform for static timing analysis (DDL, CV, PF, SA), pp. 19–24.
DACDAC-2009-TsaiH
A false-path aware formal static timing analyzer considering simultaneous input transitions (ST, CYH), pp. 25–30.
DATEDATE-2009-KeinertDHHT #algorithm #image #modelling #multi #optimisation #synthesis
Model-based synthesis and optimization of static multi-rate image processing algorithms (JK, HD, FH, CH, JT), pp. 135–140.
DATEDATE-2009-LeeS #fault #static analysis
Static analysis to mitigate soft errors in register files (JL, AS), pp. 1367–1372.
DATEDATE-2009-LiCSSS #analysis #on the #statistics
On hierarchical statistical static timing analysis (BL, NC, MS, WS, US), pp. 1320–1325.
DATEDATE-2009-ViehlPBR #analysis #performance #scheduling
White box performance analysis considering static non-preemptive software scheduling (AV, MP, OB, WR), pp. 513–518.
DATEDATE-2009-YangO #adaptation #towards
Towards no-cost adaptive MPSoC static schedules through exploitation of logical-to-physical core mapping latitude (CY, AO), pp. 63–68.
SIGMODSIGMOD-2009-ChaudhuriNS #profiling #static analysis #using
Bridging the application and DBMS divide using static analysis and dynamic profiling (SC, VRN, MS), pp. 1039–1042.
FASEFASE-2009-ChenWYS #detection #named #static analysis
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis (QC, LW, ZY, SDS), pp. 425–439.
TACASTACAS-2009-NoriRTT #static analysis #testing
The YogiProject: Software Property Checking via Static Analysis and Testing (AVN, SKR, ST, AVT), pp. 178–181.
TACASTACAS-2009-OrzanWW #equation #static analysis
Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.
CSMRCSMR-2009-NagyM #analysis #fault #security
Static Security Analysis Based on Input-Related Software Faults (CN, SM), pp. 37–46.
CSMRCSMR-2009-PatelHR #clustering #dependence #dynamic analysis #using
Software Clustering Using Dynamic Analysis and Static Dependencies (CP, AHL, JR), pp. 27–36.
ICPCICPC-2009-LiuM #static analysis
Practical static analysis for inference of security-related program properties (YL, AM), pp. 50–59.
ICPCICPC-2009-ZhangDH #aspectj #impact analysis #tool support #visualisation
Impact analysis and visualization toolkit for static crosscutting in AspectJ (DZ, EDE, LJH), pp. 60–69.
ICSMEICSM-2009-RothlisbergerHVABNM #ide #metric
Augmenting static source views in IDEs with dynamic metrics (DR, MH, AV, DA, WB, ON, PM), pp. 253–262.
ICSMEICSM-2009-RothlisbergerHVABNM09a #eclipse #metric #named
Senseo: Enriching Eclipse’s static source views with dynamic metrics (DR, MH, AV, DA, WB, ON, PM), pp. 383–384.
MSRMSR-2009-OssherBLBL #java #named #open source #repository
SourcererDB: An aggregated repository of statically analyzed and cross-linked open source Java projects (JO, SKB, EL, PB, CVL), pp. 183–186.
SCAMSCAM-2009-AlvesV #estimation #test coverage
Static Estimation of Test Coverage (TLA, JV), pp. 55–64.
WCREWCRE-1999-CooganDKT99a #automation
Automatic Static Unpacking of Malware Binaries (KC, SKD, TK, GMT), pp. 167–176.
WCREWCRE-1999-KrishnamoorthyDF99a #detection #fault #static analysis
Static Detection of Disassembly Errors (NK, SKD, KF), pp. 259–268.
PEPMPEPM-2009-SalamaMTGO #consistency #dependent type #using
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions (CS, GM, WT, JG, JO), pp. 121–130.
PLDIPLDI-2009-RavitchJAL #automation #generative #library #static analysis #using
Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.
SASSAS-2009-CalmanZ #interprocedural
Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.
SASSAS-2009-DohKS #parsing #static analysis #string #using
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology (KGD, HK, DAS), pp. 256–272.
SEFMSEFM-2009-Ferrara #java #named #parallel #source code #thread
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.
ICFPICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
HCIDHM-2009-ChengR #modelling
Static and Dynamic Human Shape Modeling (ZC, KMR), pp. 3–12.
HCIHCI-NIMT-2009-AlexanderAA #framework #gesture #incremental #learning #open source #realtime #recognition
An Open Source Framework for Real-Time, Incremental, Static and Dynamic Hand Gesture Learning and Recognition (TCA, HSA, GCA), pp. 123–130.
CIKMCIKM-2009-AltingovdeOU #query #web
Exploiting query views for static index pruning in web search engines (ISA, RO, ÖU), pp. 1951–1954.
CIKMCIKM-2009-ShiLMW #rank
Nonlinear static-rank computation (SS, BL, YM, JRW), pp. 807–816.
ECIRECIR-2009-AltingovdeOU09a
A Practitioner’s Guide for Static Index Pruning (ISA, RO, ÖU), pp. 675–679.
ECIRECIR-2009-ZhengC
Entropy-Based Static Index Pruning (LZ, IJC), pp. 713–718.
OOPSLAOOPSLA-2009-Abi-AntounA #analysis #architecture #consistency #runtime #using
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations (MAA, JA), pp. 321–340.
OOPSLAOOPSLA-2009-DucournauMP #assessment #empirical #implementation #inheritance #multi #object-oriented #static typing #type system
Empirical assessment of object-oriented implementations with multiple inheritance and static typing (RD, FM, JP), pp. 41–60.
OOPSLAOOPSLA-2009-FurrAF #scripting language #static typing #type system
Profile-guided static typing for dynamic scripting languages (MF, Jh(A, JSF), pp. 283–300.
PADLPADL-2009-TranNPS #consistency #declarative #performance #specification #static analysis
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.
POPLPOPL-2009-GulwaniMC #complexity #estimation #named #performance #precise
SPEED: precise and efficient static estimation of program computational complexity (SG, KKM, TMC), pp. 127–139.
POPLPOPL-2009-XuJC #contract #haskell
Static contract checking for Haskell (DNX, SLPJ, KC), pp. 41–52.
SACSAC-2009-FurrAFH #ruby #static typing #type inference
Static type inference for Ruby (MF, Jh(A, JSF, MWH), pp. 1859–1866.
SACSAC-2009-JamesC #ml #multi #static analysis
Extended static checking in JML4: benefits of multiple-prover support (PRJ, PC), pp. 609–614.
ESEC-FSEESEC-FSE-2009-KahlonSKZ #concurrent #detection #source code
Static data race detection for concurrent programs with asynchronous calls (VK, NS, EK, YZ), pp. 13–22.
ESEC-FSEESEC-FSE-2009-VangalaCT #clustering #comparison #execution #testing #using
Test case comparison and clustering using program profiles and static execution (VV, JC, PT), pp. 293–294.
ICSEICSE-2009-BuseW #execution
The road not taken: Estimating path execution frequency statically (RPLB, WW), pp. 144–154.
ICSEICSE-2009-NaikPSG #concurrent #detection #effectiveness
Effective static deadlock detection (MN, CSP, KS, DG), pp. 386–396.
CGOCGO-2009-Bronevetsky #data flow #message passing #parallel
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.
CGOCGO-2009-CordesFM #abstract interpretation #analysis #modelling #performance #precise #slicing
A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.
CGOCGO-2009-MarsH #framework #online #optimisation
Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations (JM, RH), pp. 169–179.
CAVCAV-2009-BouissouGPTV #named #source code
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.
CAVCAV-2009-JeannetM #abstract domain #library #named #static analysis
Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.
CAVCAV-2009-LahiriQR #concurrent #detection #fault #precise #smt #using
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers (SKL, SQ, ZR), pp. 509–524.
CAVCAV-2009-VerdoolaegeJB #equivalence #source code #using
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences (SV, GJ, MB), pp. 599–613.
ICSTICST-2009-HeckmanW #identification #process #static analysis
A Model Building Process for Identifying Actionable Static Analysis Alerts (SSH, LAW), pp. 161–170.
ICSTICST-2009-WedyanAB #automation #detection #effectiveness #fault #predict #refactoring #static analysis #tool support
The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction (FW, DA, JMB), pp. 141–150.
QoSAQoSA-2008-WaignierMD #analysis #architecture #specification
Architectural Specification and Static Analyses of Contractual Application Properties (GW, AFLM, LD), pp. 152–170.
ASEASE-2008-KollmannG #specification #static analysis #student
A Specification Language for Static Analysis of Student Exercises (CK, MG), pp. 355–358.
ASEASE-2008-RakamaricH #automation #axiom #static analysis #using
Automatic Inference of Frame Axioms Using Static Analysis (ZR, AJH), pp. 89–98.
DACDAC-2008-GandikotaBS #analysis #modelling #statistics
Modeling crosstalk in statistical static timing analysis (RG, DB, DS), pp. 974–979.
DACDAC-2008-ImaiSNM #analysis #framework #parametricity #statistics
Non-parametric statistical static timing analysis: an SSTA framework for arbitrary distribution (MI, TS, NN, KM), pp. 698–701.
DATEDATE-2008-ZjajoG #analysis #fault #multi
Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters (AZ, JPdG), pp. 74–79.
PODSPODS-2008-AbiteboulSV #static analysis #xml
Static analysis of active XML systems (SA, LS, VV), pp. 221–230.
ICPCICPC-2008-RohatgiHR #approach #dynamic analysis
An Approach for Mapping Features to Code Based on Static and Dynamic Analysis (AR, AHL, JR), pp. 236–241.
ICSMEICSM-2008-AntoniolHGP #cost analysis #reuse
Reuse or rewrite: Combining textual, static, and dynamic analyses to assess the cost of keeping a system up-to-date (GA, JHH, YGG, MDP), pp. 147–156.
ICSMEICSM-2008-JaszBGR #dependence
Static Execute After/Before as a replacement of traditional software dependencies (JJ, ÁB, TG, VR), pp. 137–146.
PASTEPASTE-2008-Abi-AntounA #architecture #case study #runtime
A field study in static extraction of runtime architectures (MAA, JA), pp. 22–28.
PASTEPASTE-2008-JashkiZB #impact analysis #performance #towards
Towards a more efficient static software change impact analysis method (MAJ, RZ, EB), pp. 84–90.
PASTEPASTE-2008-KhooFHS #static analysis #tool support
Path projection for user-centered static analysis tools (YPK, JSF, MH, VS), pp. 57–63.
PASTEPASTE-2008-LiuM #data flow #static analysis
Static analysis for inference of explicit information flow (YL, AM), pp. 50–56.
SCAMSCAM-2008-Anderson #industrial #static analysis
90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications (PA), pp. 3–12.
SCAMSCAM-2008-BoogerdM #analysis #data flow #on the #profiling
On the Use of Data Flow Analysis in Static Profiling (CB, LM), pp. 79–88.
SCAMSCAM-2008-PentaCA #detection #evolution #source code
The Evolution and Decay of Statically Detected Source Code Vulnerabilities (MDP, LC, LA), pp. 101–110.
PEPMPEPM-2008-EdwardsZ #concurrent #recursion
Static elaboration of recursion for concurrent software (SAE, JZ), pp. 71–80.
PEPMPEPM-2008-GillenwaterMSZTGO #hardware #static typing #using
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability (JG, GM, CS, AYZ, WT, JG, JO), pp. 41–50.
PEPMPEPM-2008-LamMLW #data flow #information management #web
Securing web applications with static and dynamic information flow tracking (MSL, MCM, VBL, JW), pp. 3–12.
PLDIPLDI-2008-HuangS
Expressive and safe static reflection with MorphJ (SSH, YS), pp. 79–89.
SASSAS-2008-Liblit #debugging #static analysis
Reflections on the Role of Static Analysis in Cooperative Bug Isolation (BL), pp. 18–31.
SASSAS-2008-RamanathanSGJ #protocol #using
Protocol Inference Using Static Path Profiles (MKR, KS, AG, SJ), pp. 78–92.
ICALPICALP-A-2008-EisenbrandR #realtime #scheduling
A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation (FE, TR), pp. 246–257.
SEFMSEFM-2008-Ferrara #parallel #source code #static analysis #thread
Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.
GT-VMTGT-VMT-2008-MaierM #algorithm #layout
A Static Layout Algorithm for DiaMeta (SM, MM).
AdaEuropeAdaEurope-2008-FecheteKB #ada #framework #program analysis #source code
A Framework for CFG-Based Static Program Analysis of Ada Programs (RF, GK, JB), pp. 130–143.
CIKMCIKM-2008-Coetzee #n-gram #named
TinyLex: static n-gram index pruning with perfect recall (DC), pp. 409–418.
ICPRICPR-2008-KimS #consistency #detection #sequence #using #video
Static text region detection in video sequences using color and orientation consistencies (DK, KS), pp. 1–4.
ICPRICPR-2008-WanYM #algorithm #segmentation
A new algorithm for static camera foreground segmentation via active coutours and GMM (CW, BY, ZM), pp. 1–4.
ICPRICPR-2008-ZhiC #image
Depth-based image mosaicing for both static and dynamic scenes (QZ, JRC), pp. 1–4.
KDDKDD-2008-TongPSYF #graph #mining #named #performance #scalability
Colibri: fast mining of large static and dynamic graphs (HT, SP, JS, PSY, CF), pp. 686–694.
SEKESEKE-2008-Shaffer #domain model #security #source code #static analysis #verification
A Security Domain Model for Static Analysis and Verification of Software Programs (ABS), pp. 673–678.
SEKESEKE-2008-TurhanB #fault #predict
Weighted Static Code Attributes for Software Defect Prediction (BT, ABB), pp. 143–148.
MODELSMoDELS-2008-WaignierSMD #component #framework #interactive #modelling
A Model-Based Framework for Statically and Dynamically Checking Component Interactions (GW, PS, AFLM, LD), pp. 371–385.
MODELSMoDELS-2008-YuFR #modelling #static analysis #uml
Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
MODELSMoDELS-2008-WaignierSMD #component #framework #interactive #modelling
A Model-Based Framework for Statically and Dynamically Checking Component Interactions (GW, PS, AFLM, LD), pp. 371–385.
MODELSMoDELS-2008-YuFR #modelling #static analysis #uml
Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.
OOPSLAOOPSLA-2008-ChernV
The impact of static-dynamic coupling on remodularization (RC, KDV), pp. 261–276.
OOPSLAOOPSLA-2008-DagenaisH #java #source code #static analysis
Enabling static analysis for partial java programs (BD, LJH), pp. 313–328.
OOPSLAOOPSLA-2008-GopinathanR #analysis #protocol #runtime
Enforcing object protocols by combining static and runtime analysis (MG, SKR), pp. 245–260.
TOOLSTOOLS-EUROPE-2008-NielsenE #composition #optimisation #static typing
Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
GPCEGPCE-2008-RosenmullerSSA #code generation #composition #product line
Code generation to support static and dynamic composition of software product lines (MR, NS, GS, SA), pp. 3–12.
LOPSTRLOPSTR-2008-LeuschelLOST #csp #specification #static analysis
The MEB and CEB Static Analysis for CSP Specifications (ML, ML, JO, JS, ST), pp. 103–118.
ICSEICSE-2008-BabicH #named #precise #scalability #static analysis
Calysto: scalable and precise extended static checking (DB, AJH), pp. 211–220.
ICSEICSE-2008-MoserPS #analysis #comparative #fault #metric #performance #predict
A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction (RM, WP, GS), pp. 181–190.
ICSEICSE-2008-RuthruffPMER #approach #predict #static analysis
Predicting accurate and actionable static analysis warnings: an experimental approach (JRR, JP, JDM, SGE, GR), pp. 341–350.
ICSEICSE-2008-WassermannS #detection #static analysis
Static detection of cross-site scripting vulnerabilities (GW, ZS), pp. 171–180.
CCCC-2008-LimR #bytecode #generative
A System for Generating Static Analyzers for Machine Instructions (JL, TWR), pp. 36–52.
PPoPPPPoPP-2008-NavabiZJ #scheduling
Quasi-static scheduling for safe futures (AN, XZ, SJ), pp. 23–32.
CAVCAV-2008-KinderV #framework #named #static analysis
Jakstab: A Static Analysis Platform for Binaries (JK, HV), pp. 423–427.
TAPTAP-2008-Ferrara #abstract interpretation #memory management #static analysis
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (PF), pp. 116–133.
WICSAWICSA-2007-KnodelP #architecture #comparison
A Comparison of Static Architecture Compliance Checking Approaches (JK, DP), p. 12.
ASEASE-2007-ArtziKGE #analysis
Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.
ASEASE-2007-DwyerP #cost analysis #dynamic analysis #static analysis #type system
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis (MBD, RP), pp. 124–133.
DACDAC-2007-ChangHK #design #performance
Endurance Enhancement of Flash-Memory Storage, Systems: An Efficient Static Wear Leveling Design (YHC, JWH, TWK), pp. 212–217.
DACDAC-2007-ChengXH #analysis #statistics
Non-Linear Statistical Static Timing Analysis for Non-Gaussian Variation Sources (LC, JX, LH), pp. 250–255.
DACDAC-2007-FengLZ #analysis #higher-order #parametricity #performance #reduction #statistics #using
Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction (ZF, PL, YZ), pp. 244–249.
DACDAC-2007-GuHY #distributed #embedded #model checking #optimisation
Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking (ZG, XH, MY), pp. 294–299.
DACDAC-2007-WiggersBS #data flow #graph #performance
Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs (MW, MB, GJMS), pp. 658–663.
DACDAC-2007-YuDFL #analysis #framework #nondeterminism #process #statistics
A Framework for Accounting for Process Model Uncertainty in Statistical Static Timing Analysis (GY, WD, ZF, PL), pp. 829–834.
DATEDATE-2007-ReshadiG #architecture #embedded #low level #programming
Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems (MR, DG), pp. 1337–1342.
DATEDATE-2007-SatishRK #approach #communication #constraints #graph #multi #optimisation #scheduling
A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors (NS, KR, KK), pp. 57–62.
DATEDATE-2007-TiwaryP #analysis #named
WAVSTAN: waveform based variational static timing analysis (SKT, JRP), pp. 1000–1005.
ESOPESOP-2007-GaubertGTZ #policy #relational #static analysis
Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.
CSMRCSMR-2007-Staiger #source code #static analysis #user interface #visual notation
Static Analysis of Programs with Graphical User Interface (SS), pp. 252–264.
ICSMEICSM-2007-BeszedesGJTGR #maintenance
Computation of Static Execute After Relation with Applications to Software Maintenance (ÁB, TG, JJ, GT, TG, VR), pp. 295–304.
PASTEPASTE-2007-AyewahPMPZ #fault #static analysis
Evaluating static analysis defect warnings on production software (NA, WP, JDM, JP, YZ), pp. 1–8.
PASTEPASTE-2007-Brown #analysis #composition #integration #named
AWE: improving software analysis through modular integration of static and dynamic analyses (REB), pp. 69–74.
PASTEPASTE-2007-FosterHP #quality #static analysis
Improving software quality with static analysis (JSF, MWH, WP), pp. 83–84.
SCAMSCAM-2007-SawinR #java
Improved Static Resolution of Dynamic Class Loading in Java (JS, AR), pp. 143–154.
WCREWCRE-2007-SartipiD #architecture #component #framework #interactive #re-engineering
An Amalgamated Dynamic and Static Architecture Reconstruction Framework to Control Component Interactions 259 (KS, ND), pp. 259–268.
WCREWCRE-2007-Staiger #analysis #reverse engineering #user interface #using #visual notation
Reverse Engineering of Graphical User Interfaces Using Static Analyses (SS), pp. 189–198.
WCREWCRE-2007-StaigerVKW #interprocedural
Interprocedural Static Single Assignment Form (SS, GV, SK, EW), pp. 1–10.
PEPMPEPM-2007-BurchettCK #functional #named #optimisation
Lowering: a static optimization technique for transparent functional reactivity (KB, GHC, SK), pp. 71–80.
PLDIPLDI-2007-DilligDA #consistency #detection #fault #nondeterminism #semantics #using
Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.
PLDIPLDI-2007-GenevesLS #performance #static analysis #xml
Efficient static analysis of XML paths and types (PG, NL, AS), pp. 342–351.
PLDIPLDI-2007-RamanathanGJ #mining #specification #using
Static specification inference using predicate mining (MKR, AG, SJ), pp. 123–134.
SASSAS-2007-BauerW #abstraction #communication #static analysis
Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.
SASSAS-2007-GopanR #static analysis
Guided Static Analysis (DG, TWR), pp. 349–365.
ICALPICALP-2007-KiayiasZ #adaptation #composition #security
Trading Static for Adaptive Security in Universally Composable Zero-Knowledge (AK, HSZ), pp. 316–327.
IFMIFM-2007-PostK #linux #static analysis #verification
Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.
HCIHCI-IDU-2007-DavidCDM #collaboration #mobile #named #process
ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns (BTD, RC, OD, GM), pp. 1082–1091.
HCIHCI-IPT-2007-ChoeKLA #adaptation #comparison
Experimental Comparison of Adaptive vs. Static Thumbnail Displays (PC, CK, MRL, JPA), pp. 41–48.
HCIHCI-MIE-2007-ReifingerWAPR #artificial reality #recognition
Static and Dynamic Hand-Gesture Recognition for Augmented Reality Applications (SR, FW, MA, TP, GR), pp. 728–737.
AdaEuropeAdaEurope-2007-BliebergerBM #ada #detection #multi #source code #static analysis
Static Detection of Livelocks in Ada Multitasking Programs (JB, BB, RM), pp. 69–83.
AdaSIGAda-2007-Black #static analysis
Static analysis summit II (PEB), pp. 101–107.
AdaSIGAda-2007-Dewar #compilation #static analysis
The compiler as a static analysis tool (RBKD), pp. 83–88.
ECIRECIR-2007-BlancoB
Static Pruning of Terms in Inverted Files (RB, AB), pp. 64–75.
SEKESEKE-2007-ShiN #component #java #named #security #static analysis
SAFES: A Static Analysis for Field Security in Java Components (AS, GN), pp. 302–307.
SIGIRSIGIR-2007-BlancoB
Boosting static pruning of inverted files (RB, AB), pp. 777–778.
ECOOPECOOP-2007-BoddenHL #monitoring #performance #program analysis #runtime #staged
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring (EB, LJH, OL), pp. 525–549.
OOPSLAOOPSLA-2007-ElkarabliehKVM #named #performance #static analysis
Starc: static analysis for efficient repair of complex data (BE, SK, DV, KSM), pp. 387–404.
PPDPPPDP-2007-Sagonas #detection #erlang #fault #source code #static analysis #using
Detecting defects in Erlang programs using static analysis (KFS), p. 37.
PADLPADL-2007-EichbergKSMO #analysis #automation #prolog
Automatic Incrementalization of Prolog Based Static Analyses (ME, MK, DS, MM, KO), pp. 109–123.
PADLPADL-2007-MeraLPCH #execution #profiling #static analysis
Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
POPLPOPL-2007-AvgustinovHOMSTV #aspectj #semantics
Semantics of static pointcuts in aspectJ (PA, EH, NO, OdM, DS, JT, MV), pp. 11–23.
POPLPOPL-2007-NaikA #alias #concurrent #detection
Conditional must not aliasing for static race detection (MN, AA), pp. 327–338.
POPLPOPL-2007-WiedermannC #persistent #query #static analysis
Extracting queries by static analysis of transparent persistence (BW, WRC), pp. 199–210.
SACSAC-2007-BrunauerLMMP #evolution
Evolution of iterated prisoner’s dilemma strategies with different history lengths in static and cultural environments (RB, AL, HAM, GM, HP), pp. 720–727.
ESEC-FSEESEC-FSE-2007-SherriffHLW #identification #static analysis #using
Using groupings of static analysis alerts to identify files likely to contain field failures (MS, SSH, JML, LAW), pp. 565–568.
ESEC-FSEESEC-FSE-2007-VoungJL #concurrent #detection #named
RELAY: static race detection on millions of lines of code (JWV, RJ, SL), pp. 205–214.
ICSEICSE-2007-ChalabineK #aspect-oriented #automation #framework #re-engineering #weaving
A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations (MC, CWK), pp. 137–146.
ICSEICSE-2007-PistoiaFFY #enterprise #modelling #policy #security #validation
When Role Models Have Flaws: Static Validation of Enterprise Security Policies (MP, SJF, RJF, EY), pp. 478–488.
SPLCSPLC-2007-SchirmeierS #analysis #framework #product line
Tailoring Infrastructure Software Product Lines by Static Application Analysis (HS, OS), pp. 255–260.
CCCC-2007-JeonSH #data access #layout #using
Layout Transformations for Heap Objects Using Static Access Patterns (JJ, KS, HH), pp. 187–201.
CADECADE-2007-TiwariG #logic #program analysis #proving #theorem proving #using
Logical Interpretation: Static Program Analysis Using Theorem Proving (AT, SG), pp. 147–166.
CAVCAV-2007-KahlonYSG #concurrent #detection #performance #source code
Fast and Accurate Static Data-Race Detection for Concurrent Programs (VK, YY, SS, AG), pp. 226–239.
ICLPICLP-2007-PhanJ #analysis
Static Region Analysis for Mercury (QP, GJ), pp. 317–332.
ISSTAISSTA-2007-ShohamYFP #abstraction #mining #specification #using
Static specification mining using automata-based abstractions (SS, EY, SF, MP), pp. 174–184.
LICSLICS-2007-Pottier
Static Name Control for FreshML (FP), pp. 356–365.
RTARTA-2007-BoichutGJR #approximate #performance #prototype
Rewriting Approximations for Fast Prototyping of Static Analyzers (YB, TG, TPJ, LLR), pp. 48–62.
TAPTAP-2007-SmaragdakisC #debugging #detection #reasoning
Combining Static and Dynamic Reasoning for Bug Detection (YS, CC), pp. 1–16.
VMCAIVMCAI-2007-Logozzo #abstract interpretation #analysis #composition #java #named #verification
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (FL), pp. 283–298.
ASEASE-2006-AcharyaSXX #effectiveness #generative #interface #robust #static analysis
Effective Generation of Interface Robustness Properties for Static Analysis (MA, TS, JX, TX), pp. 293–296.
ASEASE-2006-EichbergMKOR #analysis #scheduling #set
Integrating and Scheduling an Open Set of Static Analyses (ME, MM, SK, KO, BR), pp. 113–122.
DACDAC-2006-LeeWA #analysis #statistics
Refined statistical static timing analysis through (BNL, LCW, MSA), pp. 149–154.
DATEDATE-2006-BensoBCNP #automation #fault #testing
Automatic march tests generations for static linked faults in SRAMs (AB, AB, SDC, GDN, PP), pp. 1258–1263.
DATEDATE-2006-RaoCBS #algorithm #fault #performance
An efficient static algorithm for computing the soft error rates of combinational circuits (RRR, KC, DB, DS), pp. 164–169.
FoSSaCSFoSSaCS-2006-AbadiBW #equivalence
Guessing Attacks and the Computational Soundness of Static Equivalence (MA, MB, BW), pp. 398–412.
TACASTACAS-2006-SiminiceanuC #diagrams #metric
New Metrics for Static Variable Ordering in Decision Diagrams (RS, GC), pp. 90–104.
CSMRCSMR-2006-KnodelMNL #architecture #evaluation
Static Evaluation of Software Architectures (JK, DM, MN, ML), pp. 279–294.
ICPCICPC-2006-SartipiYS #interactive #named #tool support
Alborz: An Interactive Toolkit to Extract Static and Dynamic Views of a Software System (KS, LY, HS), pp. 256–259.
SCAMSCAM-2006-BinkleyHK #animation #approximate #static analysis
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.
SCAMSCAM-2006-BoogerdM #profiling #using
Prioritizing Software Inspection Results using Static Profiling (CB, LM), pp. 149–160.
PLDIPLDI-2006-GuyerMF #automation #named #static analysis
Free-Me: a static analysis for automatic individual object reclamation (SZG, KSM, DF), pp. 364–375.
PLDIPLDI-2006-NaikAW #concurrent #detection #effectiveness #java
Effective static race detection for Java (MN, AA, JW), pp. 308–319.
SASSAS-2006-AllamigeonGH #c #embedded #source code #static analysis #string
Static Analysis of String Manipulations in Critical Embedded C Programs (XA, WG, CH), pp. 35–51.
SASSAS-2006-Das #power of #static analysis
Unleashing the Power of Static Analysis (MD), pp. 1–2.
SASSAS-2006-GoubaultP #algorithm #static analysis
Static Analysis of Numerical Algorithms (EG, SP), pp. 18–34.
SASSAS-2006-KirkegaardM #java #static analysis
Static Analysis for Java Servlets and JSP (CK, AM), pp. 336–352.
SASSAS-2006-SankaranarayananISG #static analysis
Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.
ICALPICALP-v1-2006-KojevnikovI #bound #calculus #proving
Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies (AK, DI), pp. 323–334.
FMFM-2006-AiguierBG #interactive #specification #static analysis
Feature Specification and Static Analysis for Interaction Resolution (MA, KB, PLG), pp. 364–379.
SEFMSEFM-2006-BelblidiaD #aspectj #formal method #weaving
Formalizing AspectJ Weaving for Static Pointcuts (NB, MD), pp. 50–59.
SEFMSEFM-2006-Khedker #perspective #source code #static analysis
Static Analysis of Programs: A Heap Centric View (UPK), p. 261.
ICFPICFP-2006-FisherS #static analysis #syntax
Static analysis for syntax objects (DF, OS), pp. 111–121.
ICFPICFP-2006-WalkerMLRA #static typing #type system #λ-calculus
Static typing for a faulty λ calculus (DW, LWM, JL, GAR, DIA), pp. 38–49.
AdaEuropeAdaEurope-2006-BreuerP #fault #kernel #linux #source code #static analysis
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (PTB, SP), pp. 56–70.
AdaEuropeAdaEurope-2006-BurgstallerBM #ada #detection #static analysis
Static Detection of Access Anomalies in Ada95 (BB, JB, RM), pp. 40–55.
CIKMCIKM-2006-ButtcherC #approach #retrieval
A document-centric approach to static index pruning in text retrieval systems (SB, CLAC), pp. 182–189.
ICPRICPR-v1-2006-DawoodBLJS #multi
Transforming Static CT in Gated PET/CT Studies to Multiple Respiratory Phases (MD, FB, NL, XJ, KPS), pp. 1026–1029.
ICPRICPR-v3-2006-LamL #identification #using
Human Identification by Using the Motion and Static Characteristic of Gait (THWL, RSTL), pp. 996–999.
ICPRICPR-v4-2006-SunYMW #energy #segmentation
Better Foreground Segmentation for Static Cameras via New Energy Form and Dynamic Graph-cut (YS, BY, ZM, CW), pp. 49–52.
OOPSLAOOPSLA-2006-WarthSM #adaptation
Statically scoped object adaptation with expanders (AW, MS, TDM), pp. 37–56.
GPCEGPCE-2006-KaminAK #analysis #generative #staging
Staging static analyses for program generation (SK, BA, MK), pp. 1–10.
PPDPPPDP-2006-MatsunoO #type system
A type system equivalent to static single assignment (YM, AO), pp. 249–260.
QAPLQAPL-2006-SotinCJ #behaviour #java #static analysis
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.
SACSAC-2006-Capron #bound #static analysis
Static analysis of time bounded reactive properties of Boolean symbols (GC), pp. 1827–1834.
ICSEICSE-2006-HeineL #detection #polymorphism #static analysis
Static detection of leaks in polymorphic containers (DLH, MSL), pp. 252–261.
ICSEICSE-2006-ManoliosV #proving #static analysis #termination #theorem proving
Integrating static analysis and general-purpose theorem proving for termination analysis (PM, DV), pp. 873–876.
CAVCAV-2006-JainIGSW #abstraction #invariant #refinement #using
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.
ICLPICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.
ICLPICLP-2006-Phan #logic programming #memory management #programming language
Static Memory Management for Logic Programming Languages (QP), pp. 465–466.
WICSAWICSA-2005-KnodelLM #architecture #evaluation #summary
Static Evaluation of Software Architectures — A Short Summary (JK, ML, DM), pp. 237–238.
DACDAC-2005-AgarwalCBZ #analysis #optimisation #statistics #using
Circuit optimization using statistical static timing analysis (AA, KC, DB, VZ), pp. 321–324.
DACDAC-2005-AminMKDCHI #analysis #how #question #statistics
Statistical static timing analysis: how simple can we get? (CSA, NM, KK, FD, UC, NH, YII), pp. 652–657.
DACDAC-2005-CortesEP #energy #realtime
Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy c-onstraints (LAC, PE, ZP), pp. 889–894.
DATEDATE-2005-AbdiG #functional #scheduling #validation
Functional Validation of System Level Static Scheduling (SA, DDG), pp. 542–547.
DATEDATE-2005-AndreiSEPH #constraints #energy #scalability
Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints (AA, MTS, PE, ZP, BMAH), pp. 514–519.
DATEDATE-2005-ForzanP #analysis #behaviour #library #modelling
Modeling the Non-Linear Behavior of Library Cells for an Accurate Static Noise Analysis (CF, DP), pp. 982–983.
DATEDATE-2005-NazarianPTLA #analysis #modelling
Modeling and Propagation of Noisy Waveforms in Static Timing Analysis (SN, MP, ET, TL, AHA), pp. 776–777.
DATEDATE-2005-SharifiJHAN #reduction
Simultaneous Reduction of Dynamic and Static Power in Scan Structures (SS, JJ, MH, AAK, ZN), pp. 846–851.
DocEngDocEng-2005-ManakaS #lazy evaluation #optimisation #parsing #xml
Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing (KM, HS), pp. 55–57.
ICDARICDAR-2005-NelPH #markov #modelling #multi #using
Estimating the Pen Trajectories of Multi-Path Static Scripts Using Hidden Markov Models (EMN, JAdP, BMH), pp. 41–47.
ESOPESOP-2005-ChanderEILN #bound #dynamic analysis #verification
Enforcing Resource Bounds via Static Verification of Dynamic Checks (AC, DE, NI, PL, GCN), pp. 311–325.
ESOPESOP-2005-MauborgneR #abstract interpretation #clustering
Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.
CSMRCSMR-2005-BodhuinT #impact analysis
A Tool for Static and Dynamic Model Extraction and Impact Analysis (TB, MT), p. 193.
ICSMEICSM-2005-SharpR #java #static analysis
Static Analysis of Object References in RMI-Based Java Software (MS, AR), pp. 101–110.
IWPCIWPC-2005-MarcusRBPS #concept #object-oriented
Static Techniques for Concept Location in Object-Oriented Code (AM, VR, JB, MP, AS), pp. 33–42.
PASTEPASTE-2005-HovemeyerSP #debugging #null #pointer #static analysis
Evaluating and tuning a static analysis to find null pointer bugs (DH, JS, WP), pp. 13–19.
PASTEPASTE-2005-PrivatD #compilation #object-oriented #performance #static analysis
Link-time static analysis for efficient separate compilation of object-oriented languages (JP, RD), pp. 20–27.
PASTEPASTE-2005-RountevVR #analysis #control flow #diagrams #reverse engineering #sequence chart #uml
Static control-flow analysis for reverse engineering of UML sequence diagrams (AR, OV, MR), pp. 96–102.
SCAMSCAM-2005-Breu #mining
Extending Dynamic Aspect Mining with Static Information (SB), pp. 57–65.
SCAMSCAM-2005-ShiN #component #java #static analysis
Static Analysis for Computing Escapability and Mutability for Java Components (AS, GN), pp. 119–128.
SASSAS-2005-Abramsky #algorithm #game studies #semantics #static analysis
Algorithmic Game Semantics and Static Analysis (SA), p. 1.
STOCSTOC-2005-GafniGP #adaptation #bound #complexity #set
From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement (EG, RG, BP), pp. 714–722.
FMFM-2005-LeinoM #composition #invariant #verification
Modular Verification of Static Class Invariants (KRML, PM), pp. 26–42.
SEFMSEFM-2005-WandelerJLT #automaton #interface #modelling #static analysis
Counting Interface Automata and their Application in Static Analysis of Actor Models (EW, JWJ, EAL, LT), pp. 106–116.
IFLIFL-2005-BradyH #execution #framework #static analysis
A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.
VISSOFTVISSOFT-2005-ClearyGEB #eclipse #plugin #static analysis #visualisation
A Combined Software Reconnaissance & Static Analysis Eclipse Visualisation Plug-in (BC, ALG, CE, JB), pp. 121–122.
VISSOFTVISSOFT-2005-XiePM #3d #concept
Support for Static Concept Location with sv3D (XX, DP, AM), pp. 102–107.
CIKMCIKM-2005-BotevEFLS
Static score bucketing in inverted indexes (CB, NE, MF, NL, EJS), pp. 311–312.
ECOOPECOOP-2005-WilliamsTE #concurrent #detection #java #library
Static Deadlock Detection for Java Libraries (AW, WT, MDE), pp. 602–629.
GPCEGPCE-2005-HuangZS #generative #static typing
Statically Safe Program Generation with SafeGen (SSH, DZ, YS), pp. 309–326.
LOPSTRLOPSTR-2005-PasarellaOPN #embedded #logic programming #semantics #source code
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (EP, FO, EP, MN), pp. 133–146.
ICSEICSE-2005-CookR #execution #query #static typing
Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.
ICSEICSE-2005-CsallnerS #static analysis #testing
Check’n’crash: combining static checking and testing (CC, YS), pp. 422–431.
ICSEICSE-2005-NagappanB05a #fault #static analysis #tool support
Static analysis tools as early indicators of pre-release defect density (NN, TB), pp. 580–586.
COCVCOCV-J-2005-GalPF05a #encoding
Structural Encoding of Static Single Assignment Form (AG, CWP, MF), pp. 85–102.
LCTESLCTES-2005-MannDLC #garbage collection #realtime
Static determination of allocation rates to support real-time garbage collection (TM, MD, RL, RC), pp. 193–202.
LCTESLCTES-2005-SassoneWL #dependence #embedded #performance
Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.
PPoPPPPoPP-2005-WangS #source code #static analysis
Static analysis of atomicity for programs with non-blocking synchronization (LW, SDS), pp. 61–71.
CAVCAV-2005-CostanGGMP #algorithm #fixpoint #policy #source code #static analysis
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs (AC, SG, EG, MM, SP), pp. 462–475.
VMCAIVMCAI-2005-Bertrane #abstract interpretation #composition #source code #static analysis
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs (JB), pp. 97–112.
DACDAC-2004-KanjLAR
Noise characterization of static CMOS gates (RK, TL, BA, ER), pp. 888–893.
DACDAC-2004-LeeZB #analysis #using
Static timing analysis using backward signal propagation (DL, VZ, DB), pp. 664–669.
DATEDATE-v1-2004-DimopoulosL #performance #sequence #set #testing
Efficient Static Compaction of Test Sequence Sets through the Application of Set Covering Techniques (MGD, PL), pp. 194–201.
DATEDATE-v1-2004-ZhangYV
Low Static-Power Frequent-Value Data Caches (CZ, JY, FV), pp. 214–219.
DATEDATE-v2-2004-CortesEP #realtime #scheduling
Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks (LAC, PE, ZP), pp. 1176–1183.
DATEDATE-2005-Hillman04 #power management #reduction #using
Using Mobilize Power Management IP for Dynamic & Static Power Reduction in SoC at 130 nm (DH), pp. 240–246.
SIGMODSIGMOD-2004-AyadN #infinity #optimisation #query
Static Optimization of Conjunctive Queries with Sliding Windows Over Infinite Streams (AA, JFN), pp. 419–430.
ESOPESOP-2004-Feret #static analysis
Static Analysis of Digital Filters (JF), pp. 33–48.
FASEFASE-2004-GhezziMP #static analysis #type system
Enhancing Remote Method Invocation through Type-Based Static Analysis (CG, VM, GPP), pp. 339–353.
IWPCIWPC-2004-Kelsen #behaviour #comprehension #source code
A Simple Static Model for Understanding the Dynamic Behavior of Programs (PK), pp. 46–51.
IWPCIWPC-2004-Torchiano #assessment #diagrams #empirical #uml
Empirical Assessment of UML Static Object Diagrams (MT), pp. 226–230.
PASTEPASTE-2004-Ernst #dynamic analysis
Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.
PASTEPASTE-2004-Martel #assembly #source code #validation
Validation of assembler programs for DSPs: a static analyzer (MM), pp. 8–13.
PASTEPASTE-2004-RountevKG #static analysis
Evaluating the imprecision of static analysis (AR, SK, MG), pp. 14–16.
WCREWCRE-2004-Harrold #analysis #control flow #source code
Static and Dynamic Analyses of Programs with Implicit Control Flow (MJH), p. 5.
WCREWCRE-2004-ParkKWY #analysis #behaviour #design pattern
A Static Reference Flow Analysis to Understand Design Pattern Behavior (CP, YK, CW, KY), pp. 300–301.
PLDIPLDI-2004-VenetB #array #bound #c #embedded #performance #precise #scalability #source code
Precise and efficient static array bound checking for large embedded C programs (AV, GPB), pp. 231–242.
SASSAS-2004-HymansU #data flow #dependence #graph #static analysis
Static Analysis of Gated Data Dependence Graphs (CH, EU), pp. 197–211.
IFMIFM-2004-BallCLR #formal method #verification
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (TB, BC, VL, SKR), pp. 1–20.
ICFPICFP-2004-HermanM #embedded #partial evaluation #static analysis
Improving the static analysis of embedded languages via partial evaluation (DH, PM), pp. 16–27.
CHICHI-2004-FindlaterM #adaptation #comparison
A comparison of static, adaptive, and adaptable menus (LF, JM), pp. 89–96.
AdaEuropeAdaEurope-2004-BreuerG #concurrent #detection #kernel #linux
Static Deadlock Detection in the Linux Kernel (PTB, MGV), pp. 52–64.
ICEISICEIS-v4-2004-LimaEMFC #data mining #information management #mining #web
Archcollect Front-End: A Web Usage Data Mining Knowledge Acquisition Mechanism Focused on Static or Dynamic Contenting Applications (JdCL, AAAE, JGdM, BF, TGdSC), pp. 258–262.
ICPRICPR-v1-2004-LoogG #detection #probability
Static Posterior Probability Fusion for Signal Detection: Applications in the Detection of Interstitial Diseases in Chest Radiographs (ML, BvG), pp. 644–647.
ICPRICPR-v2-2004-YaoZ #detection
Systematic Static Shadow Detection (JY, Z(Z), pp. 76–79.
OOPSLAOOPSLA-2004-GuyerM #static analysis
Finding your cronies: static analysis for dynamic object colocation (SZG, KSM), pp. 237–250.
POPLPOPL-2004-Benton #analysis #correctness #program transformation #proving #relational
Simple relational correctness proofs for static analyses and program transformations (NB), pp. 14–25.
FSEFSE-2004-ManevichSA #named #static analysis
PSE: explaining program failures via postmortem static analysis (RM, MS, SA, MD, ZY), pp. 63–72.
FSEFSE-2004-ZitserLL #open source #source code #static analysis #testing #tool support #using
Testing static analysis tools using exploitable buffer overflows from open source code (MZ, RL, TL), pp. 97–106.
ICSEICSE-2004-GouldSD #database #query #static analysis
Static Checking of Dynamically Generated Queries in Database Applications (CG, ZS, PTD), pp. 645–654.
ICSEICSE-2004-GouldSD04a #sql #static analysis
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications (CG, ZS, PTD), pp. 697–698.
ICSEICSE-2004-ZhaoZLSY #approach #feature model #named #towards
SNIAFL: Towards a Static Non-Interactive Approach to Feature Location (WZ, LZ, YL, JS, FY), pp. 293–303.
ASPLOSASPLOS-2004-RegehrR #automation #embedded #named
HOIST: a system for automatically deriving static analyzers for embedded systems (JR, AR), pp. 133–143.
CGOCGO-2004-PanaitSW #identification
Static Identification of Delinquent Loads (VMP, AS, WFW), pp. 303–314.
LCTESLCTES-2004-PatilSM #composition #simulation
Compositional static instruction cache simulation (KP, KS, FM), pp. 136–145.
CAVCAV-2004-RepsSW #logic #program analysis
Static Program Analysis via 3-Valued Logic (TWR, SS, RW), pp. 15–30.
VMCAIVMCAI-2004-EnglerM #debugging #model checking #static analysis
Static Analysis versus Software Model Checking for Bug Finding (DRE, MM), pp. 191–210.
ASEASE-2003-AhmadAGK #detection #fault #spreadsheet #type system
A Type System for Statically Detecting Spreadsheet Errors (YA, TA, SG, SK), pp. 174–183.
DACDAC-2003-AgostaBS #modelling #static analysis #transaction
Static analysis of transaction-level models (GA, FB, DS), pp. 448–453.
DACDAC-2003-FangRPC #modelling #performance #static analysis #towards
Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling (CFF, RAR, MP, TC), pp. 496–501.
DACDAC-2003-KouroussisN #grid #independence #power management #verification
A static pattern-independent technique for power grid voltage integrity verification (DK, FNN), pp. 99–104.
DACDAC-2003-LeeB #reduction
Static leakage reduction through simultaneous threshold voltage and state assignment (DL, DB), pp. 191–194.
DACDAC-2003-TsengK #analysis
Static noise analysis with noise windows (KT, VK), pp. 864–868.
DATEDATE-2003-LomenaLWK #approach #explosion #performance #scheduling
An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling (AGL, MLLV, YW, AK), pp. 10428–10435.
DATEDATE-2003-WangZ #analysis #polynomial
Transistor-Level Static Timing Analysis by Piecewise Quadratic Waveform Matching (ZW, JZ), pp. 11026–11031.
ICDARICDAR-2003-LauYT #image #sequence #using
Recovery of Writing Sequence of Static Images of Handwriting using UWM (KKL, PCY, YYT), pp. 1123–1127.
ESOPESOP-2003-Leroy #perspective #programming language #security #static analysis
Computer Security from a Programming Language and Static Analysis Perspective (XL), pp. 1–9.
ESOPESOP-2003-RepsSL #difference #finite #logic #static analysis
Finite Differencing of Logical Formulas for Static Analysis (TWR, SS, AL), pp. 380–398.
FASEFASE-2003-Young #static analysis #testing
Symbiosis of Static Analysis and Program Testing (MY), pp. 1–5.
TACASTACAS-2003-BehrmannBFL #analysis #automaton #verification
Static Guard Analysis in Timed Automata Verification (GB, PB, EF, KGL), pp. 254–277.
ICSMEICSM-2003-AntoniolP #information management #library #using
Library Miniaturization Using Static and Dynamic Information (GA, MDP), p. 235–?.
ICSMEICSM-2003-BinkleyH #context-sensitive grammar #empirical #scalability #slicing
A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity (DB, MH), pp. 44–53.
IWPCIWPC-2003-RiccaT #clustering #migration #using #web
Using Clustering to Support the Migration from Static to Dynamic Web Pages (FR, PT), pp. 207–216.
SCAMSCAM-2003-KissJLG #bytecode #interprocedural #slicing
Interprocedural Static Slicing of Binary Executables (ÁK, JJ, GL, TG), p. 118–?.
SCAMSCAM-2003-KulkarniR #slicing #source code
Static Slicing of Reactive Programs (ARK, SR), pp. 98–107.
SCAMSCAM-2003-Martel #clustering #static analysis
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques (MM), pp. 13–21.
SCAMSCAM-2003-OlmosV #compilation #dynamic typing #static typing #type system
Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave (KO, EV), pp. 141–150.
PLDIPLDI-2003-BlanchetCCFMMMR #safety #scalability
A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.
PLDIPLDI-2003-DorRS #c #detection #named #towards
CSSV: towards a realistic tool for statically detecting all buffer overflows in C (ND, MR, SS), pp. 155–167.
PLDIPLDI-2003-JoishaB #array #matlab #optimisation
Static array storage optimization in MATLAB (PGJ, PB), pp. 258–268.
PLDIPLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code #thread
Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.
SASSAS-2003-ChongR #data type #recursion #static analysis
Static Analysis of Accessed Regions in Recursive Data Structures (SC, RR), pp. 463–482.
SASSAS-2003-KremenekE #approximate #named #static analysis #statistics #using
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations (TK, DRE), pp. 295–315.
ICFPICFP-2003-HiguchiO #data access #static typing #type system #virtual machine
A static type system for JVM access control (TH, AO), pp. 227–237.
AdaSIGAda-2003-AmeyC #programming #verification
Static verification and extreme programming (PA, RC), pp. 4–9.
PPDPPPDP-2003-EchahedPS #concurrent #process
Statically assuring secrecy for dynamic concurrent processes (RE, FP, WS), pp. 91–101.
POPLPOPL-2003-BouajjaniET #approach #concurrent #source code #static analysis
A generic approach to the static analysis of concurrent programs with procedures (AB, JE, TT), pp. 62–73.
POPLPOPL-2003-GheorghioiuSR #analysis #interprocedural
Interprocedural compatibility analysis for static object preallocation (OG, AS, MCR), pp. 273–284.
POPLPOPL-2003-HofmannJ #first-order #functional #predict #source code
Static prediction of heap space usage for first-order functional programs (MH, SJ), pp. 185–197.
SOSPSOSP-2003-EnglerA #detection #effectiveness #named #static analysis
RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.
VMCAIVMCAI-2003-CatanoH #ml #named #static analysis
CHASE: A Static Checker for JML’s Assignable Clause (NC, MH), pp. 26–40.
VMCAIVMCAI-2003-Masse #abstract interpretation #static analysis
Property Checking Driven Abstract Interpretation-Based Static Analysis (DM), pp. 56–69.
DATEDATE-2002-ArrigoniDPLW #scheduling
False Path Elimination in Quasi-Static Scheduling (GA, LD, CP, LL, YW), pp. 964–970.
DATEDATE-2002-ZhaoMB #compilation #design #modelling #set #using
Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models (QZ, BM, TB), pp. 1021–1026.
CSMRCSMR-2002-RivaR #architecture #re-engineering
Combining Static and Dynamic Views for Architecture Reconstruction (CR, JVR), p. 47–?.
ICSMEICSM-2002-TonellaP #analysis #c++ #diagrams
Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram (PT, AP), pp. 54–63.
PASTEPASTE-2002-ChelfEH #how #static analysis
How to write system-specific, static checkers in metal (BC, DRE, SH), pp. 51–60.
PASTEPASTE-2002-Eng #visualisation
Combining static and dynamic data in code visualization (DE), pp. 43–50.
SCAMSCAM-2002-ChangJH #exception #java #static analysis #using #visualisation
Visualization of Exception Propagation for Java Using Static Analysis (BMC, JWJ, SHH), p. 173–?.
WCREWCRE-2002-EisenbarthKV
Static Trace Extraction (TE, RK, GV), p. 128–?.
WCREWCRE-2002-KollmanSSSZ #case study #reverse engineering #state of the art #uml
A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering (RK, PS, ES, TS, AZ), p. 22–?.
WCREWCRE-2002-TanT #fault #program analysis #transaction #verification
Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.
PLDIPLDI-2002-BurtscherDH #classification #predict
Static Load Classification for Improving the Value Predictability of Data-Cache Misses (MB, AD, MH), pp. 222–233.
PLDIPLDI-2002-FlanaganLLNSS #java #static analysis
Extended Static Checking for Java (CF, KRML, ML, GN, JBS, RS), pp. 234–245.
PLDIPLDI-2002-HallemCXE #analysis
A System and Language for Building System-Specific, Static Analyses (SH, BC, YX, DRE), pp. 69–82.
SASSAS-2002-Esparza #algebra #approach #concurrent #static analysis
An Algebraic Approach to the Static Analysis of Concurrent Software (JE), p. 3.
SASSAS-2002-ManevichRFGS #first-order #representation #static analysis
Compactly Representing First-Order Structures for Static Analysis (RM, GR, JF, DG, SS), pp. 196–212.
SASSAS-2002-Martel #static analysis
Static Analysis of the Numerical Stability of Loops (MM), pp. 133–150.
SASSAS-2002-Masse #abstract interpretation #semantics
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties (DM), pp. 428–443.
SASSAS-2002-Reps #logic #program analysis
Static Program Analysis via 3-Valued Logic (TWR), p. 1.
ICALPICALP-2002-GrigorievHP #algebra #bound #exponential #proving
Exponential Lower Bound for Static Semi-algebraic Proofs (DG, EAH, DVP), pp. 257–268.
FMFME-2002-CatanoH #java #specification #static analysis #using
Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
VISSOFTVISSOFT-2002-RillingSB #analysis #complexity #concept #source code #visualisation
The CONCEPT Project — Applying Source Code Analysis to Reduce Information Complexity of Static and Dynamic Visualization Techniques (JR, AS, CB), p. 90.
AdaEuropeAdaEurope-2002-ChenBZY #ada #analysis #concurrent #dependence #source code
Static Dependency Analysis for Concurrent Ada 95 Programs (ZC, BX, JZ, HY), pp. 219–230.
ICPRICPR-v1-2002-YuanL #modelling
Simulated Static Electric Field (SSEF) Snake for Deformable Models (DY, SL), pp. 83–86.
ICPRICPR-v3-2002-SandersNS #formal method
A Theory of the Quasi-Static World (BCSS, RCN, RS), pp. 1–6.
OOPSLAOOPSLA-2002-ZeeR #static analysis
Write barrier removal by static analysis (KZ, MCR), pp. 191–210.
POPLPOPL-2002-BallR #debugging #static analysis
The SLAM project: debugging system software via static analysis (TB, SKR), pp. 1–3.
FSEFSE-2002-NimmerE #invariant #static analysis
Invariant inference for static checking (JWN, MDE), pp. 11–20.
ICSEICSE-2002-EideRRL #design pattern
Static and dynamic structure in design patterns (EE, AR, JR, JL), pp. 208–218.
ICSEICSE-2002-HausmannHT #approach #case study #detection #functional #graph transformation #requirements #static analysis
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
ASPLOSASPLOS-2002-AshokCM #energy #memory management #named #performance
Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency (RA, SC, CAM), pp. 133–143.
CCCC-2002-CousotC #composition #program analysis
Modular Static Program Analysis (PC, RC), pp. 159–178.
CCCC-2002-RelePOG #functional #optimisation
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors (SR, SP, , RG), pp. 261–275.
LCTESLCTES-SCOPES-2002-Barthelmann #operating system
Inter-task register-allocation for static operating systems (VB), pp. 149–154.
ISSTAISSTA-2002-LiangPH #analysis #precise #profiling #using
Evaluating the precision of static reference analysis using profiling (DL, MP, MJH), pp. 22–32.
RTARTA-2002-KennawayKP #composition #static analysis #λ-calculus
Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.
VMCAIVMCAI-2002-MurawskiY #analysis
Static Monotonicity Analysis for lambda-definable Functions over Lattices (ASM, KY), pp. 139–153.
ASEASE-2001-BratV #model checking #static analysis
Combining Static Analysis and Model Checking for Software Analysis (GPB, WV), p. 262–?.
ASEASE-2001-NentwichEF #consistency #distributed #specification
Static Consistency Checking for Distributed Specifications (CN, WE, AF), p. 115–?.
DACDAC-2001-ArunachalamBP #analysis #interactive
False Coupling Interactions in Static Timing Analysis (RA, RDB, LTP), pp. 726–731.
DACDAC-2001-BaiBH #analysis #power management
Static Timing Analysis Including Power Supply Noise Effect on Propagation Delay in VLSI Circuits (GB, SB, INH), pp. 295–300.
DACDAC-2001-GizdarskiF #complexity #framework #learning
A Framework for Low Complexity Static Learning (EG, HF), pp. 546–549.
DACDAC-2001-KimCL #estimation #logic
A Static Estimation Technique of Power Sensitivity in Logic Circuits (TK, KSC, CLL), pp. 215–219.
DACDAC-2001-KudlugiST #functional #multi #scheduling #verification
Static Scheduling of Multiple Asynchronous Domains For Functional Verification (MK, CS, RT), pp. 647–652.
DACDAC-2001-LuoJ #distributed #embedded #realtime #scheduling
Battery-Aware Static Scheduling for Distributed Real-Time Embedded Systems (JL, NKJ), pp. 444–449.
DACDAC-2001-ShinKL #analysis #energy #scheduling #using
Low-Energy Intra-Task Voltage Scheduling Using Static Timing Analysis (DS, JK, SL), pp. 438–443.
DATEDATE-2001-Al-ArsG #array #behaviour #embedded #memory management
Static and dynamic behavior of memory cell array opens and shorts in embedded DRAMs (ZAA, AJvdG), pp. 496–503.
DATEDATE-2001-LiuP #design #estimation
A static power estimation methodolodgy for IP-based design (XL, MCP), pp. 280–289.
DATEDATE-2001-NaiduJ #power management
Minimizing stand-by leakage power in static CMOS circuits (SRN, ETAFJ), pp. 370–376.
DATEDATE-2001-PomeranzR #order #sequence
Sequence reordering to improve the levels of compaction achievable by static compaction procedures (IP, SMR), pp. 214–218.
DATEDATE-2001-Zhu01a #analysis #memory management #pointer
Static memory allocation by pointer analysis and coloring (JZ), pp. 785–790.
DocEngDocEng-2001-Tozawa #static typing #towards #type checking
Towards static type checking for XSLT (AT), pp. 18–27.
ESOPESOP-2001-PottierSS #approach #data access
A Systematic Approach to Static Access Control (FP, CS, SFS), pp. 30–45.
ICSMEICSM-2001-CookJH #evolution
Dynamic and Static Views of Software Evolution (SC, HJ, RH), pp. 592–601.
ICSMEICSM-2001-EisenbarthKS #analysis #comprehension
Aiding Program Comprehension by Static and Dynamic Feature Analysis (TE, RK, DS), pp. 602–611.
PASTEPASTE-2001-BrabandMS #html #validation
Static validation of dynamically generated HTML (CB, AM, MIS), pp. 38–45.
PASTEPASTE-2001-MockDCE #analysis #comparison #comprehension #optimisation #points-to #set
Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization (MM, MD, CC, SJE), pp. 66–72.
SCAMSCAM-2001-ByersK #morphism #parametricity #polymorphism #slicing
Static Slicing and Parametric Polymorphism (DB, MK), pp. 181–186.
PLDIPLDI-2001-AmmeDFR #named #representation #type safety
SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form (WA, ND, MF, JvR), pp. 137–147.
SASSAS-2001-Feret #abstract interpretation #mobile #static analysis
Abstract Interpretation-Based Static Analysis of Mobile Ambients (JF), pp. 412–430.
SASSAS-2001-Goubault #analysis #float #precise
Static Analyses of the Precision of Floating-Point Operations (EG), pp. 234–259.
SASSAS-2001-Leino #static analysis
Applications of Extended Static Checking (KRML), pp. 185–193.
SASSAS-2001-MesnardN #logic programming #source code #static analysis #termination
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs (FM, UN), pp. 93–110.
SASSAS-2001-Spoto #analysis #composition #semantics
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses (FS), pp. 127–145.
SASSAS-2001-Wagner #assurance #static analysis
Static Analysis and Software Assurance (DW), p. 431.
STOCSTOC-2001-AlstrupBR
Optimal static range reporting in one dimension (SA, GSB, TR), pp. 476–482.
ICFPICFP-2001-Pitts #approach #functional #programming #representation #syntax
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.
CAiSECAiSE-2001-LaleauP #concept #information management #metamodelling #modelling #uml
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems (RL, FP), pp. 402–416.
SIGIRSIGIR-2001-SofferCCFFHM #information retrieval
Static Index Pruning for Information Retrieval Systems (AS, DC, DC, RF, EF, MH, YSM), pp. 43–50.
ECOOPECOOP-2001-PolletCC #java #source code #static analysis
Distinctness and Sharing Domains for Static Analysis of Java Programs (IP, BLC, AC), pp. 77–98.
TOOLSTOOLS-EUROPE-2001-KleppeW #approach #architecture #aspect-oriented #case study #integration #metamodelling #modelling #object-oriented #uml
Integration of Static and Dynamic Core for UML: A Study in Dynamic Aspects of the pUML OO Meta Modelling Approach to the Rearchitecting of UML (AK, JW), pp. 66–77.
LOPSTRLOPSTR-2001-Shankar #functional #static analysis
Static Analysis for Safe Destructive Updates in a Functional Language (NS), pp. 1–24.
GPCESAIG-2001-DamianD
Static Transition Compression (DD, OD), pp. 92–107.
ICSEICSE-2001-BrylowDP #static analysis
Static Checking of Interrupt-Driven Software (DB, ND, JP), pp. 47–56.
DACDAC-2000-ShepardK #analysis
Static noise analysis for digital integrated circuits in partially-depleted silicon-on-insulator technology (KLS, DJK), pp. 239–242.
DATEDATE-2000-GovindarajanV #quality #scheduling
Improving the Schedule Quality of Static-List Time-Constrained Scheduling (SG, RV), p. 749.
DATEDATE-2000-GulrajaniH #identification #logic #multi
Multi-Node Static Logic Implications for Redundancy Identification (KG, MSH), pp. 729–733.
DATEDATE-2000-HergenhanR #analysis #architecture #embedded
Static Timing Analysis of Embedded Software on Advanced Processor Architectures (AH, WR), pp. 552–559.
DATEDATE-2000-RingeLB #analysis
Static Timing Analysis Taking Crosstalk into Account (MR, TL, EB), pp. 451–455.
ITiCSEITiCSE-2000-Kumar #generative #problem
Dynamically generating problems on static scope (AK), pp. 9–12.
TACASTACAS-2000-BozgaFG #automation #generative #static analysis #testing #using
Using Static Analysis to Improve Automatic Test Generation (MB, JCF, LG), pp. 235–250.
PEPMPEPM-2000-Das #case study #experience #scalability #source code #static analysis
Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk) (MD), p. 1.
SASSAS-2000-GagnonHM #bytecode #java #performance #static typing
Efficient Inference of Static Types for Java Bytecode (EG, LJH, GM), pp. 199–219.
SASSAS-2000-Lev-AmiS #analysis #implementation #named
TVLA: A System for Implementing Static Analyses (TLA, SS), pp. 280–301.
ICALPICALP-2000-MycroftS #functional #parallel
A Statically Allocated Parallel Functional Language (AM, RS), pp. 37–48.
ICFPICFP-2000-SkalkaS #security
Static enforcement of security with types (CS, SFS), pp. 34–45.
AdaEuropeAdaEurope-2000-Ringler #analysis #execution #source code #worst-case
Static Worst-Case Execution Time Analysis of Synchronous Programs (TR), pp. 56–68.
CIKMCIKM-2000-HambruschL #replication
Data Replication for External Searching in Static Tree Structures (SEH, CML), pp. 360–367.
UMLUML-2000-AbdurazikO #collaboration #diagrams #generative #static analysis #testing #uml #using
Using UML Collaboration Diagrams for Static Checking and Test Generation (AA, AJO), pp. 383–395.
OOPSLAOOPSLA-2000-SerranoBMG #compilation #java #named
Quicksilver: a quasi-static compiler for Java (MJS, RB, SPM, MG), pp. 66–82.
TOOLSTOOLS-EUROPE-2000-CornilsH #design pattern #documentation
Statically Checked Documentation with Design Patterns (AC, GH), pp. 419–430.
TOOLSTOOLS-PACIFIC-2000-FavreMP #modelling #object-oriented #uml
Transforming UML Static Models into Object-Oriented Code (LF, LM, CP), pp. 170–181.
TOOLSTOOLS-PACIFIC-2000-SkevoulisJ #detection #fault #invariant #java #runtime #source code #static analysis
Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs (SS, XJ), pp. 36–44.
PADLPADL-2000-MarinoM #functional #logic programming #source code #static analysis #using
Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.
POPLPOPL-2000-LewisLMS #parametricity #static typing
Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.
SACSAC-2000-RiveroDL #detection #network #static analysis #strict
Static Detection of Sources of Dynamic Anomalies in a Network of Referential Integrity Restrictions (LCR, JHD, DL), pp. 333–339.
CCCC-2000-AycockH #generative
Simple Generation of Static Single-Assignment Form (JA, RNH), pp. 110–124.
CCCC-2000-RyderSKGS #exception #java #using
A Static Study of Java Exceptions Using JESP (BGR, DS, UK, MG, NS), pp. 67–81.
HPCAHPCA-2000-PatilE #alias #branch #predict
Combining Static and Dynamic Branch Prediction to Reduce Destructive Aliasing (HP, JSE), pp. 251–262.
ISSTAISSTA-2000-Lev-AmiRSW #case study #static analysis #verification
Putting static analysis to work for verification: A case study (TLA, TWR, SS, RW), pp. 26–38.
LICSLICS-2000-Prost #calculus #dependence
A Static Calculus of Dependencies for the λ-Cube (FP), pp. 267–276.
DACDAC-1999-ConnEMOSVW #optimisation #using
Gradient-Based Optimization of Custom Circuits Using a Static-Timing Formulation (ARC, IME, WWM, PRO, PNS, CV, CBW), pp. 452–459.
DATEDATE-1999-ChakrabortyGBKM #design #physics #self
A Physical Design Tool for Built-in Self-Repairable Static RAMs (KC, AG, MB, SK, PM), p. 714–?.
ESOPESOP-1999-LiuS #programming
Dynamic Programming via Static Incrementalization (YAL, SDS), pp. 288–305.
FASEFASE-1999-AttanasioCI #performance #realtime #specification
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance (CA, FC, PI), pp. 45–59.
FoSSaCSFoSSaCS-1999-ArruabarrenaLN #embedded #logic programming
A Strong Logic Programming View for Static Embedded Implications (RA, PL, MN), pp. 56–72.
FoSSaCSFoSSaCS-1999-BodeiDNN #process #static analysis
Static Analysis of Processes for No and Read-Up and No Write-Down (CB, PD, FN, HRN), pp. 120–134.
TACASTACAS-1999-RusuS #abstraction #on the #proving #safety #static analysis #theorem proving
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction (VR, ES), pp. 178–192.
ICSMEICSM-1999-RichnerD #information management #object-oriented
Recovering High-Level Views of Object-Oriented Applications from Static and Dynamic Information (TR, SD), pp. 13–22.
IWPCIWPC-1999-MayrhauserL #maintenance #on the #static analysis
On the Role of Static Analysis during Software Maintenance (AvM, SL), pp. 170–177.
WCREWCRE-1999-Systa #java #modelling #on the #reverse engineering
On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software (TS), pp. 304–313.
PEPMPEPM-1999-Rhiger #static typing
Deriving a Statically Typed Type-Directed Partial Evaluator (MR), pp. 25–29.
PLDIPLDI-1999-FraserP #code generation
Finite-Static Code Generation (CWF, TAP), pp. 270–280.
PLDIPLDI-1999-LeungG
Static Single Assignment Form for machine Code (AL, LG), pp. 204–214.
SASSAS-1999-AldrichCSE #analysis #java #source code
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (JA, CC, EGS, SJE), pp. 19–38.
SASSAS-1999-Asai #analysis
Binding-Time Analysis for Both Static and Dynamic Expressions (KA), pp. 117–133.
SASSAS-1999-McAllester #analysis #complexity #on the
On the Complexity Analysis of Static Analyses (DAM), pp. 312–329.
SASSAS-1999-SreedharJGS
Translating Out of Static Single Assignment Form (VCS, RDCJ, DMG, VS), pp. 194–210.
SASSAS-1999-Weise #static analysis
Static Analysis of Mega-Programs (DW), pp. 300–302.
STOCSTOC-1999-PanduranganU #evaluation
Static and Dynamic Evaluation of QoS Properties (GP, EU), pp. 566–573.
STOCSTOC-1999-ScheidelerV #performance #protocol
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols (CS, BV), pp. 215–224.
FLOPSFLOPS-1999-RidouxBM #prolog #static analysis
Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.
ICALPICALP-1999-Pagh
Low Redundancy in Static Dictionaries with O(1) Worst Case Lookup Time (RP), pp. 595–604.
ICFPICFP-1999-Elsman
Static Interpretation of Modules (ME), pp. 208–219.
UMLUML-1999-Clark #diagrams #type checking #uml
Type Checking UML Static Diagrams (TC), pp. 503–517.
ECOOPECOOP-1999-MillsteinC #composition #multi #static typing
Modular Statically Typed Multimethods (TDM, CC), pp. 279–303.
OOPSLAOOPSLA-1999-France #analysis #concept #modelling #problem #requirements #uml
A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts (RBF), pp. 57–69.
TOOLSTOOLS-PACIFIC-1999-SchmolitzkyEKM #how #question #type safety
How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe? (AS, ME, JLK, GM), pp. 200–209.
LOPSTRLOPSTR-1999-PueblaBH #constraints #debugging #logic programming #source code
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (GP, FB, MVH), pp. 273–292.
PADLPADL-1999-Vasconcelos #flexibility #framework #logic programming #slicing #source code
A Flexible Framework for Dynamic and Static Slicing of Logic Programs (WWV), pp. 259–274.
POPLPOPL-1999-Myers #data flow #named
JFlow: Practical Mostly-Static Information Flow Control (ACM), pp. 228–241.
ESECESEC-FSE-1999-Bokowski #constraints #java #named
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java (BB), pp. 355–374.
CADECADE-1999-Prost #analysis #formal method #system f
A formalization of Static Analyses in System F (FP), pp. 252–266.
ICLPICLP-1999-KangT #linear #logic programming #programming language #static analysis
A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.
ICLPICLP-1999-MarinoM #functional #logic programming #source code #static analysis #using
Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.
ASEASE-1998-GilE #design
Statically Checkable Design Level Traits (JYG, YE), pp. 217–220.
DACDAC-1998-NagarajCHY #analysis #approach
A Practical Approach to Static Signal Electromigration Analysis (NSN, FC, HH, DY), pp. 572–577.
DACDAC-1998-ZhaoDKL #3d #performance
Efficient Three-Dimensional Extraction Based on Static and Full-Wave Layered Green’s Functions (JZ, WWMD, SK, DEL), pp. 224–229.
DATEDATE-1998-GuoPR #sequence #testing
Procedures for Static Compaction of Test Sequences for Synchronous Sequential Circuits Based on Vector Restoration (RG, IP, SMR), pp. 583–587.
DATEDATE-1998-HsiaoC #performance #sequence
State Relaxation Based Subsequence Removal for Fast Static Compaction in Sequential Circuits (MSH, STC), pp. 577–582.
DATEDATE-1998-OlcozCGG #static analysis #tool support
Static Analysis Tools for Soft-Core Reviews and Audits (SO, AC, MG, JAG), pp. 935–936.
TACASTACAS-1998-KurshanLMPY #partial order #reduction
Static Partial Order Reduction (RPK, VL, MM, DP, HY), pp. 345–357.
ICSMEICSM-1998-CherinkaOR #maintenance #off the shelf #programming #question #static analysis
Maintaining a COTS Integrated Solution — Are Traditional Static Analysis Techniques Sufficient for this New Programming Methodology? (RC, CMO, JR), pp. 160–169.
PASTEPASTE-1998-DorRS #analysis #detection #experience #fault #memory management #pointer
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience) (ND, MR, SS), pp. 27–34.
PASTEPASTE-1998-Krinke #slicing #source code #thread
Static Slicing of Threaded Programs (JK), pp. 35–42.
PLDIPLDI-1998-HastiH #analysis #pointer #using
Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis (RH, SH), pp. 97–105.
SASSAS-1998-HandjievaT #analysis #clustering #control flow #using
Refining Static Analyses by Trace-Based Partitioning Using Control Flow (MH, ST), pp. 200–214.
SASSAS-1998-TadjouddineEF #automation #difference #program analysis
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis (MT, FE, CF), pp. 311–326.
ICALPICALP-1998-CiceroneSF
Static and Dynamic Low-Congested Interval Routing Schemes (SC, GDS, MF), pp. 592–603.
AdaSIGAda-1998-PritchettR #static analysis
An ASIS-Based Static Analysis Tool for High-Integrity Systems (WWPI, JDR), pp. 12–17.
CIKMCIKM-1998-AslamPR #clustering #information management
Static and Dynamic Information Organization with Star Clusters (JAA, KP, DR), pp. 208–217.
ICPRICPR-1998-ZouY #image
Extracting stroke information in static line images (JJZ, HY), pp. 1142–1144.
KRKR-1998-BrassDNP #comparison #implementation #semantics
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation (SB, JD, IN, TCP), pp. 74–85.
ECOOPECOOP-1998-BruceOW #static typing
A Statically Safe Alternative to Virtual Types (KBB, MO, PW), pp. 523–549.
ECOOPECOOP-1998-Guimaraes #static typing
Reflection for Statically Typed Languages (JdOG), pp. 440–461.
OOPSLAOOPSLA-1998-Litvinov #morphism #polymorphism #static typing #towards #type system
Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System (VL), pp. 388–411.
PPDPALP-PLILP-1998-HatcliffDL #analysis #staging #using
Staging Static Analyses Using Abstraction-Based Program Specialization (JH, MBD, SL), pp. 134–151.
POPLPOPL-1998-BarthouCC
Maximal Static Expansion (DB, AC, JFC), pp. 98–106.
POPLPOPL-1998-Nishimura #static typing #type system
Static Typing for Dynamic Messages (SN), pp. 266–278.
REFSQREFSQ-1998-RegnellR #requirements #testing #verification
Combining Scenario-based Requirements with Static Verification and Dynamic Testing (BR, PR), pp. 195–206.
CCCC-1998-LeinoN #static analysis
An Extended Static Checker for Modular-3 (KRML, GN), pp. 302–305.
ASEASE-1997-Gaugne #comprehension #debugging #static analysis
A Static Analysis for Program Understanding and Debugging (RG), pp. 297–298.
DACDAC-1997-MalikML #analysis #embedded
Static Timing Analysis of Embedded Software (SM, MM, YTSL), pp. 147–152.
DATEEDTC-1997-ChakrabortyM #bound #functional #parallel #programmable #testing
A programmable boundary scan technique for board-level, parallel functional duplex march testing of word-oriented multiport static RAMs (KC, PM), pp. 330–334.
DATEEDTC-1997-CornoPRR #sequence #testing
New static compaction techniques of test sequences for sequential circuits (FC, PP, MR, MSR), pp. 37–43.
DATEEDTC-1997-GavrilovGRBJV #performance
Fast power loss calculation for digital static CMOS circuits (SG, AG, SR, DB, LGJ, GV), pp. 411–415.
ICDARICDAR-1997-PrevostM #classification #recognition
Static and Dynamic Classifier Fusion for Character Recognition (LP, MM), pp. 499–506.
CSMRCSMR-1997-ClassenHMS #migration #static analysis #user interface
CUI to GUI Migration: Static Analysis of Character-Based Panels (IC, KH, IM, MS), pp. 144–149.
ICSMEICSM-1997-CifuentesF #bytecode #slicing
Intraprocedural Static Slicing of Binary Executables (CC, AF), p. 188–?.
SASSAS-1997-Cousot #abstract interpretation #semantics #static analysis
Abstract Interpretation Based Static Analysis Parameterized by Semantics (PC), pp. 388–394.
SASSAS-1997-Granger #analysis #congruence
Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract) (PG), pp. 278–292.
SASSAS-1997-Mackie #distributed #implementation #interactive #static analysis
Static Analysis of Interaction Nets for Distributed Implementations (IM), pp. 217–231.
STOCSTOC-1997-BroderFU #approach #graph #random
Static and Dynamic Path Selection on Expander Graphs: A Random Walk Approach (Preliminary Version) (AZB, AMF, EU), pp. 531–539.
ICFPICFP-1997-FahndrichB #abstraction
Statically Checkable Pattern Abstractions (MF, JB), pp. 75–84.
AdaEuropeAdaEurope-1997-Thornley #case study #development #experience #static analysis
Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK (JPT), pp. 266–277.
CIKMCIKM-1997-KimC #approach #database #execution #static analysis
A Practical Approach to Static Analysis and Execution of Rules in Active Databases (SKK, SC), pp. 161–168.
ECOOPECOOP-1997-BenzakenS #constraints #database #object-oriented #programming language
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers (VB, XS), pp. 60–84.
SACSAC-1997-SurmaS #communication #hybrid #parallel #scheduling
Hybrid static-dynamic communication scheduling for parallel systems (DRS, EHMS), pp. 374–379.
ESECESEC-FSE-1997-NaumovichACO #architecture #static analysis
Applying Static Analysis to Software Architectures (GN, GSA, LAC, LJO), pp. 77–93.
DACDAC-1996-PomeranzR #on the #sequence #testing
On Static Compaction of Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 215–220.
PODSPODS-1996-BertinoC #database #static analysis
Static Analysis of Intensional Databases in U-Datalog (EB, BC), pp. 202–212.
SIGMODSIGMOD-1996-Tajima #database #detection #object-oriented #security #static analysis
Static Detection of Security Flaws in Object-Oriented Databases (KT), pp. 341–352.
ESOPESOP-1996-FradetCM #algorithm #axiom #detection #fault #pointer #static analysis
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm (PF, RC, DLM), pp. 125–140.
ICSMEICSM-1996-CifuentesM #question
Binary Translation: Static, Dynamic, Retargetable? (CC, VMM), pp. 340–349.
PLDIPLDI-1996-Evans #detection #fault #memory management #static analysis
Static Detection of Dynamic Memory Errors (DE), pp. 44–53.
PLDIPLDI-1996-FlanaganFKWF #debugging #invariant #web
Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.
SASSAS-1996-Handjieva #abstract interpretation #named
STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation (MH), pp. 383–384.
ICALPICALP-1996-Miltersen #bound #multi
Lower Bounds for Static Dictionaries on RAMs with Bit Operations But No Multiplication (PBM), pp. 442–453.
ICFPICFP-1996-WiseW #clustering #pointer #thread
Static and Dynamic Partitioning of Pointers as Links and Threads (DSW, JW), pp. 42–49.
AdaEuropeAdaEurope-1996-Rosskopf #ada #assessment #safety #static analysis
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment (AR), pp. 183–197.
ICPRICPR-1996-LeeL96a #image
A lossless image compression method for human static signatures (LLL, MGL), pp. 910–913.
KDDKDD-1996-JohnL #data mining #mining
Static Versus Dynamic Sampling for Data Mining (GHJ, PL), pp. 367–370.
KRKR-1996-Sandewall #constraints
Assessments of Ramification Methods that Use Static Domain Constraints (ES), pp. 99–110.
OOPSLAOOPSLA-1996-BaconS #c++ #performance #static analysis
Fast Static Analysis of C++ Virtual Function Calls (DFB, PFS), pp. 324–341.
OOPSLAOOPSLA-1996-DiwanMM #analysis #effectiveness #object-oriented #source code #static typing
Simple and Effective Analysis of Statically Typed Object-Oriented Programs (AD, JEBM, KSM), pp. 292–305.
POPLPOPL-1996-GuptaS #source code #static analysis
Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs (MG, ES), pp. 322–332.
ICSEICSE-1996-MurphyNL #empirical #graph
An Empirical Study of Static Call Graph Extractors (GCM, DN, ESCL), pp. 90–99.
CCCC-1996-BoucherF #compilation #implementation #paradigm #static analysis
Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.
CCCC-1996-ChoiSS #incremental
Incremental Computation of Static Single Assignment Form (JDC, VS, ES), pp. 223–237.
ICDARICDAR-v2-1995-HuangRB
Strokes recovering from static handwriting (WH, GR, ZB), pp. 861–864.
PLDIPLDI-1995-AikenFL #analysis #higher-order #memory management
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages (AA, MF, RL), pp. 174–185.
PLDIPLDI-1995-CalderGLMMZ #branch #predict
Corpus-Based Static Branch Prediction (BC, DG, DCL, JHM, MM, BGZ), pp. 79–92.
PLDIPLDI-1995-Patterson #branch #predict
Accurate Static Branch Prediction by Value Range Propagation (JRCP), pp. 67–78.
SASSAS-1995-KobayashiNY #communication #concurrent #programming language #static analysis
Static Analysis of Communication for Asynchronous Concurrent Programming Languages (NK, MN, AY), pp. 225–242.
ICALPICALP-1995-AulettaPP #algorithm
Placing Resources in a Tree: Dynamic and Static Algorithms (VA, DP, GP), pp. 232–243.
ECOOPECOOP-1995-DeanGC #analysis #object-oriented #optimisation #source code #using
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis (JD, DG, CC), pp. 77–101.
FSEFSE-1995-GuptaS #approach #hybrid #information management #slicing #using
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.
ISMMIWMM-1995-Wadler #static analysis
Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract) (PW), p. 117.
LCTESLCT-RTS-1995-JourdanM #analysis #realtime
Static Timing Analysis of Real-Time Systems (MJ, FM), pp. 79–87.
LCTESLCT-RTS-1995-LeeLK #hybrid #scheduling
Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems (JL, SL, HK), pp. 7–19.
ICLPILPS-1995-GallagherBS #logic programming #modelling #source code #static analysis
Practical Model-Based Static Analysis for Definite Logic Programs (JPG, DB, HS), pp. 351–365.
DATEEDAC-1994-AbderrahmanKS #estimation
Estimation of Simultaneous Switching Power and Ground Noise of Static CMOS Combinational Circuits (AA, BK, YS), p. 658.
ICSMEICSM-1994-AngerRY #concurrent #dynamic analysis #source code
Combining Static and Dynamic Analysis of Concurrent Programs (FDA, RVR, MY), pp. 89–98.
PEPMPEPM-1994-Baker-Finch #higher-order #static analysis #type system
Type Theory and Projections for Higher-Order Static Analysis (CABF), pp. 43–52.
PLDIPLDI-1994-Krall #branch #predict #replication
Improving Semi-static Branch Prediction by Code Replication (AK), pp. 97–106.
PLDIPLDI-1994-WagnerMGH #optimisation
Accurate Static Estimators for Program Optimization (TAW, VM, SLG, MAH), pp. 85–96.
SASSAS-1994-HarcourtMC #scheduling #specification
From Processor Timing Specifications to Static Intruction Scheduling (EAH, JM, TAC), pp. 116–130.
SASSAS-1994-MuellerW #analysis #behaviour #on the fly #performance #simulation
Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation (FM, DBW), pp. 101–115.
LISPLFP-1994-ReistadG #execution
Static Dependent Costs for Estimating Execution Time (BR, DKG), pp. 65–78.
AdaEuropeAdaEurope-1994-ObermayerSSKKL #ada #analysis #realtime
Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis (PEO, JS, GS, AK, PK, RL), pp. 483–488.
PPDPPLILP-1994-HundehegeLX #hybrid #memory management #optimisation #program transformation #runtime #semantics
Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages (JBH, WML, UX), pp. 453–454.
ASPLOSASPLOS-1994-YoungS #branch #correlation #predict #using
Improving the Accuracy of Static Branch Prediction Using Branch Correlation (CY, MDS), pp. 232–241.
ICLPICLP-1994-Silcrat #algebra #logic #static analysis
Logic, Algebra and Static Analysis in DM Systems, the IE Way (EDS), p. 744.
DACDAC-1993-YangLYD #performance #simulation
An Efficient Non-Quasi-Static Diode Model for Circuit Simulation (ATY, YL, JTY, RRD), pp. 720–725.
WCREWCRE-1993-OlshefskiC #comprehension #prototype #type system
A Prototype System for static and Dynamic Program Understanding (DO, AC), pp. 93–106.
SASWSA-1993-Roy #challenge #logic programming #source code #static analysis
Challenges in Developing Useful and Practical Static Analysis for Logic Programs (PVR), p. 111.
SASWSA-1993-SahlinS #named #static analysis
Demonstration: Static Analysis of AKL (DS, TS), pp. 282–283.
POPLPOPL-1993-Bruce #object-oriented #programming language #static typing #type checking
Safe Type Checking in a Statically-Typed Object-Oriented Programming Language (KBB), pp. 285–298.
POPLPOPL-1993-LeeF #multi
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes (SDL, DPF), pp. 479–492.
POPLPOPL-1993-SrinivasanHW #parallel #source code
Static Single Assignment for Explicitely Parallel Programs (HS, JH, MW), pp. 260–272.
ICLPILPS-1993-Debray #logic programming #source code #static analysis
Static Analysis of Logic Programs (SKD), pp. 43–44.
ISSTAISSTA-1993-LevineT #analysis #concurrent #metric #re-engineering
Metric-Driven Reengineering for Static Concurrency Analysis (DLL, RNT), pp. 40–50.
PLDIPLDI-1992-DiwanMH #compilation #garbage collection #static typing
Compiler Support for Garbage Collection in a Statically Typed Language (AD, JEBM, RLH), pp. 273–282.
SASWSA-1992-BagnaraGL #source code #static analysis
Static Analysis of CLP Programs over Numeric Domains (RB, RG, GL), pp. 43–50.
SASWSA-1992-Gallagher #logic programming #specification #static analysis
Static Analysis for Logic Program Specification (JPG), pp. 285–294.
SEKESEKE-1992-TuS #approach #linear #petri net #programming #static analysis
Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.
TOOLSTOOLS-EUROPE-1992-Johnson #eiffel #network #resource management
An Eiffel Program for Static Network Resource Allocation (PJ), pp. 335–347.
ISMMIWMM-1992-Chailloux #ambiguity #garbage collection #static typing
A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages (EC), pp. 218–229.
DACDAC-1991-JuS #identification #incremental
Incremental Techniques for the Identification of Statically Sensitizable Critical Paths (YCJ, RAS), pp. 541–546.
PEPMPEPM-1991-Lisper #algorithm #detection #partial evaluation
Detecting Static Algorithms by Partial Evaluation (BL), pp. 31–42.
PLDIPLDI-1991-WilsonLM #effectiveness #garbage collection #locality
Effective “Static-Graph” Reorganization to Improve Locality in Garbage-Collected Systems (PRW, MSL, TGM), pp. 177–191.
SASWSA-1991-Malmkjaer #on the #source code
On Static Properties of Specialized Programs (KM), pp. 234–241.
ICALPICALP-1991-CasasDM #random
Static on Random Trees (RC, JD, CM), pp. 186–203.
FMVDME-1991-1-BruunHD #approach #semantics
An Approach to the Static Semantics of VDM-SL (HB, BSH, FMD), pp. 220–253.
FPCAFPCA-1991-ConselD #data flow
For a Better Support of Static Data Flow (CC, OD), pp. 496–519.
AdaEuropeAdaEurope-1991-DelisT #ada #assessment #design #static analysis #using
Design Assessment of Ada Systems Using Static Analysis (AD, WMT), pp. 227–250.
ECOOPECOOP-1991-MugridgeHH #multi #programming language #static typing
Multi-Methods in a Statically-Typed Programming Language (WBM, JH, JGH), pp. 307–324.
OOPSLAOOPSLA-1991-AgrawalDL #multi #static typing #type checking
Static Type Checking of Multi-Methods (RA, LGD, BGL), pp. 113–128.
OOPSLAOOPSLA-1991-Ghelli #message passing #static typing #type system
A Static Type System for Message Passing (GG), pp. 129–145.
POPLPOPL-1991-AikenM #static typing #type inference
Static Type Inference in a Dynamically Typed Language (AA, BRM), pp. 279–290.
POPLPOPL-1991-ConselD #semantics
Static and Dynamic Semantics Processing (CC, OD), pp. 14–24.
PPoPPPPoPP-1991-BalasundaramFKK #clustering #performance
A Static Performance Estimator to Guide Data Partitioning Decisions (VB, GF, KK, UK), pp. 213–223.
ICLPISLP-1991-HidakaKTT #clustering #commit #execution
A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages (YH, HK, JT, HT), pp. 470–484.
ICTSSIWPTS-1991-ChansonL #on the #protocol #testing
On Static and Dynamic Test Case Selections in Protocol Confomance Testing (STC, QL), pp. 255–266.
ICALPICALP-1990-Schwartzbach #correctness
Static Correctness of Hierarchical Procedures (MIS), pp. 32–45.
LISPLFP-1990-SheldonG #dependent type
Static Dependent Types for First Class Modules (MAS, DKG), pp. 20–29.
PPDPPLILP-1990-BoeckC #analysis #correctness #prolog #static typing
Static Type Analysis of Prolog Procedures for Ensuring Correctness (PDB, BLC), pp. 222–237.
POPLPOPL-1990-Thatte #static typing #type system
Quasi-Static Typing (SRT), pp. 367–381.
LICSLICS-1990-WandW #source code #verification
Conditional λ-Theories and the Verification of Static Properties of Programs (MW, ZYW), pp. 321–332.
DACDAC-1989-PerremansCM #analysis
Static Timing Analysis of Dynamically Sensitizable Paths (SP, LJMC, HDM), pp. 568–573.
SIGMODSIGMOD-1989-OhoriBT #database #polymorphism #programming #static typing #type inference
Database Programming in Machiavelli — a Polymorphic Language with Static Type Inference (AO, PB, VT), pp. 46–57.
SIGMODSIGMOD-1989-TangN #database
A Static Pessimistic Scheme for Handling Replicated Databases (JT, NN), pp. 389–398.
OOPSLAOOPSLA-1989-ConnorDMB #inheritance #multi
An Object Addressing Mechanism for Statically Types Languages with Multiple Inheritance (RCHC, AD, RM, ALB), pp. 279–285.
OOPSLAOOPSLA-1989-OhoriB #parametricity #static typing #type inference
Static Type Inference for Parametric Classes (AO, PB), pp. 445–456.
POPLPOPL-1989-AbadiCPP #dynamic typing #static typing #type system
Dynamic Typing in a Statically-Typed Language (MA, LC, BCP, GDP), pp. 213–227.
POPLPOPL-1989-CytronFRWZ #performance
An Efficient Method of Computing Static Single Assignment Form (RC, JF, BKR, MNW, FKZ), pp. 25–35.
ISSTATAV-1989-OlenderO #constraints #named
Cesar: A Static Sequencing Constraint Analyzer (KMO, LJO), pp. 66–74.
PPDPPLILP-1988-Lindstrom #functional #logic #source code #static analysis
Static Analysis Of Functional Programs With Logic Variables (GL), pp. 1–19.
ICSEICSE-1988-Narayanaswamy #evolution #framework #lisp #static analysis
Static Analysis-Based Program Evolution Support in the Common Lisp Framework (KN), pp. 222–230.
ICLPJICSCP-1988-Debray88 #logic programming #parallel #source code #static analysis
Static Analysis of Parallel Logic Programs (SKD), pp. 711–732.
DACDAC-1987-HofmannK #logic #optimisation
Delay Optimization of Combinational Static CMOS Logic (MH, JKK), pp. 125–132.
DACDAC-1987-Serlet #combinator #performance
Fast, Small, and Static Combinatorial CMOS Circuits (BS), pp. 451–458.
HTHT-1987-Oren #architecture
The Architecture of Static Hypertexts (TO), pp. 291–306.
ICALPICALP-1986-Lai #communication #detection #distributed #termination
A Termination Detector for Static and Dynamic Distributed Systems with Asynchronous Non-first-in-first-out Communication (Extended Abstract) (THL), pp. 196–205.
POPLPOPL-1986-LiskovHG #communication #distributed #process
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing (BL, MH, LG), pp. 150–159.
ICLPSLP-1985-ChangD85 #analysis #backtracking #dependence #prolog
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.
PLDISCC-1984-BaiardiRV #communication #static analysis
Static checking of interprocess communication in ECSP (FB, LR, MV), pp. 290–299.
POPLPOPL-1984-MishraK #source code #static analysis
Static Inference of Properties of Applicative Programs (PM, RMK), pp. 235–244.
ICSEICSE-1982-MarcaM #design #information management #modelling
Static and Dynamic Data Modeling for Information System Design (DAM, CLM), pp. 137–147.
ICALPICALP-1981-Sethi
Circular Expressions: Elimination of Static Environments (RS), pp. 378–392.
AdaTFDA-1980-BundgaardS #ada #semantics
A Denotational (Static) Semantics Method for Defining Ada Context Conditions (JB, LS), pp. 21–212.
PLDISCC-1979-Morris #abstraction #implementation
Data abstraction: A static implementation strategy (JBM), pp. 1–7.
DACDAC-1977-BoseS #detection #logic
Detection of static and dynamic hazards in logic nets (AKB, SAS), pp. 220–224.
POPLPOPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code #static analysis
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.

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.