Stem static$ (all stems)

912 papers:

DAC-2015-McLaughlin #behaviour #policy

Blocking unsafe behaviors in control systems through static and dynamic policy enforcement (SM), p. 6.

DATE-2015-PozoSKM #question

Side-channel attacks from static power: when should we care? (SMDP, FXS, DK, AM), pp. 145–150.

ESOP-2015-0002S #automation #cost analysis #parallel #source code

Automatic Static Cost Analysis for Parallel Programs (JH, ZS), pp. 132–157.

ESOP-2015-ChengR #detection #spreadsheet #static analysis

Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection (TC, XR), pp. 26–52.

TACAS-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.

ICPC-2015-LafetaMR #dynamic analysis #framework #using

Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.

ICSME-2015-DongAS #fault #static analysis #using

Practical and accurate pinpointing of configuration errors using static analysis (ZD, AA, KS), pp. 171–180.

ICSME-2015-DorningerPK #industrial #static analysis #user interface #using

Using static analysis for knowledge extraction from industrial User Interfaces (BD, JP, AK), pp. 497–500.

SANER-2015-MuskeB #on the #static analysis #tool support

On implementational variations in static analysis tools (TM, PB), pp. 512–515.

SANER-2015-NagyMC #approach #concept #query #sql

Where was this SQL query executed? a static concept location approach (CN, LM, AC), pp. 580–584.

SANER-2015-NairJNH #analysis

A static code analysis tool for control system software (SN, RJ, ARN, SHS), pp. 459–463.

SANER-2015-OumarouAEDK #identification

Identifying the exact fixing actions of static rule violation (HO, NA, AE, SD, DTK), pp. 371–379.

SANER-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.

SCAM-2015-BinkleyGHIKY #slicing

ORBS and the limits of static slicing (DB, NEG, MH, SSI, JK, SY), pp. 1–10.

SCAM-2015-DarizRS #analysis #programmable

A static microcode analysis tool for programmable load drivers (LD, MR, MS), pp. 265–270.

PEPM-2015-LisperMK #slicing

Static Backward Demand-Driven Slicing (BL, ANM, HK), pp. 115–126.

PLDI-2015-OlivoDL #debugging #detection #performance #static analysis #traversal

Static detection of asymptotic performance bugs in collection traversals (OO, ID, CL), pp. 369–378.

SAS-2015-AldousM #low level #static analysis

Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.

SAS-2015-LeeHYC #static analysis

Static Analysis with Set-Closure in Secrecy (WL, HH, KY, JHC), pp. 18–35.

FM-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.

FM-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.

FM-2015-LiuH #analysis #android #case study #kernel #security

Case Study: Static Security Analysis of the Android Goldfish Kernel (TL, RH), pp. 589–592.

FM-2015-NelsonFK #difference #network #program analysis

Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.

FM-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.

ICFP-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.

ICFP-2015-GenevesG #problem #static typing #type system #xquery

XQuery and static typing: tackling the problem of backward axes (PG, NG), pp. 88–100.

DHM-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.

AdaEurope-2015-KhanfarLM #safety #slicing

Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.

SEKE-2015-WangSZ #detection #execution #symbolic computation

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.

ECOOP-2015-HauzarK #framework #php #static analysis

Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.

ECOOP-2015-ParkR #javascript #precise #scalability #static analysis

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.

OOPSLA-2015-MadsenTL #javascript #static analysis

Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.

PPDP-2015-GarciaLL #static analysis

Static analysis of cloud elasticity (AG, CL, ML), pp. 125–136.

POPL-2015-JourdanLBLP #c

A Formally-Verified C Static Analyzer (JHJ, VL, SB, XL, DP), pp. 247–259.

SAC-2015-KapoorDC #capacity #energy #performance #reduction

Static energy reduction by performance linked cache capacity management in tiled CMPs (HKK, SD, SC), pp. 1913–1918.

SAC-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.

SAC-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-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.

ICSE-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.

ICSE-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.

ASPLOS-2015-SenguptaBZBK #bound #dynamic analysis #hybrid

Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.

HPCA-2015-XieLWSW #coordination

Coordinated static and dynamic cache bypassing for GPUs (XX, YL, YW, GS, TW), pp. 76–88.

LCTES-2015-BairdGSWU #architecture #optimisation #pipes and filters

Optimizing Transfers of Control in the Static Pipeline Architecture (RB, PG, MS, DBW, GRU), p. 10.

PPoPP-2015-SaillardCB #concurrent #multi #thread #validation

Static/Dynamic validation of MPI collective communications in multi-threaded context (ES, PC, DB), pp. 279–280.

CSL-2015-SchwentickVZ #source code #static analysis

Static Analysis for Logic-based Dynamic Programs (TS, NV, TZ), pp. 308–324.

ICST-2015-MidtgaardM #static analysis

QuickChecking Static Analysis Properties (JM, AM), pp. 1–10.

ICST-2015-XuLCK #approach #bound #detection #lightweight #thread

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.

VMCAI-2015-Christakis0W #evaluation

An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer (MC, PM, VW), pp. 336–354.

QoSA-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.

ASE-2014-HillsKV #lightweight #php

Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.

CASE-2014-KeferZX #industrial

A versatile, non-linear and elasto-static stiffness model of articulated industrial robots (MK, JZ, HX), pp. 208–214.

DAC-2014-KangYKBHT #fault tolerance

Static Mapping of Mixed-Critical Applications for Fault-Tolerant MPSoCs (SHK, HY, SK, IB, SH, LT), p. 6.

DATE-2014-AltmeyerD #analysis #correctness #on the #precise #probability

On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.

DATE-2014-VijaykumarV #analysis #canonical #statistics #using

Statistical static timing analysis using a skew-normal canonical delay model (MV, VV), pp. 1–6.

DATE-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.

ESOP-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.

ESOP-2014-SlepakSM #morphism #polymorphism #rank

An Array-Oriented Language with Static Rank Polymorphism (JS, OS, PM), pp. 27–46.

FASE-2014-MudduluruR #abstraction #incremental #performance #static analysis #using

Efficient Incremental Static Analysis Using Path Abstraction (RM, MKR), pp. 125–139.

TACAS-2014-AlbertAFGGMPR #concurrent #named

SACO: Static Analyzer for Concurrent Objects (EA, PA, AFM, SG, MGZ, EMM, GP, GRD), pp. 562–567.

WRLA-2014-Genet #automaton #functional #source code #static analysis #towards #using

Towards Static Analysis of Functional Programs Using Tree Automata Completion (TG), pp. 147–161.

ICPC-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.

MSR-2014-HanamTHL #ranking #static analysis

Finding patterns in static analysis alerts: improving actionable alert ranking (QH, LT, RH, PL), pp. 152–161.

SCAM-2014-CaraccioloCSL #corpus #multi #named

Pangea: A Workbench for Statically Analyzing Multi-language Software Corpora (AC, AC, BS, ML), pp. 71–76.

PEPM-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.

PLDI-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.

SAS-2014-BessonJV #java #named #static analysis

SawjaCard: A Static Analysis Tool for Certifying Java Card Applications (FB, TPJ, PV), pp. 51–67.

SAS-2014-LeeOY

A Progress Bar for Static Analyzers (WL, HO, KY), pp. 184–200.

SEFM-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.

SEFM-2014-DeganoFG #adaptation #reliability #static analysis

A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.

ICGT-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.

AdaEurope-2014-BurgstallerB #ada #algebra #source code #static analysis

Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.

ICEIS-v2-2014-Chung #complexity #profiling #realtime #towards

Towards Real-time Static and Dynamic Profiling of Organisational Complexity (KSKC), pp. 466–471.

CIKM-2014-KimC #array #performance

Efficient Static and Dynamic In-Database Tensor Decompositions on Chunk-Based Array Stores (MK, KSC), pp. 969–978.

ICPR-2014-LinCCLH #analysis #detection

Left-Luggage Detection from Finite-State-Machine Analysis in Static-Camera Videos (KL, SCC, CSC, DTL, YPH), pp. 4600–4605.

SEKE-2014-ChenHQJ #performance #static analysis #using

Improving Static Analysis Performance Using Rule-Filtering Technique (DC, RH, BQ, SJ), pp. 19–24.

AMT-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.

OOPSLA-2014-AndreasenM #static analysis

Determinacy in static analysis for jQuery (EA, AM), pp. 17–31.

OOPSLA-2014-BrutschyF0 #developer #independence #static analysis

Static analysis for independent app developers (LB, PF, PM), pp. 847–860.

PADL-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.

POPL-2014-ZhangM #fault #towards

Toward general diagnosis of static errors (DZ, ACM), pp. 569–582.

FSE-2014-Banerjee #energy #performance #static analysis #testing

Static analysis driven performance and energy testing (AB), pp. 791–794.

FSE-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.

FSE-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.

FSE-2014-LalQ #using #verification

Powering the static driver verifier using corral (AL, SQ), pp. 202–212.

ICSE-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.

ICSE-2014-NadiBKC #analysis #constraints #empirical #mining

Mining configuration constraints: static analyses and empirical results (SN, TB, CK, KC), pp. 140–151.

ICSE-2014-RahmanKBD #debugging #predict #statistics

Comparing static bug finders and statistical prediction (FR, SK, ETB, PTD), pp. 424–434.

CGO-2014-DingEO #architecture #compilation #congruence

Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes (SD, JE, SÖ), p. 196.

CGO-2014-Herczeg #backtracking #compilation #library

Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support (ZH), p. 306.

CGO-2014-RountevY #analysis #android #user interface

Static Reference Analysis for GUI Objects in Android Software (AR, DY), p. 143.

CGO-2014-YanXYR #detection #memory management #named

LeakChecker: Practical Static Memory Leak Detection for Managed Languages (DY, G(X, SY, AR), p. 87.

CGO-2014-YeSX #analysis #detection

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis (DY, YS, JX), p. 154.

CAV-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.

CAV-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.

CAV-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.

ISSTA-2014-XuZXW #c #named #source code

Canalyze: a static bug-finding tool for C programs (ZX, JZ, ZX, JW), pp. 425–428.

TAP-2014-KanigCCGMR #verification

Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.

TAP-2014-KosmatovS #analysis #runtime #tutorial

Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.

VMCAI-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.

VMCAI-2014-Mine #abstract interpretation #analysis #relational #thread

Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.

DAC-2013-BenazouzKHB #data flow #evaluation #graph #liveness

Liveness evaluation of a cyclo-static DataFlow graph (MB, AMK, TH, BB), p. 7.

DATE-2013-KavousianosC #testing

Testing for SoCs with advanced static and dynamic power-management capabilities (XK, KC), pp. 737–742.

DATE-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.

VLDB-2013-NagendraC #framework #named

SkySuite: A Framework of Skyline-Join Operators for Static and Stream Environments (MN, KSC), pp. 1266–1269.

CSMR-2013-JezekHB #analysis #compilation #library

Supplying Compiler’s Static Compatibility Checks by the Analysis of Third-Party Libraries (KJ, LH, PB), pp. 375–378.

CSMR-2013-Nagy #data-driven #static analysis

Static Analysis of Data-Intensive Applications (CN), pp. 435–438.

ICSM-2013-LabicheKM #analysis #diagrams

Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams (YL, BK, HM), pp. 130–139.

ICSM-2013-YukselS #analysis #automation #case study #classification

Automated Classification of Static Code Analysis Alerts: A Case Study (UY, HS), pp. 532–535.

SCAM-2013-MattsenCS #bound

Driving a sound static software analyzer with branch-and-bound (SM, PC, SS), pp. 63–68.

SCAM-2013-MuskeBS #bibliography #clustering #reduction #static analysis

Review efforts reduction by partitioning of static analysis warnings (TBM, AB, TS), pp. 106–115.

WCRE-2013-FryW #clustering #fault #maintenance #static analysis

Clustering static analysis defect reports to reduce maintenance costs (ZPF, WW), pp. 282–291.

WCRE-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.

PEPM-2013-Thiemann

Partially static operations (PT), pp. 75–76.

PLDI-2013-BoddenTRBBM #named #product line

SPL^LIFT: statically analyzing software product lines in minutes instead of years (EB, TT, MR, CB, PB, MM), pp. 355–364.

PLDI-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.

SAS-2013-Goubault #abstract interpretation #source code #static analysis

Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT (EG), pp. 1–3.

SAS-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.

SAS-2013-MajumdarMW #message passing #source code #verification

Static Provenance Verification for Message Passing Programs (RM, RM, ZW), pp. 366–387.

SAS-2013-PelegSYY #automaton #mining #specification

Symbolic Automata for Static Specification Mining (HP, SS, EY, HY), pp. 63–83.

SAS-2013-Sankaranarayanan #static analysis

Static Analysis in the Continuously Changing World (SS), pp. 4–5.

ICALP-v2-2013-PetricekOM #named #static analysis

Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.

SEFM-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.

SEFM-2013-TranST #composition #static analysis #transaction

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.

CSCW-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.

HCI-UC-2013-BelliniBNP #network #recommendation

A Static and Dynamic Recommendations System for Best Practice Networks (PB, IB, PN, MP), pp. 259–268.

HCI-UC-2013-TungC #towards

Exploring Children’s Attitudes towards Static and Moving Humanoid Robots (FWT, TYC), pp. 237–245.

ICEIS-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.

CIKM-2013-ChengSHZC #named

StaticGreedy: solving the scalability-accuracy dilemma in influence maximization (SC, HS, JH, GZ, XC), pp. 509–518.

CIKM-2013-TongWL #web

Latency-aware strategy for static list caching in flash-based web search engines (JT, GW, XL), pp. 1209–1212.

ICML-c3-2013-HuangS #learning #markov #modelling

Spectral Learning of Hidden Markov Models from Dynamic and Static Data (TKH, JGS), pp. 630–638.

KEOD-2013-KarolyA #implementation

The Implementation of a ReALIS-based Method of Static Intensional Interpretation (MK, GA), pp. 393–398.

SEKE-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.

SIGIR-2013-ChenL

An information-theoretic account of static index pruning (RCC, CJL), pp. 163–172.

ECOOP-2013-LernerELK #source code #static typing

Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.

Onward-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.

OOPSLA-2013-TetaliLMM #named #static analysis

MrCrypt: static analysis for secure cloud computations (SDT, ML, RM, TDM), pp. 271–286.

POPL-2013-BenzakenCNS #semantics

Static and dynamic semantics of NoSQL languages (VB, GC, KN, JS), pp. 101–114.

SAC-2013-ChaeKHLW #api #detection

Software plagiarism detection via the static API call frequency birthmark (DKC, SWK, JH, SCL, GW), pp. 1639–1643.

SAC-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.

SAC-2013-CohenA #composition #refactoring

Practical use of static composition of refactoring operations (JC, AA), pp. 1700–1705.

SAC-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.

SAC-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-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-FSE-2013-KumarN #static analysis #tool support

The economics of static analysis tools (RK, AVN), pp. 707–710.

ESEC-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.

ICSE-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.

ICSE-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.

ICSE-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.

ASPLOS-2013-TangMWDS #compilation #named

ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.

CC-2013-BraunBHLMZ #performance

Simple and Efficient Construction of Static Single Assignment Form (MB, SB, SH, RL, CM, AZ), pp. 102–122.

CGO-2013-PienaarH #javascript #memory management #named #static analysis

JSWhiz: Static analysis for JavaScript memory leaks (JAP, RH), p. 11.

HPCA-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.

LCTES-2013-FinlaysonDGUWST #performance #pipes and filters

Improving processor efficiency by statically pipelining instructions (IF, BD, PG, GRU, DBW, MS, GST), pp. 33–44.

CAV-2013-FarzanK #bound #named #parallel #static analysis

Duet: Static Analysis for Unbounded Parallelism (AF, ZK), pp. 191–196.

ISSTA-2013-HillsKV #empirical #perspective #php #static analysis

An empirical study of PHP feature usage: a static analysis perspective (MH, PK, JJV), pp. 325–335.

ISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning

Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.

ISSTA-2013-LiCWX #memory management #validation

Dynamically validating static memory leak warnings (ML, YC, LW, G(X), pp. 112–122.

ISSTA-2013-RadoiD #concurrent #detection #java #parallel

Practical static race detection for Java parallel loops (CR, DD), pp. 178–190.

VMCAI-2013-DAntoniV #static analysis #string

Static Analysis of String Encoders and Decoders (LD, MV), pp. 209–228.

ASE-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.

ASE-2012-XiaoTFHM #analysis #privacy

User-aware privacy control via extended static-information-flow analysis (XX, NT, MF, JdH, MM), pp. 80–89.

CASE-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.

DAC-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.

DATE-2012-Chaturvedi #static analysis

Static analysis of asynchronous clock domain crossings (SC), pp. 1122–1125.

DATE-2012-DamavandpeymaSBGC #data flow #graph #modelling

Modeling static-order schedules in synchronous dataflow graphs (MD, SS, TB, MG, HC), pp. 775–780.

DATE-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.

PODS-2012-LetelierPPS #optimisation #query #semantics #static analysis #web

Static analysis and optimization of semantic web queries (AL, JP, RP, SS), pp. 89–100.

ESOP-2012-BartheDP

A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.

CSMR-2012-JaszSBOG #impact analysis #using

Impact Analysis Using Static Execute After in WebKit (JJ, LS, ÁB, CO, TG), pp. 95–104.

ICPC-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.

SCAM-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.

WCRE-2012-AlomariCM #approach #performance #scalability #slicing

A Very Efficient and Scalable Forward Static Slicing Approach (HWA, MLC, JIM), pp. 425–434.

WCRE-2012-Kinder #obfuscation #static analysis #towards

Towards Static Analysis of Virtualization-Obfuscated Binaries (JK), pp. 61–70.

PLDI-2012-KruijfSJ #compilation #design #static analysis

Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.

SAS-2012-DSilvaHK #satisfiability

Satisfiability Solvers Are Static Analysers (VD, LH, DK), pp. 317–333.

SAS-2012-GoubaultPV #composition #static analysis

Modular Static Analysis with Zonotopes (EG, SP, FV), pp. 24–40.

IFM-2012-ZhangNN #model checking #revisited #static analysis

Model Checking as Static Analysis: Revisited (FZ, FN, HRN), pp. 99–112.

CIKM-2012-ChenLTH

Information preservation in static index pruning (RCC, CJL, CMT, JH), pp. 2487–2490.

ECIR-2012-Baeza-YatesJ #modelling #web

Modeling Static Caching in Web Search Engines (RABY, SJ), pp. 436–446.

ICML-2012-McAfeeO #code generation #network #static analysis

Utilizing Static Analysis and Code Generation to Accelerate Neural Networks (LCM, KO), p. 192.

TOOLS-EUROPE-J-2011-SchwarzLN12 #fine-grained #named

Seuss: Decoupling responsibilities from static methods for fine-grained configurability (NS, ML, ON), pp. 1–23.

ECOOP-2012-DohertyH #framework #matlab #named #static analysis

McSAF: A Static Analysis Framework for MATLAB (JD, LJH), pp. 132–155.

ECOOP-2012-DugganY #data flow

Static Sessional Dataflow (DD, JY), pp. 484–508.

ECOOP-2012-XuYR #data type #detection #invariant #static analysis

Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.

Onward-2012-Heinlein #composition #named #programming language #static typing

MOST-flexiPL: modular, statically typed, flexibly extensible programming language (CH), pp. 159–178.

OOPSLA-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.

OOPSLA-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.

POPL-2012-StampoulisS #proving

Static and user-extensible proof checking (AS, ZS), pp. 273–284.

SAC-2012-ChebaroKGJ #dynamic analysis #slicing #verification

Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.

SAC-2012-MannS #android #detection #framework #privacy #static analysis

A framework for static detection of privacy leaks in android applications (CM, AS), pp. 1457–1462.

SAC-2012-ZanioliFC #information management #named #static analysis

SAILS: static analysis of information leakage with sample (MZ, PF, AC), pp. 1308–1313.

FSE-2012-AcharyaR #impact analysis #industrial #slicing

Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.

ICSE-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.

ICSE-2012-PradelJAG #api #consistency #multi #protocol #specification

Statically checking API protocol conformance with mined multi-object specifications (MP, CJ, JA, TRG), pp. 925–935.

ICSE-2012-SunSPR #mining #static analysis

Extending static analysis by mining project-specific rules (BS, GS, AP, BR), pp. 1054–1063.

ICSE-2012-Vetro #automation #identification #static analysis #technical debt #using

Using automatic static analysis to identify technical debt (AV), pp. 1613–1615.

ICSE-2012-ZhengZ #detection #problem #static analysis

Static detection of resource contention problems in server-side scripts (YZ, XZ), pp. 584–594.

CC-2012-KwonS #component #detection #static analysis

Static Detection of Unsafe Component Loadings (TK, ZS), pp. 122–143.

CGO-2012-PlazarKMF

WCET-aware static locking of instruction caches (SP, JCK, PM, HF), pp. 44–52.

LCTES-2012-SallenaveD #embedded #lightweight #static analysis

Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.

CAV-2012-HasuoS #hybrid #standard #static analysis

Exercises in Nonstandard Static Analysis of Hybrid Systems (IH, KS), pp. 462–478.

ICLP-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.

ICST-2012-Kannavara #source code #static analysis

Securing Opensource Code via Static Analysis (RK), pp. 429–436.

ICST-2012-PatrickOC #evaluation #named #semantics

MESSI: Mutant Evaluation by Static Semantic Interpretation (MP, MO, JAC), pp. 711–719.

ICST-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.

ISSTA-2012-PradelHG #detection #parametricity #static analysis #type system

Static detection of brittle parameter typing (MP, SH, TRG), pp. 265–275.

ISSTA-2012-SuiYX #analysis #detection #memory management #using

Static memory leak detection using full-sparse value-flow analysis (YS, DY, JX), pp. 254–264.

SAT-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.

VMCAI-2012-LeeLY #clustering #static analysis #statistics

Sound Non-statistical Clustering of Static Analysis Alarms (WL, WL, KY), pp. 299–314.

ECSA-2011-PereiraAS #component #interface #reuse

A Reusable Business Tier Component with a Single Wide Range Static Interface (ÓMP, RLA, MYS), pp. 216–219.

ASE-2011-VakiliD #declarative #model checking #modelling #using

Using model checking to analyze static properties of declarative models (AV, NAD), pp. 428–431.

DAC-2011-OnaissiTLN #analysis #approach #performance

A fast approach for static timing analysis covering all PVT corners (SO, FT, JL, FNN), pp. 777–782.

DATE-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.

DATE-2011-HausmansBC #data flow #graph

Resynchronization of Cyclo-Static Dataflow graphs (JPHMH, MJGB, HC), pp. 1315–1320.

DATE-2011-KobayashiH #analysis #correlation #power management

An LOCV-based static timing analysis considering spatial correlations of power supply variations (SK, KH), pp. 559–562.

DATE-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.

DATE-2011-TsukiyamaF #algorithm #analysis #statistics

An algorithm to improve accuracy of criticality in statistical static timing analysis (ST, MF), pp. 1529–1532.

ITiCSE-2011-BreukerDB #quality #student

Measuring static quality of student code (DMB, JD, JB), pp. 13–17.

ESOP-2011-JensenKP #policy

Secure the Clones — Static Enforcement of Policies for Secure Object Copying (TPJ, FK, DP), pp. 317–337.

ESOP-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.

ICPC-2011-ScannielloM #clustering #concept #source code

Clustering Support for Static Concept Location in Source Code (GS, AM), pp. 1–10.

SCAM-2011-Keul #analysis

Tuning Static Data Race Analysis for Automotive Control Software (SK), pp. 45–54.

WCRE-2011-SeppMS #precise #relational #static analysis

Precise Static Analysis of Binaries by Extracting Relational Information (AS, BM, AS), pp. 357–366.

SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.

SAS-2011-HuangZ #concurrent #debugging #performance #source code

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs (JH, CZ), pp. 163–179.

SAS-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.

SEFM-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.

CEFP-2011-TothB #erlang #static analysis

Static Analysis of Complex Software Systems Implemented in Erlang (MT, IB), pp. 440–498.

ICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis

Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.

ICEIS-v1-2011-Getta #information management #integration #optimisation

Static Optimization of Data Integration Plans in Global Information Systems (JRG), pp. 141–150.

MLDM-2011-Kessl #mining #parallel #using

Static Load Balancing of Parallel Mining of Frequent Itemsets Using Reservoir Sampling (RK), pp. 553–567.

ECOOP-2011-DietlEM #static analysis

Tunable Static Inference for Generic Universe Types (WD, MDE, PM), pp. 333–357.

TOOLS-EUROPE-2011-MilanovaV

Static Dominance Inference (AM, JV), pp. 211–227.

GPCE-J-2005-HuangZS11 #generative #static typing

Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.

GPCE-2011-HannousseDA #component #composition #interactive #modelling #static analysis

Static analysis of aspect interaction and composition in component models (AH, RD, GA), pp. 43–52.

PADL-2011-ChristakisS #detection #fault #message passing #static analysis #using

Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.

POPL-2011-AnCFH #ruby #static typing

Dynamic inference of static types for ruby (Jh(A, AC, JSF, MH), pp. 459–472.

POPL-2011-ChoiAYT #multi #source code #static analysis

Static analysis of multi-staged programs via unstaging translation (WC, BA, KY, MT), pp. 81–92.

POPL-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.

SAC-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-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-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.

GTTSE-2011-Fuhrer #ide #static analysis

Leveraging Static Analysis in an IDE (RMF), pp. 101–158.

ICSE-2011-AcharyaR #impact analysis #industrial #slicing

Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), pp. 746–755.

ICSE-2011-BayneCE #feedback

Always-available static and dynamic feedback (MB, RC, MDE), pp. 521–530.

ICSE-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.

ICSE-2011-GeTXT #execution #named #symbolic computation #verification

DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.

ICSE-2011-RabkinK #configuration management

Static extraction of program configuration options (AR, RHK), pp. 131–140.

CC-2011-GreweO #approach #clustering #using

A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL (DG, MFPO), pp. 286–305.

CC-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.

LCTES-2011-ChattopadhyayR #multi

Static bus schedule aware scratchpad allocation in multiprocessors (SC, AR), pp. 11–20.

LCTES-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.

CADE-2011-PayetS #android #source code #static analysis

Static Analysis of Android Programs (ÉP, FS), pp. 439–445.

ICLP-2011-ZomboriCS #functional #prolog #static typing #type checking

Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.

ISSTA-2011-BabicMMS #automation #generative #testing

Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.

ISSTA-2011-ZhangSBE #automation #generative #testing

Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.

RTA-2011-ConchinhaBC #deduction #equivalence #named #performance

FAST: An Efficient Decision Procedure for Deduction and Static Equivalence (BC, DAB, CC), pp. 11–20.

VMCAI-2011-DonaldsonHK #lightweight #static analysis

Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.

VMCAI-2011-GoubaultP #finite #precise #static analysis

Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.

ASE-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.

DAC-2010-HsuLML #analysis #flexibility

Static timing analysis for flexible TFT circuits (CHH, CL, EHM, JCML), pp. 799–802.

DAC-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.

DAC-2010-TangZBM #analysis #simulation #statistics

RDE-based transistor-level gate simulation for statistical static timing analysis (QT, AZ, MB, NvdM), pp. 787–792.

DATE-2010-AlordaTBS #power management

Static and dynamic stability improvement strategies for 6T CMOS low-power SRAMs (BA, GT, SAB, JS), pp. 429–434.

DATE-2010-KanoriaMM #analysis #markov #monte carlo #statistics #using

Statistical static timing analysis using Markov chain Monte Carlo (YK, SM, AM), pp. 813–818.

DATE-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.

DATE-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.

ESOP-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.

FoSSaCS-2010-NielsonN #logic #model checking #static analysis

Model Checking Is Static Analysis of Modal Logic (FN, HRN), pp. 191–205.

CSMR-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.

ICSM-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.

ICSM-2010-Letarte #interprocedural #model checking #performance #static analysis

Conversion of fast inter-procedural static analysis to model checking (DL), pp. 1–2.

ICSM-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.

SCAM-2010-KesterMB #concurrent #debugging #how #question #static analysis

How Good is Static Analysis at Finding Concurrency Bugs? (DK, MM, JSB), pp. 115–124.

SCAM-2010-LuoHDQ #concurrent #debugging #effectiveness #java #static analysis

Effective Static Analysis to Find Concurrency Bugs in Java (ZDL, LH, RD, YQ), pp. 135–144.

WCRE-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.

PLDI-2010-Chlipala #metaprogramming #named #static typing

Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.

SAS-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.

SAS-2010-Fahndrich #contract #verification

Static Verification for Code Contracts (MF), pp. 2–5.

SAS-2010-Lesens #question #static analysis #using #why

Using Static Analysis in Space: Why Doing so? (DL), pp. 51–70.

SAS-2010-McCloskeyRS #array #invariant

Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.

FLOPS-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.

SEFM-2010-BartolettiZ

Static Enforcement of Service Deadlines (MB, RZ), pp. 320–324.

ICGT-2010-Ujhelyi #model transformation #source code #static typing #type checking

Static Type Checking of Model Transformation Programs (ZU), pp. 413–415.

AdaEurope-2010-Keul #detection #version control

Static Versioning of Global State for Race Condition Detection (SK), pp. 111–124.

SIGAda-2010-JemliR #compilation #problem #static analysis #using

A methodology for avoiding known compiler problems using static analysis (MJ, JPR), pp. 23–30.

MoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling #uml

Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.

ECOOP-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.

OOPSLA-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.

OOPSLA-2010-LiangTNS #abstraction #evaluation #precise

A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.

LOPSTR-2010-LlorensOST #csp #generative #graph #process

Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.

PPDP-2010-Jeltsch #combinator #static typing #type checking

Generic record combinators with static type checking (WJ), pp. 143–154.

PADL-2010-ChristakisS #detection #erlang #static analysis

Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.

POPL-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.

SAC-2010-CiraciBA #constraints #graph #verification

Graph-based verification of static program constraints (SC, PvdB, MA), pp. 2265–2272.

ICSE-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.

ICSE-2010-Rakamaric #concurrent #named #source code

STORM: static unit checking of concurrent programs (ZR), pp. 519–520.

CC-2010-RoyS #optimisation

The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.

OSDI-2010-Chlipala #policy #security #static analysis

Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications (AC), pp. 105–118.

CAV-2010-BallBLKL #framework #research #verification

The Static Driver Verifier Research Platform (TB, EB, VL, RK, JL), pp. 119–122.

ISSTA-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.

TAP-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.

TAP-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.

VMCAI-2010-WilhelmABGHRWW #analysis #realtime

Static Timing Analysis for Hard Real-Time Systems (RW, SA, CB, DG, JH, JR, BW, SW), pp. 3–22.

ASE-2009-AnCF #ruby #static typing #type system

Static Typing for Ruby on Rails (Jh(A, AC, JSF), pp. 590–594.

ASE-2009-KroeningSTTW #named #source code

Loopfrog: A Static Analyzer for ANSI-C Programs (DK, NS, ST, AT, CMW), pp. 668–670.

ASE-2009-SaebjoernsenJQS #c #metaprogramming #preprocessor #validation

Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.

DAC-2009-FalkK

Optimal static WCET-aware scratchpad allocation of program code (HF, JCK), pp. 732–737.

DAC-2009-LingVFA #analysis #effectiveness

A moment-based effective characterization waveform for static timing analysis (DDL, CV, PF, SA), pp. 19–24.

DAC-2009-TsaiH

A false-path aware formal static timing analyzer considering simultaneous input transitions (ST, CYH), pp. 25–30.

DATE-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.

DATE-2009-LeeS #fault #static analysis

Static analysis to mitigate soft errors in register files (JL, AS), pp. 1367–1372.

DATE-2009-LiCSSS #analysis #on the #statistics

On hierarchical statistical static timing analysis (BL, NC, MS, WS, US), pp. 1320–1325.

DATE-2009-ViehlPBR #analysis #performance #scheduling

White box performance analysis considering static non-preemptive software scheduling (AV, MP, OB, WR), pp. 513–518.

DATE-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.

SIGMOD-2009-ChaudhuriNS #profiling #static analysis #using

Bridging the application and DBMS divide using static analysis and dynamic profiling (SC, VRN, MS), pp. 1039–1042.

FASE-2009-ChenWYS #detection #named #static analysis

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis (QC, LW, ZY, SDS), pp. 425–439.

TACAS-2009-NoriRTT #static analysis #testing

The YogiProject: Software Property Checking via Static Analysis and Testing (AVN, SKR, ST, AVT), pp. 178–181.

TACAS-2009-OrzanWW #equation #static analysis

Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.

CSMR-2009-NagyM #analysis #fault #security

Static Security Analysis Based on Input-Related Software Faults (CN, SM), pp. 37–46.

CSMR-2009-PatelHR #clustering #dependence #dynamic analysis #using

Software Clustering Using Dynamic Analysis and Static Dependencies (CP, AHL, JR), pp. 27–36.

ICPC-2009-LiuM #static analysis

Practical static analysis for inference of security-related program properties (YL, AM), pp. 50–59.

ICPC-2009-ZhangDH #aspectj #impact analysis #tool support #visualisation

Impact analysis and visualization toolkit for static crosscutting in AspectJ (DZ, EDE, LJH), pp. 60–69.

ICSM-2009-RothlisbergerHVABNM #ide #metric

Augmenting static source views in IDEs with dynamic metrics (DR, MH, AV, DA, WB, ON, PM), pp. 253–262.

ICSM-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.

MSR-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.

SCAM-2009-AlvesV #estimation #test coverage

Static Estimation of Test Coverage (TLA, JV), pp. 55–64.

WCRE-1999-CooganDKT99a #automation

Automatic Static Unpacking of Malware Binaries (KC, SKD, TK, GMT), pp. 167–176.

WCRE-1999-KrishnamoorthyDF99a #detection #fault #static analysis

Static Detection of Disassembly Errors (NK, SKD, KF), pp. 259–268.

PEPM-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.

PLDI-2009-RavitchJAL #automation #generative #library #static analysis #using

Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.

SAS-2009-CalmanZ #interprocedural

Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.

SAS-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.

SEFM-2009-Ferrara #java #named #parallel #source code #thread

Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.

ICFP-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.

DHM-2009-ChengR #modelling

Static and Dynamic Human Shape Modeling (ZC, KMR), pp. 3–12.

HCI-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.

CIKM-2009-AltingovdeOU #query #web

Exploiting query views for static index pruning in web search engines (ISA, RO, ÖU), pp. 1951–1954.

CIKM-2009-ShiLMW #rank

Nonlinear static-rank computation (SS, BL, YM, JRW), pp. 807–816.

ECIR-2009-AltingovdeOU09a

A Practitioner’s Guide for Static Index Pruning (ISA, RO, ÖU), pp. 675–679.

ECIR-2009-ZhengC

Entropy-Based Static Index Pruning (LZ, IJC), pp. 713–718.

OOPSLA-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.

OOPSLA-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.

OOPSLA-2009-FurrAF #scripting language #static typing #type system

Profile-guided static typing for dynamic scripting languages (MF, Jh(A, JSF), pp. 283–300.

PADL-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.

POPL-2009-GulwaniMC #complexity #estimation #named #performance #precise

SPEED: precise and efficient static estimation of program computational complexity (SG, KKM, TMC), pp. 127–139.

POPL-2009-XuJC #contract #haskell

Static contract checking for Haskell (DNX, SLPJ, KC), pp. 41–52.

SAC-2009-FurrAFH #ruby #static typing #type inference

Static type inference for Ruby (MF, Jh(A, JSF, MWH), pp. 1859–1866.

SAC-2009-JamesC #ml #multi #static analysis

Extended static checking in JML4: benefits of multiple-prover support (PRJ, PC), pp. 609–614.

ESEC-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-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.

ICSE-2009-BuseW #execution

The road not taken: Estimating path execution frequency statically (RPLB, WW), pp. 144–154.

ICSE-2009-NaikPSG #concurrent #detection #effectiveness

Effective static deadlock detection (MN, CSP, KS, DG), pp. 386–396.

CGO-2009-Bronevetsky #data flow #message passing #parallel

Communication-Sensitive Static Dataflow for Parallel Message Passing Applications (GB), pp. 1–12.

CGO-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.

CGO-2009-MarsH #framework #online #optimisation

Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations (JM, RH), pp. 169–179.

CAV-2009-BouissouGPTV #named #source code

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (OB, EG, SP, KT, FV), pp. 620–626.

CAV-2009-JeannetM #abstract domain #library #named #static analysis

Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.

CAV-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.

CAV-2009-VerdoolaegeJB #equivalence #source code #using

Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences (SV, GJ, MB), pp. 599–613.

ICST-2009-HeckmanW #identification #process #static analysis

A Model Building Process for Identifying Actionable Static Analysis Alerts (SSH, LAW), pp. 161–170.

ICST-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.

QoSA-2008-WaignierMD #analysis #architecture #specification

Architectural Specification and Static Analyses of Contractual Application Properties (GW, AFLM, LD), pp. 152–170.

ASE-2008-KollmannG #specification #static analysis #student

A Specification Language for Static Analysis of Student Exercises (CK, MG), pp. 355–358.

ASE-2008-RakamaricH #automation #axiom #static analysis #using

Automatic Inference of Frame Axioms Using Static Analysis (ZR, AJH), pp. 89–98.

DAC-2008-GandikotaBS #analysis #modelling #statistics

Modeling crosstalk in statistical static timing analysis (RG, DB, DS), pp. 974–979.

DAC-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.

DATE-2008-ZjajoG #analysis #fault #multi

Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters (AZ, JPdG), pp. 74–79.

PODS-2008-AbiteboulSV #static analysis #xml

Static analysis of active XML systems (SA, LS, VV), pp. 221–230.

ICPC-2008-RohatgiHR #approach #dynamic analysis

An Approach for Mapping Features to Code Based on Static and Dynamic Analysis (AR, AHL, JR), pp. 236–241.

ICSM-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.

ICSM-2008-JaszBGR #dependence

Static Execute After/Before as a replacement of traditional software dependencies (JJ, ÁB, TG, VR), pp. 137–146.

PASTE-2008-Abi-AntounA #architecture #case study #runtime

A field study in static extraction of runtime architectures (MAA, JA), pp. 22–28.

PASTE-2008-JashkiZB #impact analysis #performance #towards

Towards a more efficient static software change impact analysis method (MAJ, RZ, EB), pp. 84–90.

PASTE-2008-KhooFHS #static analysis #tool support

Path projection for user-centered static analysis tools (YPK, JSF, MH, VS), pp. 57–63.

PASTE-2008-LiuM #data flow #static analysis

Static analysis for inference of explicit information flow (YL, AM), pp. 50–56.

SCAM-2008-Anderson #industrial #static analysis

90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications (PA), pp. 3–12.

SCAM-2008-BoogerdM #analysis #data flow #on the #profiling

On the Use of Data Flow Analysis in Static Profiling (CB, LM), pp. 79–88.

SCAM-2008-PentaCA #detection #evolution #source code

The Evolution and Decay of Statically Detected Source Code Vulnerabilities (MDP, LC, LA), pp. 101–110.

PEPM-2008-EdwardsZ #concurrent #recursion

Static elaboration of recursion for concurrent software (SAE, JZ), pp. 71–80.

PEPM-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.

PEPM-2008-LamMLW #data flow #information management #web

Securing web applications with static and dynamic information flow tracking (MSL, MCM, VBL, JW), pp. 3–12.

PLDI-2008-HuangS

Expressive and safe static reflection with MorphJ (SSH, YS), pp. 79–89.

SAS-2008-Liblit #debugging #static analysis

Reflections on the Role of Static Analysis in Cooperative Bug Isolation (BL), pp. 18–31.

SAS-2008-RamanathanSGJ #protocol #using

Protocol Inference Using Static Path Profiles (MKR, KS, AG, SJ), pp. 78–92.

ICALP-A-2008-EisenbrandR #realtime #scheduling

A PTAS for Static Priority Real-Time Scheduling with Resource Augmentation (FE, TR), pp. 246–257.

SEFM-2008-Ferrara #parallel #source code #static analysis #thread

Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.

GT-VMT-2008-MaierM #algorithm #layout

A Static Layout Algorithm for DiaMeta (SM, MM).

AdaEurope-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.

CIKM-2008-Coetzee #n-gram #named

TinyLex: static n-gram index pruning with perfect recall (DC), pp. 409–418.

ICPR-2008-KimS #consistency #detection #sequence #using #video

Static text region detection in video sequences using color and orientation consistencies (DK, KS), pp. 1–4.

ICPR-2008-WanYM #algorithm #segmentation

A new algorithm for static camera foreground segmentation via active coutours and GMM (CW, BY, ZM), pp. 1–4.

ICPR-2008-ZhiC #image

Depth-based image mosaicing for both static and dynamic scenes (QZ, JRC), pp. 1–4.

KDD-2008-TongPSYF #graph #mining #named #performance #scalability

Colibri: fast mining of large static and dynamic graphs (HT, SP, JS, PSY, CF), pp. 686–694.

SEKE-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.

SEKE-2008-TurhanB #fault #predict

Weighted Static Code Attributes for Software Defect Prediction (BT, ABB), pp. 143–148.

MoDELS-2008-WaignierSMD #component #framework #interactive #modelling

A Model-Based Framework for Statically and Dynamically Checking Component Interactions (GW, PS, AFLM, LD), pp. 371–385.

MoDELS-2008-YuFR #modelling #static analysis #uml

Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.

MoDELS-2008-WaignierSMD #component #framework #interactive #modelling

A Model-Based Framework for Statically and Dynamically Checking Component Interactions (GW, PS, AFLM, LD), pp. 371–385.

MoDELS-2008-YuFR #modelling #static analysis #uml

Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.

OOPSLA-2008-ChernV

The impact of static-dynamic coupling on remodularization (RC, KDV), pp. 261–276.

OOPSLA-2008-DagenaisH #java #source code #static analysis

Enabling static analysis for partial java programs (BD, LJH), pp. 313–328.

OOPSLA-2008-GopinathanR #analysis #protocol #runtime

Enforcing object protocols by combining static and runtime analysis (MG, SKR), pp. 245–260.

TOOLS-EUROPE-2008-NielsenE #composition #optimisation #static typing

Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.

GPCE-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.

LOPSTR-2008-LeuschelLOST #csp #specification #static analysis

The MEB and CEB Static Analysis for CSP Specifications (ML, ML, JO, JS, ST), pp. 103–118.

ICSE-2008-BabicH #named #precise #scalability #static analysis

Calysto: scalable and precise extended static checking (DB, AJH), pp. 211–220.

ICSE-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.

ICSE-2008-RuthruffPMER #approach #predict #static analysis

Predicting accurate and actionable static analysis warnings: an experimental approach (JRR, JP, JDM, SGE, GR), pp. 341–350.

ICSE-2008-WassermannS #detection #static analysis

Static detection of cross-site scripting vulnerabilities (GW, ZS), pp. 171–180.

CC-2008-LimR #bytecode #generative

A System for Generating Static Analyzers for Machine Instructions (JL, TWR), pp. 36–52.

PPoPP-2008-NavabiZJ #scheduling

Quasi-static scheduling for safe futures (AN, XZ, SJ), pp. 23–32.

CAV-2008-KinderV #framework #named #static analysis

Jakstab: A Static Analysis Platform for Binaries (JK, HV), pp. 423–427.

TAP-2008-Ferrara #abstract interpretation #memory management #static analysis

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (PF), pp. 116–133.

WICSA-2007-KnodelP #architecture #comparison

A Comparison of Static Architecture Compliance Checking Approaches (JK, DP), p. 12.

ASE-2007-ArtziKGE #analysis

Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.

ASE-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.

DAC-2007-ChangHK #design #performance

Endurance Enhancement of Flash-Memory Storage, Systems: An Efficient Static Wear Leveling Design (YHC, JWH, TWK), pp. 212–217.

DAC-2007-ChengXH #analysis #statistics

Non-Linear Statistical Static Timing Analysis for Non-Gaussian Variation Sources (LC, JX, LH), pp. 250–255.

DAC-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.

DAC-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.

DAC-2007-WiggersBS #data flow #graph #performance

Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs (MW, MB, GJMS), pp. 658–663.

DAC-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.

DATE-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.

DATE-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.

DATE-2007-TiwaryP #analysis #named

WAVSTAN: waveform based variational static timing analysis (SKT, JRP), pp. 1000–1005.

ESOP-2007-GaubertGTZ #policy #relational #static analysis

Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.

CSMR-2007-Staiger #source code #static analysis #user interface #visual notation

Static Analysis of Programs with Graphical User Interface (SS), pp. 252–264.

ICSM-2007-BeszedesGJTGR #maintenance

Computation of Static Execute After Relation with Applications to Software Maintenance (ÁB, TG, JJ, GT, TG, VR), pp. 295–304.

PASTE-2007-AyewahPMPZ #fault #static analysis

Evaluating static analysis defect warnings on production software (NA, WP, JDM, JP, YZ), pp. 1–8.

PASTE-2007-Brown #analysis #composition #integration #named

AWE: improving software analysis through modular integration of static and dynamic analyses (REB), pp. 69–74.

PASTE-2007-FosterHP #quality #static analysis

Improving software quality with static analysis (JSF, MWH, WP), pp. 83–84.

SCAM-2007-SawinR #java

Improved Static Resolution of Dynamic Class Loading in Java (JS, AR), pp. 143–154.

WCRE-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.

WCRE-2007-Staiger #analysis #reverse engineering #user interface #using #visual notation

Reverse Engineering of Graphical User Interfaces Using Static Analyses (SS), pp. 189–198.

WCRE-2007-StaigerVKW #interprocedural

Interprocedural Static Single Assignment Form (SS, GV, SK, EW), pp. 1–10.

PEPM-2007-BurchettCK #functional #named #optimisation

Lowering: a static optimization technique for transparent functional reactivity (KB, GHC, SK), pp. 71–80.

PLDI-2007-DilligDA #consistency #detection #fault #nondeterminism #semantics #using

Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.

PLDI-2007-GenevesLS #performance #static analysis #xml

Efficient static analysis of XML paths and types (PG, NL, AS), pp. 342–351.

PLDI-2007-RamanathanGJ #mining #specification #using

Static specification inference using predicate mining (MKR, AG, SJ), pp. 123–134.

SAS-2007-BauerW #abstraction #communication #static analysis

Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.

SAS-2007-GopanR #static analysis

Guided Static Analysis (DG, TWR), pp. 349–365.

ICALP-2007-KiayiasZ #adaptation #composition #security

Trading Static for Adaptive Security in Universally Composable Zero-Knowledge (AK, HSZ), pp. 316–327.

IFM-2007-PostK #linux #static analysis #verification

Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.

HCI-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.

HCI-IPT-2007-ChoeKLA #adaptation #comparison

Experimental Comparison of Adaptive vs. Static Thumbnail Displays (PC, CK, MRL, JPA), pp. 41–48.

HCI-MIE-2007-ReifingerWAPR #artificial reality #recognition

Static and Dynamic Hand-Gesture Recognition for Augmented Reality Applications (SR, FW, MA, TP, GR), pp. 728–737.

AdaEurope-2007-BliebergerBM #ada #detection #multi #source code #static analysis

Static Detection of Livelocks in Ada Multitasking Programs (JB, BB, RM), pp. 69–83.

SIGAda-2007-Black #static analysis

Static analysis summit II (PEB), pp. 101–107.

SIGAda-2007-Dewar #compilation #static analysis

The compiler as a static analysis tool (RBKD), pp. 83–88.

ECIR-2007-BlancoB

Static Pruning of Terms in Inverted Files (RB, AB), pp. 64–75.

SEKE-2007-ShiN #component #java #named #security #static analysis

SAFES: A Static Analysis for Field Security in Java Components (AS, GN), pp. 302–307.

SIGIR-2007-BlancoB

Boosting static pruning of inverted files (RB, AB), pp. 777–778.

ECOOP-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.

OOPSLA-2007-ElkarabliehKVM #named #performance #static analysis

Starc: static analysis for efficient repair of complex data (BE, SK, DV, KSM), pp. 387–404.

PPDP-2007-Sagonas #detection #erlang #fault #source code #static analysis #using

Detecting defects in Erlang programs using static analysis (KFS), p. 37.

PADL-2007-EichbergKSMO #analysis #automation #prolog

Automatic Incrementalization of Prolog Based Static Analyses (ME, MK, DS, MM, KO), pp. 109–123.

PADL-2007-MeraLPCH #execution #profiling #static analysis

Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.

POPL-2007-AvgustinovHOMSTV #aspectj #semantics

Semantics of static pointcuts in aspectJ (PA, EH, NO, OdM, DS, JT, MV), pp. 11–23.

POPL-2007-NaikA #alias #concurrent #detection

Conditional must not aliasing for static race detection (MN, AA), pp. 327–338.

POPL-2007-WiedermannC #persistent #query #static analysis

Extracting queries by static analysis of transparent persistence (BW, WRC), pp. 199–210.

SAC-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-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-FSE-2007-VoungJL #concurrent #detection #named

RELAY: static race detection on millions of lines of code (JWV, RJ, SL), pp. 205–214.

ICSE-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.

ICSE-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.

SPLC-2007-SchirmeierS #analysis #framework #product line

Tailoring Infrastructure Software Product Lines by Static Application Analysis (HS, OS), pp. 255–260.

CC-2007-JeonSH #data access #layout #using

Layout Transformations for Heap Objects Using Static Access Patterns (JJ, KS, HH), pp. 187–201.

CADE-2007-TiwariG #logic #program analysis #proving #theorem proving #using

Logical Interpretation: Static Program Analysis Using Theorem Proving (AT, SG), pp. 147–166.

CAV-2007-KahlonYSG #concurrent #detection #performance #source code

Fast and Accurate Static Data-Race Detection for Concurrent Programs (VK, YY, SS, AG), pp. 226–239.

ICLP-2007-PhanJ #analysis

Static Region Analysis for Mercury (QP, GJ), pp. 317–332.

ISSTA-2007-ShohamYFP #abstraction #mining #specification #using

Static specification mining using automata-based abstractions (SS, EY, SF, MP), pp. 174–184.

LICS-2007-Pottier

Static Name Control for FreshML (FP), pp. 356–365.

RTA-2007-BoichutGJR #approximate #performance #prototype

Rewriting Approximations for Fast Prototyping of Static Analyzers (YB, TG, TPJ, LLR), pp. 48–62.

TAP-2007-SmaragdakisC #debugging #detection #reasoning

Combining Static and Dynamic Reasoning for Bug Detection (YS, CC), pp. 1–16.

VMCAI-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.

ASE-2006-AcharyaSXX #effectiveness #generative #interface #robust #static analysis

Effective Generation of Interface Robustness Properties for Static Analysis (MA, TS, JX, TX), pp. 293–296.

ASE-2006-EichbergMKOR #analysis #scheduling #set

Integrating and Scheduling an Open Set of Static Analyses (ME, MM, SK, KO, BR), pp. 113–122.

DAC-2006-LeeWA #analysis #statistics

Refined statistical static timing analysis through (BNL, LCW, MSA), pp. 149–154.

DATE-2006-BensoBCNP #automation #fault #testing

Automatic march tests generations for static linked faults in SRAMs (AB, AB, SDC, GDN, PP), pp. 1258–1263.

DATE-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.

FoSSaCS-2006-AbadiBW #equivalence

Guessing Attacks and the Computational Soundness of Static Equivalence (MA, MB, BW), pp. 398–412.

TACAS-2006-SiminiceanuC #diagrams #metric

New Metrics for Static Variable Ordering in Decision Diagrams (RS, GC), pp. 90–104.

CSMR-2006-KnodelMNL #architecture #evaluation

Static Evaluation of Software Architectures (JK, DM, MN, ML), pp. 279–294.

ICPC-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.

SCAM-2006-BinkleyHK #animation #approximate #static analysis

Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation (DB, MH, JK), pp. 43–52.

SCAM-2006-BoogerdM #profiling #using

Prioritizing Software Inspection Results using Static Profiling (CB, LM), pp. 149–160.

PLDI-2006-GuyerMF #automation #named #static analysis

Free-Me: a static analysis for automatic individual object reclamation (SZG, KSM, DF), pp. 364–375.

PLDI-2006-NaikAW #concurrent #detection #effectiveness #java

Effective static race detection for Java (MN, AA, JW), pp. 308–319.

SAS-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.

SAS-2006-Das #power of #static analysis

Unleashing the Power of Static Analysis (MD), pp. 1–2.

SAS-2006-GoubaultP #algorithm #static analysis

Static Analysis of Numerical Algorithms (EG, SP), pp. 18–34.

SAS-2006-KirkegaardM #java #static analysis

Static Analysis for Java Servlets and JSP (CK, AM), pp. 336–352.

SAS-2006-SankaranarayananISG #static analysis

Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.

ICALP-v1-2006-KojevnikovI #bound #calculus #proving

Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies (AK, DI), pp. 323–334.

FM-2006-AiguierBG #interactive #specification #static analysis

Feature Specification and Static Analysis for Interaction Resolution (MA, KB, PLG), pp. 364–379.

SEFM-2006-BelblidiaD #aspectj #formal method #weaving

Formalizing AspectJ Weaving for Static Pointcuts (NB, MD), pp. 50–59.

SEFM-2006-Khedker #perspective #source code #static analysis

Static Analysis of Programs: A Heap Centric View (UPK), p. 261.

ICFP-2006-FisherS #static analysis #syntax

Static analysis for syntax objects (DF, OS), pp. 111–121.

ICFP-2006-WalkerMLRA #static typing #type system #λ-calculus

Static typing for a faulty λ calculus (DW, LWM, JL, GAR, DIA), pp. 38–49.

AdaEurope-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.

AdaEurope-2006-BurgstallerBM #ada #detection #static analysis

Static Detection of Access Anomalies in Ada95 (BB, JB, RM), pp. 40–55.

CIKM-2006-ButtcherC #approach #retrieval

A document-centric approach to static index pruning in text retrieval systems (SB, CLAC), pp. 182–189.

ICPR-v1-2006-DawoodBLJS #multi

Transforming Static CT in Gated PET/CT Studies to Multiple Respiratory Phases (MD, FB, NL, XJ, KPS), pp. 1026–1029.

ICPR-v3-2006-LamL #identification #using

Human Identification by Using the Motion and Static Characteristic of Gait (THWL, RSTL), pp. 996–999.

ICPR-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.

OOPSLA-2006-WarthSM #adaptation

Statically scoped object adaptation with expanders (AW, MS, TDM), pp. 37–56.

GPCE-2006-KaminAK #analysis #generative #staging

Staging static analyses for program generation (SK, BA, MK), pp. 1–10.

PPDP-2006-MatsunoO #type system

A type system equivalent to static single assignment (YM, AO), pp. 249–260.

QAPL-2006-SotinCJ #behaviour #java #static analysis

Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.

SAC-2006-Capron #bound #static analysis

Static analysis of time bounded reactive properties of Boolean symbols (GC), pp. 1827–1834.

ICSE-2006-HeineL #detection #polymorphism #static analysis

Static detection of leaks in polymorphic containers (DLH, MSL), pp. 252–261.

ICSE-2006-ManoliosV #proving #static analysis #termination #theorem proving

Integrating static analysis and general-purpose theorem proving for termination analysis (PM, DV), pp. 873–876.

CAV-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.

ICLP-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.

ICLP-2006-Phan #logic programming #memory management #programming language

Static Memory Management for Logic Programming Languages (QP), pp. 465–466.

WICSA-2005-KnodelLM #architecture #evaluation #summary

Static Evaluation of Software Architectures — A Short Summary (JK, ML, DM), pp. 237–238.

DAC-2005-AgarwalCBZ #analysis #optimisation #statistics #using

Circuit optimization using statistical static timing analysis (AA, KC, DB, VZ), pp. 321–324.

DAC-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.

DAC-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.

DATE-2005-AbdiG #functional #scheduling #validation

Functional Validation of System Level Static Scheduling (SA, DDG), pp. 542–547.

DATE-2005-AndreiSEPH #constraints #energy #scalability

Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints (AA, MTS, PE, ZP, BMAH), pp. 514–519.

DATE-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.

DATE-2005-NazarianPTLA #analysis #modelling

Modeling and Propagation of Noisy Waveforms in Static Timing Analysis (SN, MP, ET, TL, AHA), pp. 776–777.

DATE-2005-SharifiJHAN #reduction

Simultaneous Reduction of Dynamic and Static Power in Scan Structures (SS, JJ, MH, AAK, ZN), pp. 846–851.

DocEng-2005-ManakaS #lazy evaluation #optimisation #parsing #xml

Static optimization of XSLT stylesheets: template instantiation optimization and lazy XML parsing (KM, HS), pp. 55–57.

ICDAR-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.

ESOP-2005-ChanderEILN #bound #dynamic analysis #verification

Enforcing Resource Bounds via Static Verification of Dynamic Checks (AC, DE, NI, PL, GCN), pp. 311–325.

ESOP-2005-MauborgneR #abstract interpretation #clustering

Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.

CSMR-2005-BodhuinT #impact analysis

A Tool for Static and Dynamic Model Extraction and Impact Analysis (TB, MT), p. 193.

ICSM-2005-SharpR #java #static analysis

Static Analysis of Object References in RMI-Based Java Software (MS, AR), pp. 101–110.

IWPC-2005-MarcusRBPS #concept #object-oriented

Static Techniques for Concept Location in Object-Oriented Code (AM, VR, JB, MP, AS), pp. 33–42.

PASTE-2005-HovemeyerSP #debugging #null #pointer #static analysis

Evaluating and tuning a static analysis to find null pointer bugs (DH, JS, WP), pp. 13–19.

PASTE-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.

PASTE-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.

SCAM-2005-Breu #mining

Extending Dynamic Aspect Mining with Static Information (SB), pp. 57–65.

SCAM-2005-ShiN #component #java #static analysis

Static Analysis for Computing Escapability and Mutability for Java Components (AS, GN), pp. 119–128.

SAS-2005-Abramsky #algorithm #game studies #semantics #static analysis

Algorithmic Game Semantics and Static Analysis (SA), p. 1.

STOC-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.

FM-2005-LeinoM #composition #invariant #verification

Modular Verification of Static Class Invariants (KRML, PM), pp. 26–42.

SEFM-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.

IFL-2005-BradyH #execution #framework #static analysis

A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.

VISSOFT-2005-ClearyGEB #eclipse #plugin #static analysis #visualisation

A Combined Software Reconnaissance & Static Analysis Eclipse Visualisation Plug-in (BC, ALG, CE, JB), pp. 121–122.

VISSOFT-2005-XiePM #3d #concept

Support for Static Concept Location with sv3D (XX, DP, AM), pp. 102–107.

CIKM-2005-BotevEFLS

Static score bucketing in inverted indexes (CB, NE, MF, NL, EJS), pp. 311–312.

ECOOP-2005-WilliamsTE #concurrent #detection #java #library

Static Deadlock Detection for Java Libraries (AW, WT, MDE), pp. 602–629.

GPCE-2005-HuangZS #generative #static typing

Statically Safe Program Generation with SafeGen (SSH, DZ, YS), pp. 309–326.

LOPSTR-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.

ICSE-2005-CookR #execution #query #static typing

Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.

ICSE-2005-CsallnerS #static analysis #testing

Check’n’crash: combining static checking and testing (CC, YS), pp. 422–431.

ICSE-2005-NagappanB05a #fault #static analysis #tool support

Static analysis tools as early indicators of pre-release defect density (NN, TB), pp. 580–586.

COCV-J-2005-GalPF05a #encoding

Structural Encoding of Static Single Assignment Form (AG, CWP, MF), pp. 85–102.

LCTES-2005-MannDLC #garbage collection #realtime

Static determination of allocation rates to support real-time garbage collection (TM, MD, RL, RC), pp. 193–202.

LCTES-2005-SassoneWL #dependence #embedded #performance

Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.

PPoPP-2005-WangS #source code #static analysis

Static analysis of atomicity for programs with non-blocking synchronization (LW, SDS), pp. 61–71.

CAV-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.

VMCAI-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.

DAC-2004-KanjLAR

Noise characterization of static CMOS gates (RK, TL, BA, ER), pp. 888–893.

DAC-2004-LeeZB #analysis #using

Static timing analysis using backward signal propagation (DL, VZ, DB), pp. 664–669.

DATE-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.

DATE-v1-2004-ZhangYV

Low Static-Power Frequent-Value Data Caches (CZ, JY, FV), pp. 214–219.

DATE-v2-2004-CortesEP #realtime #scheduling

Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks (LAC, PE, ZP), pp. 1176–1183.

DATE-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.

SIGMOD-2004-AyadN #infinity #optimisation #query

Static Optimization of Conjunctive Queries with Sliding Windows Over Infinite Streams (AA, JFN), pp. 419–430.

ESOP-2004-Feret #static analysis

Static Analysis of Digital Filters (JF), pp. 33–48.

FASE-2004-GhezziMP #static analysis #type system

Enhancing Remote Method Invocation through Type-Based Static Analysis (CG, VM, GPP), pp. 339–353.

IWPC-2004-Kelsen #behaviour #comprehension #source code

A Simple Static Model for Understanding the Dynamic Behavior of Programs (PK), pp. 46–51.

IWPC-2004-Torchiano #assessment #diagrams #empirical #uml

Empirical Assessment of UML Static Object Diagrams (MT), pp. 226–230.

PASTE-2004-Ernst #dynamic analysis

Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.

PASTE-2004-Martel #assembly #source code #validation

Validation of assembler programs for DSPs: a static analyzer (MM), pp. 8–13.

PASTE-2004-RountevKG #static analysis

Evaluating the imprecision of static analysis (AR, SK, MG), pp. 14–16.

WCRE-2004-Harrold #analysis #control flow #source code

Static and Dynamic Analyses of Programs with Implicit Control Flow (MJH), p. 5.

WCRE-2004-ParkKWY #analysis #behaviour #design pattern

A Static Reference Flow Analysis to Understand Design Pattern Behavior (CP, YK, CW, KY), pp. 300–301.

PLDI-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.

SAS-2004-HymansU #data flow #dependence #graph #static analysis

Static Analysis of Gated Data Dependence Graphs (CH, EU), pp. 197–211.

IFM-2004-BallCLR #formal method #verification

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (TB, BC, VL, SKR), pp. 1–20.

ICFP-2004-HermanM #embedded #partial evaluation #static analysis

Improving the static analysis of embedded languages via partial evaluation (DH, PM), pp. 16–27.

CHI-2004-FindlaterM #adaptation #comparison

A comparison of static, adaptive, and adaptable menus (LF, JM), pp. 89–96.

AdaEurope-2004-BreuerG #concurrent #detection #kernel #linux

Static Deadlock Detection in the Linux Kernel (PTB, MGV), pp. 52–64.

ICEIS-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.

ICPR-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.

ICPR-v2-2004-YaoZ #detection

Systematic Static Shadow Detection (JY, Z(Z), pp. 76–79.

OOPSLA-2004-GuyerM #static analysis

Finding your cronies: static analysis for dynamic object colocation (SZG, KSM), pp. 237–250.

POPL-2004-Benton #analysis #correctness #program transformation #proving #relational

Simple relational correctness proofs for static analyses and program transformations (NB), pp. 14–25.

FSE-2004-ManevichSA #named #static analysis

PSE: explaining program failures via postmortem static analysis (RM, MS, SA, MD, ZY), pp. 63–72.

FSE-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.

ICSE-2004-GouldSD #database #query #static analysis

Static Checking of Dynamically Generated Queries in Database Applications (CG, ZS, PTD), pp. 645–654.

ICSE-2004-GouldSD04a #sql #static analysis

JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications (CG, ZS, PTD), pp. 697–698.

ICSE-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.

ASPLOS-2004-RegehrR #automation #embedded #named

HOIST: a system for automatically deriving static analyzers for embedded systems (JR, AR), pp. 133–143.

CGO-2004-PanaitSW #identification

Static Identification of Delinquent Loads (VMP, AS, WFW), pp. 303–314.

LCTES-2004-PatilSM #composition #simulation

Compositional static instruction cache simulation (KP, KS, FM), pp. 136–145.

CAV-2004-RepsSW #logic #program analysis

Static Program Analysis via 3-Valued Logic (TWR, SS, RW), pp. 15–30.

VMCAI-2004-EnglerM #debugging #model checking #static analysis

Static Analysis versus Software Model Checking for Bug Finding (DRE, MM), pp. 191–210.

ASE-2003-AhmadAGK #detection #fault #spreadsheet #type system

A Type System for Statically Detecting Spreadsheet Errors (YA, TA, SG, SK), pp. 174–183.

DAC-2003-AgostaBS #modelling #static analysis #transaction

Static analysis of transaction-level models (GA, FB, DS), pp. 448–453.

DAC-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.

DAC-2003-KouroussisN #grid #independence #power management #verification

A static pattern-independent technique for power grid voltage integrity verification (DK, FNN), pp. 99–104.

DAC-2003-LeeB #reduction

Static leakage reduction through simultaneous threshold voltage and state assignment (DL, DB), pp. 191–194.

DAC-2003-TsengK #analysis

Static noise analysis with noise windows (KT, VK), pp. 864–868.

DATE-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.

DATE-2003-WangZ #analysis #polynomial

Transistor-Level Static Timing Analysis by Piecewise Quadratic Waveform Matching (ZW, JZ), pp. 11026–11031.

ICDAR-2003-LauYT #image #sequence #using

Recovery of Writing Sequence of Static Images of Handwriting using UWM (KKL, PCY, YYT), pp. 1123–1127.

ESOP-2003-Leroy #perspective #programming language #security #static analysis

Computer Security from a Programming Language and Static Analysis Perspective (XL), pp. 1–9.

ESOP-2003-RepsSL #difference #finite #logic #static analysis

Finite Differencing of Logical Formulas for Static Analysis (TWR, SS, AL), pp. 380–398.

FASE-2003-Young #static analysis #testing

Symbiosis of Static Analysis and Program Testing (MY), pp. 1–5.

TACAS-2003-BehrmannBFL #analysis #automaton #verification

Static Guard Analysis in Timed Automata Verification (GB, PB, EF, KGL), pp. 254–277.

ICSM-2003-AntoniolP #information management #library #using

Library Miniaturization Using Static and Dynamic Information (GA, MDP), p. 235–?.

ICSM-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.

IWPC-2003-RiccaT #clustering #migration #using #web

Using Clustering to Support the Migration from Static to Dynamic Web Pages (FR, PT), pp. 207–216.

SCAM-2003-KissJLG #bytecode #interprocedural #slicing

Interprocedural Static Slicing of Binary Executables (ÁK, JJ, GL, TG), p. 118–?.

SCAM-2003-KulkarniR #slicing #source code

Static Slicing of Reactive Programs (ARK, SR), pp. 98–107.

SCAM-2003-Martel #clustering #static analysis

Improving the Static Analysis of Loops by Dynamic Partitioning Techniques (MM), pp. 13–21.

SCAM-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.

PLDI-2003-BlanchetCCFMMMR #safety #scalability

A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.

PLDI-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.

PLDI-2003-JoishaB #array #matlab #optimisation

Static array storage optimization in MATLAB (PGJ, PB), pp. 258–268.

PLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code #thread

Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.

SAS-2003-ChongR #data type #recursion #static analysis

Static Analysis of Accessed Regions in Recursive Data Structures (SC, RR), pp. 463–482.

SAS-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.

ICFP-2003-HiguchiO #data access #static typing #type system #virtual machine

A static type system for JVM access control (TH, AO), pp. 227–237.

SIGAda-2003-AmeyC #programming #verification

Static verification and extreme programming (PA, RC), pp. 4–9.

PPDP-2003-EchahedPS #concurrent #process

Statically assuring secrecy for dynamic concurrent processes (RE, FP, WS), pp. 91–101.

POPL-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.

POPL-2003-GheorghioiuSR #analysis #interprocedural

Interprocedural compatibility analysis for static object preallocation (OG, AS, MCR), pp. 273–284.

POPL-2003-HofmannJ #first-order #functional #predict #source code

Static prediction of heap space usage for first-order functional programs (MH, SJ), pp. 185–197.

SOSP-2003-EnglerA #detection #effectiveness #named #static analysis

RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.

VMCAI-2003-CatanoH #ml #named #static analysis

CHASE: A Static Checker for JML’s Assignable Clause (NC, MH), pp. 26–40.

VMCAI-2003-Masse #abstract interpretation #static analysis

Property Checking Driven Abstract Interpretation-Based Static Analysis (DM), pp. 56–69.

DATE-2002-ArrigoniDPLW #scheduling

False Path Elimination in Quasi-Static Scheduling (GA, LD, CP, LL, YW), pp. 964–970.

DATE-2002-ZhaoMB #compilation #design #modelling #set #using

Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models (QZ, BM, TB), pp. 1021–1026.

CSMR-2002-RivaR #architecture #re-engineering

Combining Static and Dynamic Views for Architecture Reconstruction (CR, JVR), p. 47–?.

ICSM-2002-TonellaP #analysis #c++ #diagrams

Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram (PT, AP), pp. 54–63.

PASTE-2002-ChelfEH #how #static analysis

How to write system-specific, static checkers in metal (BC, DRE, SH), pp. 51–60.

PASTE-2002-Eng #visualisation

Combining static and dynamic data in code visualization (DE), pp. 43–50.

SCAM-2002-ChangJH #exception #java #static analysis #using #visualisation

Visualization of Exception Propagation for Java Using Static Analysis (BMC, JWJ, SHH), p. 173–?.

WCRE-2002-EisenbarthKV

Static Trace Extraction (TE, RK, GV), p. 128–?.

WCRE-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–?.

WCRE-2002-TanT #fault #program analysis #transaction #verification

Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.

PLDI-2002-BurtscherDH #classification #predict

Static Load Classification for Improving the Value Predictability of Data-Cache Misses (MB, AD, MH), pp. 222–233.

PLDI-2002-FlanaganLLNSS #java #static analysis

Extended Static Checking for Java (CF, KRML, ML, GN, JBS, RS), pp. 234–245.

PLDI-2002-HallemCXE #analysis

A System and Language for Building System-Specific, Static Analyses (SH, BC, YX, DRE), pp. 69–82.

SAS-2002-Esparza #algebra #approach #concurrent #static analysis

An Algebraic Approach to the Static Analysis of Concurrent Software (JE), p. 3.

SAS-2002-ManevichRFGS #first-order #representation #static analysis

Compactly Representing First-Order Structures for Static Analysis (RM, GR, JF, DG, SS), pp. 196–212.

SAS-2002-Martel #static analysis

Static Analysis of the Numerical Stability of Loops (MM), pp. 133–150.

SAS-2002-Masse #abstract interpretation #semantics

Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties (DM), pp. 428–443.

SAS-2002-Reps #logic #program analysis

Static Program Analysis via 3-Valued Logic (TWR), p. 1.

ICALP-2002-GrigorievHP #algebra #bound #exponential #proving

Exponential Lower Bound for Static Semi-algebraic Proofs (DG, EAH, DVP), pp. 257–268.

FME-2002-CatanoH #java #specification #static analysis #using

Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.

VISSOFT-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.

AdaEurope-2002-ChenBZY #ada #analysis #concurrent #dependence #source code

Static Dependency Analysis for Concurrent Ada 95 Programs (ZC, BX, JZ, HY), pp. 219–230.

ICPR-v1-2002-YuanL #modelling

Simulated Static Electric Field (SSEF) Snake for Deformable Models (DY, SL), pp. 83–86.

ICPR-v3-2002-SandersNS #formal method

A Theory of the Quasi-Static World (BCSS, RCN, RS), pp. 1–6.

OOPSLA-2002-ZeeR #static analysis

Write barrier removal by static analysis (KZ, MCR), pp. 191–210.

POPL-2002-BallR #debugging #static analysis

The SLAM project: debugging system software via static analysis (TB, SKR), pp. 1–3.

FSE-2002-NimmerE #invariant #static analysis

Invariant inference for static checking (JWN, MDE), pp. 11–20.

ICSE-2002-EideRRL #design pattern

Static and dynamic structure in design patterns (EE, AR, JR, JL), pp. 208–218.

ICSE-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.

ASPLOS-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.

CC-2002-CousotC #composition #program analysis

Modular Static Program Analysis (PC, RC), pp. 159–178.

CC-2002-RelePOG #functional #optimisation

Optimizing Static Power Dissipation by Functional Units in Superscalar Processors (SR, SP, SÖ, RG), pp. 261–275.

LCTES-SCOPES-2002-Barthelmann #operating system

Inter-task register-allocation for static operating systems (VB), pp. 149–154.

ISSTA-2002-LiangPH #analysis #precise #profiling #using

Evaluating the precision of static reference analysis using profiling (DL, MP, MJH), pp. 22–32.

RTA-2002-KennawayKP #composition #static analysis #λ-calculus

Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.

VMCAI-2002-MurawskiY #analysis

Static Monotonicity Analysis for lambda-definable Functions over Lattices (ASM, KY), pp. 139–153.

ASE-2001-BratV #model checking #static analysis

Combining Static Analysis and Model Checking for Software Analysis (GPB, WV), p. 262–?.

ASE-2001-NentwichEF #consistency #distributed #specification

Static Consistency Checking for Distributed Specifications (CN, WE, AF), p. 115–?.

DAC-2001-ArunachalamBP #analysis #interactive

False Coupling Interactions in Static Timing Analysis (RA, RDB, LTP), pp. 726–731.

DAC-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.

DAC-2001-GizdarskiF #complexity #framework #learning

A Framework for Low Complexity Static Learning (EG, HF), pp. 546–549.

DAC-2001-KimCL #estimation #logic

A Static Estimation Technique of Power Sensitivity in Logic Circuits (TK, KSC, CLL), pp. 215–219.

DAC-2001-KudlugiST #functional #multi #scheduling #verification

Static Scheduling of Multiple Asynchronous Domains For Functional Verification (MK, CS, RT), pp. 647–652.

DAC-2001-LuoJ #distributed #embedded #realtime #scheduling

Battery-Aware Static Scheduling for Distributed Real-Time Embedded Systems (JL, NKJ), pp. 444–449.

DAC-2001-ShinKL #analysis #energy #scheduling #using

Low-Energy Intra-Task Voltage Scheduling Using Static Timing Analysis (DS, JK, SL), pp. 438–443.

DATE-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.

DATE-2001-LiuP #design #estimation

A static power estimation methodolodgy for IP-based design (XL, MCP), pp. 280–289.

DATE-2001-NaiduJ #power management

Minimizing stand-by leakage power in static CMOS circuits (SRN, ETAFJ), pp. 370–376.

DATE-2001-PomeranzR #order #sequence

Sequence reordering to improve the levels of compaction achievable by static compaction procedures (IP, SMR), pp. 214–218.

DATE-2001-Zhu01a #analysis #memory management #pointer

Static memory allocation by pointer analysis and coloring (JZ), pp. 785–790.

DocEng-2001-Tozawa #static typing #towards #type checking

Towards static type checking for XSLT (AT), pp. 18–27.

ESOP-2001-PottierSS #approach #data access

A Systematic Approach to Static Access Control (FP, CS, SFS), pp. 30–45.

ICSM-2001-CookJH #evolution

Dynamic and Static Views of Software Evolution (SC, HJ, RH), pp. 592–601.

ICSM-2001-EisenbarthKS #analysis #comprehension

Aiding Program Comprehension by Static and Dynamic Feature Analysis (TE, RK, DS), pp. 602–611.

PASTE-2001-BrabandMS #html #validation

Static validation of dynamically generated HTML (CB, AM, MIS), pp. 38–45.

PASTE-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.

SCAM-2001-ByersK #morphism #parametricity #polymorphism #slicing

Static Slicing and Parametric Polymorphism (DB, MK), pp. 181–186.

PLDI-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.

SAS-2001-Feret #abstract interpretation #mobile #static analysis

Abstract Interpretation-Based Static Analysis of Mobile Ambients (JF), pp. 412–430.

SAS-2001-Goubault #analysis #float #precise

Static Analyses of the Precision of Floating-Point Operations (EG), pp. 234–259.

SAS-2001-Leino #static analysis

Applications of Extended Static Checking (KRML), pp. 185–193.

SAS-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.

SAS-2001-Spoto #analysis #composition #semantics

Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses (FS), pp. 127–145.

SAS-2001-Wagner #assurance #static analysis

Static Analysis and Software Assurance (DW), p. 431.

STOC-2001-AlstrupBR

Optimal static range reporting in one dimension (SA, GSB, TR), pp. 476–482.

ICFP-2001-Pitts #approach #functional #programming #representation #syntax

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.

CAiSE-2001-LaleauP #concept #information management #metamodelling #modelling #uml

A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems (RL, FP), pp. 402–416.

SIGIR-2001-SofferCCFFHM #information retrieval

Static Index Pruning for Information Retrieval Systems (AS, DC, DC, RF, EF, MH, YSM), pp. 43–50.

ECOOP-2001-PolletCC #java #source code #static analysis

Distinctness and Sharing Domains for Static Analysis of Java Programs (IP, BLC, AC), pp. 77–98.

TOOLS-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.

LOPSTR-2001-Shankar #functional #static analysis

Static Analysis for Safe Destructive Updates in a Functional Language (NS), pp. 1–24.

SAIG-2001-DamianD

Static Transition Compression (DD, OD), pp. 92–107.

ICSE-2001-BrylowDP #static analysis

Static Checking of Interrupt-Driven Software (DB, ND, JP), pp. 47–56.

DAC-2000-ShepardK #analysis

Static noise analysis for digital integrated circuits in partially-depleted silicon-on-insulator technology (KLS, DJK), pp. 239–242.

DATE-2000-GovindarajanV #quality #scheduling

Improving the Schedule Quality of Static-List Time-Constrained Scheduling (SG, RV), p. 749.

DATE-2000-GulrajaniH #identification #logic #multi

Multi-Node Static Logic Implications for Redundancy Identification (KG, MSH), pp. 729–733.

DATE-2000-HergenhanR #analysis #architecture #embedded

Static Timing Analysis of Embedded Software on Advanced Processor Architectures (AH, WR), pp. 552–559.

DATE-2000-RingeLB #analysis

Static Timing Analysis Taking Crosstalk into Account (MR, TL, EB), pp. 451–455.

ITiCSE-2000-Kumar #generative #problem

Dynamically generating problems on static scope (AK), pp. 9–12.

TACAS-2000-BozgaFG #automation #generative #static analysis #testing #using

Using Static Analysis to Improve Automatic Test Generation (MB, JCF, LG), pp. 235–250.

PEPM-2000-Das #case study #experience #scalability #source code #static analysis

Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk) (MD), p. 1.

SAS-2000-GagnonHM #bytecode #java #performance #static typing

Efficient Inference of Static Types for Java Bytecode (EG, LJH, GM), pp. 199–219.

SAS-2000-Lev-AmiS #analysis #implementation #named

TVLA: A System for Implementing Static Analyses (TLA, SS), pp. 280–301.

ICALP-2000-MycroftS #functional #parallel

A Statically Allocated Parallel Functional Language (AM, RS), pp. 37–48.

ICFP-2000-SkalkaS #security

Static enforcement of security with types (CS, SFS), pp. 34–45.

AdaEurope-2000-Ringler #analysis #execution #source code #worst-case

Static Worst-Case Execution Time Analysis of Synchronous Programs (TR), pp. 56–68.

CIKM-2000-HambruschL #replication

Data Replication for External Searching in Static Tree Structures (SEH, CML), pp. 360–367.

UML-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.

OOPSLA-2000-SerranoBMG #compilation #java #named

Quicksilver: a quasi-static compiler for Java (MJS, RB, SPM, MG), pp. 66–82.

TOOLS-EUROPE-2000-CornilsH #design pattern #documentation

Statically Checked Documentation with Design Patterns (AC, GH), pp. 419–430.

TOOLS-PACIFIC-2000-FavreMP #modelling #object-oriented #uml

Transforming UML Static Models into Object-Oriented Code (LF, LM, CP), pp. 170–181.

TOOLS-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.

PADL-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.

POPL-2000-LewisLMS #parametricity #static typing

Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.

SAC-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.

CC-2000-AycockH #generative

Simple Generation of Static Single-Assignment Form (JA, RNH), pp. 110–124.

CC-2000-RyderSKGS #exception #java #using

A Static Study of Java Exceptions Using JESP (BGR, DS, UK, MG, NS), pp. 67–81.

HPCA-2000-PatilE #alias #branch #predict

Combining Static and Dynamic Branch Prediction to Reduce Destructive Aliasing (HP, JSE), pp. 251–262.

ISSTA-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.

LICS-2000-Prost #calculus #dependence

A Static Calculus of Dependencies for the λ-Cube (FP), pp. 267–276.

DAC-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.

DATE-1999-ChakrabortyGBKM #design #physics #self

A Physical Design Tool for Built-in Self-Repairable Static RAMs (KC, AG, MB, SK, PM), p. 714–?.

ESOP-1999-LiuS #programming

Dynamic Programming via Static Incrementalization (YAL, SDS), pp. 288–305.

FASE-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.

FoSSaCS-1999-ArruabarrenaLN #embedded #logic programming

A Strong Logic Programming View for Static Embedded Implications (RA, PL, MN), pp. 56–72.

FoSSaCS-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.

TACAS-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.

ICSM-1999-RichnerD #information management #object-oriented

Recovering High-Level Views of Object-Oriented Applications from Static and Dynamic Information (TR, SD), pp. 13–22.

IWPC-1999-MayrhauserL #maintenance #on the #static analysis

On the Role of Static Analysis during Software Maintenance (AvM, SL), pp. 170–177.

WCRE-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.

PEPM-1999-Rhiger #static typing

Deriving a Statically Typed Type-Directed Partial Evaluator (MR), pp. 25–29.

PLDI-1999-FraserP #code generation

Finite-Static Code Generation (CWF, TAP), pp. 270–280.

PLDI-1999-LeungG

Static Single Assignment Form for machine Code (AL, LG), pp. 204–214.

SAS-1999-AldrichCSE #analysis #java #source code

Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (JA, CC, EGS, SJE), pp. 19–38.

SAS-1999-Asai #analysis

Binding-Time Analysis for Both Static and Dynamic Expressions (KA), pp. 117–133.

SAS-1999-McAllester #analysis #complexity #on the

On the Complexity Analysis of Static Analyses (DAM), pp. 312–329.

SAS-1999-SreedharJGS

Translating Out of Static Single Assignment Form (VCS, RDCJ, DMG, VS), pp. 194–210.

SAS-1999-Weise #static analysis

Static Analysis of Mega-Programs (DW), pp. 300–302.

STOC-1999-PanduranganU #evaluation

Static and Dynamic Evaluation of QoS Properties (GP, EU), pp. 566–573.

STOC-1999-ScheidelerV #performance #protocol

From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols (CS, BV), pp. 215–224.

FLOPS-1999-RidouxBM #prolog #static analysis

Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.

ICALP-1999-Pagh

Low Redundancy in Static Dictionaries with O(1) Worst Case Lookup Time (RP), pp. 595–604.

ICFP-1999-Elsman

Static Interpretation of Modules (ME), pp. 208–219.

UML-1999-Clark #diagrams #type checking #uml

Type Checking UML Static Diagrams (TC), pp. 503–517.

ECOOP-1999-MillsteinC #composition #multi #static typing

Modular Statically Typed Multimethods (TDM, CC), pp. 279–303.

OOPSLA-1999-France #analysis #concept #modelling #problem #requirements #uml

A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts (RBF), pp. 57–69.

TOOLS-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.

LOPSTR-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.

PADL-1999-Vasconcelos #flexibility #framework #logic programming #slicing #source code

A Flexible Framework for Dynamic and Static Slicing of Logic Programs (WWV), pp. 259–274.

POPL-1999-Myers #data flow #named

JFlow: Practical Mostly-Static Information Flow Control (ACM), pp. 228–241.

ESEC-FSE-1999-Bokowski #constraints #java #named

CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java (BB), pp. 355–374.

CADE-1999-Prost #analysis #formal method #system f

A formalization of Static Analyses in System F (FP), pp. 252–266.

ICLP-1999-KangT #linear #logic programming #programming language #static analysis

A Static Analysis for Classical Linear Logic Programming Language (KSK, NT), p. 610.

ICLP-1999-MarinoM #functional #logic programming #source code #static analysis #using

Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.

ASE-1998-GilE #design

Statically Checkable Design Level Traits (JYG, YE), pp. 217–220.

DAC-1998-NagarajCHY #analysis #approach

A Practical Approach to Static Signal Electromigration Analysis (NSN, FC, HH, DY), pp. 572–577.

DAC-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.

DATE-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.

DATE-1998-HsiaoC #performance #sequence

State Relaxation Based Subsequence Removal for Fast Static Compaction in Sequential Circuits (MSH, STC), pp. 577–582.

DATE-1998-OlcozCGG #static analysis #tool support

Static Analysis Tools for Soft-Core Reviews and Audits (SO, AC, MG, JAG), pp. 935–936.

TACAS-1998-KurshanLMPY #partial order #reduction

Static Partial Order Reduction (RPK, VL, MM, DP, HY), pp. 345–357.

ICSM-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.

PASTE-1998-DorRS #analysis #detection #experience #fault #memory management #pointer

Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience) (ND, MR, SS), pp. 27–34.

PASTE-1998-Krinke #slicing #source code #thread

Static Slicing of Threaded Programs (JK), pp. 35–42.

PLDI-1998-HastiH #analysis #pointer #using

Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis (RH, SH), pp. 97–105.

SAS-1998-HandjievaT #analysis #clustering #control flow #using

Refining Static Analyses by Trace-Based Partitioning Using Control Flow (MH, ST), pp. 200–214.

SAS-1998-TadjouddineEF #automation #difference #program analysis

Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis (MT, FE, CF), pp. 311–326.

ICALP-1998-CiceroneSF

Static and Dynamic Low-Congested Interval Routing Schemes (SC, GDS, MF), pp. 592–603.

SIGAda-1998-PritchettR #static analysis

An ASIS-Based Static Analysis Tool for High-Integrity Systems (WWPI, JDR), pp. 12–17.

CIKM-1998-AslamPR #clustering #information management

Static and Dynamic Information Organization with Star Clusters (JAA, KP, DR), pp. 208–217.

ICPR-1998-ZouY #image

Extracting stroke information in static line images (JJZ, HY), pp. 1142–1144.

KR-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.

ECOOP-1998-BruceOW #static typing

A Statically Safe Alternative to Virtual Types (KBB, MO, PW), pp. 523–549.

ECOOP-1998-Guimaraes #static typing

Reflection for Statically Typed Languages (JdOG), pp. 440–461.

OOPSLA-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.

ALP-PLILP-1998-HatcliffDL #analysis #staging #using

Staging Static Analyses Using Abstraction-Based Program Specialization (JH, MBD, SL), pp. 134–151.

POPL-1998-BarthouCC

Maximal Static Expansion (DB, AC, JFC), pp. 98–106.

POPL-1998-Nishimura #static typing #type system

Static Typing for Dynamic Messages (SN), pp. 266–278.

REFSQ-1998-RegnellR #requirements #testing #verification

Combining Scenario-based Requirements with Static Verification and Dynamic Testing (BR, PR), pp. 195–206.

CC-1998-LeinoN #static analysis

An Extended Static Checker for Modular-3 (KRML, GN), pp. 302–305.

ASE-1997-Gaugne #comprehension #debugging #static analysis

A Static Analysis for Program Understanding and Debugging (RG), pp. 297–298.

DAC-1997-MalikML #analysis #embedded

Static Timing Analysis of Embedded Software (SM, MM, YTSL), pp. 147–152.

EDTC-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.

EDTC-1997-CornoPRR #sequence #testing

New static compaction techniques of test sequences for sequential circuits (FC, PP, MR, MSR), pp. 37–43.

EDTC-1997-GavrilovGRBJV #performance

Fast power loss calculation for digital static CMOS circuits (SG, AG, SR, DB, LGJ, GV), pp. 411–415.

ICDAR-1997-PrevostM #classification #recognition

Static and Dynamic Classifier Fusion for Character Recognition (LP, MM), pp. 499–506.

CSMR-1997-ClassenHMS #migration #static analysis #user interface

CUI to GUI Migration: Static Analysis of Character-Based Panels (IC, KH, IM, MS), pp. 144–149.

ICSM-1997-CifuentesF #bytecode #slicing

Intraprocedural Static Slicing of Binary Executables (CC, AF), p. 188–?.

SAS-1997-Cousot #abstract interpretation #semantics #static analysis

Abstract Interpretation Based Static Analysis Parameterized by Semantics (PC), pp. 388–394.

SAS-1997-Granger #analysis #congruence

Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract) (PG), pp. 278–292.

SAS-1997-Mackie #distributed #implementation #interactive #static analysis

Static Analysis of Interaction Nets for Distributed Implementations (IM), pp. 217–231.

STOC-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.

ICFP-1997-FahndrichB #abstraction

Statically Checkable Pattern Abstractions (MF, JB), pp. 75–84.

AdaEurope-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.

CIKM-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.

ECOOP-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.

SAC-1997-SurmaS #communication #hybrid #parallel #scheduling

Hybrid static-dynamic communication scheduling for parallel systems (DRS, EHMS), pp. 374–379.

ESEC-FSE-1997-NaumovichACO #architecture #static analysis

Applying Static Analysis to Software Architectures (GN, GSA, LAC, LJO), pp. 77–93.

DAC-1996-PomeranzR #on the #sequence #testing

On Static Compaction of Test Sequences for Synchronous Sequential Circuits (IP, SMR), pp. 215–220.

PODS-1996-BertinoC #database #static analysis

Static Analysis of Intensional Databases in U-Datalog (EB, BC), pp. 202–212.

SIGMOD-1996-Tajima #database #detection #object-oriented #security #static analysis

Static Detection of Security Flaws in Object-Oriented Databases (KT), pp. 341–352.

ESOP-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.

ICSM-1996-CifuentesM #question

Binary Translation: Static, Dynamic, Retargetable? (CC, VMM), pp. 340–349.

PLDI-1996-Evans #detection #fault #memory management #static analysis

Static Detection of Dynamic Memory Errors (DE), pp. 44–53.

PLDI-1996-FlanaganFKWF #debugging #invariant #web

Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.

SAS-1996-Handjieva #abstract interpretation #named

STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation (MH), pp. 383–384.

ICALP-1996-Miltersen #bound #multi

Lower Bounds for Static Dictionaries on RAMs with Bit Operations But No Multiplication (PBM), pp. 442–453.

ICFP-1996-WiseW #clustering #pointer #thread

Static and Dynamic Partitioning of Pointers as Links and Threads (DSW, JW), pp. 42–49.

AdaEurope-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.

ICPR-1996-LeeL96a #image

A lossless image compression method for human static signatures (LLL, MGL), pp. 910–913.

KDD-1996-JohnL #data mining #mining

Static Versus Dynamic Sampling for Data Mining (GHJ, PL), pp. 367–370.

KR-1996-Sandewall #constraints

Assessments of Ramification Methods that Use Static Domain Constraints (ES), pp. 99–110.

OOPSLA-1996-BaconS #c++ #performance #static analysis

Fast Static Analysis of C++ Virtual Function Calls (DFB, PFS), pp. 324–341.

OOPSLA-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.

POPL-1996-GuptaS #source code #static analysis

Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs (MG, ES), pp. 322–332.

ICSE-1996-MurphyNL #empirical #graph

An Empirical Study of Static Call Graph Extractors (GCM, DN, ESCL), pp. 90–99.

CC-1996-BoucherF #compilation #implementation #paradigm #static analysis

Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.

CC-1996-ChoiSS #incremental

Incremental Computation of Static Single Assignment Form (JDC, VS, ES), pp. 223–237.

ICDAR-v2-1995-HuangRB

Strokes recovering from static handwriting (WH, GR, ZB), pp. 861–864.

PLDI-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.

PLDI-1995-CalderGLMMZ #branch #predict

Corpus-Based Static Branch Prediction (BC, DG, DCL, JHM, MM, BGZ), pp. 79–92.

PLDI-1995-Patterson #branch #predict

Accurate Static Branch Prediction by Value Range Propagation (JRCP), pp. 67–78.

SAS-1995-KobayashiNY #communication #concurrent #programming language #static analysis

Static Analysis of Communication for Asynchronous Concurrent Programming Languages (NK, MN, AY), pp. 225–242.

ICALP-1995-AulettaPP #algorithm

Placing Resources in a Tree: Dynamic and Static Algorithms (VA, DP, GP), pp. 232–243.

ECOOP-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.

FSE-1995-GuptaS #approach #hybrid #information management #slicing #using

Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.

IWMM-1995-Wadler #static analysis

Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract) (PW), p. 117.

LCT-RTS-1995-JourdanM #analysis #realtime

Static Timing Analysis of Real-Time Systems (MJ, FM), pp. 79–87.

LCT-RTS-1995-LeeLK #hybrid #scheduling

Scheduling of Hard Aperiodic Tasks in Hybrid Static/Dynamic Priority Systems (JL, SL, HK), pp. 7–19.

ILPS-1995-GallagherBS #logic programming #modelling #source code #static analysis

Practical Model-Based Static Analysis for Definite Logic Programs (JPG, DB, HS), pp. 351–365.

EDAC-1994-AbderrahmanKS #estimation

Estimation of Simultaneous Switching Power and Ground Noise of Static CMOS Combinational Circuits (AA, BK, YS), p. 658.

ICSM-1994-AngerRY #concurrent #dynamic analysis #source code

Combining Static and Dynamic Analysis of Concurrent Programs (FDA, RVR, MY), pp. 89–98.

PEPM-1994-Baker-Finch #higher-order #static analysis #type system

Type Theory and Projections for Higher-Order Static Analysis (CABF), pp. 43–52.

PLDI-1994-Krall #branch #predict #replication

Improving Semi-static Branch Prediction by Code Replication (AK), pp. 97–106.

PLDI-1994-WagnerMGH #optimisation

Accurate Static Estimators for Program Optimization (TAW, VM, SLG, MAH), pp. 85–96.

SAS-1994-HarcourtMC #scheduling #specification

From Processor Timing Specifications to Static Intruction Scheduling (EAH, JM, TAC), pp. 116–130.

SAS-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.

LFP-1994-ReistadG #execution

Static Dependent Costs for Estimating Execution Time (BR, DKG), pp. 65–78.

AdaEurope-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.

PLILP-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.

ASPLOS-1994-YoungS #branch #correlation #predict #using

Improving the Accuracy of Static Branch Prediction Using Branch Correlation (CY, MDS), pp. 232–241.

ICLP-1994-Silcrat #algebra #logic #static analysis

Logic, Algebra and Static Analysis in DM Systems, the IE Way (EDS), p. 744.

DAC-1993-YangLYD #performance #simulation

An Efficient Non-Quasi-Static Diode Model for Circuit Simulation (ATY, YL, JTY, RRD), pp. 720–725.

WCRE-1993-OlshefskiC #comprehension #prototype #type system

A Prototype System for static and Dynamic Program Understanding (DO, AC), pp. 93–106.

WSA-1993-Roy #challenge #logic programming #source code #static analysis

Challenges in Developing Useful and Practical Static Analysis for Logic Programs (PVR), p. 111.

WSA-1993-SahlinS #named #static analysis

Demonstration: Static Analysis of AKL (DS, TS), pp. 282–283.

POPL-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.

POPL-1993-LeeF #multi

Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes (SDL, DPF), pp. 479–492.

POPL-1993-SrinivasanHW #parallel #source code

Static Single Assignment for Explicitely Parallel Programs (HS, JH, MW), pp. 260–272.

ILPS-1993-Debray #logic programming #source code #static analysis

Static Analysis of Logic Programs (SKD), pp. 43–44.

ISSTA-1993-LevineT #analysis #concurrent #metric #re-engineering

Metric-Driven Reengineering for Static Concurrency Analysis (DLL, RNT), pp. 40–50.

PLDI-1992-DiwanMH #compilation #garbage collection #static typing

Compiler Support for Garbage Collection in a Statically Typed Language (AD, JEBM, RLH), pp. 273–282.

WSA-1992-BagnaraGL #source code #static analysis

Static Analysis of CLP Programs over Numeric Domains (RB, RG, GL), pp. 43–50.

WSA-1992-Gallagher #logic programming #specification #static analysis

Static Analysis for Logic Program Specification (JPG), pp. 285–294.

SEKE-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.

TOOLS-EUROPE-1992-Johnson #eiffel #network #resource management

An Eiffel Program for Static Network Resource Allocation (PJ), pp. 335–347.

IWMM-1992-Chailloux #ambiguity #garbage collection #static typing

A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages (EC), pp. 218–229.

DAC-1991-JuS #identification #incremental

Incremental Techniques for the Identification of Statically Sensitizable Critical Paths (YCJ, RAS), pp. 541–546.

PEPM-1991-Lisper #algorithm #detection #partial evaluation

Detecting Static Algorithms by Partial Evaluation (BL), pp. 31–42.

PLDI-1991-WilsonLM #effectiveness #garbage collection #locality

Effective “Static-Graph” Reorganization to Improve Locality in Garbage-Collected Systems (PRW, MSL, TGM), pp. 177–191.

WSA-1991-Malmkjaer #on the #source code

On Static Properties of Specialized Programs (KM), pp. 234–241.

ICALP-1991-CasasDM #random

Static on Random Trees (RC, JD, CM), pp. 186–203.

VDME-1991-1-BruunHD #approach #semantics

An Approach to the Static Semantics of VDM-SL (HB, BSH, FMD), pp. 220–253.

FPCA-1991-ConselD #data flow

For a Better Support of Static Data Flow (CC, OD), pp. 496–519.

AdaEurope-1991-DelisT #ada #assessment #design #static analysis #using

Design Assessment of Ada Systems Using Static Analysis (AD, WMT), pp. 227–250.

ECOOP-1991-MugridgeHH #multi #programming language #static typing

Multi-Methods in a Statically-Typed Programming Language (WBM, JH, JGH), pp. 307–324.

OOPSLA-1991-AgrawalDL #multi #static typing #type checking

Static Type Checking of Multi-Methods (RA, LGD, BGL), pp. 113–128.

OOPSLA-1991-Ghelli #message passing #static typing #type system

A Static Type System for Message Passing (GG), pp. 129–145.

POPL-1991-AikenM #static typing #type inference

Static Type Inference in a Dynamically Typed Language (AA, BRM), pp. 279–290.

POPL-1991-ConselD #semantics

Static and Dynamic Semantics Processing (CC, OD), pp. 14–24.

PPoPP-1991-BalasundaramFKK #clustering #performance

A Static Performance Estimator to Guide Data Partitioning Decisions (VB, GF, KK, UK), pp. 213–223.

ISLP-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.

IWPTS-1991-ChansonL #on the #protocol #testing

On Static and Dynamic Test Case Selections in Protocol Confomance Testing (STC, QL), pp. 255–266.

ICALP-1990-Schwartzbach #correctness

Static Correctness of Hierarchical Procedures (MIS), pp. 32–45.

LFP-1990-SheldonG #dependent type

Static Dependent Types for First Class Modules (MAS, DKG), pp. 20–29.

PLILP-1990-BoeckC #analysis #correctness #prolog #static typing

Static Type Analysis of Prolog Procedures for Ensuring Correctness (PDB, BLC), pp. 222–237.

POPL-1990-Thatte #static typing #type system

Quasi-Static Typing (SRT), pp. 367–381.

LICS-1990-WandW #source code #verification

Conditional λ-Theories and the Verification of Static Properties of Programs (MW, ZYW), pp. 321–332.

DAC-1989-PerremansCM #analysis

Static Timing Analysis of Dynamically Sensitizable Paths (SP, LJMC, HDM), pp. 568–573.

SIGMOD-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.

SIGMOD-1989-TangN #database

A Static Pessimistic Scheme for Handling Replicated Databases (JT, NN), pp. 389–398.

OOPSLA-1989-ConnorDMB #inheritance #multi

An Object Addressing Mechanism for Statically Types Languages with Multiple Inheritance (RCHC, AD, RM, ALB), pp. 279–285.

OOPSLA-1989-OhoriB #parametricity #static typing #type inference

Static Type Inference for Parametric Classes (AO, PB), pp. 445–456.

POPL-1989-AbadiCPP #dynamic typing #static typing #type system

Dynamic Typing in a Statically-Typed Language (MA, LC, BCP, GDP), pp. 213–227.

POPL-1989-CytronFRWZ #performance

An Efficient Method of Computing Static Single Assignment Form (RC, JF, BKR, MNW, FKZ), pp. 25–35.

TAV-1989-OlenderO #constraints #named

Cesar: A Static Sequencing Constraint Analyzer (KMO, LJO), pp. 66–74.

PLILP-1988-Lindstrom #functional #logic #source code #static analysis

Static Analysis Of Functional Programs With Logic Variables (GL), pp. 1–19.

ICSE-1988-Narayanaswamy #evolution #framework #lisp #static analysis

Static Analysis-Based Program Evolution Support in the Common Lisp Framework (KN), pp. 222–230.

JICSCP-1988-Debray88 #logic programming #parallel #source code #static analysis

Static Analysis of Parallel Logic Programs (SKD), pp. 711–732.

DAC-1987-HofmannK #logic #optimisation

Delay Optimization of Combinational Static CMOS Logic (MH, JKK), pp. 125–132.

DAC-1987-Serlet #combinator #performance

Fast, Small, and Static Combinatorial CMOS Circuits (BS), pp. 451–458.

HT-1987-Oren #architecture

The Architecture of Static Hypertexts (TO), pp. 291–306.

ICALP-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.

POPL-1986-LiskovHG #communication #distributed #process

Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing (BL, MH, LG), pp. 150–159.

SLP-1985-ChangD85 #analysis #backtracking #dependence #prolog

Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis (JHC, AMD), pp. 10–21.

SCC-1984-BaiardiRV #communication #static analysis

Static checking of interprocess communication in ECSP (FB, LR, MV), pp. 290–299.

POPL-1984-MishraK #source code #static analysis

Static Inference of Properties of Applicative Programs (PM, RMK), pp. 235–244.

ICSE-1982-MarcaM #design #information management #modelling

Static and Dynamic Data Modeling for Information System Design (DAM, CLM), pp. 137–147.

ICALP-1981-Sethi

Circular Expressions: Elimination of Static Environments (RS), pp. 378–392.

TFDA-1980-BundgaardS #ada #semantics

A Denotational (Static) Semantics Method for Defining Ada Context Conditions (JB, LS), pp. 21–212.

SCC-1979-Morris #abstraction #implementation

Data abstraction: A static implementation strategy (JBM), pp. 1–7.

DAC-1977-BoseS #detection #logic

Detection of static and dynamic hazards in logic nets (AKB, SAS), pp. 220–224.

POPL-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.