BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
extend (679)
program (291)
model (276)
interpret (261)
system (230)

Stem abstract$ (all stems)

2712 papers:

CBSECBSE-2015-RuchkinSG #abstraction #architecture #hybrid #source code
Architectural Abstractions for Hybrid Programs (IR, BRS, DG), pp. 65–74.
WICSAWICSA-2015-CoutoTCL #abstract syntax tree #architecture #migration #syntax
Migrating to an Extensible Architecture for Abstract Syntax Trees (LDC, PWVTJ, JWC, KL), pp. 145–154.
CASECASE-2015-AicherRV #abstraction #automation #simulation #towards #verification
Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation (TA, SR, BVH), pp. 1048–1053.
DACDAC-2015-BalajiFDGA #abstraction #architecture #cyber-physical #modelling
Models, abstractions, and architectures: the missing links in cyber-physical systems (BB, MAAF, NDD, RKG, YA), p. 6.
DATEDATE-2015-BombieriFPS #abstraction #verification
RTL property abstraction for TLM assertion-based verification (NB, RF, GP, FS), pp. 85–90.
DATEDATE-2015-MadhukarSWKM #abstraction #lazy evaluation #using #verification
Verifying synchronous reactive systems using lazy abstraction (KM, MS, BW, DK, RM), pp. 1571–1574.
DocEngDocEng-2015-BanerjeeMS #generative #summary
Generating Abstractive Summaries from Meeting Transcripts (SB, PM, KS), pp. 51–60.
VLDBVLDB-2015-MullerG #abstract interpretation #sql
Provenance for SQL through Abstract Interpretation: Value-less, but Worthwhile (TM, TG), pp. 1872–1883.
ESOPESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case
Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
ESOPESOP-2015-CoxCR #abstraction #multi #source code
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages (AC, BYEC, XR), pp. 483–509.
ESOPESOP-2015-Ricciotti #data type
Binding Structures as an Abstract Data Type (WR), pp. 762–786.
TACASTACAS-2015-SoudjaniGA #abstraction #probability #process
FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
TACASTACAS-2015-Urban #abstract domain #contest #named #termination
FuncTion: An Abstract Domain Functor for Termination — (Competition Contribution) (CU), pp. 464–466.
ICSMEICSME-2015-NittaM #abstraction #why
Delta extraction: An abstraction technique to comprehend why two objects could be related (NN, TM), pp. 61–70.
SANERSANER-2015-MattsenWS #abstract domain #analysis
A non-convex abstract domain for the value analysis of binaries (SM, AW, SS), pp. 271–280.
PEPMPEPM-2015-PoulsenMT #abstract interpretation #imperative #morphism #polymorphism
Imperative Polymorphism by Store-Based Types as Abstract Interpretations (CBP, PDM, PT), pp. 3–8.
PLDIPLDI-2015-Appel #encryption #verification
Verification of a cryptographic primitive: SHA-256 (abstract) (AWA), p. 153.
SASSAS-2015-CattaruzzaASK #analysis #bound
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (DC, AA, PS, DK), pp. 312–331.
SASSAS-2015-ChenC #abstract domain
A Binary Decision Tree Abstract Domain Functor (JC, PC), pp. 36–53.
SASSAS-2015-MonniauxA #abstraction #array
A Simple Abstraction of Arrays and Maps by Program Translation (DM, FA), pp. 217–234.
STOCSTOC-2015-AggarwalDRS #problem #using
Solving the Shortest Vector Problem in 2n Time Using Discrete Gaussian Sampling: Extended Abstract (DA, DD, OR, NSD), pp. 733–742.
STOCSTOC-2015-KothariM #generative #pseudo
Almost Optimal Pseudorandom Generators for Spherical Caps: Extended Abstract (PKK, RM), pp. 247–256.
STOCSTOC-2015-SunW #canonical #performance
Faster Canonical Forms for Primitive Coherent Configurations: Extended Abstract (XS, JW), pp. 693–702.
CIAACIAA-2015-GruberHJ #automaton #finite #nondeterminism
More on Deterministic and Nondeterministic Finite Cover Automata — Extended Abstract (HG, MH, SJ), pp. 114–126.
CIAACIAA-2015-Watson #automaton #finite #hardware #implementation #regular expression
Hardware Implementations of Finite Automata and Regular Expressions — Extended Abstract (BWW), pp. 13–17.
DLTDLT-2015-Yamakami #bound #complexity #quantum
Complexity Bounds of Constant-Space Quantum Computation — (Extended Abstract) (TY), pp. 426–438.
ICALPICALP-v1-2015-GoldreichGR #branch #context-free grammar #proving #proximity #source code
Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs — (Extended Abstract) (OG, TG, RDR), pp. 666–677.
LATALATA-2015-MakowskyL #graph #matrix #word
Hankel Matrices: From Words to Graphs (Extended Abstract) (JAM, NL), pp. 47–55.
FMFM-2015-0009ZZZ #abstraction #hybrid
Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
FMFM-2015-AmatoMMS #abstract domain
Narrowing Operators on Template Abstract Domains (GA, SDNDM, MCM, FS), pp. 57–72.
FMFM-2015-ChimdyalwarDCVC #abstraction #bound #model checking #static analysis #using
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking (BC, PD, AC, SV, AC), pp. 573–576.
SEFMSEFM-2015-JonesY #abstraction #reasoning #using
Reasoning about Separation Using Abstraction and Reification (CBJ, NY), pp. 3–19.
CHICHI-2015-Gilbert #abstraction
Open Book: A Socially-inspired Cloaking Technique that Uses Lexical Abstraction to Transform Messages (EG), pp. 477–486.
CHICHI-2015-PolitisBP #multimodal
To Beep or Not to Beep?: Comparing Abstract versus Language-Based Multimodal Driver Displays (IP, SAB, FEP), pp. 3971–3980.
HCIDHM-HM-2015-ShodaYSS #analysis #behaviour #how #people
Exploring How People Collaborate with a Stranger: — Analyses of Verbal and Nonverbal Behaviors in Abstract Art Reproduction (HS, TY, NS, MS), pp. 379–388.
HCIHCI-DE-2015-Moallem #question #user interface
Concrete or Abstract User Interface? (AM), pp. 390–395.
HCIHCI-DE-2015-Teixeira-FariaI #abstraction #complexity #component #interactive #visual notation
Reduce Complexity by Increasing Abstraction in Interactive Visual Components (PMTF, JRI), pp. 426–437.
HCIHIMI-IKC-2015-OgusuOKY #generative #music
Enhancing Abstract Imaginations of Viewers of Abstract Paintings by a Gaze Based Music Generation System (TO, JO, JK, SY), pp. 457–464.
HCIHIMI-IKC-2015-WatanabeTA #abstraction #development #learning #source code
Development of a Learning Support System for Reading Source Code by Stepwise Abstraction (KW, TT, TA), pp. 387–394.
ICMLICML-2015-JiangKS #abstraction #learning #modelling
Abstraction Selection in Model-based Reinforcement Learning (NJ, AK, SS), pp. 179–188.
MoDELSMoDELS-2015-EichlerMSGD #graph grammar #term rewriting
Enhanced graph rewriting systems for complex software domains (SoSyM abstract) (CE, TM, PS, LAG, KD), p. 447.
MoDELSMoDELS-2015-FarwickSBH #architecture #automation #documentation #enterprise
A situational method for semi-automated enterprise architecture documentation (SoSyM abstract) (MF, CMS, RB, IH), p. 448.
MoDELSMoDELS-2015-RagoMD #case study #identification #semantics
Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract) (AR, CM, JADP), p. 446.
MoDELSMoDELS-2015-SongLASDC #architecture #formal method #probability #using #verification
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract) (SS, YL, MA, JS, JSD, TC), p. 449.
ECOOPECOOP-2015-BurckhardtLPF #abstraction #protocol #robust #sequence
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (SB, DL, JP, MF), pp. 568–590.
ECOOPECOOP-2015-DimovskiBW #abstraction #analysis #precise #variability
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (ASD, CB, AW), pp. 247–270.
OOPSLAOOPSLA-2015-BlackshearCS #abstraction #control flow
Selective control-flow abstraction via jumping (SB, BYEC, MS), pp. 163–182.
OOPSLAOOPSLA-2015-DaraisMH #composition #program analysis #reuse
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.
OOPSLAOOPSLA-2015-UpadhyayaR #abstraction #concurrent #effectiveness #java #message passing #thread #virtual machine
Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.
PPDPPPDP-2015-Cousot #abstract interpretation #induction #verification
Verification by abstract interpretation, soundness and abstract induction (PC), pp. 1–4.
PPDPPPDP-2015-StievenartNMR #abstract interpretation #concurrent #debugging #detection #higher-order #source code
Detecting concurrency bugs in higher-order programs through abstract interpretation (QS, JN, WDM, CDR), pp. 232–243.
POPLPOPL-2015-BonchiSZ #abstraction #graph
Full Abstraction for Signal Flow Graphs (FB, PS, FZ), pp. 515–526.
POPLPOPL-2015-DelawarePGC #data type #deduction #named #proving #synthesis
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant (BD, CPC, JG, AC), pp. 689–700.
POPLPOPL-2015-GuKRSWWZG #abstraction #specification
Deep Specifications and Certified Abstraction Layers (RG, JK, TR, ZS, X(W, SCW, HZ, YG), pp. 595–608.
POPLPOPL-2015-PredaGLM #analysis #automaton #bytecode #semantics #similarity
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.
ESEC-FSEESEC-FSE-2015-SunXLLQ #abstraction #learning #named #testing #validation
TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.
SPLCSPLC-2015-DimovskiABW #model checking #off the shelf #using
Family-based model checking using off-the-shelf model checkers: extended abstract (ASD, ASAS, CB, AW), p. 397.
ASPLOSASPLOS-2015-ChisnallRWWVMRD #architecture #automaton #c
Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine (DC, CR, RNMW, JW, MV, SWM, MR, BD, PGN), pp. 117–130.
CGOCGO-2015-DeweyKH #interpreter #javascript #parallel
A parallel abstract interpreter for JavaScript (KD, VK, BH), pp. 34–45.
HPDCHPDC-2015-ZhouLLPZ #abstraction #graph #parallel #performance
Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions (YZ, LL, KL, CP, QZ), pp. 179–190.
LCTESLCTES-2015-ZhangK #abstract interpretation #analysis #persistent #precise
Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis (ZZ, XDK), p. 10.
PPoPPPPoPP-2015-YouWTC #abstraction #framework #named
VirtCL: a framework for OpenCL device abstraction and management (YPY, HJW, YNT, YTC), pp. 161–172.
CADECADE-2015-DSilvaU #abstract interpretation #automation #deduction
Abstract Interpretation as Automated Deduction (VD, CU), pp. 450–464.
CAVCAV-2015-KonnovVW #abstraction #algorithm #distributed #model checking #smt
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.
CAVCAV-2015-OulamaraV #abstract interpretation
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation (MO, AJV), pp. 415–430.
CAVCAV-2015-Tiwari #abstraction
Time-Aware Abstractions in HybridSal (AT), pp. 504–510.
CAVCAV-2015-DesaiSQBE #abstraction #approximate #distributed
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems (AD, SAS, SQ, DB, JCE), pp. 429–448.
CAVCAV-2015-KuwaharaSU0 #abstraction #functional #higher-order #source code #termination
Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs (TK, RS, HU, NK), pp. 287–303.
ICLPICLP-2015-AriasC #execution #interface #towards
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract) (JA, MC).
ICLPICLP-2015-BrocheninM #reasoning #set
Abstract Answer Set Solvers for Cautious Reasoning (RB, MM).
ICLPICLP-2015-Maher
Relating Concrete Argumentation Formalisms and Abstract Argumentation (MJM).
ICLPICLP-2015-Nys #deduction #roadmap
Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction (VN).
ICLPICLP-J-2015-GagglMRWW #encoding #programming
Improved answer-set programming encodings for abstract argumentation (SAG, NM, AR, JPW, SW), pp. 434–448.
ICLPICLP-J-2015-GebserHKLS
Abstract gringo (MG, AH, RK, VL, TS), pp. 449–463.
ISSTAISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #refinement #reliability
Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
LICSLICS-2015-CastellanCW #game studies #parallel
The Parallel Intensionally Fully Abstract Games Model of PCF (SC, PC, GW), pp. 232–243.
LICSLICS-2015-KobayashiL #abstraction #model checking #refinement
Automata-Based Abstraction Refinement for μHORS Model Checking (NK, XL), pp. 713–724.
LICSLICS-2015-McIverMR #data flow #markov #modelling #monad
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow (AM, CM, TMR), pp. 597–608.
RTARTA-2015-Kirchner #data analysis #graph
Port Graphs, Rules and Strategies for Dynamic Data Analytics — Extended Abstract (Invited Talk) (HK), pp. 1–4.
RTARTA-2015-Rosu #logic
Matching Logic — Extended Abstract (Invited Talk) (GR), pp. 5–21.
VMCAIVMCAI-2015-BackesR #abstraction #analysis #clustering #graph transformation #infinity
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction (PB, JR), pp. 135–152.
VMCAIVMCAI-2015-BjornerG #abstraction
Property Directed Polyhedral Abstraction (NB, AG), pp. 263–281.
VMCAIVMCAI-2015-BraitlingFHWBH #automaton #markov #metric
Abstraction-Based Computation of Reward Measures for Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 172–189.
VMCAIVMCAI-2015-Cousot #induction
Abstracting Induction by Extrapolation and Interpolation (PC), pp. 19–42.
VMCAIVMCAI-2015-DanMVY #abstraction #effectiveness #memory management #modelling #verification
Effective Abstractions for Verification under Relaxed Memory Models (AMD, YM, MTV, EY), pp. 449–466.
VMCAIVMCAI-2015-GanjeiREP #process
Abstracting and Counting Synchronizing Processes (ZG, AR, PE, ZP), pp. 227–244.
VMCAIVMCAI-2015-LiuR #abstraction #array
Abstraction of Arrays Based on Non Contiguous Partitions (JL, XR), pp. 282–299.
VMCAIVMCAI-2015-PrabhakarS #abstraction #analysis #hybrid
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (PP, MGS), pp. 318–335.
VMCAIVMCAI-2015-UrbanM #abstract interpretation #proving
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (CU, AM), pp. 190–208.
ASEASE-2014-KusanoW #abstraction #optimisation #partial order #reduction
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.
ASEASE-2014-UbayashiALLHK #compilation #verification
Abstraction-aware verifying compiler for yet another MDD (NU, DA, PL, YNL, SH, YK), pp. 557–562.
DACDAC-2014-PrussKE #abstraction #equivalence #scalability #using #verification
Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases (TP, PK, FE), p. 6.
DATEDATE-2014-SchlichtmannKAEGGHNW #abstraction #design
Connecting different worlds — Technology abstraction for reliability-aware design and Test (US, VK, JAA, AE, CGD, MG, AH, SRN, NW), pp. 1–8.
DATEDATE-2014-WangLLW0 #design #functional #generative #testing
Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
DocEngDocEng-2014-FerilliGRE #detection #order
Abstract argumentation for reading order detection (SF, DG, DR, FE), pp. 45–48.
ITiCSEITiCSE-2014-Hidalgo-CespedesRL #concept #design #game studies #learning #programming #video
Playing with metaphors: a methodology to design video games for learning abstract programming concepts (JHC, GMR, VLV), p. 348.
ESOPESOP-2014-Fu #abstraction #analysis #memory management
Targeted Update — Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis (ZF), pp. 534–553.
ESOPESOP-2014-SvendsenB #concurrent
Impredicative Concurrent Abstract Predicates (KS, LB), pp. 149–168.
ESOPESOP-2014-UrbanM #abstract domain #ranking
An Abstract Domain to Infer Ordinal-Valued Ranking Functions (CU, AM), pp. 412–431.
FASEFASE-2014-MudduluruR #abstraction #incremental #performance #static analysis #using
Efficient Incremental Static Analysis Using Path Abstraction (RM, MKR), pp. 125–139.
FoSSaCSFoSSaCS-2014-KoutavasSH #bisimulation #communication #transaction
Bisimulations for Communicating Transactions — (Extended Abstract) (VK, CS, MH), pp. 320–334.
TACASTACAS-2014-CimattiGMT #abstraction #modulo theories
IC3 Modulo Theories via Implicit Predicate Abstraction (AC, AG, SM, ST), pp. 46–61.
SANERCSMR-WCRE-2014-Grosjean #biology #maintenance #using
Using biology and ecology as inspiration for software maintenance? (Keynote abstract) (PG), p. 1.
SCAMSCAM-2014-Abi-AntounCVG #abstract interpretation #graph #question #using
Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code? (MAA, SC, RV, AG), pp. 245–254.
PEPMPEPM-J-2013-Garcia-PerezN14 #automaton #functional #hybrid #on the
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines (ÁGP, PN), pp. 176–199.
PLDIPLDI-2014-HuangMR #abstraction #concurrent #control flow #detection #predict
Maximal sound predictive race detection with control flow abstraction (JH, POM, GR), p. 36.
PLDIPLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the #refinement
On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.
SASSAS-2014-BakhirkinBP #abstraction #analysis #approximate
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction (AB, JB, NP), pp. 34–50.
SASSAS-2014-ChenLMKW #abstract domain #constraints
An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
SASSAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.
SASSAS-2014-UrbanM #abstract domain #proving #termination
A Decision Tree Abstract Domain for Proving Conditional Termination (CU, AM), pp. 302–318.
AFLAFL-2014-Klima #algebra #automaton #on the
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract) (OK), pp. 49–54.
DLTDLT-2014-HolzerJ #automaton
Minimal and Hyper-Minimal Biautomata — (Extended Abstract) (MH, SJ), pp. 291–302.
ICALPICALP-v1-2014-BringmannKPPT #performance #physics #simulation
Internal DLA: Efficient Simulation of a Physical Growth Model — (Extended Abstract) (KB, FK, KP, UP, HT), pp. 247–258.
ICALPICALP-v1-2014-EmekR #set
Semi-Streaming Set Cover — (Extended Abstract) (YE, AR), pp. 453–464.
ICALPICALP-v1-2014-MekaRRR #independence #performance #pseudo
Fast Pseudorandomness for Independence and Load Balancing — (Extended Abstract) (RM, OR, GNR, RDR), pp. 859–870.
ICALPICALP-v1-2014-Tzameret #algorithm #problem #random #satisfiability
Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem — (Extended Abstract) (IT), pp. 1015–1026.
LATALATA-2014-GantyR #order #verification
Ordered Counter-Abstraction — Refinable Subword Relations for Parameterized Verification (PG, AR), pp. 396–408.
SEFMSEFM-2014-BratNSV #abstract interpretation #framework #named #static analysis
IKOS: A Framework for Static Analysis Based on Abstract Interpretation (GB, JAN, NS, AV), pp. 271–277.
ICFPICFP-2014-AccattoliBM #automaton
Distilling abstract machines (BA, PB, DM), pp. 363–376.
ICFPICFP-2014-MarlowBCP #abstraction #concurrent #data access #performance
There is no fork: an abstraction for efficient, concurrent, and concise data access (SM, LB, JC, JP), pp. 325–337.
GRAPHITEGRAPHITE-2014-Ziegert #abstraction #graph transformation
Graph Transformation Planning via Abstraction (SZ), pp. 71–83.
ICGTICGT-2014-JansenN #generative #graph #pointer #source code #summary
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.
CHICHI-2014-Blythe #design #research
Research through design fiction: narrative in real and imaginary abstracts (MB), pp. 703–712.
HCIHIMI-AS-2014-NarumiOKTH #abstraction #comprehension
Switching the Level of Abstraction in Digital Exhibitions to Provide an Understanding of Mechanisms (TN, HO, RK, TT, MH), pp. 567–576.
EDOCEDOC-2014-GarciaV #abstraction #architecture #framework #implementation #process
Object-Business Process Mapping Frameworks: Abstractions, Architecture, and Implementation (RG, MTV), pp. 160–169.
ICEISICEIS-v2-2014-BelgamoHZRF #abstraction #case study #visualisation
Code Inspection Supported by Stepwise Abstraction and Visualization — An Experimental Study (AB, EMH, AZ, RSR, SF), pp. 39–48.
ICMLICML-c1-2014-SteinhardtL
Filtering with Abstract Particles (JS, PL), pp. 727–735.
KRKR-2014-CeruttiGVZ #recursion
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (FC, MG, MV, MZ).
KRKR-2014-DoutreHP #framework #logic
A Dynamic Logic Framework for Abstract Argumentation (SD, AH, LP).
KRKR-2014-DunneDLW #multi
Characteristics of Multiple Viewpoints in Abstract Argumentation (PED, WD, TL, SW).
KRKR-2014-LomuscioM #abstraction #atl #multi #specification #verification
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (AL, JM).
KRKR-2014-PatriziV #constraints #database #similarity
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (FP, SV).
KRKR-2014-StrassW #approximate #complexity #fixpoint #framework
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).
SEKESEKE-2014-ChenM #abstraction #evolution
Change and Role as First-Class Abstractions for Realising Dynamic Evolution (YC, XM), pp. 443–446.
SKYSKY-2014-OsetinskyY #abstraction #case study #effectiveness #legacy #using
Working More Effectively with Legacy Code Using Domain Knowledge and Abstractions: A Case Study (IO, RY), pp. 63–70.
ECOOPECOOP-2014-OkurED #abstraction #low level #parallel
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions (SO, CE, DD), pp. 515–540.
ECOOPECOOP-2014-PintoDG #abstraction #logic #named
TaDA: A Logic for Time and Data Abstraction (PdRP, TDY, PG), pp. 207–231.
OOPSLAOOPSLA-2014-PartushY #correlation #difference #semantics
Abstract semantic differencing via speculative correlation (NP, EY), pp. 811–828.
OOPSLAOOPSLA-2014-WangCC #abstraction #compilation #verification
Compiler verification meets cross-language linking via data abstraction (PW, SC, AC), pp. 675–690.
LOPSTRLOPSTR-2014-SchreyeNN #compilation #deduction
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction (DDS, VN, CJN), pp. 21–38.
PPDPPPDP-2014-Ramsay #abstraction #recursion #safety
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.
QAPLQAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
PADLPADL-2014-LierlerT #composition
Abstract Modular Inference Systems and Solvers (YL, MT), pp. 49–64.
POPLPOPL-2014-Benton0N #logic
Abstract effects and proof-relevant logical relations (NB, MH, VN), pp. 619–632.
POPLPOPL-2014-ChongDK #abstraction #parallel #reasoning
A sound and complete abstraction for reasoning about parallel prefix sums (NC, AFD, JK), pp. 397–410.
POPLPOPL-2014-CousotC #abstract interpretation #calculus
A galois connection calculus for abstract interpretation (PC, RC), pp. 3–4.
POPLPOPL-2014-DissegnaLR #abstract interpretation #compilation
Tracing compilation by abstract interpretation (SD, FL, FR), pp. 47–60.
POPLPOPL-2014-DSilvaHK #satisfiability
Abstract satisfaction (VD, LH, DK), pp. 139–150.
POPLPOPL-2014-EhrhardTP #probability
Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.
POPLPOPL-2014-HouCGT #logic #proving
Proof search for propositional abstract separation logics via labelled sequents (ZH, RC, RG, AT), pp. 465–476.
POPLPOPL-2014-JeannetSS #linear
Abstract acceleration of general linear loops (BJ, PS, SS), pp. 529–540.
POPLPOPL-2014-RamsayNO #abstraction #approach #higher-order #model checking #refinement
A type-directed abstraction refinement approach to higher-order model checking (SJR, RPN, CHLO), pp. 61–72.
SACSAC-2014-A #authentication #health #mobile #network #privacy #research #student
Student research abstract: a privacy-preserving profile matching based authentication system for mobile health networks (DHA), pp. 196–197.
SACSAC-2014-Chen #analysis #behaviour #coordination #energy #research #scheduling #student
Student research abstract: demand behavior analysis and coordination scheduling for energy saving in smart building (SC), pp. 569–570.
SACSAC-2014-Cooper #android #detection #research #student
Student research abstract: android malware detection based on Kullback-Leibler divergence (VNC), pp. 1695–1696.
SACSAC-2014-Khan #independence #research #standard #student
Student research abstract: an optimized handover scheme based on media independent handover standard IEEE 802.21 (MK), pp. 717–718.
SACSAC-2014-Mota #internet #quality #research #student
Student research abstract: mechanisms to ensure quality of service for the internet of things (RPBM), pp. 713–714.
SACSAC-2014-PatrignaniC #low level #semantics
Fully abstract trace semantics for low-level isolation mechanisms (MP, DC), pp. 1562–1569.
SACSAC-2014-RockiBS #abstraction #future of #performance #programming #question
The future of accelerator programming: abstraction, performance or can we have both? (KR, MB, RS), pp. 886–895.
FSEFSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement
Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.
FSEFSE-2014-MileaJK #abstraction #detection #refactoring #scalability
Vector abstraction and concretization for scalable detection of refactorings (NAM, LJ, SCK), pp. 86–97.
LCTESLCTES-2014-LezuoPK #compilation #named #state machine
CASM: optimized compilation of abstract state machines (RL, PP, AK), pp. 13–22.
OSDIOSDI-2014-KimHZHWWS #abstraction #gpu #named #network #source code
GPUnet: Networking Abstractions for GPU Programs (SK, SH, XZ, YH, AW, EW, MS), pp. 201–216.
OSDIOSDI-2014-SpahnBLBGK #abstraction #data transformation #fine-grained #named #operating system
Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems (RS, JB, ML, SB, RG, GEK), pp. 113–129.
CAVCAV-2014-BirgmeierBW #abstraction #induction
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) (JB, ARB, GW), pp. 831–848.
CAVCAV-2014-CoxCS #abstraction #library #named #parametricity #reuse #set
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (AC, BYEC, SS), pp. 866–873.
CAVCAV-2014-HansenLLN0 #abstraction #automaton #partial order #reduction #women
Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions (HH, SWL, YL, TKN, JS), pp. 391–406.
CAVCAV-2014-LeeS #abstraction #approximate #bound #reachability #scalability #verification
Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction (SL, KAS), pp. 849–865.
ICLPICLP-J-2014-CominiTV #linear #logic #using
Abstract Diagnosis for tccp using a Linear Temporal Logic (MC, LT, AV), pp. 787–801.
ICLPICLP-J-2014-SerranoLH #abstract interpretation #analysis #logic programming #resource management #source code #using
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (AS, PLG, MVH), pp. 739–754.
LICSLICS-CSL-2014-0001C #abstract interpretation #automaton
Abstract interpretation from Büchi automata (MH, WC), p. 10.
LICSLICS-CSL-2014-CousotC #abstract interpretation #past present future
Abstract interpretation: past, present and future (PC, RC), p. 10.
RTARTA-TLCA-2014-BaeM #abstraction
Predicate Abstraction of Rewrite Theories (KB, JM), pp. 61–76.
RTARTA-TLCA-2014-EscardoS #data type #type system
Abstract Datatypes for Real Numbers in Type Theory (MHE, AS), pp. 208–223.
RTARTA-TLCA-2014-Schmidt-Schauss #analysis #concurrent #programming language #semantics
Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) (MSS), pp. 21–30.
TAPTAP-2014-ArcainiGR #abstraction #model checking #testing
An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
VMCAIVMCAI-2014-Ferrara #abstract interpretation #analysis
Generic Combination of Heap and Value Analyses in Abstract Interpretation (PF), pp. 302–321.
VMCAIVMCAI-2014-Fu #abstract domain #analysis #java #points-to #scalability
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java (ZF), pp. 282–301.
VMCAIVMCAI-2014-GustavssonGL #analysis #execution #parallel #using
Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.
VMCAIVMCAI-2014-Mine #abstract interpretation #analysis #relational #thread
Relational Thread-Modular Static Value Analysis by Abstract Interpretation (AM), pp. 39–58.
CASECASE-2013-HanzG #abstraction #cyber-physical #mobile
An abstraction layer for controlling heterogeneous mobile cyber-physical systems (TH, MG), pp. 117–121.
CASECASE-2013-Markovski #analysis #synthesis
Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems (JM), pp. 1075–1082.
CASECASE-2013-PerinF #automation #modelling
Comparing detailed and abstract timed models of automated discrete manufacturing systems (MP, JMF), pp. 916–923.
DACDAC-2013-BombieriLFC #c++ #synthesis
A method to abstract RTL IP blocks into C++ code and enable high-level synthesis (NB, HYL, FF, LPC), p. 9.
DACDAC-2013-XiongW #abstraction #constraints #grid #power management #verification
Constraint abstraction for vectorless power grid verification (XX, JW), p. 6.
DATEDATE-2013-Belov0MM #abstraction #satisfiability
Core minimization in SAT-based abstraction (AB, HC, AM, JMS), pp. 1411–1416.
DATEDATE-2013-MishchenkoEBBMN #abstraction #named #revisited
GLA: gate-level abstraction revisited (AM, NE, RKB, JB, HM, PKN), pp. 1399–1404.
ESOPESOP-2013-JagadeesanPPR #composition #memory management #modelling #reasoning
Quarantining Weakness — Compositional Reasoning under Relaxed Memory Models (Extended Abstract) (RJ, GP, CP, JR), pp. 492–511.
ESOPESOP-2013-VazouRJ #refinement
Abstract Refinement Types (NV, PMR, RJ), pp. 209–228.
FASEFASE-2013-BapodraH #abstraction #graph transformation #probability
Abstraction and Training of Stochastic Graph Transformation Systems (MB, RH), pp. 312–326.
FASEFASE-2013-Czarnecki #state of the art #variability
Variability in Software: State of the Art and Future Directions — (Extended Abstract) (KC), pp. 1–5.
FoSSaCSFoSSaCS-2013-Clouston #abstraction #set
Generalised Name Abstraction for Nominal Sets (RC), pp. 434–449.
FoSSaCSFoSSaCS-2013-Staton #algebra #logic
An Algebraic Presentation of Predicate Logic — (Extended Abstract) (SS), pp. 401–417.
TACASTACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification
UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
TACASTACAS-2013-BansalKWZ #abstraction
Structural Counter Abstraction (KB, EK, TW, DZ), pp. 62–77.
ICSMEICSM-2013-AnandEKSBK #abstraction #analysis #bytecode #framework #memory management #stack
An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables (KA, KE, AK, MS, RB, ADK), pp. 90–99.
ICSMEICSM-2013-LeWL #locality #multi
Multi-abstraction Concern Localization (TDBL, SW, DL), pp. 364–367.
SCAMSCAM-2013-KiwelekarJ #abstraction #object-oriented #ontology #programming
Ontological interpretation of object-oriented programming abstractions (AWK, RKJ), pp. 189–198.
PEPMPEPM-2013-OliveiraL #domain-specific language #graph #syntax
Abstract syntax graphs for domain specific languages (BCdSO, AL), pp. 87–96.
PEPMPEPM-2013-SulzmannNZ #abstraction #correctness #traceability
Traceability and evidence of correctness of EDSL abstractions (MS, JNF, AZ), pp. 71–74.
PLDIPLDI-2013-SergeyDMMDCP #monad
Monadic abstract interpreters (IS, DD, MM, JM, DD, DC, FP), pp. 399–410.
PLDIPLDI-2013-ZhangNY #abstraction #analysis #data flow #parametricity
Finding optimum abstractions in parametric dataflow analysis (XZ, MN, HY), pp. 365–376.
SASSAS-2013-0001MP #abstract domain #automaton #quantifier
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists (PG, PM, GP), pp. 172–193.
SASSAS-2013-BlazyLMP #abstract interpretation #analysis #c #verification
Formal Verification of a C Value Analysis Based on Abstract Interpretation (SB, VL, AM, DP), pp. 324–344.
SASSAS-2013-BrainDGHK #float #source code #verification
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (MB, VD, AG, LH, DK), pp. 412–432.
SASSAS-2013-DanMVY #abstraction #memory management #modelling
Predicate Abstraction for Relaxed Memory Models (AMD, YM, MTV, EY), pp. 84–104.
SASSAS-2013-FouilheMP #abstract domain #correctness #generative #performance
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
SASSAS-2013-GangeNSSS #abstract domain #abstract interpretation
Abstract Interpretation over Non-lattice Abstract Domains (GG, JAN, PS, HS, PJS), pp. 6–24.
SASSAS-2013-Goubault #abstract interpretation #source code #static analysis
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT (EG), pp. 1–3.
SASSAS-2013-KimDS #documentation #html #parsing #semantics #validation
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
SASSAS-2013-Komondoor #abstract interpretation #imperative #precise #slicing #source code
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.
SASSAS-2013-PartushY #difference #semantics #source code
Abstract Semantic Differencing for Numerical Programs (NP, EY), pp. 238–258.
SASSAS-2013-Urban #abstract domain #ranking
The Abstract Domain of Segmented Ranking Functions (CU), pp. 43–62.
STOCSTOC-2013-BeckNT #calculus #polynomial #trade-off
Some trade-off results for polynomial calculus: extended abstract (CB, JN, BT), pp. 813–822.
STOCSTOC-2013-Bernstein #graph #maintenance
Maintaining shortest paths under deletions in weighted directed graphs: [extended abstract] (AB), pp. 725–734.
STOCSTOC-2013-CaiGW
A complete dichotomy rises from the capture of vanishing signatures: extended abstract (JYC, HG, TW), pp. 635–644.
STOCSTOC-2013-KingS #polynomial
Byzantine agreement in polynomial expected time: [extended abstract] (VK, JS), pp. 401–410.
STOCSTOC-2013-LenzenP #performance #using
Fast routing table construction using small messages: extended abstract (CL, BPS), pp. 381–390.
CIAACIAA-2013-HolzerJ #algorithm #robust
Brzozowski’s Minimization Algorithm — More Robust than Expected — (Extended Abstract) (MH, SJ), pp. 181–192.
ICALPICALP-v1-2013-AumullerD #clustering
Optimal Partitioning for Dual Pivot Quicksort — (Extended Abstract) (MA, MD), pp. 33–44.
ICALPICALP-v1-2013-BohlerCKLPZ #complexity #diagrams #higher-order #on the
On the Complexity of Higher Order Abstract Voronoi Diagrams (CB, PC, RK, CHL, EP, MZ), pp. 208–219.
ICALPICALP-v1-2013-FilmusLMNV #bound #calculus #comprehension #polynomial #towards
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds — (Extended Abstract) (YF, ML, MM, JN, MV), pp. 437–448.
ICALPICALP-v2-2013-CelisGK #information management #on the
On Revenue Maximization for Agents with Costly Information Acquisition — Extended Abstract (LEC, DCG, ARK), pp. 484–495.
ICALPICALP-v2-2013-ImNP #data type #parametricity #recursion
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.
IFMIFM-2013-AlbertCPR #abstraction #distributed #quantifier
Quantified Abstractions of Distributed Systems (EA, JC, GP, GRD), pp. 285–300.
ICFPICFP-2013-JohnsonLMH #automaton #optimisation
Optimizing abstract abstract machines (JIJ, NL, MM, DVH), pp. 443–454.
IFLIFL-2013-DanvyTZ #abstraction
Circularity and λ Abstraction: From Bird to Pettorossi and back (OD, PT, IZ), p. 85.
ICEISICEIS-v1-2013-BevacquaCFGP #abstraction #adaptation #approach #predict #process
A Data-adaptive Trace Abstraction Approach to the Prediction of Business Process Performances (AB, MC, FF, MG, LP), pp. 56–65.
KEODKEOD-2013-NiewiadomskiP #ontology #smt #towards
Towards SMT-based Abstract Planning in PlanICS Ontology (AN, WP), pp. 123–131.
ICMTICMT-2013-Horn #query
Model Querying with FunnyQT — (Extended Abstract) (TH), pp. 56–57.
ICMTICMT-2013-LepperT #performance #validation
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract) (ML, BTyW), pp. 54–55.
ECOOPECOOP-2013-HeuleKMS #abstraction #generative #logic #verification
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.
ECOOPECOOP-2013-SummersD #abstraction #recursion #semantics
A Formal Semantics for Isorecursive and Equirecursive State Abstractions (AJS, SD), pp. 129–153.
OOPSLAOOPSLA-2013-ChongDKKQ #abstraction #analysis #gpu #invariant #kernel
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels (NC, AFD, PHJK, JK, SQ), pp. 605–622.
OOPSLAOOPSLA-2013-KansalSBMMZ #abstraction #energy #latency #mobile #performance
The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing (AK, TSS, AJBB, KSM, TM, RZ), pp. 661–676.
GPCEGPCE-2013-Richard-FoyBJ #abstraction #performance #programming #web
Efficient high-level abstractions for web programming (JRF, OB, JMJ), pp. 53–60.
LOPSTRLOPSTR-2013-DanvyJ #automaton #reduction #semantics
From Outermost Reduction Semantics to Abstract Machine (OD, JJ), pp. 91–108.
PPDPPPDP-2013-Holdermans #data type #functional #guidelines #random testing #testing
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
PPDPPPDP-2013-SimmonsZ #automaton #logic #semantics
A logical correspondence between natural semantics and abstract machines (RJS, IZ), pp. 109–119.
PADLPADL-2013-RodriguesASF #abstraction #analysis #composition #declarative #multi #using
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction (VR, BA, SMdS, MF), pp. 43–59.
POPLPOPL-2013-AtkeyJK #abstraction #algebra
Abstraction and invariance for algebraically indexed types (RA, PJ, AK), pp. 87–100.
POPLPOPL-2013-BattyDG #abstraction #c #c++ #concurrent #library
Library abstraction for C/C++ concurrency (MB, MD, AG), pp. 235–248.
POPLPOPL-2013-CernyHR #abstraction #refinement
Quantitative abstraction refinement (PC, TAH, AR), pp. 115–128.
POPLPOPL-2013-DSilvaHK #learning
Abstract conflict driven learning (VD, LH, DK), pp. 143–154.
POPLPOPL-2013-FournetSCDSL #compilation #javascript
Fully abstract compilation to JavaScript (CF, NS, JC, PÉD, PYS, BL), pp. 371–384.
POPLPOPL-2013-LoschP #abstraction
Full abstraction for nominal Scott domains (SL, AMP), pp. 3–14.
SACSAC-OOPS-J-2009-LievensH13 #abstraction #encapsulation #implementation #multi #symmetry
Abstraction over implementation structure with symmetrically encapsulated multimethods (DL, WH), pp. 953–968.
SACSAC-2013-ChenLWW #abstraction #source code #static analysis
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions (LC, RL, XW, JW), pp. 1204–1210.
SACSAC-2013-HalderC #database #query #slicing
Abstract program slicing of database query languages (RH, AC), pp. 838–845.
SACSAC-2013-KolbR #abstraction #adaptation #data flow #process
Data flow abstractions and adaptations through updatable process views (JK, MR), pp. 1447–1453.
ESEC-FSEESEC-FSE-2013-PhamW #abstraction #algebra #data type #named #reasoning
RADA: a tool for reasoning about algebraic data types with abstractions (THP, MWW), pp. 611–614.
ICSEICSE-2013-BakZCADWR #abstraction #modelling
Example-driven modeling: model = abstractions + examples (KB, DZ, KC, MA, ZD, AW, DR), pp. 1273–1276.
ICSEICSE-2013-TianD #detection #model checking
Detecting spurious counterexamples efficiently in abstract model checking (CT, ZD), pp. 202–211.
LDTALDTA-J-2009-SoderbergEHM #abstract syntax tree #analysis #syntax
Extensible intraprocedural flow analysis at the abstract syntax tree level (ES, TE, GH, EM), pp. 1809–1827.
LCTESLCTES-2013-KhudiaM #control flow #low cost #using
Low cost control flow protection using abstract control signatures (DSK, SAM), pp. 3–12.
CADECADE-2013-BaumgartnerW #abstraction
Hierarchic Superposition with Weak Abstraction (PB, UW), pp. 39–57.
CADECADE-2013-HahnleSB #reuse #verification
Reuse in Software Verification by Abstract Method Calls (RH, IS, RB), pp. 300–314.
CAVCAV-2013-HerbreteauSW #abstraction #automaton #lazy evaluation
Lazy Abstractions for Timed Automata (FH, BS, IW), pp. 990–1005.
CAVCAV-2013-KomuravelliGCC #abstraction #automation #bound #model checking #smt
Automatic Abstraction in SMT-Based Unbounded Software Model Checking (AK, AG, SC, EMC), pp. 846–862.
CAVCAV-2013-LaarmanODLP #abstraction #automaton #manycore #using
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction (AL, MCO, AED, KGL, JvdP), pp. 968–983.
CAVCAV-2013-PrabhakarS #abstraction #hybrid #model checking
Abstraction Based Model-Checking of Stability of Hybrid Systems (PP, MGS), pp. 280–295.
CSLCSL-2013-Nishimura #game studies #parallel #semantics
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (SN), pp. 578–596.
ICSTICST-2013-CzemerinskiBU #abstraction #behaviour #black box
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.
LICSLICS-2013-FredrikssonG #automaton #game studies #revisited #semantics
Abstract Machines for Game Semantics, Revisited (OF, DRG), pp. 560–569.
RTARTA-2013-BaeEM #infinity #logic #model checking #using
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing (KB, SE, JM), pp. 81–96.
VMCAIVMCAI-2013-BrainDHGK #abstract interpretation
An Abstract Interpretation of DPLL(T) (MB, VD, LH, AG, DK), pp. 455–475.
VMCAIVMCAI-2013-DSilvaK #abstraction #syntax
Abstraction of Syntax (VD, DK), pp. 396–413.
VMCAIVMCAI-2013-HeuleLMS
Abstract Read Permissions: Fractional Permissions without the Fractions (SH, KRML, PM, AJS), pp. 315–334.
VMCAIVMCAI-2013-PelleauMTB #abstract domain #constraints #theorem proving
A Constraint Solver Based on Abstract Domains (MP, AM, CT, FB), pp. 434–454.
VMCAIVMCAI-2013-Ranzato #abstraction
Complete Abstractions Everywhere (FR), pp. 15–26.
VMCAIVMCAI-2013-SeladjiB #abstract domain #analysis #fixpoint #tool support #using
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (YS, OB), pp. 149–168.
VMCAIVMCAI-2013-ToubhansCR #abstract domain
Reduced Product Combination of Abstract Domains for Shapes (AT, BYEC, XR), pp. 375–395.
VMCAIVMCAI-2013-Yahav #synthesis
Abstraction-Guided Synthesis (EY), p. 27.
QoSAQoSA-2012-HaitzerZ #abstraction #architecture #automation #component #lifecycle
DSL-based support for semi-automated architectural component model abstraction throughout the software lifecycle (TH, UZ), pp. 61–70.
ASEASE-2012-JacobsonSJK #re-engineering
Re-founding software engineering — SEMAT at the age of three (keynote abstract) (IJ, IS, PJ, MKM), pp. 15–19.
CASECASE-2012-ShoaeiFL #abstraction #automaton #finite
Abstractions for nonblocking supervisory control of Extended Finite Automata (MRS, LF, BL), pp. 364–370.
DACDAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named
DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.
DACDAC-2012-KengV #abstraction #debugging #design #refinement #satisfiability
Path directed abstraction and refinement in SAT-based design debugging (BK, AGV), pp. 947–954.
DACDAC-2012-UrdahlSWK #abstraction #composition #concurrent #verification
System verification of concurrent RTL modules by compositional path predicate abstraction (JU, DS, MW, WK), pp. 334–343.
DATEDATE-2012-Gamatie #design #streaming #using
Design of streaming applications on MPSoCs using abstract clocks (AG), pp. 763–768.
DATEDATE-2012-KatzRZ #csp #generative #using
Generating instruction streams using abstract CSP (YK, MR, AZ), pp. 15–20.
DATEDATE-2012-LuMS #abstraction #modelling #prototype #transaction
Accurately timed transaction level models for virtual prototyping at high abstraction level (KL, DMG, US), pp. 135–140.
DATEDATE-2012-StattelmannGCBR #hybrid #modelling #simulation #using
Hybrid source-level simulation of data caches using abstract cache models (SS, GG, CC, OB, WR), pp. 376–381.
PODSPODS-2012-NgoPRR #algorithm #worst-case
Worst-case optimal join algorithms: [extended abstract] (HQN, EP, CR, AR), pp. 37–48.
SIGMODSIGMOD-2012-BarbosaMLO #named #network #recommendation #visualisation #web
VRRC: web based tool for visualization and recommendation on co-authorship network (abstract only) (EMB, MMM, GRL, JPMdO), p. 865.
SIGMODSIGMOD-2012-BoltonIRT #declarative #development #encapsulation #javascript #web
Declarative web application development: encapsulating dynamic JavaScript widgets (abstract only) (RB, DI, CR, KLT), p. 863.
SIGMODSIGMOD-2012-MongioviBRSPF #mining #named #network
SigSpot: mining significant anomalous regions from time-evolving networks (abstract only) (MM, PB, RR, AKS, EEP, CF), p. 865.
SIGMODSIGMOD-2012-OhKKL #sorting
Reducing cache misses in hash join probing phase by pre-sorting strategy (abstract only) (GHO, JMK, WHK, SWL), p. 864.
SIGMODSIGMOD-2012-PengYZWY #difference #multi #named #privacy
DP-tree: indexing multi-dimensional data under differential privacy (abstract only) (SP, YY, ZZ, MW, YY), p. 864.
SIGMODSIGMOD-2012-RosnerHGPB #correlation #performance #word
Fast sampling word correlations of high dimensional text data (abstract only) (FR, AH, MG, MP, AB), p. 866.
SIGMODSIGMOD-2012-SliwkanichSYHB #corpus #scalability #summary #towards #visualisation
Towards scalable summarization and visualization of large text corpora (abstract only) (TS, DS, AY, MH, DB), p. 863.
SIGMODSIGMOD-2012-XueYC
Temporal provenance discovery in micro-blog message streams (abstract only) (ZX, JY, BC), p. 864.
CSEETCSEET-2012-Virseda #algebra #data type #implementation #specification #testing #verification
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications (RdVV), pp. 100–104.
ITiCSEITiCSE-2012-CookDHHJKS #abstraction #approach #education #modelling
A systematic approach to teaching abstraction and mathematical modeling (CTC, SDS, JOH, JEH, DPJ, JK, MS), pp. 357–362.
ITiCSEITiCSE-2012-GinatA #composition #pseudo
Pseudo abstract composition: the case of language concatenation (DG, RA), pp. 28–33.
ITiCSEITiCSE-2012-Khalifa #data type
Intuitive thinking while dealing with abstract data types (WK), p. 391.
ESOPESOP-2012-CousotM #abstract interpretation #probability
Probabilistic Abstract Interpretation (PC, MM), pp. 169–193.
FASEFASE-2012-LongCMM #abstraction #refinement
Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.
FoSSaCSFoSSaCS-2012-AdamekMMS #algebra
Well-Pointed Coalgebras (Extended Abstract) (JA, SM, LSM, LS), pp. 89–103.
FoSSaCSFoSSaCS-2012-DArgenioL #abstraction #bisimulation #congruence #probability #specification
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation (PRD, MDL), pp. 452–466.
FoSSaCSFoSSaCS-2012-GlabbeekGS #on the #petri net
On Distributability of Petri Nets — (Extended Abstract) (RJvG, UG, JWSU), pp. 331–345.
FoSSaCSFoSSaCS-2012-MazzaR #abstraction #combinator #interactive #modelling #symmetry
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators (DM, NJR), pp. 316–330.
TACASTACAS-2012-Wonisch #abstraction #contest
Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.
CSMRCSMR-2012-HamannVGK #monitoring #runtime
Abstract Runtime Monitoring with USE (LH, LV, MG, MK), pp. 549–552.
ICPCICPC-2012-DeLine #developer
Studying developers for fun and profit: (Keynote abstract) (RD), p. 11.
ICPCICPC-2012-NunezK #abstraction #case study #comprehension
Understanding registration-based abstractions: A quantitative user study (JJN, GK), pp. 93–102.
WCREWCRE-2012-NodaKA #abstraction #execution
Execution Trace Abstraction Based on Meta Patterns Usage (KN, TK, KA), pp. 167–176.
SASSAS-2012-AbdullaACLR #abstraction #automation #integer #source code
Automatic Fence Insertion in Integer Programs via Predicate Abstraction (PAA, MFA, YFC, CL, AR), pp. 164–180.
SASSAS-2012-ChengR #abstract domain #spreadsheet
An Abstract Domain to Infer Types over Zones in Spreadsheets (TC, XR), pp. 94–110.
SASSAS-2012-GiacobazziM #abstract interpretation #modelling #obfuscation
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation (RG, IM), pp. 129–145.
SASSAS-2012-HenryMM #abstract interpretation #algorithm #analysis #evaluation
Succinct Representations for Abstract Interpretation — Combined Analysis Algorithms and Experimental Evaluation (JH, DM, MM), pp. 283–299.
SASSAS-2012-IoualalenM #abstract domain #representation
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions (AI, MM), pp. 75–93.
SASSAS-2012-ThakurER #abstraction #algorithm
Bilateral Algorithms for Symbolic Abstraction (AVT, ME, TWR), pp. 111–128.
STOCSTOC-2012-Ajtai #nondeterminism #testing
Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.
STOCSTOC-2012-Belovs #source code
Span programs for functions with constant-sized 1-certificates: extended abstract (AB), pp. 77–84.
STOCSTOC-2012-Kayal
Affine projections of polynomials: extended abstract (NK), pp. 643–662.
DLTDLT-2012-HolzerJ #automaton #equivalence #fault
From Equivalence to Almost-Equivalence, and Beyond — Minimizing Automata with Errors — (Extended Abstract) (MH, SJ), pp. 190–201.
DLTDLT-2012-KetemaS #normalisation #string #termination
Characterizing Languages by Normalization and Termination in String Rewriting — (Extended Abstract) (JK, JGS), pp. 459–464.
ICALPICALP-v1-2012-BabaiCQ #morphism #polynomial
Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups — (Extended Abstract) (LB, PC, YQ), pp. 51–62.
ICALPICALP-v2-2012-Fiore #polynomial
Discrete Generalised Polynomial Functors — (Extended Abstract) (MPF), pp. 214–226.
ICALPICALP-v2-2012-GugelmannPP #clustering #graph #random #sequence
Random Hyperbolic Graphs: Degree Sequence and Clustering — (Extended Abstract) (LG, KP, UP), pp. 573–585.
ICALPICALP-v2-2012-KufleitnerL #logic #word
Lattices of Logical Fragments over Words — (Extended Abstract) (MK, AL), pp. 275–286.
ICALPICALP-v2-2012-ReddyD #algol #formal method
An Automata-Theoretic Model of Idealized Algol — (Extended Abstract) (USR, BPD), pp. 337–350.
ICALPICALP-v2-2012-Vocking #multi #random
Randomized Mechanisms for Multi-unit Auctions — (Extended Abstract) (BV), pp. 27–29.
LATALATA-2012-Bozzelli #abstraction #constraints #termination
Strong Termination for Gap-Order Constraint Abstractions of Counter Systems (LB), pp. 155–168.
FMFM-2012-AartsHKOV #abstraction #automaton #learning #refinement
Automata Learning through Counterexample Guided Abstraction Refinement (FA, FH, HK, PO, FWV), pp. 10–27.
IFMIFM-2012-HoomanMW #abstraction #detection #fault #industrial #modelling #using
Early Fault Detection in Industry Using Models at Various Abstraction Levels (JH, AJM, HvW), pp. 268–282.
SEFMSEFM-2012-Jones #abstraction #concurrent #formal method
Abstraction as a Unifying Link for Formal Approaches to Concurrency (CBJ), pp. 1–15.
SEFMSEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process
Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.
SFMSFM-2012-CasoBGU #abstraction #validation
Abstractions for Validation in Action (GdC, VAB, DG, SU), pp. 192–218.
ICFPICFP-2012-Axelsson #embedded #syntax
A generic abstract syntax model for embedded languages (EA), pp. 323–334.
GRAPHITEGRAPHITE-2012-ZambonR #graph
Graph Subsumption in Abstract State Space Exploration (EZ, AR), pp. 35–49.
ICGTICGT-2012-RensinkZ #abstraction #graph
Pattern-Based Graph Abstraction (AR, EZ), pp. 66–80.
CAiSECAiSE-2012-LaraGC #approach #modelling
Abstracting Modelling Languages: A Reutilization Approach (JdL, EG, JSC), pp. 127–143.
ECIRECIR-2012-CoelhoR #abstraction #image #retrieval
Image Abstraction in Crossmedia Retrieval for Text Illustration (FC, CR), pp. 329–339.
ICPRICPR-2012-Laine-HernandezKKLKO #categorisation #image #visual notation
Visual saliency and categorisation of abstract images (MLH, TK, JKK, LL, HK, PO), pp. 2752–2755.
KRKR-2012-BackstromJ #abstraction
Abstracting Abstraction in Search with Applications to Planning (CB, PJ).
KRKR-2012-BelardinelliLP #abstraction #verification
An Abstraction Technique for the Verification of Artifact-Centric Systems (FB, AL, FP).
KRKR-2012-DvorakJWW
Complexity-Sensitive Decision Procedures for Abstract Argumentation (WD, MJ, JPW, SW).
KRKR-2012-Grossi #fixpoint
Fixpoints and Iterated Updates in Abstract Argumentation (DG).
KRKR-2012-TosattoBTV #proving #semantics
Abstract Normative Systems: Semantics and Proof Theory (SCT, GB, LWNvdT, SV).
SEKESEKE-2012-CostaCORSZ #generative #modelling #performance #testing
Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models (LTC, RMC, FMdO, EdMR, MBdS, AFZ), pp. 112–117.
MODELSMoDELS-2012-BrancoTCKV #abstraction #process #workflow
Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
MODELSMoDELS-2012-BrancoTCKV #abstraction #process #workflow
Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
OnwardOnward-2012-LohSC #abstraction #composition
Managed data: modular strategies for data abstraction (AL, TvdS, WRC), pp. 179–194.
OOPSLAOOPSLA-2012-CousotCLB #abstract interpretation #contract #framework #refactoring
An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.
OOPSLAOOPSLA-2012-ParizekL #abstraction #java #source code
Predicate abstraction of Java programs with collections (PP, OL), pp. 75–94.
TOOLSTOOLS-EUROPE-2012-MarrD #abstraction #concurrent #identification #implementation #multi #virtual machine
Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines (SM, TD), pp. 171–186.
GPCEGPCE-2012-RaysideMLYXJ #abstraction
Synthesizing iterators from abstraction functions (DR, VM, FL, AY, KX, DJ), pp. 31–40.
POPLPOPL-2012-CousotC #abstract interpretation #framework #termination
An abstract interpretation framework for termination (PC, RC), pp. 245–258.
POPLPOPL-2012-CretinR #abstraction #on the #power of
On the power of coercion abstraction (JC, DR), pp. 361–372.
POPLPOPL-2012-NaikYCS #abstraction #testing
Abstractions from tests (MN, HY, GC, MS), pp. 373–386.
SACSAC-2012-MenezesOV #abstraction #composition #coordination #pervasive
Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp (RM, AO, MV), pp. 1557–1559.
SACSAC-2012-ScandurraAYD #case study #functional #modelling #requirements #state machine #validation
Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.
FSEFSE-2012-AthanasopoulosZV #abstraction #quality
Service selection for happy users: making user-intuitive quality abstractions (DA, AZ, PV), p. 32.
ICSEICSE-2012-CordyCPSHL #abstraction #model checking #product line
Simulation-based abstractions for software product-line model checking (MC, AC, GP, PYS, PH, AL), pp. 672–682.
SLESLE-2012-Sloane #abstraction #analysis #attribute grammar #evaluation
Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation (AMS), pp. 24–43.
CAVCAV-2012-AlbarghouthiLGC #framework #named #verification
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
CAVCAV-2012-AlbertiBGRS #abstraction #array #named #smt
SAFARI: SMT-Based Abstraction for Arrays with Interpolants (FA, RB, SG, SR, NS), pp. 679–685.
CAVCAV-2012-BerdineCIW #abstraction #analysis
Diagnosing Abstraction Failure for Separation Logic-Based Analyses (JB, AC, SI, CMW), pp. 155–173.
CAVCAV-2012-FredriksonJJRPSY #abstraction #performance #policy #refinement #runtime #using
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement (MF, RJ, SJ, TWR, PAP, HS, VY), pp. 548–563.
CAVCAV-2012-KomuravelliPC #abstraction #probability #refinement
Assume-Guarantee Abstraction Refinement for Probabilistic Systems (AK, CSP, EMC), pp. 310–326.
CAVCAV-2012-ThakurR #symbolic computation
A Method for Symbolic Computation of Abstract Operations (AVT, TWR), pp. 174–192.
CAVCAV-2012-Tiwari #relational
HybridSAL Relational Abstracter (AT), pp. 725–731.
CAVCAV-2012-ZutshiST #abstraction #relational
Timed Relational Abstractions for Sampled Data Control Systems (AZ, SS, AT), pp. 343–361.
ICLPICLP-2012-OetschPT #constraints #semantics #source code
An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions (JO, JP, HT), pp. 222–234.
ICSTICST-2012-JuzgadoVSAR #abstraction #branch #clustering #effectiveness #equivalence #testing
Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects (NJJ, SV, MS, SA, IR), pp. 330–339.
ICSTICST-2012-PonsiniMR #abstract interpretation #analysis #constraints #float #programming #source code
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs (OP, CM, MR), pp. 775–776.
ICTSSICTSS-2012-Havelund #analysis
Requirements-Driven Log Analysis (Extended Abstract) (KH), pp. 1–4.
IJCARIJCAR-2012-Bjorner #satisfiability
Taking Satisfiability to the Next Level with Z3 — (Abstract) (NB), pp. 1–8.
IJCARIJCAR-2012-Brock-NannestadS #abstraction #monad
Truthful Monadic Abstractions (TBN, CS), pp. 97–110.
ISSTAISSTA-2012-StrejcekT
Abstracting path conditions (JS, MT), pp. 155–165.
LICSLICS-2012-HerbreteauSW #abstraction #automaton
Better Abstractions for Timed Automata (FH, BS, IW), pp. 375–384.
RTARTA-2012-Accattoli #theorem
An Abstract Factorization Theorem for Explicit Substitutions (BA), pp. 6–21.
TAPTAP-2012-KosmatovW #automation #testing #tutorial
Tutorial on Automated Structural Testing with PathCrawler — (Extended Abstract) (NK, NW), p. 176.
VMCAIVMCAI-2012-BouajjaniDES #abstract domain #automation #infinity #reasoning #source code
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (AB, CD, CE, MS), pp. 1–22.
VMCAIVMCAI-2012-BozzelliP #abstraction #constraints #verification
Verification of Gap-Order Constraint Abstractions of Counter Systems (LB, SP), pp. 88–103.
VMCAIVMCAI-2012-GhorbalIBMG #abstract interpretation #performance
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
VMCAIVMCAI-2012-ZuffereyWH #abstraction
Ideal Abstractions for Well-Structured Transition Systems (DZ, TW, TAH), pp. 445–460.
WICSAWICSA-2011-Selic #abstraction
Making Abstraction Concrete (BS), p. 1.
ASEASE-2011-Vakili #modelling
Analyzing temporal properties of abstract models (AV), pp. 656–659.
DACDAC-2011-HolcombBS #performance #verification
Abstraction-based performance verification of NoCs (DEH, BAB, SAS), pp. 492–497.
DACDAC-2011-NguyenWSK #abstraction #hardware
Formal hardware/software co-verification by interval property checking with abstraction (MDN, MW, DS, WK), pp. 510–515.
DATEDATE-2011-SinhaP #representation #state machine #synthesis
Abstract state machines as an intermediate representation for high-level synthesis (RS, HDP), pp. 1406–1411.
CSEETCSEET-2011-OffuttLAX #abstraction #design #education #using #web
Using abstraction and Web applications to teach criteria-based test design (JO, NL, PA, WX), pp. 227–236.
ITiCSEITiCSE-2011-OliveiraMR #learning #problem #programming
From concrete to abstract?: problem domain in the learning of introductory programming (OLO, AMM, NTR), pp. 173–177.
ESOPESOP-2011-KoutavasH #encryption #higher-order #testing
A Testing Theory for a Higher-Order Cryptographic Language — (Extended Abstract) (VK, MH), pp. 358–377.
FoSSaCSFoSSaCS-2011-CousotCM #abstract domain
The Reduced Product of Abstract Domains and the Combination of Decision Procedures (PC, RC, LM), pp. 456–472.
FoSSaCSFoSSaCS-2011-GhicaM #abstraction #game studies #semantics
Synchronous Game Semantics via Round Abstraction (DRG, MNM), pp. 350–364.
FoSSaCSFoSSaCS-2011-Hamana #polymorphism #syntax
Polymorphic Abstract Syntax via Grothendieck Construction (MH), pp. 381–395.
TACASTACAS-2011-CimattiNR #abstraction #lazy evaluation #partial order #reduction
Boosting Lazy Abstraction for SystemC with Partial Order Reduction (AC, IN, MR), pp. 341–356.
TACASTACAS-2011-KupferschmidW #abstraction #database
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy (SK, MW), pp. 276–290.
TACASTACAS-2011-PodelskiR #abstraction #invariant #termination
Transition Invariants and Transition Predicate Abstraction for Program Termination (AP, AR), pp. 3–10.
CSMRCSMR-2011-AlawnehH #abstraction #communication #pattern matching #pattern recognition #recognition
Pattern Recognition Techniques Applied to the Abstraction of Traces of Inter-Process Communication (LA, AHL), pp. 211–220.
MSRMSR-2011-Whitehead #data mining #game studies #mining #what
Fantasy, farms, and freemium: what game data mining teaches us about retention, conversion, and virality (keynote abstract) (JW), p. 1.
MSRMSR-2011-Zhou #debugging #detection #problem
Connecting technology with real-world problems — from copy-paste detection to detecting known bugs: (keynote abstract) (YZ), p. 2.
PLDIPLDI-2011-KobayashiSU #abstraction #higher-order #model checking
Predicate abstraction and CEGAR for higher-order model checking (NK, RS, HU), pp. 222–233.
PLDIPLDI-2011-KupersteinVY #abstraction #memory management #modelling
Partial-coherence abstractions for relaxed memory models (MK, MTV, EY), pp. 187–198.
PLDIPLDI-2011-LiangN #abstraction #refinement #scalability
Scaling abstraction refinement via pruning (PL, MN), pp. 590–601.
SASSAS-2011-AvniK #abstraction #framework #query
An Abstraction-Refinement Framework for Trigger Querying (GA, OK), pp. 263–279.
SASSAS-2011-ElderLSAR #abstract domain
Abstract Domains of Affine Relations (ME, JL, TS, TA, TWR), pp. 198–215.
SASSAS-2011-EsparzaG #abstraction #probability
Probabilistic Abstractions with Arbitrary Domains (JE, AG), pp. 334–350.
SASSAS-2011-GorogiannisKO #abduction #abstraction #complexity
The Complexity of Abduction for Separated Heap Abstractions (NG, MIK, PWO), pp. 25–42.
SASSAS-2011-MadhavanRV #abstract interpretation #analysis
Purity Analysis: An Abstract Interpretation Formulation (RM, GR, KV), pp. 7–24.
SASSAS-2011-McMillanZ #abstract interpretation #invariant
Invisible Invariants and Abstract Interpretation (KLM, LDZ), pp. 249–262.
SASSAS-2011-MightH #abstract interpretation #concurrent #higher-order #product line #source code #static analysis
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs (MM, DVH), pp. 180–197.
SASSAS-2011-SchrammelJ #data flow #source code #verification
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs (PS, BJ), pp. 233–248.
SASSAS-2011-ZulegerGSV #abstraction #analysis #bound #imperative #source code
Bound Analysis of Imperative Programs with the Size-Change Abstraction (FZ, SG, MS, HV), pp. 280–297.
STOCSTOC-2011-HansenKLMT #algorithm #game studies #probability
Exact algorithms for solving stochastic games: extended abstract (KAH, MK, NL, PBM, EPT), pp. 205–214.
STOCSTOC-2011-KouckyNP #generative #pseudo
Pseudorandom generators for group products: extended abstract (MK, PN, PP), pp. 263–272.
STOCSTOC-2011-LenzenW #bound #parallel #random
Tight bounds for parallel randomized load balancing: extended abstract (CL, RW), pp. 11–20.
STOCSTOC-2011-NovocinSV #algorithm #complexity
An LLL-reduction algorithm with quasi-linear time complexity: extended abstract (AN, DS, GV), pp. 403–412.
CIAACIAA-2011-OrtizLS #automaton #distributed
Distributed Event Clock Automata — Extended Abstract (JJO, AL, PYS), pp. 250–263.
DLTDLT-2011-Wilke #functional #regular expression
A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.
ICALPICALP-v1-2011-FeldmanNS #algorithm
Nonmonotone Submodular Maximization via a Structural Continuous Greedy Algorithm — (Extended Abstract) (MF, JN, RS), pp. 342–353.
ICALPICALP-v1-2011-GuoLV #complexity #problem #symmetry
The Complexity of Symmetric Boolean Parity Holant Problems — (Extended Abstract) (HG, PL, LGV), pp. 712–723.
ICALPICALP-v1-2011-Laekhanukit #algorithm #approximate #low cost #set
An Improved Approximation Algorithm for Minimum-Cost Subset k-Connectivity — (Extended Abstract) (BL), pp. 13–24.
ICALPICALP-v1-2011-Mengel #constraints #problem
Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems — (Extended Abstract) (SM), pp. 700–711.
ICALPICALP-v1-2011-NgoPR #matrix
Efficiently Decodable Error-Correcting List Disjunct Matrices and Applications — (Extended Abstract) (HQN, EP, AR), pp. 557–568.
ICALPICALP-v2-2011-CrafaR #abstract interpretation #algorithm #bisimulation #probability #simulation
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (SC, FR), pp. 295–306.
ICALPICALP-v2-2011-GotsmanY #abstraction
Liveness-Preserving Atomicity Abstraction (AG, HY), pp. 453–465.
LATALATA-2011-Rampersad
Abstract Numeration Systems (NR), pp. 65–79.
IFMIFM-J-2009-Weiss11 #abstraction #calculus #logic
Predicate abstraction in a program logic calculus (BW), pp. 861–876.
SFMSFM-2011-ClarkeDHJSSSW #behaviour #modelling #variability
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language (DC, ND, RH, EBJ, IS, JS, RS, PYHW), pp. 417–457.
SFMSFM-2011-JurjensOSMHI #evolution #modelling #specification
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications (JJ, MO, HS, LM, SHH, SI), pp. 504–526.
SFMSFM-2011-Moschitti #automation #kernel #learning #modelling
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning (AM), pp. 458–503.
GT-VMTGT-VMT-2011-DuvalEP #category theory #graph transformation #term rewriting
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
HCIHCI-DDA-2011-Teixeira-FariaI #abstraction #component #user interface #visual notation
Complex Components Abstraction in Graphical User Interfaces (PMTF, JRI), pp. 309–318.
HCIHIMI-v1-2011-WuS #abstraction #source code #visualisation
Visualizing Programs on Different Levels of Abstractions (JHW, JS), pp. 66–75.
VISSOFTVISSOFT-2011-ChoudhuryR #behaviour #memory management #runtime #visualisation
Abstract visualization of runtime memory behavior (ANMIC, PR), pp. 1–8.
AdaEuropeAdaEurope-2011-Rodriguez-LopezG #abstraction #architecture #middleware #paradigm
Architecting a Common Bridge Abstraction over Different Middleware Paradigms (IRL, MGV), pp. 132–146.
CAiSECAiSE-2011-SmirnovRW #abstraction #approach #process #semantics
A Semantic Approach for Business Process Model Abstraction (SS, HAR, MW), pp. 497–511.
KEODKEOD-2011-YamasakiS #graph
A Graph Manipulation System Abstracted from e-Learning (SY, MS), pp. 466–469.
SEKESEKE-2011-TsuiGDJ #abstraction #development
Measuring Levels of Abstraction in Software Development (FT, AG, SD, EJ), pp. 466–469.
SIGIRSIGIR-2011-ValimakiC #challenge
Elsevier SIGIR 2011 application challenge abstract (JV, RC), pp. 1341–1342.
ECMFAECMFA-2011-AlferezACFKKKMMRZ #abstraction #aspect-oriented #development
Aspect-Oriented Model Development at Different Levels of Abstraction (MA, NA, SC, FF, JK, JK, MEK, SM, GM, EER, GZ), pp. 361–376.
MODELSMoDELS-2011-SchulteJ #development #modelling
Finding Models in Model-Based Development — (Abstract) (WS, EKJ), p. 591.
MODELSMoDELS-2011-SchulteJ #development #modelling
Finding Models in Model-Based Development — (Abstract) (WS, EKJ), p. 591.
OOPSLAOOPSLA-2011-PintoDDGW #abstraction #concurrent
A simple abstraction for complex concurrent indexes (PdRP, TDY, MD, PG, MJW), pp. 845–864.
GPCEGPCE-J-2005-CaretteK11 #abstraction #monad #multi #programming
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code (JC, OK), pp. 349–375.
LOPSTRLOPSTR-2011-Gallagher #analysis #logic programming #source code #using
Analysis of Logic Programs Using Regular Tree Languages — (Extended Abstract) (JPG), pp. 1–3.
QAPLQAPL-2011-DengGHM #probability #process #testing
Real-Reward Testing for Probabilistic Processes (Extended Abstract) (YD, RJvG, MH, CM), pp. 61–73.
POPLPOPL-2011-GuptaPR #abstraction #concurrent #multi #refinement #source code #thread #verification
Predicate abstraction and refinement for verifying multi-threaded programs (AG, CP, AR), pp. 331–344.
POPLPOPL-2011-LiangTN #abstraction #learning
Learning minimal abstractions (PL, OT, MN), pp. 31–42.
POPLPOPL-2011-RivalC #abstraction
Calling context abstraction with shapes (XR, BYEC), pp. 173–186.
POPLPOPL-2011-SinhaW #abstraction #on the
On interference abstractions (NS, CW), pp. 423–434.
POPLPOPL-2011-WeirichVJZ #abstraction #generative
Generative type abstraction and type-level computation (SW, DV, SLPJ, SZ), pp. 227–240.
SACSAC-2011-BabichCPK #abstraction #case study #eclipse #fault #object-oriented #predict #using
Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT (DB, PJC, JFP, BMGK), pp. 1419–1424.
SACSAC-2011-CaniouCDA #constraints #parallel
Parallel constraint-based local search on the HA8000 supercomputer (abstract) (YC, PC, DD, SA), pp. 920–921.
SACSAC-2011-KusamaI #music #named #user interface
MusCat: a music browser featuring abstract pictures and zooming user interface (KK, TI), pp. 1222–1228.
ESEC-FSEESEC-FSE-2011-Baluda #abstraction #automation #refinement #testing
Automatic structural testing with abstraction refinement and coarsening (MB), pp. 400–403.
ICSEICSE-2011-AthanasopoulosZVI #abstraction #mining
Mining service abstractions (DA, AZ, PV, VI), pp. 944–947.
ICSEICSE-2011-CasoBGU #abstraction #behaviour #validation
Program abstractions for behaviour validation (GdC, VAB, DG, SU), pp. 381–390.
ICSEICSE-2011-Kidwell #classification #fault #research
A decision support system for the classification of software coding faults: a research abstract (BK), pp. 1158–1160.
ICSEICSE-2011-Nakakoji #experience #sketching
Interactivity, continuity, sketching, and experience: (keynote abstract) (KN), p. 621.
LDTALDTA-2011-SergeyC #automaton #recursion #type checking
From type checking by recursive descent to type checking with an abstract machine (IS, DC), p. 2.
SPLCSPLC-2011-ThumKES #feature model #modelling
Abstract Features in Feature Modeling (TT, CK, SE, NS), pp. 191–200.
HPCAHPCA-2011-JacobsonBBAE #abstraction #architecture #modelling #scalability
Abstraction and microarchitecture scaling in early-stage power modeling (HMJ, AB, PB, EA, RJE), pp. 394–405.
LCTESLCTES-2011-NavabpourBF #debugging #testing #using
Software debugging and testing using the abstract diagnosis theory (SN, BB, SF), pp. 111–120.
SOSPSOSP-2011-RossbachCSRW #abstraction #named #operating system
PTask: operating system abstractions to manage GPUs as compute devices (CJR, JC, MS, BR, EW), pp. 233–248.
CADECADE-2011-Claessen #automation #first-order #logic #reasoning
The Anatomy of Equinox — An Extensible Automated Reasoning Tool for First-Order Logic and Beyond — (Talk Abstract) (KC), pp. 1–3.
CAVCAV-2011-DonaldsonKKW #abstraction #concurrent #source code #symmetry
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (AFD, AK, DK, TW), pp. 356–371.
CAVCAV-2011-JhalaMR #functional #named #source code #using #verification
HMC: Verifying Functional Programs Using Abstract Interpreters (RJ, RM, AR), pp. 470–485.
CAVCAV-2011-SankaranarayananT #abstraction #hybrid #relational
Relational Abstractions for Continuous and Hybrid Systems (SS, AT), pp. 686–702.
CSLCSL-2011-BucciarelliCEM #abstraction #calculus #testing
Full Abstraction for Resource Calculus with Tests (AB, AC, TE, GM), pp. 97–111.
ICLPICLP-J-2011-CominiTV #concurrent #constraints #source code
Abstract diagnosis for timed concurrent constraint programs (MC, LT, AV), pp. 487–502.
ICSTICST-2011-SprenklePS #case study #modelling #navigation #testing #web
A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications (SS, LLP, LS), pp. 230–239.
ICSTSAT-2011-JanotaS #algorithm
Abstraction-Based Algorithm for 2QBF (MJ, JPMS), pp. 230–244.
TAPTAP-2011-DegiovanniPAF #abstraction #automation #generative #requirements #specification #testing
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
TLCATLCA-2011-BakelBd #λ-calculus #μ-calculus
A Filter Model for the λμ-Calculus — (Extended Abstract) (SvB, FB, Ud), pp. 213–228.
TLCATLCA-2011-RoweB #approximate #object-oriented #programming #semantics
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming — (Extended Abstract) (RNSR, SvB), pp. 229–244.
VMCAIVMCAI-2011-DelahayeKLLPSW #automaton #probability
Abstract Probabilistic Automata (BD, JPK, KGL, AL, MLP, FS, AW), pp. 324–339.
VMCAIVMCAI-2011-HowarSM #abstraction #automation #automaton #learning #refinement
Automata Learning with Automated Alphabet Abstraction Refinement (FH, BS, MM), pp. 263–277.
VMCAIVMCAI-2011-KimC #abstract interpretation #analysis #string
String Analysis as an Abstract Interpretation (SWK, KMC), pp. 294–308.
VMCAIVMCAI-2011-Logozzo #abstract interpretation #verification
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation — (Invited Talk) (FL), pp. 19–22.
VMCAIVMCAI-2011-OhBY #locality
Access Analysis-Based Tight Localization of Abstract Memories (HO, LB, KY), pp. 356–370.
CBSECBSE-2010-SuryadevaraKSP #embedded #modelling #semantic gap
Bridging the Semantic Gap between Abstract Models of Embedded Systems (JS, EYK, CCS, PP), pp. 55–73.
ASEASE-2010-Balint #automation #behaviour #data type
Automatic inference of abstract type behavior (MB), pp. 499–504.
DACDAC-2010-BombieriFP #abstraction #embedded
Abstraction of RTL IPs into embedded software (NB, FF, GP), pp. 24–29.
DACDAC-2010-LaiJW #abstraction #learning #named
BooM: a decision procedure for boolean matching with abstraction and dynamic learning (CFL, JHRJ, KHW), pp. 499–504.
DATEDATE-2010-CimattiFGKR #abstraction #integration #smt
Tighter integration of BDDs and SMT for Predicate Abstraction (AC, AF, AG, KK, MR), pp. 1707–1712.
DATEDATE-2010-HsuYC #architecture #framework #refinement
An accurate system architecture refinement methodology with mixed abstraction-level virtual platform (ZMH, JCY, IYC), pp. 568–573.
DATEDATE-2010-WuLCT #abstraction #automation #generative #multi #performance
Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation (MHW, WCL, CYC, RST), pp. 1177–1182.
DATEDATE-2010-ZhangLL #approach #markov #modelling #simulation #using #verification
An abstraction-guided simulation approach using Markov models for microprocessor verification (TZ, TL, XL), pp. 484–489.
ITiCSEITiCSE-2010-KoppelmanD #abstraction #education
Teaching abstraction in introductory courses (HK, BvD), pp. 174–178.
ESOPESOP-2010-DSilva #abstract interpretation
Propositional Interpolation and Abstract Interpretation (VD), pp. 185–204.
TACASTACAS-2010-ElmasQSST #abstraction #proving #reduction
Simplifying Linearizability Proofs with Reduction and Abstraction (TE, SQ, AS, OS, ST), pp. 296–311.
TACASTACAS-2010-HahnHWZ #abstraction #infinity #modelling #named #probability #refinement
PASS: Abstraction Refinement for Infinite Probabilistic Models (EMH, HH, BW, LZ), pp. 353–357.
WRLAWRLA-2010-AsavoaeA #abstraction #framework #semantics #𝕂
Collecting Semantics under Predicate Abstraction in the 𝕂 Framework (IMA, MA), pp. 123–139.
MSRMSR-2010-NagappanV #mining
Abstracting log lines to log event types for mining software system logs (MN, MAV), pp. 114–117.
WCREWCRE-2010-LethbridgeFB #abstraction #incremental #named #refactoring
Umplification: Refactoring to Incrementally Add Abstraction to a Program (TCL, AF, OBB), pp. 220–224.
WCREWCRE-2010-RupakhetiH #approach #java #similarity
An Abstraction-Oriented, Path-Based Approach for Analyzing Object Equality in Java (CRR, DH), pp. 205–214.
SASSAS-2010-AmatoPS #abstract domain #analysis #component
Deriving Numerical Abstract Domains via Principal Component Analysis (GA, MP, FS), pp. 134–150.
SASSAS-2010-BrauerK #abstraction #automation #using
Automatic Abstraction for Intervals Using Boolean Formulae (JB, AK), pp. 167–183.
SASSAS-2010-Chapoutot #abstract domain #float
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.
SASSAS-2010-GawlitzaS #polynomial #semantics
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely (TMG, HS), pp. 271–286.
SASSAS-2010-GurfinkelC #abstract domain #named
Boxes: A Symbolic Abstract Domain of Boxes (AG, SC), pp. 287–303.
SASSAS-2010-MalkisPR #abstraction #refinement #thread
Thread-Modular Counterexample-Guided Abstraction Refinement (AM, AP, AR), pp. 356–372.
SASSAS-2010-Might #for free
Abstract Interpreters for Free (MM), pp. 407–421.
SASSAS-2010-PredaGDCT #abstract interpretation #modelling #morphism
Modelling Metamorphism by Abstract Interpretation (MDP, RG, SKD, KC, GMT), pp. 218–235.
FLOPSFLOPS-2010-Kiselyov #ml
Delimited Control in OCaml, Abstractly and Concretely: System Description (OK), pp. 304–320.
CIAACIAA-2010-DiekertK #complexity #regular expression
Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract) (VD, SK), pp. 105–114.
DLTDLT-2010-DartoisKL #infinity #word
Rankers over Infinite Words (Extended Abstract) (LD, MK, AL), pp. 148–159.
DLTDLT-2010-Schluter #automaton #lookahead #on the
On Lookahead Hierarchies for Monotone and Deterministic Restarting Automata with Auxiliary Symbols (Extended Abstract) (NS), pp. 440–441.
ICALPICALP-v1-2010-FakcharoenpholLN #algorithm #performance #problem
Faster Algorithms for Semi-matching Problems (Extended Abstract) (JF, BL, DN), pp. 176–187.
ICALPICALP-v2-2010-GiacobazziR #abstraction
Example-Guided Abstraction Simplification (RG, FR), pp. 211–222.
ICFPICFP-2010-HornM #automaton
Abstracting abstract machines (DVH, MM), pp. 51–62.
IFLIFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #reduction #semantics
Automating Derivations of Abstract Machines from Reduction Semantics: — A Generic Formalization of Refocusing in Coq (FS, MB, DB), pp. 72–88.
GT-VMTGT-VMT-2010-HassanMS #automaton #interactive #lightweight
A lightweight abstract machine for interaction nets (AH, IM, SS).
ICGTICGT-2010-Zambon #abstraction #graph transformation #using #verification
Using Graph Transformations and Graph Abstractions for Software Verification (EZ), pp. 416–418.
CHICHI-2010-ShiraziSASH #comprehension
Understanding the impact of abstracted audio preview of SMS (ASS, AHS, FA, AS, JH), pp. 1735–1738.
SOFTVISSOFTVIS-2010-MyersD #abstraction #design #runtime
A map of the heap: revealing design abstractions in runtime structures (CM, DJD), pp. 63–72.
ICEISICEIS-AIDSS-2010-CuzzocreaFP #abstraction #analysis #collaboration #effectiveness #flexibility #mining #process
Effective Analysis of Flexible Collaboration Processes by Way of Abstraction and Mining Techniques (AC, FF, LP), pp. 157–166.
ICEISICEIS-AIDSS-2010-VegettiLH #abstraction
A Three Level Abstraction Hierarchy to Represent Product Structural Information (MV, HPL, GPH), pp. 299–308.
ICEISICEIS-SAIC-2010-Kristensen #abstraction #collaboration #message passing #using
Abstraction from Collaboration between Agents using Asynchronous Message-passing (BBK), pp. 86–92.
KRKR-2010-Baral #multi #reasoning
Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract) (CB).
KRKR-2010-BrewkaW #framework
Abstract Dialectical Frameworks (GB, SW).
ECMFAECMFA-2010-JohannesF #abstraction #composition #framework #modelling #network #reuse #using
Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework (JJ, MAF), pp. 132–143.
ECMFAECMFA-2010-OnoTKSNF #abstraction #embedded #execution #modelling #performance
A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces (KO, MT, RK, YS, TN, NF), pp. 233–244.
ECOOPECOOP-2010-Dinsdale-YoungDGPV #concurrent
Concurrent Abstract Predicates (TDY, MD, PG, MJP, VV), pp. 504–528.
ECOOPECOOP-2010-Owens #abstraction #concurrent #implementation #reasoning
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO (SO), pp. 478–503.
OOPSLAOOPSLA-2010-DavisK #abstraction
Registration-based language abstractions (SD, GK), pp. 754–773.
OOPSLAOOPSLA-2010-DilligDA #abstraction #axiom #invariant #memory management
Symbolic heap abstraction with demand-driven axiomatization of memory invariants (ID, TD, AA), pp. 397–410.
OOPSLAOOPSLA-2010-LiangTNS #abstraction #evaluation #precise
A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.
OOPSLAOOPSLA-2010-StadenC #abstraction #multi #reasoning
Reasoning about multiple related abstractions with MultiStar (SvS, CC), pp. 504–519.
GPCEGPCE-2010-ClarkeHS #modelling
Abstract delta modeling (DC, MH, IS), pp. 13–22.
LOPSTRLOPSTR-2010-BacciC #first-order #functional #logic programming #source code
Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.
PPDPPPDP-2010-Gacek #higher-order #specification #syntax
Relating nominal and higher-order abstract syntax specifications (AG), pp. 177–186.
QAPLQAPL-2010-BarsottiW #abstraction #automation #probability #random #verification
Automatic Probabilistic Program Verification through Random Variable Abstraction (DB, NW), pp. 34–47.
QAPLQAPL-2010-CacheraJ #abstract interpretation #cost analysis #injection #linear #modelling
Injecting Abstract Interpretations into Linear Cost Models (DC, AJ), pp. 64–81.
QAPLQAPL-2010-NdukwuMc #abstraction #approach #independence #probability #source code
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs (UN, AM), pp. 129–143.
QAPLQAPL-2010-RabeS #game studies #markov
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games (MNR, SS), pp. 144–158.
POPLPOPL-2010-MagillTLT #abstraction #automation #source code
Automatic numeric abstractions for heap-manipulating programs (SM, MHT, PL, YKT), pp. 211–222.
POPLPOPL-2010-SuterDK #abstraction #algebra #data type
Decision procedures for algebraic data types with abstractions (PS, MD, VK), pp. 199–210.
POPLPOPL-2010-VechevYY #synthesis
Abstraction-guided synthesis of synchronization (MTV, EY, GY), pp. 327–338.
RERE-2010-GacituaSG #abstraction #effectiveness #identification #on the #requirements
On the Effectiveness of Abstraction Identification in Requirements Engineering (RG, PS, VG), pp. 5–14.
REFSQREFSQ-2010-SikoraDP #abstraction #consistency #multi #specification
Supporting the Consistent Specification of Scenarios across Multiple Abstraction Levels (ES, MD, KP), pp. 45–59.
SACSAC-OOPS-J-2008-LogozzoF10 #abstract domain #array #named #performance #relational #validation
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 796–807.
SACSAC-2010-OliverSF #abstraction #network #operating system
An operating system abstraction layer for portable applications in wireless sensor networks (RSO, IS, GF), pp. 742–748.
ICSEICSE-2010-Elmas #abstraction #concurrent #named #proving #reduction #verification
QED: a proof system based on reduction and abstraction for the static verification of concurrent software (TE), pp. 507–508.
ICSEICSE-2010-Hoste #abstraction #multi #re-engineering
Software engineering abstractions for the multi-touch revolution (LH), pp. 509–510.
LDTALDTA-2010-CortesiH #dependence #graph #semantics #slicing
Dependence condition graph for semantics-based abstract program slicing (AC, RH), p. 4.
CCCC-2010-LogozzoV #abstract interpretation #agile #analysis #javascript #named #optimisation
RATA: Rapid Atomic Type Analysis by Abstract Interpretation — Application to JavaScript Optimization (FL, HV), pp. 66–83.
HPCAHPCA-2010-GenbruggeEE #abstraction #architecture #simulation
Interval simulation: Raising the level of abstraction in architectural simulation (DG, SE, LE), pp. 1–12.
HPDCHPDC-2010-BuiYT #abstraction #distributed #named #python #using #workflow
Weaver: integrating distributed computing abstractions into scientific workflows using Python (PB, LY, DT), pp. 636–643.
ISMMISMM-2010-Sewell #abstraction #memory management
Memory, an elusive abstraction (PS), pp. 51–52.
PPoPPPPoPP-2010-Chakrabarti #abstraction #analysis #effectiveness #performance #source code
New abstractions for effective performance analysis of STM programs (DRC), pp. 333–334.
CAVCAV-2010-AlbarghouthiGWC #analysis #symbolic computation
Abstract Analysis of Symbolic Executions (AA, AG, OW, MC), pp. 495–510.
CAVCAV-2010-PulinaT #abstraction #approach #network #verification
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks (LP, AT), pp. 243–257.
CAVCAV-2010-SinghGP #abstraction #component #interface #learning
Learning Component Interfaces with May and Must Abstractions (RS, DG, CSP), pp. 527–542.
CSLCSL-2010-FioreH #equation #higher-order #logic
Second-Order Equational Logic (Extended Abstract) (MPF, CKH), pp. 320–335.
CSLCSL-2010-SchwentickZ #logic #order
Two-Variable Logic with Two Order Relations — (Extended Abstract) (TS, TZ), pp. 499–513.
ICLPICLP-2010-Janhunen10 #constraints #revisited #semantics #source code
Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited (TJ), pp. 94–103.
ICSTICST-2010-GrassoFFBB #abstract interpretation #modelling #testing
Model Based Testing and Abstract Interpretation in the Railway Signaling Context (DG, AF, AF, CB, SB), pp. 103–106.
ICTSSICTSS-2010-AartsJU #abstraction #communication #generative #infinity #modelling #protocol #using
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction (FA, BJ, JU), pp. 188–204.
IJCARIJCAR-2010-Bjorner #linear #quantifier
Linear Quantifier Elimination as an Abstract Decision Procedure (NB), pp. 316–330.
IJCARIJCAR-2010-Kapur #abstraction #induction #invariant
Induction, Invariants, and Abstraction (DK), p. 353.
LICSLICS-2010-DanosFFHK #automation #difference #modelling #reduction #rule-based #semantics
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
RTARTA-2010-Bahr #modelling #reduction
Abstract Models of Transfinite Reductions (PB), pp. 49–66.
TAPTAP-2010-BueDKB #abstraction #behaviour #using
Building a Test-Ready Abstraction of a Behavioral Model Using CLP (PCB, FD, ADK, FB), pp. 167–182.
TAPTAP-2010-JulliandSBM #abstraction #modelling #testing
Syntactic Abstraction of B Models to Generate Tests (JJ, NS, PCB, PAM), pp. 151–166.
VMCAIVMCAI-2010-ChenMWC #abstract domain #linear
An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
VMCAIVMCAI-2010-Giacobazzi #abstract interpretation
Abstract Interpretation-Based Protection (RG), pp. 23–24.
VMCAIVMCAI-2010-JungKWY #abstraction #algorithm #invariant #learning
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (YJ, SK, BYW, KY), pp. 180–196.
VMCAIVMCAI-2010-KingS #abstraction #automation
Automatic Abstraction for Congruences (AK, HS), pp. 197–213.
VMCAIVMCAI-2010-LahiriMQ #thread
Abstract Threads (SKL, AM, SQ), pp. 231–246.
QoSAQoSA-2009-BjornanderGL #architecture #simulation #specification #state machine
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines (SB, LG, KL), pp. 101–115.
CASECASE-2009-BermanK #abstraction #algorithm #assembly #scalability
Abstractions and algorithms for assembly tasks with large numbers of robots and parts (SB, VK), pp. 25–28.
CASECASE-2009-SenGupta
Extended abstract — bringing science to the art of workforce management in service industries (SS), pp. 59–64.
CASECASE-2009-SriramL #automation #standard
The role of standards in healthcare automation (Extended abstract) (RDS, BL), pp. 79–82.
CASECASE-2009-WangLNRKML #concurrent #parallel #source code #thread
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract) (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.
DACDAC-2009-GluskaL #modelling #verification
Shortening the verification cycle with synthesizable abstract models (AG, LL), pp. 454–459.
DACDAC-2009-NanshiS #abstraction #constraints #refinement
Constraints in one-to-many concretization for abstraction refinement (KN, FS), pp. 569–574.
DACDAC-2009-ReddiGSWBC #challenge #hardware #reliability #stack
Software-assisted hardware reliability: abstracting circuit-level challenges to the software stack (VJR, SC, MSG, MDS, GYW, DMB), pp. 788–793.
DATEDATE-2009-FummiPR #design #embedded #middleware
Networked embedded system applications design driven by an abstract middleware environment (FF, GP, NR), pp. 1024–1029.
DATEDATE-2009-PurandareWK #abstraction #refinement #using
Strengthening properties using abstraction refinement (MP, TW, DK), pp. 1692–1697.
DATEDATE-2009-ZabelM #injection #simulation
Increased accuracy through noise injection in abstract RTOS simulation (HZ, WM), pp. 1632–1637.
SIGMODSIGMOD-2009-BrodskyBCEW #abstraction #database #programming #query
A decisions query language (DQL): high-level abstraction for mathematical programming over databases (AB, MMB, MC, NEE, XSW), pp. 1059–1062.
ITiCSEITiCSE-2009-Schocken #abstraction #implementation #virtual machine
Virtual machines: abstraction and implementation (SS), pp. 203–207.
ITiCSEITiCSE-2009-Sooriamurthi #abstraction #composition
Introducing abstraction and decomposition to novice programmers (RS), pp. 196–200.
WRLAWRLA-2008-HassN09 #abstraction #equation
Equational Abstractions for Reducing the State Space of Rewrite Theories (LHH, TN), pp. 139–154.
ESOPESOP-2009-BuscemiM #distributed #process
Abstract Processes in Orchestration Languages (MGB, HCM), pp. 301–315.
ESOPESOP-2009-FilipovicORY #abstraction #concurrent
Abstraction for Concurrent Objects (IF, PWO, NR, HY), pp. 252–266.
FoSSaCSFoSSaCS-2009-AdamekMV #monad
A Description of Iterative Reflections of Monads (Extended Abstract) (JA, SM, JV), pp. 152–166.
FoSSaCSFoSSaCS-2009-MurawskiT #abstraction #ml
Full Abstraction for Reduced ML (ASM, NT), pp. 32–47.
TACASTACAS-2009-BakewellG #abstraction #composition #game studies #semantics
Compositional Predicate Abstraction from Game Semantics (AB, DRG), pp. 62–76.
ICSMEICSM-2009-SuttonHM #c++
Abstracting the template instantiation relation in C++ (AS, RH, JIM), pp. 559–562.
SCAMSCAM-2009-AchenbachO #abstraction #model checking #testing
Engineering Abstractions in Model Checking and Testing (MA, KO), pp. 137–146.
PLDIPLDI-2009-SrivastavaG #abstraction #using #verification
Program verification using templates over predicate abstraction (SS, SG), pp. 223–234.
SASSAS-2009-ChenMWC #abstract domain #linear
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
SASSAS-2009-DohKS #parsing #static analysis #string #using
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology (KGD, HK, DAS), pp. 256–272.
SASSAS-2009-GrundR #abstract interpretation
Abstract Interpretation of FIFO Replacement (DG, JR), pp. 120–136.
SASSAS-2009-HeizmannHP #abstraction #refinement
Refinement of Trace Abstraction (MH, JH, AP), pp. 69–85.
SASSAS-2009-Schmidt #abstract interpretation #perspective
Abstract Interpretation from a Topological Perspective (DAS), pp. 293–308.
SASSAS-2009-SeghirPW #abstraction #array #quantifier #refinement
Abstraction Refinement for Quantified Array Assertions (MNS, AP, TW), pp. 3–18.
STOCSTOC-2009-ChalopinG #graph
Every planar graph is the intersection graph of segments in the plane: extended abstract (JC, DG), pp. 631–638.
STOCSTOC-2009-ChengW #distance #problem #reduction
A deterministic reduction for the gap minimum distance problem: [extended abstract] (QC, DW), pp. 33–38.
STOCSTOC-2009-KleinbergPT #game studies #learning #multi
Multiplicative updates outperform generic no-regret learning in congestion games: extended abstract (RK, GP, ÉT), pp. 533–542.
STOCSTOC-2009-Peikert #problem #worst-case
Public-key cryptosystems from the worst-case shortest vector problem: extended abstract (CP), pp. 333–342.
CIAACIAA-2009-GantyMR #abstraction #automaton #fixpoint #refinement
Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.
FMFM-2009-AhrendtBG #logic
Abstract Object Creation in Dynamic Logic (WA, FSdB, IG), pp. 612–627.
FMFM-2009-JaffarS #abstraction #recursion
Recursive Abstractions for Parameterized Systems (JJ, AES), pp. 72–88.
FMFM-2009-SchierlSHR #file system #memory management #specification
Abstract Specification of the UBIFS File System for Flash Memory (AS, GS, DH, WR), pp. 190–206.
FMFM-2009-SchriebWW #abstraction
Three-Valued Spotlight Abstractions (JS, HW, DW), pp. 106–122.
FMFM-2009-SunLRLD #abstraction #model checking #process
Fair Model Checking with Process Counter Abstraction (JS, YL, AR, SL, JSD), pp. 123–139.
FMFM-2009-Tonetta #abstraction #model checking
Abstract Model Checking without Computing the Abstraction (ST), pp. 89–105.
IFMIFM-2009-Weiss #abstraction #calculus #logic
Predicate Abstraction in a Program Logic Calculus (BW), pp. 136–150.
ICFPICFP-2009-MidtgaardJ #abstract interpretation #analysis #control flow
Control-flow analysis of function calls and returns by abstract interpretation (JM, TPJ), pp. 287–298.
EDOCEDOC-2009-DirgahayuSQ #abstraction #interactive
Abstractions of Interaction Mechanisms (TD, MvS, DACQ), pp. 173–182.
ICEISICEIS-ISAS-2009-MarkovicH #abstraction #modelling #process #towards
Towards Integrating Perspectives and Abstraction Levels in Business Process Modeling (IM, FH), pp. 286–291.
MODELSMoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MODELSMoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
OOPSLAOOPSLA-2009-Cook #abstraction #comprehension #on the #revisited
On understanding data abstraction, revisited (WRC), pp. 557–572.
GPCEGPCE-2009-KongCY #parsing
Abstract parsing for two-staged languages with concatenation (SK, WC, KY), pp. 109–116.
PPDPPPDP-2009-FalaschiOP #abstract interpretation #concurrent #constraints #framework #source code
A framework for abstract interpretation of timed concurrent constraint programs (MF, CO, CP), pp. 207–218.
QAPLQAPL-2009-MuC #abstraction #data flow
An Interval-based Abstraction for Quantifying Information Flow (CM, DC), pp. 119–141.
POPLPOPL-2009-Monniaux #abstraction #automation #composition #constraints #linear
Automatic modular abstractions for linear constraints (DM), pp. 140–151.
POPLPOPL-2009-MontaguR #data type #modelling
Modeling abstract types in modules with open existential types (BM, DR), pp. 354–365.
SACSAC-2009-BeekMG #framework #named #verification
CMC-UMC: a framework for the verification of abstract service-oriented properties (MHtB, FM, SG), pp. 2111–2117.
SACSAC-2009-CheriniB #abstraction #reasoning
Local reasoning for abstraction and sharing (RC, JOB), pp. 552–557.
SACSAC-2009-LievensH #encapsulation #multi #symmetry
Symmetric encapsulated multi-methods to abstract over application structure (DL, WH), pp. 1873–1880.
SACSAC-2009-SharyginaTT #abstraction #performance #precise #verification
The synergy of precise and fast abstractions for program verification (NS, ST, AT), pp. 566–573.
SACSAC-2009-ZhaoZL #abstraction #multi #object-oriented #source code
Abstraction of multiple executions of object-oriented programs (CZ, KZ, YL), pp. 549–550.
ICSEICSE-2009-CasoBGU #abstraction #contract #finite #using #validation
Validation of contracts using enabledness preserving finite state abstractions (GdC, VAB, DG, SU), pp. 452–462.
ICSEICSE-2009-RaysideBSNMJ #abstraction #generative #implementation #similarity
Equality and hashing for (almost) free: Generating implementations from abstraction functions (DR, ZB, RS, JPN, AM, DJ), pp. 342–352.
LDTALDTA-2008-FokkerS09 #abstract interpretation #attribute grammar #functional #source code #using
Abstract Interpretation of Functional Programs using an Attribute Grammar System (JF, SDS), pp. 117–133.
CGOCGO-2009-CordesFM #abstract interpretation #analysis #modelling #performance #precise #slicing
A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.
CGOCGO-2009-SchackelerS #abstraction
Procedural Abstraction with Reverse Prefix Trees (SS, WS), pp. 243–253.
HPDCHPDC-2009-YiMEJT #abstraction #clustering #manycore #parallel
Harnessing parallelism in multicore clusters with the all-pairs and wavefront abstractions (LY, CM, SJE, KJ, DT), pp. 1–10.
CADECADE-2009-LahiriQ #abstraction #algorithm #complexity
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction (SKL, SQ), pp. 214–229.
CAVCAV-2009-BaslerMWK #abstraction #concurrent
Symbolic Counter Abstraction for Concurrent Software (GB, MM, TW, DK), pp. 64–78.
CAVCAV-2009-GhorbalGP #abstract domain
The Zonotope Abstract Domain Taylor1+ (KG, EG, SP), pp. 627–633.
CAVCAV-2009-HenzingerMW #abstraction #infinity #markov
Sliding Window Abstraction for Infinite Markov Chains (TAH, MM, VW), pp. 337–352.
CAVCAV-2009-JeannetM #abstract domain #library #named #static analysis
Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.
CAVCAV-2009-PerezRS #abstraction #declarative #network
Cardinality Abstraction for Declarative Networking Applications (JANP, AR, AS), pp. 584–598.
ICLPICLP-2009-King #abstraction #logic #reverse engineering
Untangling Reverse Engineering with Logic and Abstraction (AK), p. 37.
ICLPICLP-2009-Raedt #learning #logic #probability #tutorial
Probabilistic Logic Learning — A Tutorial Abstract (LDR), p. 39.
LICSLICS-2009-Dominguez #calculus #logic #polymorphism #similarity
Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus (LD), pp. 81–90.
LICSLICS-2009-NainV #semantics
Trace Semantics is Fully Abstract (SN, MYV), pp. 59–68.
RTARTA-2009-Lopez-FraguasRS #semantics
A Fully Abstract Semantics for Constructor Systems (FJLF, JRH, JSH), pp. 320–334.
TAPTAP-2009-RatschanS #fault #hybrid #optimisation #quality
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (SR, JGS), pp. 153–168.
VMCAIVMCAI-2009-GulwaniSV #abstraction #constraints #invariant
Constraint-Based Invariant Inference over Predicate Abstraction (SG, SS, RV), pp. 120–135.
VMCAIVMCAI-2009-KattenbeltKNP #abstraction #probability #refinement
Abstraction Refinement for Probabilistic Software (MK, MZK, GN, DP), pp. 182–197.
VMCAIVMCAI-2009-KinderZV #abstract interpretation #control flow #framework #re-engineering
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries (JK, FZ, HV), pp. 214–228.
VMCAIVMCAI-2009-MightM #abstract interpretation #nondeterminism
A PosterioriSoundness for Non-deterministic Abstract Interpretations (MM, PM), pp. 260–274.
VMCAIVMCAI-2009-Vafeiadis #abstraction #verification
Shape-Value Abstraction for Verifying Linearizability (VV), pp. 335–348.
ECSAECSA-2008-BritoLR #abstraction #architecture #development #fault tolerance
Development of Fault-Tolerant Software Systems Based on Architectural Abstractions (PHSB, RdL, CMFR), pp. 131–147.
ASEASE-2008-HartKGCL #abstraction #proving #refinement
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (TEH, KK, AG, MC, DL), pp. 387–390.
ASEASE-2008-PostSKG #abstract interpretation #bound #model checking
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking (HP, CS, AK, TG), pp. 188–197.
DACDAC-2008-ChenXY #abstraction #automation #evaluation #optimisation #refinement
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation (YC, FX, JY), pp. 143–148.
DATEDATE-2008-SchirnerD #modelling #scheduling #using
Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling (GS, RD), pp. 122–127.
DocEngDocEng-2008-IorioFVLW #abstraction #layout
Higher-level layout through topological abstraction (ADI, LF, FV, JWL, TW), pp. 90–99.
ESOPESOP-2008-Allamigeon #abstraction #array
Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.
ESOPESOP-2008-BartheK #abstract interpretation
Certificate Translation in Abstract Interpretation (GB, CK), pp. 368–382.
ESOPESOP-2008-ChawdharyCGSY #abstraction #ranking
Ranking Abstractions (AC, BC, SG, MS, HY), pp. 148–162.
ESOPESOP-2008-CirilloJPR #distributed #named #trust
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract) (AC, RJ, CP, JR), pp. 208–223.
ESOPESOP-2008-Coquand #functional #programming
Constructive Mathematics and Functional Programming (Abstract) (TC), pp. 146–147.
ESOPESOP-2008-GiustoG #abstraction
Full Abstraction for Linda (CDG, MG), pp. 78–92.
FoSSaCSFoSSaCS-2008-SelingerV #call-by #λ-calculus
A Linear-non-Linear Model for a Computational Call-by-Value λ Calculus (Extended Abstract) (PS, BV), pp. 81–96.
TACASTACAS-2008-ClarkeTV #abstraction #concurrent #framework #model checking #proving
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (EMC, MT, HV), pp. 33–47.
TACASTACAS-2008-GulavaniCNR #abstract interpretation #automation
Automatically Refining Abstract Interpretations (BSG, SC, AVN, SKR), pp. 443–458.
TACASTACAS-2008-KupferschmidHL #abstraction #model checking #performance
Fast Directed Model Checking Via Russian Doll Abstraction (SK, JH, KGL), pp. 203–217.
SCAMSCAM-2008-Zanardini #semantics #slicing
The Semantics of Abstract Program Slicing (DZ), pp. 89–98.
PEPMPEPM-2008-MastroeniZ #dependence #semantics #slicing #syntax
Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.
SASSAS-2008-CominiDV #abstract interpretation #on the #polymorphism #recursion #type system
On Polymorphic Recursion, Type Systems, and Abstract Interpretation (MC, FD, SV), pp. 144–158.
SASSAS-2008-GiacobazziM #abstract interpretation
Transforming Abstract Interpretations by Abstract Interpretation (RG, IM), pp. 1–17.
SASSAS-2008-MidtgaardJ #abstract interpretation #analysis #approach #control flow
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (JM, TPJ), pp. 347–362.
SASSAS-2008-NanzNN #abstraction #behaviour #concurrent
Modal Abstractions of Concurrent Behaviour (SN, FN, HRN), pp. 159–173.
SASSAS-2008-Perdrix #abstract interpretation #analysis #quantum
Quantum Entanglement Analysis Based on Abstract Interpretation (SP), pp. 270–282.
STOCSTOC-2008-AroraKKSTV #constraints #game studies #graph
Unique games on expanding constraint graphs are easy: extended abstract (SA, SK, AK, DS, MT, NKV), pp. 21–28.
STOCSTOC-2008-JainKN #bound #communication #complexity #theorem
Direct product theorems for classical communication complexity via subdistribution bounds: extended abstract (RJ, HK, AN), pp. 599–608.
AFLAFL-2008-KaminskiZ #automaton #nondeterminism
Extending finite-memory automata with non-deterministic reassignment (Extended abstract) (MK, DZ), pp. 195–207.
AFLAFL-2008-Paun
Membrane Computing: Recent Developments and Applications (Extended Abstract) (GP), pp. 350–351.
AFLAFL-2008-Petre #assembly
Mathematics of gene assembly in ciliates (Abstract) (IP), pp. 54–55.
AFLAFL-2008-Roska #algorithm
Cellular Wave Computers — Algorithms for million processor computers (Abstract) (TR), p. 352.
AFLAFL-2008-Sakarovitch #automaton #transducer
The sequentialisation of automata and transducers (Abstract) (JS), pp. 56–57.
AFLAFL-2008-Szathmary #natural language
In silico Evolutionary Developmental Neurobiology and the Origin of Natural Language (Abstract) (ES), p. 353.
ICALPICALP-A-2008-BodlaenderDFH #kernel #on the #polynomial #problem
On Problems without Polynomial Kernels (Extended Abstract) (HLB, RGD, MRF, DH), pp. 563–574.
ICALPICALP-A-2008-DietzfelbingerP #approximate #data type #retrieval
Succinct Data Structures for Retrieval and Approximate Membership (Extended Abstract) (MD, RP), pp. 385–396.
ICALPICALP-A-2008-FialaGK #complexity #distance #problem
Computational Complexity of the Distance Constrained Labeling Problem for Trees (Extended Abstract) (JF, PAG, JK), pp. 294–305.
ICALPICALP-A-2008-RazgonO #parametricity #satisfiability
Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract) (IR, BO), pp. 551–562.
ICALPICALP-B-2008-BergerHY #abstraction #logic #mobile #process
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (MB, KH, NY), pp. 99–111.
SEFMSEFM-2008-Cortesi #abstract interpretation
Widening Operators for Abstract Interpretation (AC), pp. 31–40.
SEFMSEFM-2008-Giacobazzi #abstract interpretation #security
Abstract Interpretation in Code Security (RG), p. 3.
ICFPICFP-2008-Chlipala #higher-order #parametricity #semantics #syntax
Parametric higher-order abstract syntax for mechanized semantics (AC), pp. 143–156.
GT-VMTGT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #sequence chart #syntax #uml
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.
GT-VMTGT-VMT-2006-ManningP08 #automaton
The York Abstract Machine (GM, DP), pp. 231–240.
GT-VMTGT-VMT-2008-BaresiGMM #abstraction #graph transformation #using #verification
Using Graph Transformation Systems to Specify and Verify Data Abstractions (LB, CG, AM, MM).
ICGTICGT-2008-BauerBKR #abstraction #graph
A Modal-Logic Based Graph Abstraction (JB, IB, MEK, AR), pp. 321–335.
ICGTICGT-2008-Bonchi #semantics
Abstract Semantics by Observable Contexts (FB), pp. 478–480.
ICGTICGT-2008-RiegerN #data type
Abstracting Complex Data Structures by Hyperedge Replacement (SR, TN), pp. 69–83.
SOFTVISSOFTVIS-2008-Almeida-MartinezUV #abstract syntax tree #named #syntax #visualisation
VAST: visualization of abstract syntax trees within language processors courses (FJAM, JUF, JÁVI), pp. 209–210.
SOFTVISSOFTVIS-2008-ParduhnSW #algorithm #graph #using #visualisation
Algorithm visualization using concrete and abstract shape graphs (SAP, RS, RW), pp. 33–36.
EDOCEDOC-2008-PolyvyanyySW #abstraction #approach #process
Process Model Abstraction: A Slider Approach (AP, SS, MW), pp. 325–331.
CIKMCIKM-2008-TsengSC #abstraction #detection #email #novel
A novel email abstraction scheme for spam detection (CYT, PCS, MSC), pp. 1393–1394.
ICMLICML-2008-Schnall-LevinCB #algorithm #design #framework
Inverting the Viterbi algorithm: an abstract framework for structure design (MSL, LC, BB), pp. 904–911.
KRKR-2008-MartinezGS #framework
An Abstract Argumentation Framework with Varied-Strength Attacks (DCM, AJG, GRS), pp. 135–144.
BXBX-2008-Wang1 #abstraction #bidirectional
Translucent Abstraction: Safe Views Through Bidirectional Transformations (MW), p. 41.
MODELSMoDELS-2008-Kramer #abstraction #modelling
Abstraction and Modelling — A Complementary Partnership (JK), p. 158.
MODELSMoDELS-2008-Kramer #abstraction #modelling
Abstraction and Modelling — A Complementary Partnership (JK), p. 158.
GPCEGPCE-2008-KulkarniR #abstraction #code generation #component #generative #modelling #reuse
An abstraction for reusable MDD components: model-based generation of model-based code generators (VK, SR), pp. 181–184.
PPDPPPDP-2008-MeraLCH #automaton #estimation #execution #towards
Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.
PPDPPPDP-2008-MoralesCH #automaton #generative #using
Comparing tag scheme variations using an abstract machine generator (JFM, MC, MVH), pp. 32–43.
QAPLQAPL-2008-KattenbeltKNP #abstraction #game studies #probability
Game-Based Probabilistic Predicate Abstraction in PRISM (MK, MZK, GN, DP), pp. 5–21.
QAPLQAPL-2008-PierroSW #abstract interpretation #analysis #precise #probability #relational
Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.
QAPLQAPL-2008-Smith #abstract interpretation #imperative #probability #source code #using
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions (MJAS), pp. 43–59.
POPLPOPL-2008-GulwaniMT #logic #quantifier
Lifting abstract interpreters to quantified logical domains (SG, BM, AT), pp. 235–246.
POPLPOPL-2008-ParkinsonB #abstraction #inheritance #logic
Separation logic, abstraction and inheritance (MJP, GMB), pp. 75–86.
POPLPOPL-2008-Pientka #higher-order #programming #syntax
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions (BP), pp. 371–382.
POPLPOPL-2008-Zeilberger #higher-order #syntax
Focusing and higher-order abstract syntax (NZ), pp. 359–369.
SACSAC-2008-LogozzoF #abstract domain #array #named #performance #relational #validation
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 184–188.
FSEFSE-2008-Baldwin
A design-centric view of the economy: abstract (CB), p. 1.
ICSEICSE-2008-ScaffidiMS #abstraction #named #reuse #validation
Topes: reusable abstractions for validating data (CS, BAM, MS), pp. 1–10.
SLESLE-2008-OverbeyJ #abstract syntax tree #generative #syntax
Generating Rewritable Abstract Syntax Trees (JLO, REJ), pp. 114–133.
CAVCAV-2008-AbdullaBCHR #abstraction #memory management #source code
Monotonic Abstraction for Programs with Dynamic Memory Heaps (PAA, AB, JC, FH, AR), pp. 341–354.
CAVCAV-2008-BackesLMP #abstraction #analysis #protocol #security
The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis (MB, SL, MM, KP), pp. 419–422.
CAVCAV-2008-BobaruPG #abstraction #automation #reasoning #refinement
Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.
CAVCAV-2008-GulavaniG #abstract domain #abstraction #analysis
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (BSG, SG), pp. 370–384.
CAVCAV-2008-WilhelmW #abstract interpretation #validation
Abstract Interpretation with Applications to Timing Validation (RW, BW), pp. 22–36.
CSLCSL-2008-Berardid #calculus
A Calculus of Realizers for EM1 Arithmetic (Extended Abstract) (SB, Ud), pp. 215–229.
CSLCSL-2008-Eisinger #automaton #bound #integer #linear
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) (JE), pp. 431–445.
ICLPICLP-2008-Lierler #set
Abstract Answer Set Solvers (YL), pp. 377–391.
ICLPICLP-2008-SivaLZ #case study #constraints #database #sql
A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract) (SS, JJL, HZ), pp. 774–778.
ISSTAISSTA-2008-XuGM #abstraction #testing
Testing for buffer overflows with length abstraction (RGX, PG, RM), pp. 27–38.
LICSLICS-2008-Fiore #higher-order #syntax
Second-Order and Dependently-Sorted Abstract Syntax (MPF), pp. 57–68.
LICSLICS-2008-Kahlon #abstraction #analysis #approach #concurrent #data flow #source code
Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs (VK), pp. 181–192.
LICSLICS-2008-SprengerB #abstraction
Cryptographically-Sound Protocol-Model Abstractions (CS, DAB), pp. 115–129.
RTARTA-2008-BoichutCHK #abstraction #approximate #refinement
Finer Is Better: Abstraction Refinement for Rewriting Approximations (YB, RC, PCH, OK), pp. 48–62.
TAPTAP-2008-Ferrara #abstract interpretation #memory management #static analysis
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (PF), pp. 116–133.
VMCAIVMCAI-2008-BouissouM #abstract interpretation #embedded #physics #source code
Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.
VMCAIVMCAI-2008-Cousot #abstract interpretation #semantics
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions (RC), pp. 1–3.
VMCAIVMCAI-2008-DanosFFK #abstract interpretation #network
Abstract Interpretation of Cellular Signalling Networks (VD, JF, WF, JK), pp. 83–97.
VMCAIVMCAI-2008-DimitrovaP #abstraction #lazy evaluation #protocol #question
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? (RD, AP), pp. 98–111.
VMCAIVMCAI-2008-FecherH #abstraction #model checking
Model Checking for Action Abstraction (HF, MH), pp. 112–126.
VMCAIVMCAI-2008-RanzatoRT #abstraction #algorithm #refinement
A Forward-Backward Abstraction Refinement Algorithm (FR, ORD, FT), pp. 248–262.
VMCAIVMCAI-2008-Schmidt #abstract interpretation #logic
Internal and External Logics of Abstract Interpretations (DAS), pp. 263–278.
ASEASE-2007-BlancGK #abstraction #c++ #verification
Verifying C++ with STL containers via predicate abstraction (NB, AG, DK), pp. 521–524.
DACDAC-2007-PaulaH #effectiveness #simulation
An Effective Guidance Strategy for Abstraction-Guided Simulation (FMdP, AJH), pp. 63–68.
DATEDATE-2007-EckerESSVH #abstraction #interactive #performance #representation #simulation
Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance (WE, VE, LS, TS, MV, MH), pp. 767–772.
DATEDATE-2007-Jerraya #architecture #implementation #modelling
HW/SW implementation from abstract architecture models (AAJ), pp. 1470–1471.
DATEDATE-2007-PatelS #abstraction
Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL (HDP, SKS), pp. 279–284.
DATEDATE-2007-SafarpourV #abstraction #automation #debugging #design #refinement
Abstraction and refinement techniques in automated design debugging (SS, AGV), pp. 1182–1187.
SIGMODSIGMOD-2007-CastroMA #abstraction #framework #programming
ADO.NET entity framework: raising the level of abstraction in data programming (PC, SM, AA), pp. 1070–1072.
ITiCSEITiCSE-2007-PecinovskyP #interface #order
Order of explanation should be interface: abstract classes — overriding (RP, JP), p. 338.
WRLAWRLA-2006-NeuhausserN07 #abstraction #erlang #maude #model checking #source code
Abstraction and Model Checking of Core Erlang Programs in Maude (MRN, TN), pp. 147–163.
WRLAWRLA-2006-OlveczkyM07a #abstraction #maude #realtime
Abstraction and Completeness for Real-Time Maude (PCÖ, JM), pp. 5–27.
WRLAWRLA-2006-Reilles07 #abstract syntax tree #canonical #syntax
Canonical Abstract Syntax Trees (AR), pp. 165–179.
ESOPESOP-2007-BessonJT #abstract interpretation #proving
Small Witnesses for Abstract Interpretation-Based Proofs (FB, TPJ, TT), pp. 268–283.
ESOPESOP-2007-FrancalanzaH #bisimulation #fault tolerance #proving
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract) (AF, MH), pp. 395–410.
ESOPESOP-2007-NanevskiAMB #data type #hoare #type system
Abstract Predicates and Mutable ADTs in Hoare Type Theory (AN, AA, GM, LB), pp. 189–204.
TACASTACAS-2007-AmlaM #abstraction #model checking #refinement #satisfiability
Combining Abstraction Refinement and SAT-Based Model Checking (NA, KLM), pp. 405–419.
TACASTACAS-2007-ArmandoBM #abstraction #array #linear #refinement #source code
Abstraction Refinement of Linear Programs with Arrays (AA, MB, JM), pp. 373–388.
TACASTACAS-2007-BryantKOSSB #abstraction
Deciding Bit-Vector Arithmetic with Abstraction (REB, DK, JO, SAS, OS, BAB), pp. 358–372.
TACASTACAS-2007-JainKSC #abstraction #named #refinement
VCEGAR: Verilog CounterExample Guided Abstraction Refinement (HJ, DK, NS, EMC), pp. 583–586.
TACASTACAS-2007-KupferschmidDHFDPB #heuristic #model checking
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.
TACASTACAS-2007-PandyaKL #abstraction #logic #on the
On Sampling Abstraction of Continuous Time Logic with Durations (PKP, SNK, KL), pp. 246–260.
TACASTACAS-2007-SebastianiTV #abstraction #clustering #refinement
Property-Driven Partitioning for Abstraction Refinement (RS, ST, MYV), pp. 389–404.
WCREWCRE-2007-EvansFM #abstraction #clone detection #detection
Clone Detection via Structural Abstraction (WSE, CWF, FM), pp. 150–159.
PEPMPEPM-2007-MoorHV #object-oriented #query
Object-oriented queries over software systems: (abstract of invited talk) (OdM, EH, MV), p. 91.
PLDIPLDI-2007-KothariGMG #abstraction #network #performance #programming #reliability
Reliable and efficient programming abstractions for wireless sensor networks (NK, RG, TDM, RG), pp. 200–210.
PLDIPLDI-2007-KulkarniPWRBC #abstraction #parallel
Optimistic parallelism requires abstractions (MK, KP, BW, GR, KB, LPC), pp. 211–222.
SASSAS-2007-BanterleG #abstract domain #hardware #implementation #performance
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.
SASSAS-2007-BauerW #abstraction #communication #static analysis
Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.
SASSAS-2007-CousotGR #abstraction
Fixpoint-Guided Abstraction Refinements (PC, PG, JFR), pp. 333–348.
SASSAS-2007-LalKRT #fault
Abstract Error Projection (AL, NK, TWR, TT), pp. 200–217.
SASSAS-2007-Monniaux #abstraction #source code
Optimal Abstraction on Real-Valued Programs (DM), pp. 104–120.
SASSAS-2007-ShohamG #abstraction #composition #verification
Compositional Verification and 3-Valued Abstractions Join Forces (SS, OG), pp. 69–86.
ICALPICALP-2007-FioreH #equation
Equational Systems and Free Constructions (Extended Abstract) (MPF, CKH), pp. 607–618.
ICALPICALP-2007-HasuoJU #category theory
Categorical Views on Computations on Trees (Extended Abstract) (IH, BJ, TU), pp. 619–630.
ICALPICALP-2007-Laird #semantics
A Fully Abstract Trace Semantics for General References (JL), pp. 667–679.
SEFMSEFM-2007-Cousot #abstract interpretation #formal method
The Rôle of Abstract Interpretation in Formal Methods (PC), pp. 135–140.
CEFPCEFP-2007-Kluge #λ-calculus
Abstract λ-Calculus Machines (WEK), pp. 112–157.
LISPILC-2007-WozniakDW #abstraction #data type #policy
Dynamic ADTs: a “don’t ask, don’t tell” policy for data abstraction (GW, MD, SW), p. 26.
AGTIVEAGTIVE-2007-RangerGH #graph #interface
Defining Abstract Graph Views as Module Interfaces (UR, KG, MH), pp. 120–135.
HCIDHM-2007-ChuangL #design #interface #usability
The Usability of Metaphors with Different Degree of Abstract in Interface Design (MCC, IL), pp. 343–352.
HCIHCI-IDU-2007-Gomez-CarneroI #representation #using
Evaluator of User’s Actions (Eua) Using the Model of Abstract Representation Dgaui (SGC, JRI), pp. 463–471.
CAiSECAiSE-2007-AldredADH #abstraction #communication #distributed #process
Communication Abstractions for Distributed Business Processes (LA, WMPvdA, MD, AHMtH), pp. 409–423.
ICEISICEIS-SAIC-2007-KirikovaSGO #abstraction #analysis #flexibility #process
Analysis of Business Process Flexibility at Different Levels of Abstraction (MK, RS, JG, JO), pp. 389–396.
ECMFAECMDA-FA-2007-BrorkensK #abstraction #legacy #metamodelling #standard #tool support #xml
Improving the Interoperability of Automotive Tools by Raising the Abstraction from Legacy XML Formats to Standardized Metamodels (MB, MK), pp. 59–67.
MODELSMoDELS-2007-KrahnRV #syntax
Integrated Definition of Abstract and Concrete Syntax for Textual Languages (HK, BR, SV), pp. 286–300.
MODELSMoDELS-2007-KrahnRV #syntax
Integrated Definition of Abstract and Concrete Syntax for Textual Languages (HK, BR, SV), pp. 286–300.
ECOOPECOOP-2007-DoorenS #abstraction #inheritance #using
A Higher Abstraction Level Using First-Class Inheritance Relations (MvD, ES), pp. 425–449.
PADLPADL-2007-PodelskiR #abstraction #logic #model checking #named #refinement
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement (AP, AR), pp. 245–259.
POPLPOPL-2007-BugliesiG #abstraction #implementation
Secure implementations of typed channel abstractions (MB, MG), pp. 251–262.
SACSAC-2007-Li #abstraction #parametricity #protocol #proving #verification
Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols (YL), pp. 1534–1535.
CGOCGO-2007-BirkbeckLA #abstraction #approach #matlab
A Dimension Abstraction Approach to Vectorization in Matlab (NB, JL, JNA), pp. 115–130.
CGOCGO-2007-DrewekeWFSMP #abstraction #graph
Graph-Based Procedural Abstraction (AD, MW, IF, DS, TM, MP), pp. 259–270.
HPCAHPCA-2007-ClarkHYMF #hardware #lightweight #using
Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping (NC, AH, SY, SAM, KF), pp. 216–227.
LCTESLCTES-2007-Kastner #abstract interpretation #analysis #execution #worst-case
Safe worst-case execution time analysis by abstract interpretation of executable code (DK), p. 135.
SOSPSOSP-2007-KrohnYBCKKM #abstraction #data flow #standard
Information flow control for standard OS abstractions (MNK, AY, MZB, NC, MFK, EK, RM), pp. 321–334.
SOSPSOSP-2007-WangFHJ #abstraction #communication #web
Protection and communication abstractions for web browsers in MashupOS (HJW, XF, JH, CJ), pp. 1–16.
SMTSMT-J-2006-BarrettST07 #data type #formal method #induction
An Abstract Decision Procedure for a Theory of Inductive Data Types (CB, IS, CT), pp. 21–46.
AMOSTAMOST-2007-SatpathyR #abstraction #formal method #generative #model checking #modelling #refinement #testing
Test case generation from formal models through abstraction refinement and model checking (MS, SR), pp. 85–94.
CAVCAV-2007-AlfaroR #abstraction #markov #process
Magnifying-Lens Abstraction for Markov Decision Processes (LdA, PR), pp. 325–338.
CAVCAV-2007-AmitRRSY #abstraction #comparison #verification
Comparison Under Abstraction for Verifying Linearizability (DA, NR, TWR, MS, EY), pp. 477–490.
CAVCAV-2007-BabicH #abstraction #verification
Structural Abstraction of Software Verification Conditions (DB, AJH), pp. 366–378.
CAVCAV-2007-BallKS #abstraction
Leaping Loops in the Presence of Abstraction (TB, OK, MS), pp. 491–503.
CAVCAV-2007-CimattiRST #abstraction #logic #satisfiability
Boolean Abstraction for Temporal Logic Satisfiability (AC, MR, VS, ST), pp. 532–546.
CAVCAV-2007-GulwaniT #abstract domain #bytecode #low level
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software (SG, AT), pp. 379–392.
CAVCAV-2007-JhalaM #abstraction #array #proving
Array Abstractions from Proofs (RJ, KLM), pp. 193–206.
CAVCAV-2007-KatoenKLW #abstraction #markov
Three-Valued Abstraction for Continuous-Time Markov Chains (JPK, DK, ML, VW), pp. 311–324.
CAVCAV-2007-Segelken #abstraction #automaton #hybrid #linear #model checking #modelling
Abstraction and Counterexample-Guided Construction of ω-Automata for Model Checking of Step-Discrete Linear Hybrid Models (MS), pp. 433–448.
CSLCSL-2007-Abramsky #geometry #interactive #proving
Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) (SA), pp. 1–2.
CSLCSL-2007-Alfaro #approach #game studies
The Symbolic Approach to Repeated Games (Abstract) (LdA), p. 3.
CSLCSL-2007-Beckmann #complexity #proving #source code
Proofs, Programs and Abstract Complexity (AB), pp. 4–5.
ICLPICLP-2007-LiuPST #constraints #logic programming #source code
Logic Programs with Abstract Constraint Atoms: The Role of Computations (LL, EP, TCS, MT), pp. 286–301.
ICLPICLP-2007-Zhou #prolog
A Register-Free Abstract Prolog Machine with Jumbo Instructions (NFZ), pp. 455–457.
ISSTAISSTA-2007-ShohamYFP #abstraction #mining #specification #using
Static specification mining using automata-based abstractions (SS, EY, SF, MP), pp. 174–184.
LICSLICS-2007-CalcagnoOY #logic
Local Action and Abstract Separation Logic (CC, PWO, HY), pp. 366–378.
LICSLICS-2007-Tzevelekos #abstraction
Full abstraction for nominal general references (NT), pp. 399–410.
MBTMBT-2007-OuimetL #automation #consistency #satisfiability #specification #state machine #using #verification
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver (MO, KL), pp. 85–97.
RTARTA-2007-HaemmerleF #confluence
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations (RH, FF), pp. 214–228.
TLCATLCA-2007-Mazza #abstraction #combinator #interactive #symmetry
Edifices and Full Abstraction for the Symmetric Interaction Combinators (DM), pp. 305–320.
VMCAIVMCAI-2007-FecherH #abstraction #precise
More Precise Partition Abstractions (HF, MH), pp. 167–181.
VMCAIVMCAI-2007-KlaedtkeRS #abstraction #hybrid #refinement #verification
Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.
VMCAIVMCAI-2007-Logozzo #abstract interpretation #analysis #composition #java #named #verification
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (FL), pp. 283–298.
VMCAIVMCAI-2007-PeronH #abstract domain #bound #constraints #matrix
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (MP, NH), pp. 268–282.
CBSECBSE-2006-GrondinBV #automation #component #named
MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications (GG, NB, LV), pp. 360–367.
CBSECBSE-2006-Lumpe #abstraction #component #framework #modelling #named #reasoning
GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions (ML), pp. 17–32.
ASEASE-2006-DenneyF #automation #certification #safety
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract) (ED, BF), pp. 265–268.
DACDAC-2006-DupenloupLM #abstraction #functional #verification
Transistor abstraction for the functional verification of FPGAs (GD, TL, RM), pp. 1069–1072.
DACDAC-2006-JerrayaBP #abstraction #interface #modelling #multi #programming
Programming models and HW-SW interfaces abstraction for multi-processor SoC (AAJ, AB, FP), pp. 280–285.
DACDAC-2006-NanshiS #simulation
Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.
DATEDATE-2006-FrehseKR #abstraction #refinement #using #verification
Verifying analog oscillator circuits using forward/backward abstraction refinement (GF, BHK, RAR), pp. 257–262.
ITiCSEITiCSE-2006-PerrenetK #abstraction #algorithm #comprehension #concept #perspective #student
Levels of abstraction in students’ understanding of the concept of algorithm: the qualitative perspective (JP, EK), pp. 270–274.
ESOPESOP-2006-GulwaniT #abstraction #linear
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions (SG, AT), pp. 279–293.
FoSSaCSFoSSaCS-2006-Laird #abstraction #nondeterminism
Bidomains and Full Abstraction for Countable Nondeterminism (JL), pp. 352–366.
FoSSaCSFoSSaCS-2006-LuttgenV #process #semantics
Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics (GL, WV), pp. 261–276.
TACASTACAS-2006-EsparzaKS #abstraction #automaton #refinement
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.
TACASTACAS-2006-GulavaniR #abstract interpretation #refinement
Counterexample Driven Refinement for Abstract Interpretation (BSG, SKR), pp. 474–488.
TACASTACAS-2006-GurfinkelC #abstraction #question #why
Why Waste a Perfectly Good Abstraction? (AG, MC), pp. 212–226.
TACASTACAS-2006-KonigK #abstraction #analysis #graph transformation #refinement
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems (BK, VK), pp. 197–211.
TACASTACAS-2006-LiS #abstraction #bound #model checking #performance #refinement
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking (BL, FS), pp. 227–241.
ICPCICPC-2006-JetleyZI #analysis #slicing #using
Using Abstraction-driven Slicing for Postmortem Analysis of Software (RPJ, YZ, SPI), pp. 107–116.
SCAMSCAM-2006-HenriksenG #abstract interpretation #logic programming #source code
Abstract Interpretation of PIC Programs through Logic Programming (KSH, JPG), pp. 184–196.
WCREWCRE-2006-KoschkeFF #clone detection #detection #syntax #using
Clone Detection Using Abstract Syntax Suffix Trees (RK, RF, PF), pp. 253–262.
WCREWCRE-2006-LaitkorpiKS #approach #interface #uml
A UML-based Approach for Abstracting Application Interfaces to REST-like Services (ML, JK, TS), pp. 134–146.
PLDIPLDI-2006-FengSVXN #abstraction #assembly #composition #verification
Modular verification of assembly code with stack-based control abstractions (XF, ZS, AV, SX, ZN), pp. 401–414.
PLDIPLDI-2006-GulwaniT
Combining abstract interpreters (SG, AT), pp. 376–386.
SASSAS-2006-AmiranoffCF #abstract domain #relational
Beyond Iteration Vectors: Instancewise Relational Abstract Domains (PA, AC, PF), pp. 161–180.
SASSAS-2006-BalakrishnanR
Recency-Abstraction for Heap-Allocated Storage (GB, TWR), pp. 221–239.
SASSAS-2006-BouajjaniHRV #data type #model checking
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures (AB, PH, AR, TV), pp. 52–70.
SASSAS-2006-CalcagnoDOY #abstraction #pointer #reachability
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic (CC, DD, PWO, HY), pp. 182–203.
SASSAS-2006-GotsmanBC #abstraction #analysis #interprocedural
Interprocedural Shape Analysis with Separated Heap Abstractions (AG, JB, BC), pp. 240–260.
SASSAS-2006-PueblaAH #abstract interpretation
Abstract Interpretation with Specialized Definitions (GP, EA, MVH), pp. 107–126.
FLOPSFLOPS-2006-Steele #abstraction #parallel #programming
Parallel Programming and Parallel Abstractions in Fortress (GLSJ), p. 1.
DLTDLT-2006-GurevichW #question #state machine
Can Abstract State Machines Be Useful in Language Theory? (YG, CW), pp. 14–19.
ICALPICALP-v1-2006-AlonSS #approximate #problem
Additive Approximation for Edge-Deletion Problems (Abstract) (NA, AS, BS), pp. 1–2.
SEFMSEFM-2006-Meyer
The Context of Object Computation (extended abstract) (BM), pp. 13–17.
ICFPICFP-2006-DenielouL #abstraction #distributed #type system
Abstraction preservation and subtyping in distributed languages (PMD, JJL), pp. 286–297.
ICFPICFP-2006-MightS #analysis #garbage collection
Improving flow analyses via ΓCFA: abstract garbage collection and counting (MM, OS), pp. 13–25.
ICFPICFP-2006-ZiarekSJ #abstraction #composition #concurrent #functional #named #source code
Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.
SOFTVISSOFTVIS-2006-Reiss #abstraction #execution #using #visualisation
Visualizing program execution using user abstractions (SPR), pp. 125–134.
AdaEuropeAdaEurope-2006-MirandaS #c++ #interface
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ (JM, ES), pp. 179–190.
EDOCEDOC-2006-BendraouGB #abstraction #execution #modelling #named #process #uml
UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions (RB, MPG, XB), pp. 297–306.
ICEISICEIS-ISAS-2006-DaoHHRV #abstraction #mining #modelling #tool support #towards #uml
Towards Practical Tools for Mining Abstractions in UML Models (MD, MH, MRH, CR, PV), pp. 276–283.
KRKR-2006-Doyle #on the #process
On Mechanization of Thought Processes (Extended Abstract) (JD), p. 2.
SEKESEKE-2006-SunZLT #component #composition #design #execution #framework #logic
Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution (WS, XZ, YL, ZT), pp. 268–273.
SEKESEKE-2006-ZhaoGQC #abstraction #constraints #prolog #semantics
A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics (LZ, TG, JQ, GC), pp. 359–362.
MODELSMoDELS-2006-ArevaloFHN #abstraction #approach #concept analysis #modelling
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach (GA, JRF, MH, CN), pp. 513–527.
MODELSMoDELS-2006-ArevaloFHN #abstraction #approach #concept analysis #modelling
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach (GA, JRF, MH, CN), pp. 513–527.
ECOOPECOOP-2006-Lieberman #abstraction
The Continuing Quest for Abstraction (HL), pp. 192–197.
LOPSTRLOPSTR-2006-MoralesCH #automaton #optimisation #prolog #towards
Towards Description and Optimization of Abstract Machines in an Extension of Prolog (JFM, MC, MVH), pp. 77–93.
SACSAC-2006-CaceresFOV #architecture #coordination #peer-to-peer #semantics
An abstract architecture for semantic service coordination in agent-based intelligent peer-to-peer environments (CC, AF, SO, MV), pp. 447–448.
SACSAC-2006-RuttiWS #abstraction #implementation #interface #protocol
Service interface: a new abstraction for implementing and composing protocols (OR, PTW, AS), pp. 691–696.
SACSAC-2006-Zanardini #bytecode #java
Abstract non-interference in a fragment of Java bytecode (DZ), pp. 1822–1826.
ICSEICSE-2006-KramerH #abstraction #re-engineering
The role of abstraction in software engineering (JK, OH), pp. 1017–1018.
ICSEICSE-2006-XieMY #automation #state machine
Automatic extraction of abstract-object-state machines from unit-test executions (TX, EM, HY), pp. 835–838.
HPDCHPDC-2006-YehAWCT #performance #using
Using File Grouping to Improve the Disk Performance (Extended Abstract) (TY, JA, JSW, IFC, KHT), pp. 365–366.
LCTESLCTES-2006-CoopriderR #abstract domain #embedded
Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.
LCTESLCTES-2006-RegehrD #embedded
Deriving abstract transfer functions for analyzing embedded software (JR, UD), pp. 34–43.
PPoPPPPoPP-2006-DeitzCCS #abstraction #reduction
Global-view abstractions for user-defined reductions and scans (SJD, DC, BLC, LS), pp. 40–47.
CAVCAV-2006-JainIGSW #abstraction #invariant #refinement #using
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.
CAVCAV-2006-KroeningW #abstraction
Counterexamples with Loops for Predicate Abstraction (DK, GW), pp. 152–165.
CAVCAV-2006-LahiriNO #abstraction #performance #smt
SMT Techniques for Fast Predicate Abstraction (SKL, RN, AO), pp. 424–437.
CAVCAV-2006-Lev-AmiIS #abstraction #analysis #performance #precise
Abstraction for Shape Analysis with Fast and Precise Transformers (TLA, NI, SS), pp. 547–561.
CAVCAV-2006-McMillan #abstraction #lazy evaluation
Lazy Abstraction with Interpolants (KLM), pp. 123–136.
CAVCAV-2006-PaulaH #flexibility #framework #named #simulation
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation (FMdP, AJH), pp. 282–285.
CAVCAV-2006-RoordaC #abstraction #evaluation #refinement #satisfiability
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation (JWR, KC), pp. 175–189.
CSLCSL-2006-Benton
Abstracting Allocation (NB), pp. 182–196.
CSLCSL-2006-MartinMO #hoare #logic
Hoare Logic in the Abstract (UM, EAM, PO), pp. 501–515.
CSLCSL-2006-Ong #approach #infinity #semantics #verification
Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (CHLO), pp. 31–40.
ICLPICLP-2006-AlbertAPH
Reduced Certificates for Abstraction-Carrying Code (EA, PAS, GP, MVH), pp. 163–178.
ISSTAISSTA-2006-GuoPME #data type
Dynamic inference of abstract types (PJG, JHP, SM, MDE), pp. 255–265.
ISSTAISSTA-2006-YorshBS #abstraction #exclamation #proving #testing #theorem proving
Testing, abstraction, theorem proving: better together! (GY, TB, MS), pp. 145–156.
LICSLICS-2006-BallK #abstraction #framework #multi
An Abstraction-Refinement Framework for Multi-Agent Systems (TB, OK), pp. 379–388.
LICSLICS-2006-ShohamG #abstraction #precise
3-Valued Abstraction: More Precision at Less Cost (SS, OG), pp. 399–410.
VMCAIVMCAI-2006-ArnoldMSS #abstraction #analysis
Combining Shape Analyses by Intersecting Abstractions (GA, RM, MS, RS), pp. 33–48.
VMCAIVMCAI-2006-BalabanCP #abstraction #ranking #recursion #source code
Ranking Abstraction of Recursive Programs (IB, AC, AP), pp. 267–281.
VMCAIVMCAI-2006-BinghamR #abstraction #logic #source code
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs (JDB, ZR), pp. 207–221.
VMCAIVMCAI-2006-ClarkeTV #abstraction #verification
Environment Abstraction for Parameterized Verification (EMC, MT, HV), pp. 126–141.
VMCAIVMCAI-2006-GantyRB #abstract interpretation #framework
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS (PG, JFR, LVB), pp. 49–64.
VMCAIVMCAI-2006-GurfinkelWC #abstraction #model checking
Systematic Construction of Abstractions for Model-Checking (AG, OW, MC), pp. 381–397.
VMCAIVMCAI-2006-JaffarSV #abstraction #composition
A CLP Method for Compositional and Intermittent Predicate Abstraction (JJ, AES, RV), pp. 17–32.
VMCAIVMCAI-2006-LogozzoC #abstract interpretation #refactoring #semantics
Semantic Hierarchy Refactoring by Abstract Interpretation (FL, AC), pp. 313–331.
VMCAIVMCAI-2006-Mine #abstract domain #precise
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.
VMCAIVMCAI-2006-RanzatoT #abstract interpretation
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation (FR, FT), pp. 332–347.
VMCAIVMCAI-2006-RossignoliS #compilation #detection
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.
ASEASE-2005-VisserPP #abstraction #generative #using
Test input generation for red-black trees using abstraction (WV, CSP, RP), pp. 414–417.
DACDAC-2005-JainKSC #abstraction #refinement #verification #word
Word level predicate abstraction and refinement for verifying RTL verilog (HJ, DK, NS, EMC), pp. 445–450.
DACDAC-2005-ZhangPHS #abstraction #satisfiability #using
Dynamic abstraction using SAT-based BMC (LZ, MRP, MSH, TS), pp. 754–757.
DATEDATE-2005-HeckmannF #abstract interpretation #embedded #safety
erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation (RH, CF), pp. 618–619.
ITiCSEITiCSE-2005-PerrenetGK #abstraction #algorithm #comprehension #concept #student
Exploring students’ understanding of the concept of algorithm: levels of abstraction (JP, JFG, EK), pp. 64–68.
ESOPESOP-2005-GiacobazziM #abstract interpretation #classification #modelling
Adjoining Declassification and Attack Models by Abstract Interpretation (RG, IM), pp. 295–310.
ESOPESOP-2005-JeffreyR #java #semantics
Java Jr: Fully Abstract Trace Semantics for a Core Java Language (AJ, JR), pp. 423–438.
ESOPESOP-2005-MauborgneR #abstract interpretation #clustering
Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.
FoSSaCSFoSSaCS-2005-JeffreyR #abstraction #polymorphism #π-calculus
Full Abstraction for Polymorphic π-Calculus (AJ, JR), pp. 266–281.
TACASTACAS-2005-ClarkeKSY #abstraction #named #satisfiability
SATABS: SAT-Based Predicate Abstraction for ANSI-C (EMC, DK, NS, KY), pp. 570–574.
TACASTACAS-2005-JainIGG #abstraction #locality
Localization and Register Sharing for Predicate Abstraction (HJ, FI, AG, MKG), pp. 397–412.
TACASTACAS-2005-RanzatoT #abstract interpretation #algorithm #refinement
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation (FR, FT), pp. 140–156.
CSMRCSMR-2005-BernardiL #case study #diagrams #named
UsCaAb: A Tool for Abstracting Use Case Diagrams (MLB, GADL), p. 194.
CSMRCSMR-2005-Li #abstraction #architecture #design #object-oriented
Dynamic Model Design Recovery and Architecture Abstraction of Object Oriented Software (QL), pp. 284–287.
CSMRCSMR-2005-WardZH #abstraction #refinement #semantics #slicing
Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.
ICSMEICSM-IT-2005-Pacione #abstraction #analysis #named #network #visualisation
VANESSA: Visualisation Abstraction NEtwork for Software Systems Analysis (MJP), pp. 85–88.
IWPCIWPC-2005-OSheaE #abstraction #java
An Investigation of Java Abstraction Usage for Program Modifications (PO, CE), pp. 65–74.
MSRMSR-2005-NeamtiuFH #abstract syntax tree #comprehension #evolution #source code #syntax #using
Understanding source code evolution using abstract syntax tree matching (IN, JSF, MWH), pp. 81–85.
SCAMSCAM-2005-HongLS #abstract interpretation #approach #model checking #slicing
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking (HSH, IL, OS), pp. 25–34.
SCAMSCAM-2005-SchordanQ #attribute grammar #sequence #specification
Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar (MS, DJQ), pp. 97–106.
WCREWCRE-2005-LiCHCY #abstraction #architecture #process
Architecture Recovery and Abstraction from the Perspective of Processes (QL, HC, SH, PC, ZY), pp. 57–66.
SASSAS-2005-BagnaraHMZ #abstraction
Widening Operators for Weakly-Relational Numeric Abstractions (RB, PMH, EM, EZ), pp. 3–18.
SASSAS-2005-CookPR #abstraction #refinement #termination
Abstraction Refinement for Termination (BC, AP, AR), pp. 87–101.
SASSAS-2005-DimovskiGL #approach #game studies #refinement #semantics
Data-Abstraction Refinement: A Game Semantic Approach (AD, DRG, RL), pp. 102–117.
SASSAS-2005-EsparzaGS #abstraction
Locality-Based Abstractions (JE, PG, SS), pp. 118–134.
SASSAS-2005-HuntM
The PER Model of Abstract Non-interference (SH, IM), pp. 171–185.
SASSAS-2005-JeannetGR #abstraction #relational
A Relational Abstraction for Functions (BJ, DG, TWR), pp. 186–202.
ICALPICALP-2005-BaldamusPV #encoding #π-calculus
A Fully Abstract Encoding of the π-Calculus with Data Terms (MB, JP, BV), pp. 1202–1213.
ICALPICALP-2005-PredaG #abstract interpretation #obfuscation #semantics
Semantic-Based Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 1325–1336.
FMFM-2005-Bosnacki #abstraction #calculus #on the #μ-calculus
On Some Galois Connection Based Abstractions for the μ-Calculus (DB), pp. 366–381.
IFMIFM-2005-GodefroidK #model checking
Software Model Checking: Searching for Computations in the Abstract or the Concrete (PG, NK), pp. 20–32.
SEFMSEFM-2005-GurovH #abstraction #composition #interface
Interface Abstraction for Compositional Verificatio (DG, MH), pp. 414–424.
SEFMSEFM-2005-NejatiGC #abstraction
Stuttering Abstraction for Model Checkin (SN, AG, MC), pp. 311–320.
SEFMSEFM-2005-PredaG #abstract interpretation #obfuscation
Control Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 301–310.
SEFMSEFM-2005-Sifakis #component #framework
A Framework for Component-based Construction Extended Abstract (JS), pp. 293–300.
SOFTVISSOFTVIS-2005-JohannesSW #algorithm #analysis #animation #using #visualisation
Algorithm animation using shape analysis: visualising abstract executions (DJ, RS, RW), pp. 17–26.
EDOCEDOC-2005-AlmeidaDPQS #design #interactive #modelling #refinement
Abstract Interactions and Interaction Refinement in Model-Driven Design (JPAA, RMD, LFP, DACQ, MvS), pp. 273–286.
ICEISICEIS-v4-2005-LokeLBG #abstraction #programming #workflow
Levels of Abstraction in Programming Device Ecology Workflows (SWL, SL, GB, BG), pp. 137–144.
SEKESEKE-2005-CoyetteVFK #design #generative #user interface
Generating Abstract User Interfaces from an Informal Design (AC, JV, SF, MK), pp. 348–353.
SEKESEKE-2005-Kjaergaard #abstraction #architecture #on the
On Abstraction Levels for Software Architecture Viewpoints (MBK), pp. 424–429.
OOPSLAOOPSLA-2005-LiuSGRL #abstraction
Incrementalization across object abstraction (YAL, SDS, MG, TR, YEL), pp. 473–486.
OOPSLAOOPSLA-2005-OderskyZ #abstraction #component #scalability
Scalable component abstractions (MO, MZ), pp. 41–57.
QAPLQAPL-2004-AlpuenteGPV05 #model checking #source code
Abstract Model Checking of tccp programs (MA, MdMG, EP, AV), pp. 19–36.
QAPLQAPL-2004-HankinW05 #program analysis #λ-calculus
λ-calculus and Quantitative Program Analysis: (Extended Abstract) (CH, HW), pp. 5–18.
QAPLQAPL-2004-Huth05 #abstraction #hybrid #logic
Abstraction and Probabilities for Hybrid Logics (MH), pp. 61–76.
GPCEGPCE-2005-CaretteK #abstraction #monad #multi #programming
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code (JC, OK), pp. 256–274.
GPCEGPCE-2005-CulpepperOF #abstraction #component #interface
Syntactic Abstraction in Component Interfaces (RC, SO, MF), pp. 373–388.
LOPSTRLOPSTR-2005-Fages #automaton #constraints #logic
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (FF), pp. 1–5.
LOPSTRLOPSTR-2005-GallagherPA #abstract domain #type system
Converting One Type-Based Abstract Domain to Another (JPG, GP, EA), pp. 147–162.
PPDPPPDP-2005-FernandezG #abstraction #generative #locality
Nominal rewriting with name generation: abstraction vs. locality (MF, MG), pp. 47–58.
PPDPPPDP-2005-HermenegildoALP #abstraction
Abstraction carrying code and resource-awareness (MVH, EA, PLG, GP), pp. 1–11.
PPDPPPDP-2005-LiL #unification
Inverting abstract unification for set-sharing (XL, LL), pp. 129–138.
PPDPPPDP-2005-SchrijversSD #abstract interpretation #constraints
Abstract interpretation for constraint handling rules (TS, PJS, GJD), pp. 218–229.
POPLPOPL-2005-ParkinsonB #abstraction #logic
Separation logic and abstraction (MJP, GMB), pp. 247–258.
POPLPOPL-2005-PodelskiR #abstraction #termination
Transition predicate abstraction and fair termination (AP, AR), pp. 132–144.
POPLPOPL-2005-RinetzkyBRSW #abstraction #semantics
A semantics for procedure local heaps and its abstractions (NR, JB, TWR, SS, RW), pp. 296–309.
POPLPOPL-2005-SumiiP #abstraction #bisimulation #recursion
A bisimulation for type abstraction and recursion (ES, BCP), pp. 63–74.
SACSAC-2005-CarvalhoL #abstraction #composition #distributed #parallel #performance #programming
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming (FHdCJ, RDL), pp. 1357–1364.
CCCC-2005-Zeller #abstraction
When Abstraction Fails (AZ), pp. 1–9.
CAVCAV-2005-BallKY #abstraction
Abstraction for Falsification (TB, OK, GY), pp. 67–81.
CAVCAV-2005-GuptaS #abstraction #bound #model checking #refinement
Abstraction Refinement for Bounded Model Checking (AG, OS), pp. 112–124.
CAVCAV-2005-LahiriBC #abstraction
Predicate Abstraction via Symbolic Decision Procedures (SKL, TB, BC), pp. 24–38.
CAVCAV-2005-LoginovRS #abstraction #induction #learning #refinement
Abstraction Refinement via Inductive Learning (AL, TWR, SS), pp. 519–533.
CAVCAV-2005-PasareanuPV #model checking #refinement
Concrete Model Checking with Abstract Matching and Refinement (CSP, RP, WV), pp. 52–66.
CSLCSL-2005-Berger #normalisation #theorem
An Abstract Strong Normalization Theorem (UB), pp. 27–35.
ICLPICLP-2005-MoralesCPH #automaton #generative #implementation #performance
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization (JFM, MC, GP, MVH), pp. 21–36.
RTARTA-2005-AbbottGL #composition
Abstract Modularity (MA, NG, CL), pp. 46–60.
TLCATLCA-2005-Felty #approach #semantics #tutorial
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract (APF), p. 10.
TLCATLCA-2005-Zanardini #higher-order
Higher-Order Abstract Non-interference (DZ), pp. 417–432.
VMCAIVMCAI-2005-BalabanPZ #abstraction #analysis
Shape Analysis by Predicate Abstraction (IB, AP, LDZ), pp. 164–180.
VMCAIVMCAI-2005-Bertrane #abstract interpretation #composition #source code #static analysis
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs (JB), pp. 97–112.
VMCAIVMCAI-2005-ChangL #abstract interpretation
Abstract Interpretation with Alien Expressions and Heap Structures (BYEC, KRML), pp. 147–163.
VMCAIVMCAI-2005-Cousot #abstraction #parametricity #programming #proving #termination
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming (PC), pp. 1–24.
VMCAIVMCAI-2005-DamsN #abstraction #automaton
Automata as Abstractions (DD, KSN), pp. 216–232.
VMCAIVMCAI-2005-Feret #abstract domain #geometry
The Arithmetic-Geometric Progression Abstract Domain (JF), pp. 42–58.
VMCAIVMCAI-2005-Hymans #abstract interpretation #fault #verification
Verification of an Error Correcting Code by Abstract Interpretation (CH), pp. 330–345.
VMCAIVMCAI-2005-ManevichYRS #abstraction #canonical
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists (RM, EY, GR, SS), pp. 181–198.
VMCAIVMCAI-2005-Pnueli #abstraction #liveness
Abstraction for Liveness (AP), p. 146.
CBSECBSE-2004-Jonkers #interface #specification
Interface Specification: A Balancing Act (Extended Abstract) (HBMJ), pp. 5–6.
DACDAC-2004-AndrausS #abstraction #automation #modelling #verification
Automatic abstraction and verification of verilog models (ZSA, KAS), pp. 218–223.
DACDAC-2004-MangH #abstraction #analysis #refinement
Abstraction refinement by controllability and cooperativeness analysis (FYCM, PHH), pp. 224–229.
DACDAC-2004-SchueleS #abstraction #analysis #assembly #execution #source code
Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.
DATEDATE-v1-2004-BjesseK #abstraction #debugging #refinement #using
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs (PB, JHK), pp. 156–161.
DATEDATE-v1-2004-RaudvereSSJ #abstraction #polynomial #verification
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits (TR, AKS, IS, AJ), pp. 690–691.
DATEDATE-v2-2004-RadulescuDGRW #abstraction #flexibility #interface #network #performance
An Efficient On-Chip Network Interface Offering Guaranteed Services, Shared-Memory Abstraction, and Flexible Network Configuration (AR, JD, KGWG, ER, PW), pp. 878–883.
SIGMODSIGMOD-2004-RaoPZ #abstraction #canonical #optimisation
Canonical Abstraction for Outerjoin Optimization (JR, HP, CZ), pp. 671–682.
ITiCSEITiCSE-2004-Stepney #education
Teaching post-classical computation: (extended abstract) (SS), p. 3.
ESOPESOP-2004-Boudol #named #programming
ULM: A Core Programming Model for Global Computing: (Extended Abstract) (GB), pp. 234–248.
ESOPESOP-2004-JiaW #distributed #proving #source code
Modal Proofs as Distributed Programs (Extended Abstract) (LJ, DW), pp. 219–233.
ESOPESOP-2004-Mine #abstract domain #detection #fault #float #relational #runtime
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.
ESOPESOP-2004-OHearn #concurrent #reasoning
Resources, Concurrency, and Local Reasoning (Abstract) (PWO), pp. 1–2.
ESOPESOP-2004-PhillipsYE #automaton #calculus #distributed
A Distributed Abstract Machine for Boxed Ambient Calculi (AP, NY, SE), pp. 155–170.
ESOPESOP-2004-RanzatoT #abstract interpretation
Strong Preservation as Completeness in Abstract Interpretation (FR, FT), pp. 18–32.
FoSSaCSFoSSaCS-2004-Demri #constraints #integer #ltl
LTL over Integer Periodicity Constraints: (Extended Abstract) (SD), pp. 121–135.
TACASTACAS-2004-BallCDR #abstraction #approximate
Refining Approximations in Software Predicate Abstraction (TB, BC, SD, SKR), pp. 388–403.
TACASTACAS-2004-BeauquierCP #automation #first-order #logic #parametricity #protocol #state machine #verification
Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic (DB, TC, EP), pp. 372–387.
TACASTACAS-2004-BehrmannBLP #abstraction #automaton #bound
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata (GB, PB, KGL, RP), pp. 312–326.
TACASTACAS-2004-QianN #abstraction #database #invariant #model checking
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases (KQ, AN), pp. 497–511.
TACASTACAS-2004-ShohamG #abstraction
Monotonic Abstraction-Refinement for CTL (SS, OG), pp. 546–560.
TACASTACAS-2004-YorshRS #analysis
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis (GY, TWR, SS), pp. 530–545.
ICSMEICSM-2004-Gueheneuc #diagrams #precise #uml
Abstract and Precise Recovery of UML Diagram Constituents (YGG), p. 523.
ICSMEICSM-2004-PinzgerFJG #source code
Abstracting Module Views from Source Code (MP, MF, MJ, HG), p. 533.
SCAMSCAM-2004-LakhotiaK #detection #obfuscation #stack
Abstracting Stack to Detect Obfuscated Calls in Binaries (AL, EUK), pp. 17–26.
PLDIPLDI-2004-FlattF #abstraction
Kill-safe synchronization abstractions (MF, RBF), pp. 47–58.
PLDIPLDI-2004-YahavR #abstraction #safety #using #verification
Verifying safety properties using separation and heterogeneous abstractions (EY, GR), pp. 25–34.
SASSAS-2004-ClarisoC #abstract domain
The Octahedron Abstract Domain (RC, JC), pp. 312–327.
SASSAS-2004-ManevichSRF #abstraction
Partially Disjunctive Heap Abstraction (RM, SS, GR, JF), pp. 265–279.
SASSAS-2004-Preda #evaluation #refinement
Completeness Refinement in Abstract Symbolic Trajectory Evaluation (MDP), pp. 38–52.
SASSAS-2004-Rodriguez-CarbonellK #abstract interpretation #approach #automation #generative #invariant #polynomial
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants (ERC, DK), pp. 280–295.
SASSAS-2004-ThompsonM #abstract interpretation
Abstract Interpretation of Combinational Asynchronous Circuits (ST, AM), pp. 181–196.
STOCSTOC-2004-HalpernT #multi
Rational secret sharing and multiparty computation: extended abstract (JYH, VT), pp. 623–632.
FLOPSFLOPS-2004-BuenoLH #abstract interpretation #analysis #multi #standard
Multivariant Non-failure Analysis via Standard Abstract Interpretation (FB, PLG, MVH), pp. 100–116.
FLOPSFLOPS-2004-HagiyaTYS #abstraction #analysis #automaton #logic #using
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic (MH, KT, MY, TS), pp. 7–21.
ICALPICALP-2004-ChenDSY #sequence
Dynamic Price Sequence and Incentive Compatibility (Extended Abstract) (NC, XD, XS, ACCY), pp. 320–331.
ICALPICALP-2004-DabrowskiP #equation #word
Solving Two-Variable Word Equations (Extended Abstract) (RD, WP), pp. 408–419.
ICALPICALP-2004-DengL
A PTAS for Embedding Hypergraph in a Cycle (Extended Abstract) (XD, GL), pp. 433–444.
ICALPICALP-2004-DvorakKP #consistency #constraints #problem
Locally Consistent Constraint Satisfaction Problems: (Extended Abstract) (ZD, DK, OP), pp. 469–480.
ICALPICALP-2004-GasieniecKPX #multi #network
Deterministic M2M Multicast in Radio Networks: (Extended Abstract) (LG, EK, AP, QX), pp. 670–682.
ICALPICALP-2004-GuruswamiI #linear
Linear-Time List Decoding in Error-Free Settings: (Extended Abstract) (VG, PI), pp. 695–707.
ICALPICALP-2004-Toftdal #analysis #effectiveness #logic #theorem
A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract) (MT), pp. 1188–1200.
IFMIFM-2004-Boute #abstraction #formal method
Integrating Formal Methods by Unifying Abstractions (RTB), pp. 441–460.
IFMIFM-2004-FariasMS #abstraction #performance
Efficient CSPZ Data Abstraction (AF, AM, AS), pp. 108–127.
SEFMSEFM-2004-PangPE #abstraction #parallel #process
Abstraction of Parallel Uniform Processes with Data (JP, JvdP, MVE), pp. 14–23.
EDOCEDOC-2004-AlmeidaDSP #development #framework #on the
On the Notion of Abstract Platform in MDA Development (JPAA, RMD, MvS, LFP), pp. 253–263.
ICEISICEIS-v4-2004-RibeiroL #abstraction #multi #semantics #web
Multi-Agent Systems and the Semantic Web — The Semanticcore Agent-Based Abstraction Layer (MR, CJPdL), pp. 263–270.
ICMLICML-2004-MannorMHK #abstraction #clustering #learning
Dynamic abstraction in reinforcement learning via clustering (SM, IM, AH, UK).
ICMLICML-2004-SimsekB #abstraction #identification #learning #using
Using relative novelty to identify useful temporal abstractions in reinforcement learning (ÖS, AGB).
ICPRICPR-v1-2004-LiBS #image #recognition #using
Object Class Recognition using Images of Abstract Regions (YL, JAB, LGS), pp. 40–43.
ICPRICPR-v4-2004-TeleaSD #abstraction
Optimal Inference for Hierarchical Skeleton Abstraction (ACT, CS, SJD), pp. 19–22.
SIGIRSIGIR-2004-Bot #algorithm #documentation #feedback #representation
Improving document representation by accumulating relevance feedback (abstract only): the relevance feedback accumulation algorithm (RSB), p. 602.
SIGIRSIGIR-2004-Gnasa #information management #online #question
Sharing knowledge online (abstract only): a dream or reality? (MG), p. 602.
SIGIRSIGIR-2004-Leidner
Toponym resolution in text (abstract only): “which sheffield is it?” (JLL), p. 602.
SIGIRSIGIR-2004-Liu #community #information management
Supporting federated information sharing communities (abstract only) (BL), p. 602.
SIGIRSIGIR-2004-Martin #natural language #reliability #verification #web
Reliability and verification of natural language text on the world wide web (abstract only) (MJM), p. 603.
SIGIRSIGIR-2004-Ogilvie #comprehension #generative #information retrieval #modelling #probability #using
Understanding combination of evidence using generative probabilistic models for information retrieval (abstract only) (PO), p. 603.
SIGIRSIGIR-2004-Sun #comprehension #representation
Discovering and representing the contextual and narrative structure of e-books to support reading and comprehension (abstract only) (YS), p. 603.
SIGIRSIGIR-2004-Trotman #approach #information retrieval
An artificial intelligence approach to information retrieval (abstract only) (AT), p. 603.
SIGIRSIGIR-2004-Yuan #framework #multi
Supporting multiple information-seeking strategies in a single system framework (abstract only) (XY), p. 604.
LOPSTRLOPSTR-2004-Ager #automaton #semantics
From Natural Semantics to Abstract Machines (MSA), pp. 245–261.
PPDPPPDP-2004-AntoyJ #formal method #implementation
Formalization and abstract implementation of rewriting with nested rules (SA, SJ), pp. 144–154.
POPLPOPL-2004-CousotC #abstract interpretation #framework
An abstract interpretation-based framework for software watermarking (PC, RC), pp. 173–185.
POPLPOPL-2004-GiacobazziM #abstract interpretation
Abstract non-interference: parameterizing non-interference by abstract interpretation (RG, IM), pp. 186–197.
POPLPOPL-2004-HenzingerJMM #abstraction #proving
Abstractions from proofs (TAH, RJ, RM, KLM), pp. 232–244.
RERE-2004-BuhneHPWKW #abstraction #requirements
Defining Requirements at Different Levels of Abstraction (SB, GH, KP, MW, HK, TW), pp. 346–347.
FSEFSE-2004-ChakiGS
Explaining abstract counterexamples (SC, AG, OS), pp. 73–82.
ICSEICSE-2004-Kang #analysis #approximate #embedded #parametricity #realtime
Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.
ICSEICSE-2004-Zschaler #component #concept #non-functional #research #semantics #specification
Research Abstract: Semantic Concepts for the Specification of Non-Functional Properties of Component-Based Software (SZ), pp. 51–53.
OSDIOSDI-2004-MacCormickMNTZ #abstraction #framework #named
Boxwood: Abstractions as the Foundation for Storage Infrastructure (JM, NM, MN, CAT, LZ), pp. 105–120.
CAVCAV-2004-BallCLZ #abstraction #automation #named #proving #refinement #theorem proving
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement (TB, BC, SKL, LZ), pp. 457–461.
CAVCAV-2004-BouajjaniHV #model checking
Abstract Regular Model Checking (AB, PH, TV), pp. 372–386.
CAVCAV-2004-GoelB #abstraction #functional #model checking #order #simulation
Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors (AG, REB), pp. 255–267.
CAVCAV-2004-KroeningOSS #satisfiability
Abstraction-Based Satisfiability Solving of Presburger Arithmetic (DK, JO, SAS, OS), pp. 308–320.
CSLCSL-2004-GiacobazziM #proving
Proving Abstract Non-interference (RG, IM), pp. 280–294.
CSLCSL-2004-Hyland #abstract interpretation #calculus #proving
Abstract Interpretation of Proofs: Classical Propositional Calculus (MH), pp. 6–21.
CSLCSL-2004-Miller #quantifier
Bindings, Mobility of Bindings, and the “generic judgments”-Quantifier: An Abstract (DM), p. 24.
ICLPICLP-2004-AlbertPH #abstract interpretation #certification #mobile
Abstract Interpretation-Based Mobile Code Certification (EA, GP, MVH), pp. 446–447.
ICLPICLP-2004-Dershowitz #abstraction #termination
Termination by Abstraction (ND), pp. 1–18.
ICLPICLP-2004-GallagherH #abstract domain
Abstract Domains Based on Regular Types (JPG, KSH), pp. 27–42.
IJCARIJCAR-2004-GilHSZ #algorithm #constraints #finite #order #performance #problem
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract (ÀJG, MH, GS, BZ), pp. 244–258.
LICSLICS-2004-AbramskyGMOS #abstraction #calculus #game studies
Nominal Games and Full Abstraction for the Nu-Calculus (SA, DRG, ASM, CHLO, IDBS), pp. 150–159.
LICSLICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism #precise
Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.
LICSLICS-2004-DamsN #abstraction #branch #finite #model checking
The Existence of Finite Abstractions for Branching Time Model Checking (DD, KSN), pp. 335–344.
RTARTA-2004-Takai #abstract interpretation #term rewriting #using #verification
A Verification Technique Using Term Rewriting Systems and Abstract Interpretation (TT), pp. 119–133.
ICTSSTestCom-2004-Schulz #consistency #protocol #testing
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols (SS), pp. 177–192.
VMCAIVMCAI-2004-BartheBR #compilation #security
Security Types Preserving Compilation: (Extended Abstract) (GB, AB, TR), pp. 2–15.
VMCAIVMCAI-2004-LahiriB #abstraction #invariant #quantifier
Constructing Quantified Invariants via Predicate Abstraction (SKL, REB), pp. 267–281.
VMCAIVMCAI-2004-Sagiv #abstraction #canonical #on the #power of
On the Expressive Power of Canonical Abstraction (SS), p. 58.
ASEASE-2003-ChoiH #abstraction #model checking #reduction #requirements #specification #using
Model Checking Software Requirement Specifications using Domain Reduction Abstraction (YC, MPEH), pp. 314–317.
DACDAC-2003-SaifhashemiP #abstraction #framework #modelling
Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction (AS, HP), pp. 330–333.
DATEDATE-2003-BraunWSLMN #abstraction #memory management #multi
Processor/Memory Co-Exploration on Multiple Abstraction Levels (GB, AW, OS, RL, HM, AN), pp. 10966–10973.
DATEDATE-2003-CarbognaniLICB #modelling #precise #standard #using #verification
Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard (FC, CKL, CNI, AC, PB), pp. 20088–20094.
DATEDATE-2003-LindwerMBZMJC #concept
Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts (ML, DM, TB, RZ, RM, SJ, EC), pp. 10010–10017.
DATEDATE-2003-SayintaCPAD #abstraction #case study #using #verification
A Mixed Abstraction Level Co-Simulation Case Study Using SystemC for System on Chip Verification (AS, GC, MP, AA, WD), pp. 20095–20100.
DATEDATE-2003-YooBBPJ #abstraction #hardware #modelling #performance #simulation
Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer (SY, IB, AB, YP, AAJ), pp. 10550–10555.
DATEDATE-2003-YooJ #abstraction #hardware
Introduction to Hardware Abstraction Layers for SoC (SY, AAJ), pp. 10336–10337.
CSEETCSEET-2003-X03c
Abstraction — is it teachable? “The devil is in the detail”, p. 32.
FASEFASE-2003-SharyginaB #abstraction #model checking
Model Checking Software via Abstraction of Loop Transitions (NS, JCB), pp. 325–340.
FoSSaCSFoSSaCS-2003-AronsPZ #abstraction #probability #verification
Parameterized Verification by Probabilistic Abstraction (TA, AP, LDZ), pp. 87–102.
FoSSaCSFoSSaCS-2003-MomiglianoA #higher-order #multi #syntax
Multi-level Meta-reasoning with Higher-Order Abstract Syntax (AM, SA), pp. 375–391.
FoSSaCSFoSSaCS-2003-PowerT #abstraction #reasoning
Abstraction in Reasoning about Higraph-Based Systems (JP, KT), pp. 392–408.
TACASTACAS-2003-AlurDI #abstraction #hybrid
Counter-Example Guided Predicate Abstraction of Hybrid Systems (RA, TD, FI), pp. 208–223.
TACASTACAS-2003-BozgaLP #abstraction #protocol #verification
Pattern-Based Abstraction for Verifying Secrecy in Protocols (LB, YL, MP), pp. 299–314.
TACASTACAS-2003-ClarkeFHKST #abstraction #hybrid #refinement #verification
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (EMC, AF, ZH, BHK, OS, MT), pp. 192–207.
TACASTACAS-2003-GlusmanKMFV #abstraction #evaluation #industrial #multi #refinement
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation (MG, GK, SMH, RF, MYV), pp. 176–191.
TACASTACAS-2003-McMillanA #abstraction #automation
Automatic Abstraction without Counterexamples (KLM, NA), pp. 2–17.
PEPMPEPM-2003-PueblaH
Abstract specialization and its applications (GP, MVH), pp. 29–43.
SASSAS-2003-BaldanKK #abstraction #graph transformation #logic
A Logic for Analyzing Abstractions of Graph Transformation Systems (PB, BK, BK), pp. 255–272.
SASSAS-2003-FieldGRY #abstraction #complexity #type system #verification
Typestate Verification: Abstraction Techniques and Complexity Results (JF, DG, GR, EY), pp. 439–462.
SASSAS-2003-HermenegildoPBL #abstract interpretation #development #preprocessor #using
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor) (MVH, GP, FB, PLG), pp. 127–152.
SASSAS-2003-KuncakR #abstraction #decidability
Existential Heap Abstraction Entailment Is Undecidable (VK, MCR), pp. 418–438.
SASSAS-2003-Monniaux #abstract interpretation #markov #process #source code
Abstract Interpretation of Programs as Markov Decision Processes (DM), pp. 237–254.
CIAACIAA-2003-FanLLTWY #algorithm
An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics Extended Abstract (THF, SL, HIL, TST, TCW, AY), pp. 251–257.
FMFME-2003-Lettrari #abstraction #heuristic #object-oriented #using
Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems (ML), pp. 462–481.
ICFPICFP-2003-LeiferPSW
Global abstraction-safe marshalling with hash types (JJL, GP, PS, KW), pp. 87–98.
ICFPICFP-2003-Wand #aspect-oriented #comprehension
Understanding aspects: extended abstract (MW), pp. 299–300.
ICFPICFP-2003-WashburnW #encoding #higher-order #morphism #parametricity #polymorphism #syntax
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.
ICEISICEIS-v3-2003-OrlovK #abstraction #editing
A Unified Tool for Editing Information of Different Levels of Abstraction (VO, AK), pp. 633–636.
KDDKDD-2003-HoNKLNYT #abstraction #mining
Mining hepatitis data with temporal abstraction (TBH, TDN, SK, SQL, DN, HY, KT), pp. 369–377.
SEKESEKE-2003-HuangL #abstraction #automation #graph #similarity #visualisation
Automatic Abstraction of Graphs Based on Node Similarity for Graph Visualization (XH, WL), pp. 111–118.
UMLUML-2003-Egyed #abstraction #composition #reasoning #relational
Compositional and Relational Reasoning during Class Abstraction (AE), pp. 121–137.
ECOOPECOOP-2003-AldrichSCN #abstraction
Language Support for Connector Abstractions (JA, VS, CC, DN), pp. 74–102.
LOPSTRLOPSTR-2003-FischerV #prolog #syntax #synthesis
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract) (BF, EV), pp. 56–58.
PPDPPPDP-2003-AgerBDM #automaton #functional
A functional correspondence between evaluators and abstract machines (MSA, DB, OD, JM), pp. 8–19.
PPDPPPDP-2003-Rossberg #data type
Generativity and dynamic opacity for abstract types (AR), pp. 241–252.
PADLPADL-2003-LiuM #java #named #pattern matching
JMatch: Iterable Abstract Pattern Matching for Java (JL, ACM), pp. 110–127.
ICSEICSE-2003-HarderME #abstraction #testing
Improving Test Suites via Operational Abstraction (MH, JM, MDE), pp. 60–73.
LCTESLCTES-2003-PratapCSP #abstraction #embedded
Transport layer abstraction in event channels for embedded systems (RP, RC, DCS, EP), pp. 144–152.
LCTESLCTES-2003-SutterVBB #abstraction #on the
On the side-effects of code abstraction (BDS, HV, BDB, KDB), pp. 244–253.
CADECADE-2003-Clarke #abstraction #model checking #refinement #satisfiability
SAT-Based Counterexample Guided Abstraction Refinement in Model Checking (EMC), p. 1.
CADECADE-2003-MeseguerPM #abstraction #equation
Equational Abstractions (JM, MP, NMO), pp. 2–16.
CAVCAV-2003-BoigelotHJ #automaton #hybrid #using
Hybrid Acceleration Using Real Vector Automata (Extended Abstract) (BB, FH, SJ), pp. 193–205.
CAVCAV-2003-BoigelotLW #in the large #transducer
Iterating Transducers in the Large (Extended Abstract) (BB, AL, PW), pp. 223–235.
CAVCAV-2003-ClarkeGTW #abstraction #how #performance
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates (EMC, OG, MT, DW), pp. 126–140.
CAVCAV-2003-GuptaGWYA #abstraction #satisfiability
Abstraction and BDDs Complement SAT-Based BMC in DiVer (AG, MKG, CW, ZY, PA), pp. 206–209.
CAVCAV-2003-HenzingerJMQ #abstraction #refinement #thread
Thread-Modular Abstraction Refinement (TAH, RJ, RM, SQ), pp. 262–274.
CAVCAV-2003-LahiriBC #abstraction #approach
A Symbolic Approach to Predicate Abstraction (SKL, REB, BC), pp. 141–153.
CAVCAV-2003-MouraRS #bound #induction #model checking #verification
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A) (LMdM, HR, MS), pp. 14–26.
CAVCAV-2003-Namjoshi #abstraction #branch
Abstraction for Branching Time Properties (KSN), pp. 288–300.
CAVCAV-2003-ShohamG #abstraction #framework #game studies
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement (SS, OG), pp. 275–287.
CSLCSL-2003-Khoussainov #algebra #data type #on the #specification
On Algebraic Specifications of Abstract Data Types (BK), pp. 299–313.
ICLPICLP-2003-ErdoganL #programming #set
Definitions in Answer Set Programming: (Extended Abstract) (STE, VL), pp. 483–484.
ICLPICLP-2003-Serebrenik #analysis #logic programming #source code #termination
Termination Analysis of Logic Programs: Extended Abstract (AS), pp. 507–508.
ICLPICLP-2003-SerebrenikD #logic programming #refactoring #source code
Refactoring Logic Programs: Extended Abstract (AS, BD), pp. 509–510.
LICSLICS-2003-DershowitzK
Abstract Saturation-Based Inference (ND, CK), pp. 65–74.
LICSLICS-2003-FrickGK #evaluation #query
Query Evaluation on Compressed Trees (Extended Abstract) (MF, MG, CK), p. 188–?.
LICSLICS-2003-HughesG #linear #logic #multi #proving
Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (DJDH, RJvG), pp. 1–10.
LICSLICS-2003-MillerT #proving
A Proof Theory for Generic Judgments: An extended abstract (DM, AFT), pp. 118–127.
ICSTSAT-2003-ArmandoC #analysis #protocol #satisfiability #security
Abstraction-Driven SAT-based Analysis of Security Protocols (AA, LC), pp. 257–271.
ICSTSAT-2003-BroeringL #algorithm #satisfiability
Width-Based Algorithms for SAT and CIRCUIT-SAT: (Extended Abstract) (EB, SVL), pp. 162–171.
ICSTSAT-2003-ClarkeTVW #abstraction #hardware #satisfiability #verification
SAT Based Predicate Abstraction for Hardware Verification (EMC, MT, HV, DW), pp. 78–92.
TLCATLCA-2003-Hannay #abstraction #parametricity #relational
Abstraction Barrier-Observing Relational Parametricity (JEH), pp. 135–152.
TLCATLCA-2003-Laird #domain model
A Fully Abstract Bidomain Model of Unary FPC (JL), pp. 211–225.
VMCAIVMCAI-2003-Cousot #abstract interpretation #automation #verification
Automatic Verification by Abstract Interpretation (PC), pp. 20–24.
VMCAIVMCAI-2003-DamsN #abstraction #analysis #model checking
Shape Analysis through Predicate Abstraction and Model Checking (DD, KSN), pp. 310–324.
VMCAIVMCAI-2003-GiacobazziM #abstraction
Domain Compression for Complete Abstractions (RG, IM), pp. 146–160.
VMCAIVMCAI-2003-GoriL #interpreter
Properties of a Type Abstract Interpreter (RG, GL), pp. 132–145.
VMCAIVMCAI-2003-Masse #abstract interpretation #static analysis
Property Checking Driven Abstract Interpretation-Based Static Analysis (DM), pp. 56–69.
VMCAIVMCAI-2003-Monniaux #abstraction #using
Abstraction of Expectation Functions Using Gaussian Distributions (DM), pp. 161–173.
VMCAIVMCAI-2003-Namjoshi #abstraction #proving
Lifting Temporal Proofs through Abstractions (KSN), pp. 174–188.
VMCAIVMCAI-2003-PnueliZ #abstraction #model checking
Model-Checking and Abstraction to the Aid of Parameterized Systems (AP, LDZ), p. 4.
VMCAIVMCAI-2003-Podelski #abstraction #model checking #refinement
Software Model Checking with Abstraction Refinement (AP), pp. 1–3.
VMCAIVMCAI-2003-Rival #abstract interpretation #assembly #certification
Abstract Interpretation-Based Certification of Assembly Code (XR), pp. 41–55.
DACDAC-2002-FoltinFT #abstraction #concept #independence #modelling #performance
Efficient stimulus independent timing abstraction model based on a new concept of circuit block transparency (MF, BF, ST), pp. 158–163.
DATEDATE-2002-LogothetisS #generative #modelling #realtime
Extending Synchronous Languages for Generating Abstract Real-Time Models (GL, KS), pp. 795–802.
ITiCSEITiCSE-2002-Hazzan #abstraction #concept #learning
Reducing abstraction level when learning computability theory concepts (OH), pp. 156–160.
ESOPESOP-2002-GoubaultMP #float #interpreter #precise
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.
TACASTACAS-2002-BallPR #abstraction #model checking #refinement
Relative Completeness of Abstraction Refinement for Software Model Checking (TB, AP, SKR), pp. 158–172.
TACASTACAS-2002-Ouaknine #abstraction #model checking
Digitisation and Full Abstraction for Dense-Time Model Checking (JO), pp. 37–51.
IWPCIWPC-2002-Quigley #abstraction #experience #visualisation
Experience with FADE for the Visualization and Abstraction of Software Views (AJQ), pp. 11–20.
WCREWCRE-2002-BullTMG #abstraction #regular expression #relational #semantics
Semantic Grep: Regular Expressions + Relational Abstraction (RIB, AT, AJM, MWG), pp. 267–276.
SASSAS-2002-GallardoMP #ltl #model checking #refinement
Refinement of LTL Formulas for Abstract Model Checking (MdMG, PM, EP), pp. 395–410.
SASSAS-2002-GiacobazziR #abstract interpretation #model checking
States vs. Traces in Model Checking by Abstract Interpretation (RG, FR), pp. 461–476.
SASSAS-2002-Hymans #abstract interpretation #behaviour #safety
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation (CH), pp. 444–460.
SASSAS-2002-Jeannet #abstract interpretation #approximate #data type #representation
Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes (BJ), pp. 52–68.
SASSAS-2002-Masse #abstract interpretation #semantics
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties (DM), pp. 428–443.
SASSAS-2002-Mine #abstract domain #graph #relational
A Few Graph-Based Relational Numerical Abstract Domains (AM), pp. 117–132.
SASSAS-2002-RanzatoT #model checking
Making Abstract Model Checking Strongly Preserving (FR, FT), pp. 411–427.
SASSAS-2002-Zanotti #abstract interpretation #security
Security Typings by Abstract Interpretation (MZ), pp. 360–375.
FLOPSFLOPS-2002-Porto #abstraction #logic programming
Structural Abstraction and Application in Logic Programming (AP), pp. 275–289.
DLTDLT-2002-Urvoy #graph #product line
Abstract Families of Graphs (TU), pp. 381–392.
FMFME-2002-FirleyG #abstraction #verification
Property Dependent Abstraction of Control Structure for Software Verification (TF, UG), pp. 511–530.
FMFME-2002-MotaBS #abstraction #process
Mechanical Abstraction of CSPZ Processes (AM, PB, AS), pp. 163–183.
FMFME-2002-Pahl #abstraction #analysis #refinement #using
Interference Analysis for Dependable Systems Using Refinement and Abstraction (CP), pp. 330–349.
IFMIFM-2002-JeskeB
Minimally and Maximally Abstract Retrenchments (CJ, RB), pp. 380–400.
IFLIFL-2002-EllmenreichL #named #parallel #programming #refinement
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines (NE, CL), pp. 118–133.
ICGTICGT-2002-Hoffmann #abstraction #graph transformation
Abstraction and Control for Shapely Nested Graph Transformation (BH), pp. 177–191.
ICMLICML-2002-Ryan #automation #behaviour #learning #modelling #using
Using Abstract Models of Behaviours to Automatically Generate Reinforcement Learning Hierarchies (MRKR), pp. 522–529.
ICPRICPR-v2-2002-GibsonCT #abstraction #modelling #using #visual notation
Visual Abstraction of Wildlife Footage Using Gaussian Mixture Models and the Minimum Description Length Criterion (DPG, NWC, BTT), pp. 814–817.
KRKR-2002-KutzWZ
Connecting Abstract Description Systems (OK, FW, MZ), pp. 215–226.
ECOOPECOOP-2002-BentonCF #abstraction #c# #concurrent
Modern Concurrency Abstractions for C# (NB, LC, CF), pp. 415–440.
LOPSTRLOPSTR-2002-AlpuenteCEFL #functional #source code
Abstract Diagnosis of Functional Programs (MA, MC, SE, MF, SL), pp. 1–16.
LOPSTRLOPSTR-2002-Gruner #deduction
Abstract Partial Deduction Challenged (SG), pp. 258–259.
LOPSTRLOPSTR-2002-PeraltaG #abstraction #source code
Convex Hull Abstractions in Specialization of CLP Programs (JCP, JPG), pp. 90–108.
LOPSTRLOPSTR-2002-SimonKH #abstract domain #difference #linear
Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
PPDPPPDP-2002-JonesG #analysis #generative #termination
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis (NDJ, AJG), p. 1.
PADLPADL-2002-GallagherP #abstract interpretation #analysis #automaton #finite #logic programming #nondeterminism #source code
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs (JPG, GP), pp. 243–261.
POPLPOPL-2002-BanerjeeN #data access #independence #representation
Representation independence, confinement and access control [extended abstract] (AB, DAN), pp. 166–177.
POPLPOPL-2002-CousotC #abstract interpretation #design #framework #program transformation
Systematic design of program transformation frameworks by abstract interpretation (PC, RC), pp. 178–190.
POPLPOPL-2002-FlanaganQ #abstraction #verification
Predicate abstraction for software verification (CF, SQ), pp. 191–202.
POPLPOPL-2002-HenzingerJMS #abstraction #lazy evaluation
Lazy abstraction (TAH, RJ, RM, GS), pp. 58–70.
RERE-2002-KnethenPKH #abstraction #requirements #traceability
Systematic Requirements Recycling through Abstraction and Traceability (AvK, BP, FK, FH), pp. 273–281.
SACSAC-2002-BarbutiBF #abstract interpretation #bytecode #java #security
Checking security of Java bytecode by abstract interpretation (RB, CB, NDF), pp. 229–236.
SACSAC-2002-GallardoMMR #abstraction #model checking #using #xml
Using XML to implement abstraction for Model Checking (MdMG, JM, PM, ER), pp. 1021–1025.
ICSEICSE-2002-Raz #detection #research #semantics #specification
Research abstract for semantic detection in dynamic data feeds with incomplete specifications (OR), pp. 733–734.
ICSEICSE-2002-RomanJH #abstraction #mobile #network
Network abstractions for context-aware mobile computing (GCR, CJ, QH), pp. 363–373.
CAVCAV-2002-ClarkeGKS #abstraction #machine learning #satisfiability #using
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques (EMC, AG, JHK, OS), pp. 265–279.
CAVCAV-2002-CousotC #abstraction #on the #verification
On Abstraction in Software Verification (PC, RC), pp. 37–56.
CAVCAV-2002-DamsHH #c
Abstracting C with abC (DD, WH, GJH), pp. 515–520.
CAVCAV-2002-GodefroidJ #abstraction #automation #model checking #using
Automatic Abstraction Using Generalized Model Checking (PG, RJ), pp. 137–150.
CAVCAV-2002-PnueliXZ #abstraction #liveness
Liveness with (0, 1, infty)-Counter Abstraction (AP, JX, LDZ), pp. 107–122.
CAVCAV-2002-Thomas #game studies #infinity #tutorial #verification
Infinite Games and Verification (Extended Abstract of a Tutorial) (WT), pp. 58–64.
CSLCSL-2002-McCusker #relational
A Fully Abstract Relational Model of Syntactic Control of Interference (GM), pp. 247–261.
ISSTAISSTA-2002-GrieskampGSV #finite #generative #state machine
Generating finite state machines from abstract state machines (WG, YG, WS, MV), pp. 112–122.
LICSLICS-2002-JeffreyR #concurrent #semantics #testing
A Fully Abstract May Testing Semantics for Concurrent Objects (AJ, JR), pp. 101–112.
LICSLICS-2002-LaplanteLMPR #abstraction #approach #model checking #probability #testing
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing (SL, RL, FM, SP, MdR), pp. 30–39.
LICSLICS-2002-Leivant #abstraction #rank
Calibrating Computational Feasibility by Abstraction Rank (DL), p. 345–?.
SATSAT-2002-Clarke #abstraction #logic #model checking #refinement #satisfiability
SAT based abstraction refinement in temporal logic model checking (Keynote Talk) (EC), p. 26.
VMCAIVMCAI-2002-BernardeschiF #abstract interpretation #bytecode #java #model checking #security
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode (CB, NDF), pp. 1–15.
VMCAIVMCAI-2002-CoppoD #higher-order #mobile
A Fully Abstract Model for Higher-Order Mobile Ambients (MC, MDC), pp. 255–271.
VMCAIVMCAI-2002-GoriL #abstract interpretation #empirical #type inference #verification
An Experiment in Type Inference and Verification by Abstract Interpretation (RG, GL), pp. 225–239.
VMCAIVMCAI-2002-Tan #game studies
An Abstract Schema for Equivalence-Checking Games (LT), pp. 65–78.
VMCAIVMCAI-2002-TipleaT #abstraction #simulation
A Simulation Preorder for Abstraction of Reactive Systems (FLT, AT), pp. 272–288.
ASEASE-2001-Erwig #data type #source code
Programs Are Abstract Data Types (ME), pp. 400–403.
ASEASE-2001-ShenCH #state machine #tool support #uml #validation
A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
DACDAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
DATEDATE-2001-DasguptaCNKC #abstraction #component #linear
Abstraction of word-level linear arithmetic functions from bit-level component descriptions (PD, PPC, AN, SK, AC), pp. 4–8.
DATEDATE-2001-Zhu #abstraction #design #named
MetaRTL: raising the abstraction level of RTL design (JZ), pp. 71–76.
VLDBVLDB-2001-AndreiV #communication #using
User-Optimizer Communication using Abstract Plans in Sybase ASE (MA, PV), pp. 29–38.
VLDBVLDB-2001-Sol #database #embedded #network #ubiquitous
Ambient Intelligence with the Ubiquitous Network, the Embedded Computer Devices and the Hidden Databases (abstract) (EJS), p. 14.
VLDBVLDB-2001-Wadler #relational #xml
Et tu, XML? The downfall of the relational empire (abstract) (PW), p. 15.
ITiCSEITiCSE-2001-Koppelman #abstraction #education
Teaching abstraction explicitly (HK), p. 191.
ESOPESOP-2001-Monniaux #abstract interpretation #probability #source code
Backwards Abstract Interpretation of Probabilistic Programs (DM), pp. 367–382.
FoSSaCSFoSSaCS-2001-JensenS #abstract interpretation #analysis #object-oriented #source code
Class Analysis of Object-Oriented Programs through Abstract Interpretation (TPJ, FS), pp. 261–275.
FoSSaCSFoSSaCS-2001-RocklHB #formal method #higher-order #induction #syntax #π-calculus
Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.
TACASTACAS-2001-AndovaB #abstraction #algebra #probability #process
Abstraction in Probabilistic Process Algebra (SA, JCMB), pp. 204–219.
TACASTACAS-2001-BallPR #abstraction #c #model checking #source code
Boolean and Cartesian Abstraction for Model Checking C Programs (TB, AP, SKR), pp. 268–283.
TACASTACAS-2001-Castillo #analysis #modelling #state machine #tool support #validation
The ASM Workbench — A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration (GDC), pp. 578–581.
TACASTACAS-2001-LakhnechBBO #abstraction #incremental #verification
Incremental Verification by Abstraction (YL, SB, SB, SO), pp. 98–112.
TACASTACAS-2001-PasareanuDV #java #model checking #source code
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs (CSP, MBD, WV), pp. 284–298.
TACASTACAS-2001-Velev #abstraction #automation #verification
Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors (MNV), pp. 252–267.
PASTEPASTE-2001-Griswold #slicing
Making slicing practical: the final mile (Abstract) (WGG), p. 1.
WCREWCRE-2001-Mine #abstract domain
The Octagon Abstract Domain (AM), p. 310–?.
PLDIPLDI-2001-BallMMR #abstraction #automation #c #source code
Automatic Predicate Abstraction of C Programs (TB, RM, TDM, SKR), pp. 203–213.
PLDIPLDI-2001-Chilimbi #abstraction #locality #performance
Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality (TMC), pp. 191–202.
SASSAS-2001-Blanchet #encryption #prolog #protocol
Abstracting Cryptographic Protocols by Prolog Rules (BB), pp. 433–436.
SASSAS-2001-Feret #abstract interpretation #mobile #static analysis
Abstract Interpretation-Based Static Analysis of Mobile Ambients (JF), pp. 412–430.
SASSAS-2001-GiacobazziQ #model checking
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking (RG, EQ), pp. 356–373.
SASSAS-2001-LeviM #abstract interpretation #framework #mobile
An Abstract Interpretation Framework for Analysing Mobile Ambients (FL, SM), pp. 395–411.
SASSAS-2001-Monniaux #analysis #probability #source code #termination
An Abstract Analysis of the Probabilistic Termination of Programs (DM), pp. 111–126.
STOCSTOC-2001-Yao #complexity
Some perspective on computational complexity (abstract) (ACCY), p. 600.
FLOPSFLOPS-2001-AmatoS #analysis #compilation
Abstract Compilation for Sharing Analysis (GA, FS), pp. 311–325.
FLOPSFLOPS-2001-DanvyR #haskell #syntax
A Simple Take on Typed Abstract Syntax in Haskell-like Languages (OD, MR), pp. 343–358.
FLOPSFLOPS-2001-Hortala-GonzalezU #automaton #calculus #lazy evaluation
An Abstract Machine Based System for a Lazy Narrowing Calculus (MTHG, EU), pp. 216–232.
ICALPICALP-2001-SangiorgiV #automaton #distributed
A Distributed Abstract Machine for Safe Ambients (DS, AV), pp. 408–420.
FMFME-2001-Aichernig #abstraction #testing
Test-Case Calculation through Abstraction (BKA), pp. 571–589.
VISSOFTSVIS-2001-Noble #abstraction #alias #encapsulation #visualisation
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership (JN), pp. 58–72.
VISSOFTSVIS-2001-WilhelmMS #algorithm #invariant #visualisation
Algorithm Explanation: Visualizing Abstract States and Invariants (RW, TM, RS), pp. 381–394.
CIKMCIKM-2001-EisensteinGSSZ #abstraction #database
Alternative Representations and Abstractions for Moving Sensors Databases (JE, SG, CS, GS, RZ), pp. 318–325.
MLDMMLDM-2001-SchmidtG #abstraction #reasoning
Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications (RS, LG), pp. 23–34.
SEKESEKE-2001-JarzabekZ #abstraction #analysis #component #control flow #reuse
Enhacing component reuse with control flow abstraction analysis (SJ, HZ), pp. 171–178.
SEKESEKE-2001-Mellor #abstraction #execution
Raising the Level of Abstraction: Model Execution and Translation (SJM), p. 1.
TOOLSTOOLS-USA-2001-KhrissBP #integration #named
GAIL: The Gen-It (r) Abstract Integration Layer for B2B Application Integration Solutions (IK, MB, NP), pp. 73–82.
LOPSTRLOPSTR-2001-LeuschelG #deduction #model checking #using
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking (ML, SG), pp. 91–110.
PPDPPPDP-2001-PenaR #abstraction #functional #parallel #programming
Parallel Functional Programming at Two Levels of Abstraction (RP, FR), pp. 187–198.
POPLPOPL-2001-Monniaux #analysis #monte carlo #probability #source code
An abstract Monte-Carlo method for the analysis of probabilistic programs (DM), pp. 93–101.
POPLPOPL-2001-Sewell #data type #distributed #version control
Modules, abstract types, and distributed versioning (PS), pp. 236–247.
SACSAC-2001-CunninghamW #abstraction #framework
Building a layered framework for the table abstraction (HCC, JW), pp. 668–674.
FSEESEC-FSE-2001-ChoiRH #abstraction #automation #constraints #model checking
Automatic abstraction for model checking software systems with interrelated numeric constraints (YC, SR, MPEH), pp. 164–174.
ICSEICSE-2001-DwyerHJLPRZV #abstraction #finite #verification
Tool-Supported Program Abstraction for Finite-State Verification (MBD, JH, RJ, SL, CSP, R, HZ, WV), pp. 177–187.
LCTESLCTES-OM-2001-LarusP #performance #scheduling #using
Using Cohort Scheduling to Enhance Server Performance (Extended Abstract) (JRL, MP), pp. 182–187.
PPoPPPPoPP-2001-Foster #challenge #parallel
Parallel computing in 2010: opportunities and challenges in a networked world (abstract) (ITF), p. 1.
PPoPPPPoPP-2001-Kuck #distributed
Peer to peer and distributed computing (abstract) (DJK), p. 143.
SOSPSOSP-2001-RodriguesCL #abstraction #fault tolerance #named #using
BASE: Using Abstraction to Improve Fault Tolerance (RR, MC, BL), pp. 15–28.
CAVCAV-2001-AsterothBA #model checking #modelling
Model Checking with Formula-Dependent Abstract Models (AA, CB, UA), pp. 155–168.
CAVCAV-2001-ZhengMM #abstraction #automation #verification
Automatic Abstraction for Verification of Timed Circuits and Systems (HZ, EM, CJM), pp. 182–193.
CSLCSL-2001-RobinsonR
An Abstract Look at Realizability (ER, GR), pp. 173–187.
CSLCSL-2001-StarkN #logic #state machine
A Logic for Abstract State Machines (RFS, SN), pp. 217–231.
ICLPICLP-2001-Cousot #abstract interpretation #design #program transformation #semantics
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations (PC), pp. 4–5.
IJCARIJCAR-2001-Jones #analysis #graph #termination
Program Termination Analysis by Size-Change Graphs (Abstract) (NDJ), pp. 1–4.
IJCARIJCAR-2001-LetzS #calculus #named #proving #theorem proving
DCTP — A Disconnection Calculus Theorem Prover — System Abstract (RL, GS), pp. 381–385.
IJCARIJCAR-2001-Schulz
System Abstract: E 0.61 (SS), pp. 370–375.
LICSLICS-2001-DasD #approximate
Successive Approximation of Abstract Transition Relations (SD, DLD), pp. 51–58.
LICSLICS-2001-Gurevich #state machine
Logician in the Land of OS: Abstract State Machines in Microsoft (YG), pp. 129–136.
LICSLICS-2001-Laird #exception #game studies #semantics
A Fully Abstract Game Semantics of Local Exceptions (JL), pp. 105–114.
ASEASE-2000-Egyed #abstraction #diagrams #semantics
Semantic Abstraction Rules for Class Diagrams (AE), pp. 301–304.
DACDAC-2000-CoudertMMS #framework
Web-based frameworks to enable CAD RD (abstract) (OC, ILM, CM, ES), p. 711.
DATEDATE-2000-Balarin #abstraction #analysis #automation #worst-case
Automatic Abstraction for Worst-Case Analysis of Discrete Systems (FB), pp. 494–501.
DATEDATE-2000-JangMH #model checking
Iterative Abstraction-Based CTL Model Checking (JYJ, IHM, GDH), pp. 502–507.
DATEDATE-2000-LogothetisS #abstraction #realtime
Abstraction from Counters: An Application on Real-Time Systems (GL, KS), pp. 486–493.
PODSPODS-2000-Gupta #information management #research #tutorial
Entrepreneurship for Information Systems Researchers (Abstract of Invited Tutorial) (AG0), p. 195.
SIGMODSIGMOD-2000-Ramakrishnan
From Browsing to Interacting: DBMS Support for Responive Websites (Abstract) (RR), p. 573.
ITiCSEITiCSE-2000-BurgosGGMMV #design #refinement #specification
Abstract solution design by specification refinement (JMB, JG, JG, JJM, SM, DV), p. 186.
ITiCSEITiCSE-2000-Sooriamurthi #abstraction #functional #recursion #using
Using recursion as a tool to reinforce functional abstraction (poster session) (RS), p. 194.
ESOPESOP-2000-HeatonHK #abstract domain
Abstract Domains for Universal and Existential Properties (AH, PMH, AK), pp. 150–164.
ESOPESOP-2000-Hofmann #bound #functional #type system
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.
FoSSaCSFoSSaCS-2000-Pinto #automaton #concurrent #interactive
Sequential and Concurrent Abstract Machines for Interaction Nets (JSP), pp. 267–282.
TACASTACAS-2000-BaukusBLS #network #verification
Abstracting WS1S Systems to Verify Parameterized Networks (KB, SB, YL, KS), pp. 188–203.
WCREWCRE-J-1997-GirardK00 #comparison #data type
A comparison of abstract data types and objects recovery techniques (JFG, RK), pp. 149–181.
CSMRCSMR-2000-CifuentesS #abstraction
Procedure Abstraction Recovery from Binary Code (CC, DS), pp. 55–64.
IWPCIWPC-2000-GirardW #approach #classification #data type #detection
Evaluating the Accessor Classification Approach to Detect Abstract Data Types (JFG, MW), pp. 87–95.
PEPMPEPM-2000-Das #case study #experience #scalability #source code #static analysis
Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk) (MD), p. 1.
PEPMPEPM-2000-Pfenning #logic #on the #staged
On the Logical Foundations of Staged Computation (Abstract of Invited Talk) (FP), p. 33.
PEPMPEPM-2000-SumiiK #approach #partial evaluation
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract) (ES, NK), pp. 12–21.
PEPMPEPM-2000-Taha #formal method #ml #multi #reduction #semantics
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) (WT), pp. 34–43.
PEPMPEPM-2000-Walpole #case study #challenge #experience #operating system
Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk) (JW), p. 83.
SASSAS-2000-AmatoL #abstract interpretation #calculus #semantics
Abstract Interpretation Based Semantics of Sequent Calculi (GA, GL), pp. 38–57.
SASSAS-2000-HenzingerMMR #abstract interpretation #game studies
Abstract Interpretation of Game Properties (TAH, RM, FYCM, JFR), pp. 220–239.
SASSAS-2000-Monniaux #abstract interpretation #probability #semantics
Abstract Interpretation of Probabilistic Semantics (DM), pp. 322–339.
SASSAS-2000-Saidi #abstraction #analysis #model checking
Model Checking Guided Abstraction and Analysis (HS), pp. 377–396.
SASSAS-2000-Scozzari #abstract domain #analysis #semantics
Abstract Domains for Sharing Analysis by Optimal Semantics (FS), pp. 397–412.
STOCSTOC-2000-Achlioptas #bound #random #satisfiability
Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract) (DA), pp. 28–37.
STOCSTOC-2000-AmbainisSV
Computing with highly mixed states (extended abstract) (AA, LJS, UVV), pp. 697–704.
STOCSTOC-2000-BihamBBMR #proving #quantum #security
A proof of the security of quantum key distribution (extended abstract) (EB, MB, POB, TM, VPR), pp. 715–724.
STOCSTOC-2000-CanettiGGM
Resettable zero-knowledge (extended abstract) (RC, OG, SG, SM), pp. 235–244.
STOCSTOC-2000-CarrV #random
Randomized metarounding (extended abstract) (RDC, SV), pp. 58–62.
STOCSTOC-2000-CharikarFGKRS #query
Query strategies for priced information (extended abstract) (MC, RF, VG, JMK, PR, AS), pp. 582–591.
STOCSTOC-2000-CrescenzoSY #on the #proving
On zero-knowledge proofs (extended abstract): “from membership to decision” (GDC, KS, MY), pp. 255–264.
STOCSTOC-2000-CzumajS #algorithm #approach #problem #satisfiability #scheduling
A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract) (AC, CS), pp. 38–47.
STOCSTOC-2000-FaginKKRRRST #random
Random walks with “back buttons” (extended abstract) (RF, ARK, JMK, PR, SR, RR, MS, AT), pp. 484–493.
STOCSTOC-2000-FeigeKN #approximate
Approximating the minimum bisection size (extended abstract) (UF, RK, KN), pp. 530–536.
STOCSTOC-2000-GoldsmithS #query
More theory revision with queries (extended abstract) (JG, RHS), pp. 441–448.
STOCSTOC-2000-GrossiV #array #string
Compressed suffix arrays and suffix trees with applications to text indexing and string matching (extended abstract) (RG, JSV), pp. 397–406.
STOCSTOC-2000-Istrail #3d #statistics
Statistical mechanics, three-dimensionality and NP-completeness: I. Universality of intracatability for the partition function of the Ising model across non-planar surfaces (extended abstract) (SI), pp. 87–96.
STOCSTOC-2000-KaoNT #optimisation #problem
The risk profile problem for stock portfolio optimization (extended abstract) (MYK, AN, SRT), pp. 228–234.
STOCSTOC-2000-MahajanV #graph
A new NC-algorithm for finding a perfect matching in bipartite planar and small genus graphs (extended abstract) (MM, KRV), pp. 351–357.
STOCSTOC-2000-MotwaniPSV #decidability #on the #problem
On the decidability of accessibility problems (extended abstract) (RM, RP, VAS, SV), pp. 306–315.
STOCSTOC-2000-NaorRR #pseudo
Pseudo-random functions and factoring (extended abstract) (MN, OR, AR), pp. 11–20.
STOCSTOC-2000-OrlinSS #combinator #optimisation #precise
epsilon-optimization schemes and L-bit precision: alternative perspectives in combinatorial optimization (extended abstract) (JBO, ASS, SS), pp. 565–572.
STOCSTOC-2000-PapadimitriouV #on the #problem
On the approximability of the traveling salesman problem (extended abstract) (CHP, SV), pp. 126–133.
STOCSTOC-2000-RothemundW #complexity #self
The program-size complexity of self-assembled squares (extended abstract) (PWKR, EW), pp. 459–468.
STOCSTOC-2000-Schulman #clustering
Clustering for edge-cost minimization (extended abstract) (LJS), pp. 547–555.
STOCSTOC-2000-Vygen #algorithm #on the
On dual minimum cost flow algorithms (extended abstract) (JV), pp. 117–125.
ICALPICALP-2000-LuttgenM #modelling #semantics
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models (GL, MM), pp. 163–174.
IFMIFM-2000-BertC #finite
Construction of Finite Labelled Transistion Systems from B Abstract Systems (DB, FC), pp. 235–254.
ICFPICFP-2000-HarperP
Advanced module systems: a guide for the perplexed (abstract of invited talk) (RH, BCP), p. 130.
ICFPICFP-2000-Seger #functional #hardware #programming #verification
Combining functional programming and hardware verification (abstract of invited talk) (CJHS), p. 244.
KDDKDD-2000-Buchanan #information management #source code #using
Informed knowledge discovery: using prior knowledge in discovery programs (invited talk, abstract only) (BGB), p. 3.
KDDKDD-2000-Catlett #data mining #mining #privacy
Among those dark electronic mills: privacy and data mining (invited talk, abstract only) (JC), p. 4.
KDDKDD-2000-Cutler #metric #named
E-metrics: tomorrow’s business metrics today (invited talk, abstract only) (MC), p. 6.
KDDKDD-2000-GavrilovAIM #mining #question
Mining the stock market (extended abstract): which measure is best? (MG, DA, PI, RM), pp. 487–496.
KDDKDD-2000-Goodnight
Decision support in the booming e-world (invited talk, abstract only) (JG), p. 5.
KDDKDD-2000-Papadimitriou #data mining #mining #on the
On certain rigorous approaches to data mining (invited talk, abstract only) (CHP), p. 2.
KDDKDD-2000-Stodder #data mining #mining
After the gold rush (invited talk, abstract only): data mining in the new economy (invited talk, abstract only) (DS), p. 7.
ECOOPECOOP-2000-EugsterGS #abstraction #distributed #interactive
Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction (PTE, RG, JS), pp. 252–276.
TOOLSTOOLS-ASIA-2000-MiaoYL #component
A Formalized Abstract Component Object Mode — Z-COM (HM, CY, LL), pp. 250–259.
TOOLSTOOLS-USA-2000-ColbertL #embedded #realtime #uml
Building Real-Time Embedded Systems with MetaH and UML [Abstract] (EC, BAL), pp. 445–446.
TOOLSTOOLS-USA-2000-Dedene #cobol #object-oriented
Object-Oriented COBOL, The Old, The Bad and The Ugly [Abstract] (GD), pp. 489–490.
TOOLSTOOLS-USA-2000-Kilov #specification
Business Specifications and RD-ODP [Abstract] (HK), pp. 409–410.
TOOLSTOOLS-USA-2000-Kotula #c++ #reliability
Constructing Reliable C++ Classes [Abstract] (JK), pp. 501–504.
TOOLSTOOLS-USA-2000-McBreen #lessons learnt #programming
Applying the Lessons of eXtreme Programming [Abstract] (PM), pp. 421–422.
TOOLSTOOLS-USA-2000-Pour00a #hardware #named #towards
JINI: Towards Seamless Connectivity of Hardware and Software Services [Abstract] (GP), pp. 463–464.
LOPSTRLOPSTR-2000-PierroW #abstract interpretation #on the #precise
On the precision of abstract interpretations (ADP, HW).
LOPSTRLOPSTR-J-2000-PierroW #abstract interpretation #precise
Measuring the Precision of Abstract Interpretations (ADP, HW), pp. 147–164.
PPDPPPDP-2000-Fages #concurrent #constraints #linear #logic #programming
Concurrent constraint programming and linear logic (abstract) (FF), p. 44.
PPDPPPDP-2000-KollerM #abstract interpretation #component #morphism #performance #using
Efficient abstract interpretation using component-wise homomorphisms (JK, MM), pp. 226–234.
PPDPPPDP-2000-Necula #design #implementation
Proof-carrying code: design, implementation and applications (abstract) (GCN), pp. 175–177.
PPDPPPDP-2000-Panangaden #logic #probability #process
From logic to stochastic processes (abstract only) (PP), pp. 1–2.
PPDPPPDP-2000-PierroW #abstract interpretation #concurrent #constraints #probability #programming #towards
Concurrent constraint programming: towards probabilistic abstract interpretation (ADP, HW), pp. 127–138.
PPDPPPDP-2000-PowerR #abstraction #logic
Logical relations, data abstraction, and structured fibrations (JP, ER), pp. 15–23.
POPLPOPL-2000-CousotC #abstract interpretation
Temporal Abstract Interpretation (PC, RC), pp. 12–25.
REICRE-2000-GunterGJZ #requirements
A Reference Model for Requirements and Specifications-Extended Abstract (CAG, ELG, MJ, PZ), p. 189.
SACSAC-2000-TryfonaJ #abstraction #concept #modelling #using
Using Abstractions for Spatio-Temporal Conceptual Modeling (NT, CSJ), pp. 313–322.
ICSEICSE-2000-Booch #future of
The future of software (abstract of invited presentation) (GB), p. 3.
ICSEICSE-2000-Castells
Is the new economy socially sustainable? (abstract of invited presentation) (MC), p. 2.
ICSEICSE-2000-Horn
Dot com versus bricks and mortar — the impact of portal technology (abstract of invited presentation) (CH), p. 4.
LCTESLCTES-2000-RunesonNS #abstraction #optimisation
Optimizing Code Size through Procedural Abstraction (JR, SON, JS), pp. 204–205.
CADECADE-2000-BachmairT #congruence
Abstract Congruence Closure and Specializations (LB, AT), pp. 64–78.
CAVCAV-2000-BaumgartnerTASA #abstraction #algorithm #design #verification
An Abstraction Algorithm for the Verification of Generalized C-Slow Designs (JB, AT, AA, VS, FA), pp. 5–19.
CAVCAV-2000-ClarkeGJLV #abstraction #refinement
Counterexample-Guided Abstraction Refinement (EMC, OG, SJ, YL, HV), pp. 154–169.
CAVCAV-2000-NamjoshiK #abstraction #automation #program transformation
Syntactic Program Transformations for Automatic Abstraction (KSN, RPK), pp. 435–449.
CAVCAV-2000-Pnueli #abstraction #composition #deduction #explosion #symmetry
Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.
ICLPCL-2000-Miller #bibliography #perspective #syntax
Abstract Syntax for Variable Binders: An Overview (DM), pp. 239–253.
CSLCSL-2000-PowerR #abstraction #logic
Logical Relations and Data Abstraction (JP, ER), pp. 497–511.
CSLCSL-2000-Schulte #state machine
Translating Theory into Practice — Abstract State Machines within Microsoft (WS), p. 71.
ISSTAISSTA-2000-Clarke #finite #validation #verification
Finite state verification: An emerging technology for validating software systems (abstract only) (LAC), p. 146.
ISSTAISSTA-2000-Dill #java #model checking #source code
Model checking Java programs (abstract only) (DLD), p. 179.
ISSTAISSTA-2000-Pincus #analysis #case study #developer #experience #tool support
Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only) (JDP), p. 1.
ISSTAISSTA-2000-Wittenberg #component #testing
Progress in testing component-based software (abstract only) (CHW), p. 178.
DACDAC-1999-AbtsR #multi #scalability #using #verification
Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment (DA, MR), pp. 163–168.
HTHT-1999-GarzottoMP #hypermedia #web
Abstract Tasks: A Tool for the Inspection of Web Sites and Off-Line Hypermedia (FG, MM, PP), pp. 157–163.
PODSPODS-1999-Cosmadakis #complexity #query #recursion
Inherent Complexity of Recursive Queries (Extended Abstract) (SSC), pp. 148–154.
ESOPESOP-1999-Hudak #functional #programming
Functional Reactive Programming (Abstract) (PH), p. 1.
FASEFASE-1999-NottegarPD #evaluation #performance #semantics
Semantic-Driven Performance Evaluation (Extended Abstract) (CN, CP, PD), pp. 204–218.
FASEFASE-1999-Weber #communication #information management
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract) (HW), pp. 22–29.
TACASTACAS-1999-RusuS #abstraction #on the #proving #safety #static analysis #theorem proving
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction (VR, ES), pp. 178–192.
CSMRCSMR-1999-SousaPPA #clustering #database #reverse engineering
Clustering Relations into Abstract ER Schemas for Database Reverse Engineering (PMAS, MdLPdJ, GP, FBeA), pp. 169–177.
PEPMPEPM-1999-PueblaHG #abstract interpretation #framework #integration #partial evaluation
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework (GP, MVH, JPG), pp. 75–84.
SASSAS-1999-CansellM #specification
Abstract Animator for Temporal Specifications: Application to TLA (DC, DM), pp. 284–299.
SASSAS-1999-HansenJNN #abstract interpretation #mobile
Abstract Interpretation of Mobile Ambients (RRH, JGJ, FN, HRN), pp. 134–148.
SASSAS-1999-KollerM #abstract interpretation
A New Class of Functions for Abstract Interpretation (JK, MM), pp. 248–263.
SASSAS-1999-Monniaux #automaton #encryption #protocol
Abstracting Cryptographic Protocols with Tree Automata (DM), pp. 149–163.
STOCSTOC-1999-Ajtai #linear #nondeterminism
Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract) (MA), pp. 632–641.
STOCSTOC-1999-AlstrupBR #worst-case
Worst-Case and Amortised Optimality in Union-Find (Extended Abstract) (SA, AMBA, TR), pp. 499–506.
STOCSTOC-1999-CanettiO #what
Secure Computation with Honest-Looking Parties: What If Nobody Is Truly Honest? (Extended Abstract) (RC, RO), pp. 255–264.
STOCSTOC-1999-CharikarGTS #algorithm #approximate #problem
A Constant-Factor Approximation Algorithm for the k-Median Problem (Extended Abstract) (MC, SG, ÉT, DBS), pp. 1–10.
STOCSTOC-1999-ChenM #approximate #multi #polynomial #scheduling
A Polynomial Time Approximation Scheme for General Multiprocessor Job Scheduling (Extended Abstract) (JC, AM), pp. 418–427.
STOCSTOC-1999-DinitzMR #complexity #symmetry
Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings (Extended Abstract) (YD, SM, SR), pp. 265–274.
STOCSTOC-1999-GuhaMNS #performance
Efficient Recovery from Power Outage (Extended Abstract) (SG, AM, JN, BS), pp. 574–582.
STOCSTOC-1999-IshaiK #bound #information retrieval
Improved Upper Bounds on Information-Theoretic Private Information Retrieval (Extended Abstract) (YI, EK), pp. 79–88.
STOCSTOC-1999-NisanR #algorithm #design
Algorithmic Mechanism Design (Extended Abstract) (NN, AR), pp. 129–140.
STOCSTOC-1999-Rojas #complexity #geometry #on the
On the Complexity of Diophantine Geometry in Low Dimensions (Extended Abstract) (JMR), pp. 527–536.
STOCSTOC-1999-SudanTV #generative #pseudo
Pseudorandom Generators Without the XOR Lemma (Extended Abstract) (MS, LT, SPV), pp. 537–546.
STOCSTOC-1999-Trevisan #generative #pseudo #using
Construction of Extractors Using Pseudo-Random Generators (Extended Abstract) (LT), pp. 141–148.
FLOPSFLOPS-1999-Hinze #programming
Polytypic Programming With Ease (Extended Abstract) (RH), pp. 21–36.
FLOPSFLOPS-1999-Ogawa #abstract interpretation #automation #verification
Automatic Verification Based on Abstract Interpretation (MO), pp. 131–146.
FLOPSFLOPS-1999-Ohori #automaton #logic #morphism
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code (AO), pp. 300–318.
DLTDLT-1999-LopezN #induction
Substitutions from Rauzy induction (extended abstract) (LML, PN), pp. 200–209.
ICALPICALP-1999-BednarczykB #morphism #petri net
General Morphisms of Petri Nets (Extended Abstract) (MAB, AMB), pp. 190–199.
ICALPICALP-1999-BermanK #on the
On Some Tighter Inapproximability Results (Extended Abstract) (PB, MK), pp. 200–209.
FMFM-v1-1999-BarbutiFSV #abstraction #model checking #realtime
Formula Based Abstractions of Transition Systems for Real-Time Model Checking (RB, NDF, AS, GV), pp. 289–306.
FMFM-v1-1999-Schneider #abstraction #testing
Abstraction and Testing (SS), pp. 738–757.
FMFM-v2-1999-GradelS #state machine
Logspace Reducibility via Abstract State Machines (EG, MS), pp. 1738–1757.
FMFM-v2-1999-OcicaI #algebra #aspect-oriented #corba #syntax
Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL (RO, DI), p. 1863.
FMFM-v2-1999-Wehrheim #abstraction
Data Abstraction for CSP-OZ (HW), pp. 1028–1047.
IFMIFM-1999-Mery #automaton #requirements
Requirements for a Temporal B — Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems (DM), pp. 395–414.
ICFPICFP-1999-Huch #abstract interpretation #erlang #source code #using #verification
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking (FH), pp. 261–272.
ICFPICFP-1999-KfouryMTW #type system
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract) (AJK, HGM, FAT, JBW), pp. 90–101.
CHICHI-1999-SalzmanDL #multi #visualisation
VR’s Frames of Reference: A Visualization Technique for Mastering Abstract Multidimensional Information (MCS, CJD, RBL), pp. 489–495.
AdaSIGAda-1999-Selic #design pattern #realtime
Architectural patterns for complex real-time systems (abstract of keynote address) (BS), p. 1.
CAiSECAiSE-1999-Oh #architecture #design #transaction #using
The Design of Cooperative Transaction Model by Using Client-Server Architecture (Abstract) (AsO), p. 269.
ECIRACIR-1999-OakesP #automation #generative
The Automatic Generation of Templates for Automatic Abstracting (MPO, CDP).
ICMLICML-1999-Bosch #abstraction #in memory #learning
Instance-Family Abstraction in Memory-Based Language Learning (AvdB), pp. 39–48.
ICMLICML-1999-FiroiuC #markov #modelling #using
Abstracting from Robot Sensor Data using Hidden Markov Models (LF, PRC), pp. 106–114.
KDDKDD-1999-Agrawal #data mining #mining
Data Mining: Crossing the Chasm (Invited talk, Abstract only) (RA), p. 2.
KDDKDD-1999-Hackathorn #web
Farming the Web for Systematic Business Intelligence (Invited talk, Abstract only) (RDH), p. 3.
KDDKDD-1999-Pregibon #named #statistics
2001: A Statistical Odyssey (Invited talk, Abstract only) (DP), p. 4.
SIGIRSIGIR-1999-Bouwmeester #information management #interface #speech
A Knowledge Management Tool for Speech Interfaces (poster abstract) (NB), pp. 293–294.
SIGIRSIGIR-1999-BruzaSW
Fundamental Properties of Aboutness (poster abstract) (PB, DS, KFW), pp. 277–278.
SIGIRSIGIR-1999-ClarkeCS #retrieval #source code
Searching Program Source Code with a Structured Text Retrieval System (poster abstract) (CLAC, AC, SES), pp. 307–308.
SIGIRSIGIR-1999-CormackLP #precise #random
Estimating Precision by Random Sampling (poster abstract) (GVC, OL, CRP), pp. 273–274.
SIGIRSIGIR-1999-Downie #effectiveness #music #retrieval
Music Retrieval as Text Retrieval: Simple Yet Effective (poster abstract) (JSD), pp. 297–298.
SIGIRSIGIR-1999-Eastman #internet #precise
30, 000 Hits may be Better than 300: Precision Anomalies in Internet Searches (poster abstract) (CME), pp. 313–314.
SIGIRSIGIR-1999-Eguchi #adaptation #clustering #incremental #query #using
Adaptive Cluster-Based Browsing Using Incrementally Expanded Queries and its Effects (poster abstract) (KE), pp. 265–266.
SIGIRSIGIR-1999-FidelE #behaviour #web
Web Searching Behavior of Aerospace Engineers (poster abstract) (RF, ENE), pp. 319–320.
SIGIRSIGIR-1999-FranzM #information retrieval
Machine Translation and Monolingual Information Retrieval (poster abstract) (MF, JSM), pp. 295–296.
SIGIRSIGIR-1999-FungL #approach #classification #image #retrieval
A New Approach for Image Classification and Retrieval (poster abstract) (CYF, KFL), pp. 301–302.
SIGIRSIGIR-1999-GePS #word
Discovering Chinese Words from Unsegmented Text (poster abstract) (XG, WP, PS), pp. 271–272.
SIGIRSIGIR-1999-GuptaDNG #algorithm #collaboration #evaluation #linear
Jester 2.0: Evaluation of an New Linear Time Collaborative Filtering Algorithm (poster abstract) (DG, MD, HN, KYG), pp. 291–292.
SIGIRSIGIR-1999-Hirsh #process #research
Information Seeking at Different Stages of the RD Research Process (poster abstract) (SGH), pp. 285–286.
SIGIRSIGIR-1999-HoashiMIH #query #word
Query Expansion Method Based on Word Contribution (poster abstract) (KH, KM, NI, KH), pp. 303–304.
SIGIRSIGIR-1999-HoelscherS #web
Searching on the Web: Two Types of Expertise (poster abstract) (CH, GS), pp. 305–306.
SIGIRSIGIR-1999-HoenkampSS #category theory #retrieval
Supporting Content Retrieval from WWW via “Basic Level Categories” (poster abstract) (EH, OS, LS), pp. 311–312.
SIGIRSIGIR-1999-JonesSCKS #comparison #information retrieval #query
A Comparison of Query Translation Methods for English-Japanese Cross-Language Information Retrieval (poster abstract) (GJFJ, TS, NC, AK, KS), pp. 269–270.
SIGIRSIGIR-1999-JourlinJJW #retrieval #speech
Improving Retrieval on Imperfect Speech Transcriptions (poster abstract) (PJ, SEJ, KSJ, PCW), pp. 283–284.
SIGIRSIGIR-1999-LamY #adaptation #learning #online
An Intelligent Adaptive Filtering Agent Based on an On-Line Learning Model (poster abstract) (WL, KLY), pp. 287–288.
SIGIRSIGIR-1999-LewisSS #classification #framework #named #online
ATTICS: A Software Platform for Online Text Classification (poster abstract) (DDL, DLS, AS), pp. 267–268.
SIGIRSIGIR-1999-RoddenBSW #image #similarity #visualisation
Evaluating a Visualisation of Image Similarity (poster abstract) (KR, WB, DS, KRW), pp. 275–276.
SIGIRSIGIR-1999-RoussinovTRC #automation #clustering #empirical #interactive #internet
Interactive Internet Search through Automatic Clustering (poster abstract): an empirical study (DR, KMT, MR, HC), pp. 289–290.
SIGIRSIGIR-1999-RuizS #categorisation #network
Hierarchical Neural Networks for Text Categorization (poster abstract) (MER, PS), pp. 281–282.
SIGIRSIGIR-1999-SongC #information retrieval
A General Language Model for Information Retrieval (poster abstract) (FS, WBC), pp. 279–280.
SIGIRSIGIR-1999-TurpinM #information retrieval #statistics
Statistical Phrases for Vector-Space Information Retrieval (poster abstract) (AT, AM), pp. 309–310.
SIGIRSIGIR-1999-WitbrockM #approach #generative #named #statistics #summary
Ultra-Summarization: A Statistical Approach to Generating Highly Condensed Non-Extractive Summaries (poster abstract) (MJW, VOM), pp. 315–316.
TOOLSTOOLS-EUROPE-1999-Romanovsky #programming
Abstract Object State and Version Recovery in N-Version Programming (AR), pp. 86–95.
TOOLSTOOLS-PACIFIC-1999-JacobsenKN #abstraction #architecture
Architecture = Abstractions over Software (EEJ, BBK, PN), p. 89–?.
TOOLSTOOLS-USA-1999-Mikhajlova #framework #java #source code #specification #using
Specifying Java Frameworks Using Abstract Programs (AM), p. 136–?.
LOPSTRLOPSTR-1999-LeuschelM #abstract interpretation #infinity #model checking
Infinite State Model Checking by Abstract Interpretation and Program Specialisation (ML, TM), pp. 62–81.
PPDPPPDP-1999-BaldanCFP #abstract interpretation
A Simple and General Method for Integrating Abstract Interpretation in SICStus (DB, NC, GF, FP), pp. 207–223.
PPDPPPDP-1999-Pfenning #framework #logic
Logical and Meta-Logical Frameworks (Abstract) (FP), p. 206.
POPLPOPL-1999-WaddellD #abstraction
Extending the Scope of Syntactic Abstraction (OW, RKD), pp. 203–215.
SACSAC-1999-AnconaDG #mobile
Mobile Computing in Outdoor Environments (Extended Abstract) (MA, GD, VG), pp. 413–415.
ICSEICSE-1999-Perry #evolution #semantics
Software Evolution and “light” Semantics (Extended Abstract) (DEP), pp. 587–590.
HPCAHPCA-1999-FalsafiW #abstraction #communication #parallel #programming #protocol #queue
Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols (BF, DAW), pp. 182–192.
LCTESLCTES-1999-SchneiderF #abstract interpretation #behaviour #pipes and filters #predict
Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation (JS, CF), pp. 35–44.
OSDIOSDI-1999-Keleher #abstraction #named
Tapeworm: High-Level Abstractions of Shared Accesses (PJK), pp. 201–214.
PPoPPPPoPP-1999-RamachandranNHRK #abstraction #interactive #memory management #parallel #programming
Space-Time Memory: A Parallel Programming Abstraction for Interactive Multimedia Applications (UR, RSN, NH, JMR, KK), pp. 183–192.
CADECADE-1999-FeltyHR #abstraction #syntax #using
Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems (APF, DJH, AR), pp. 237–251.
CADECADE-1999-FuchsF #testing
Abstraction-Based Relevancy Testing for Model Elimination (MF, DF), pp. 344–358.
CADECADE-1999-NadathurM #automaton #compilation #implementation #prolog #λ-calculus
System Description: Teyjus — A Compiler and Abstract Machine Based Implementation of lambda-Prolog (GN, DJM), pp. 287–291.
CADECADE-1999-Nipkow #programming language #proving #theorem proving
Invited Talk: Embedding Programming Languages in Theorem Provers (Abstract) (TN), p. 398.
CADECADE-1999-Schulz
System Abstract: E 0.3 (SS), pp. 297–301.
CAVCAV-1999-AbdullaABBHL #abstraction #analysis #infinity #reachability #verification
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis (PAA, AA, SB, AB, PH, YL), pp. 146–159.
CAVCAV-1999-BaumgartnerHSA #abstraction #algorithm #model checking
Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists (JB, TH, VS, AA), pp. 72–83.
CAVCAV-1999-DasDP #abstraction #experience
Experience with Predicate Abstraction (SD, DLD, SP), pp. 160–171.
CAVCAV-1999-Dill #hardware #verification
Alternative Approaches to Hardware Verification (abstract) (DLD), p. 1.
CAVCAV-1999-SaidiS
Abstract and Model Check While You Prove (HS, NS), pp. 443–454.
CAVCAV-1999-Spielmann #automation #state machine #verification
Automatic Verification of Abstract State Machines (MS), pp. 431–442.
CSLCSL-1999-KestenP #abstraction #liveness #verification
Verifying Liveness by Augmented Abstraction (YK, AP), pp. 141–156.
LICSLICS-1999-FiorePT #syntax
Abstract Syntax and Variable Binding (MPF, GDP, DT), pp. 193–202.
LICSLICS-1999-GabbayP #approach #syntax
A New Approach to Abstract Syntax Involving Binders (MG, AMP), pp. 214–224.
LICSLICS-1999-HarmerM #finite #game studies #nondeterminism #semantics
A Fully Abstract Game Semantics for Finite Nondeterminism (RH, GM), pp. 422–430.
LICSLICS-1999-Hofmann #analysis #higher-order #semantics #syntax
Semantical Analysis of Higher-Order Abstract Syntax (MH0), pp. 204–213.
LICSLICS-1999-MarzRS #abstraction
Full Abstraction and Universality via Realisability (MM, AR, TS), pp. 174–182.
TLCATLCA-1999-MikamiA #automaton #case study #linear
A Study of Abramsky’s Linear Chemical Abstract Machine (SM, YA), pp. 243–257.
TLCATLCA-1999-PollZ #data type #logic
A Logic for Abstract Data Types as Existential Types (EP, JZ), pp. 310–324.
ASEASE-1998-OHalloranS #exclamation #verification
Don’t Verify, Abstract! (CO, AS), pp. 53–62.
DACDAC-1998-Dill #simulation #verification #what
What’s Between Simulation and Formal Verification? (Extended Abstract) (DLD), pp. 328–329.
DATEDATE-1998-HsiehL #abstraction #verification
Model Abstraction for Formal Verification (YWH, SPL), pp. 140–147.
HTHT-1998-CrampesVR #abstraction #adaptation
Adaptive Narrative Abstraction (MC, JPV, SR), pp. 97–105.
PODSPODS-1998-SamaratiS
Generalizing Data to Provide Anonymity when Disclosing Information (Abstract) (PS, LS), p. 188.
VLDBVLDB-1998-Shaw #future of
Technology and the Future of Commerce and Finance (Abstract) (DES), p. 13.
ITiCSEITiCSE-1998-HabermanSS #data type #development
Abstract data types as a project development organiser (BH, ZS, EYS), pp. 102–104.
ESOPESOP-1998-Smolka #concurrent #constraints #functional #programming
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract) (GS), pp. 1–11.
FoSSaCSFoSSaCS-1998-AmadioC #analysis #type system
Analysis of a Guard Condition in Type Theory (Extended Abstract) (RMA, SCG), pp. 48–62.
TACASTACAS-1998-AbdullaJ #network #process #verification
Verifying Networks of Timed Processes (Extended Abstract) (PAA, BJ), pp. 298–312.
TACASTACAS-1998-DawsT #abstraction #model checking #reachability #realtime #using
Model Checking of Real-Time Reachability Properties Using Abstractions (CD, ST), pp. 313–329.
TACASTACAS-1998-JensenL #abstraction #algorithm #proving #using
A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction (HEJ, NAL), pp. 409–423.
TACASTACAS-1998-LiuRS #evaluation #fixpoint #performance
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract) (XL, CRR, SAS), pp. 5–19.
ICSMEICSM-1998-BaxterYMSB #abstract syntax tree #clone detection #detection #syntax #using
Clone Detection Using Abstract Syntax Trees (IDB, AY, LMdM, MS, LB), pp. 368–377.
ICSMEICSM-1998-YangLZ #abstraction #approach #problem #re-engineering #reverse engineering
Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach (HY, XL, HZ), pp. 284–293.
SASSAS-1998-BodeiDP #abstract interpretation #concurrent #semantics
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation (CB, PD, CP), pp. 168–183.
SASSAS-1998-Giacobazzi #abstract interpretation #tutorial
A Tutorial on Domain Theory in Abstract Interpretation (RG), pp. 349–350.
SASSAS-1998-GiacobazziRS #abstract interpretation #linear
Building Complete Abstract Interpretations in a Linear Logic-based Setting (RG, FR, FS), pp. 215–229.
SASSAS-1998-Lee #compilation #optimisation
Certifying, Optimizing Compilation (Abstract) (PL0), p. 381.
SASSAS-1998-Levi #model checking #semantics
A Symbolic Semantics for Abstract Model Checking (FL), pp. 134–151.
SASSAS-1998-SchmidtS #abstract interpretation #model checking #program analysis
Program Analysis as Model Checking of Abstract Interpretations (DAS, BS), pp. 351–380.
STOCSTOC-1998-Ajtai #np-hard #problem #random #reduction
The Shortest Vector Problem in L2 is NP-hard for Randomized Reductions (Extended Abstract) (MA), pp. 10–19.
STOCSTOC-1998-AjtaiFS #monad
The Closure of Monadic NP (Extended Abstract) (MA, RF, LJS), pp. 309–318.
STOCSTOC-1998-BellareCK #analysis #approach #authentication #composition #design #protocol
A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (Extended Abstract) (MB, RC, HK), pp. 419–428.
STOCSTOC-1998-BroderCFM #independence #permutation
Min-Wise Independent Permutations (Extended Abstract) (AZB, MC, AMF, MM), pp. 327–336.
STOCSTOC-1998-CrescenziGPPY #complexity #on the
On the Complexity of Protein Folding (Extended Abstract) (PC, DG, CHP, AP, MY), pp. 597–603.
STOCSTOC-1998-DoolyGS #theory and practice
TCP Dynamic Acknowledgment Delay: Theory and Practice (Extended Abstract) (DRD, SAG, SDS), pp. 389–398.
STOCSTOC-1998-Feige #approximate
Approximating the Bandwidth via Volume Respecting Embeddings (Extended Abstract) (UF), pp. 90–99.
STOCSTOC-1998-FeigeS #bound #scheduling
Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract) (UF, CS), pp. 624–633.
STOCSTOC-1998-PeinadoL #embedded #generative #graph #random
Random Generation of Embedded Graphs and an Extension to Dobrushin Uniqueness (Extended Abstract) (MP, TL), pp. 176–185.
STOCSTOC-1998-Trevisan #query #testing
Recycling Queries in PCPs and in Linearity Tests (Extended Abstract) (LT), pp. 299–308.
FLOPSFLOPS-1998-CurienH
Computing with Abstract Böhm Trees (PLC, HH), pp. 20–39.
FLOPSFLOPS-1998-Miyoshi #logic
Rewriting Logic for Cyclic Sharing Structures (extended abstract) (HM), pp. 167–186.
ICALPICALP-1998-Ben-AmramP #source code
CONS-Free Programs with Tree Input (Extended Abstract) (AMBA, HP), pp. 271–282.
ICALPICALP-1998-BoigelotRW #automaton #integer #on the
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract) (BB, SR, PW), pp. 152–163.
ICALPICALP-1998-Henzinger #game studies #model checking #multi
Model Checking Game Properties of Multi-agent Systems (Abstract) (TAH), p. 543.
ICALPICALP-1998-JuknaZ #bound #branch #nondeterminism #on the #source code
On Branching Programs With Bounded Uncertainty (Extended Abstract) (SJ, SZ), pp. 259–270.
ICALPICALP-1998-LiuS #algorithm #fixpoint #linear
Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract) (XL, SAS), pp. 53–66.
ICALPICALP-1998-SantisCPY #image
Image Density is Complete for Non-Interactive-SZK (Extended Abstract) (ADS, GDC, GP, MY), pp. 784–795.
FMFM-1998-Borger #analysis #design #state machine #using
High Level System Design and Analysis Using Abstract State Machines (EB), pp. 1–43.
FMFM-1998-Castillo #architecture #state machine #tool support #towards
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture (GDC), pp. 311–325.
ICFPICFP-1998-Kiselyov98a #abstraction #c++ #functional
Functional Style in C++: Closures, Late Binding, and λ Abstractions (OK), p. 337.
ICFPICFP-1998-McAdam #fault
Type Errors Confuse the Programmer (Poster Abstract) (BJM), p. 338.
ICGTTAGT-1998-GadducciHK #logic
A Fully Abstract Model for Graph-Interpreted Temporal Logic (FG, RH, MK), pp. 310–322.
CHICHI-1998-ChristelSTW #abstraction #evolution #multi #video
Evolving Video Skims into Useful Multimedia Abstractions (MGC, MAS, CRT, DBW), pp. 171–178.
AdaEuropeAdaEurope-1998-Moody #abstraction #object-oriented #realtime
Object Oriented Abstractions for Real-Time Distributes Systems (SAM), pp. 112–127.
AdaSIGAda-1998-HendrixCBM #abstraction #ada #incremental #refinement #visual notation
Visual Support for Incremental Abstraction and Refinement in Ada 95 (TDH, JHCI, LAB, KSM), pp. 152–157.
CIKMCIKM-1998-LiYC #abstraction #database #framework #mining #multi #named #sequence
MALM: A Framework for Mining Sequence Database at Multiple Abstraction Levels (CSL, PSY, VC), pp. 267–272.
ICMLICML-1998-SuttonPS #learning
Intra-Option Learning about Temporally Abstract Actions (RSS, DP, SPS), pp. 556–564.
SIGIRSIGIR-1998-MoensD #automation
Automatic Abstracting of Magazine Articles: The Creation of “Highlight” Abstracts (MFM, JD), pp. 359–360.
ECOOPECOOP-1998-AtkinsonJ #java #orthogonal #persistent
Providing Orthogonal Persistence for Java (Extended Abstract) (MPA, MJJ), pp. 383–395.
TOOLSTOOLS-ASIA-1998-JacobsenKN #abstraction #development #modelling
Models, Domains and Abstraction in Software Development (EEJ, BBK, PN), pp. 28–42.
PPDPALP-PLILP-1998-CosmoLN #game studies #logic programming #semantics
A Game Semantics Foundation for Logic Programming (Extended Abstract) (RDC, JVL, SN), pp. 355–373.
PPDPALP-PLILP-1998-HatcliffDL #analysis #staging #using
Staging Static Analyses Using Abstraction-Based Program Specialization (JH, MBD, SL), pp. 134–151.
PPDPALP-PLILP-1998-LeviV #abstract interpretation #proving
Derivation of Proof Methods by Abstract Interpretation (GL, PV), pp. 102–117.
LOPSTRLOPSTR-1998-AvelloneFM #data type #source code #synthesis
Synthesis of Programs in Abstract Data Types (AA, MF, PM), pp. 81–100.
LOPSTRLOPSTR-1998-Richardson #named #proving #theorem proving
Abstract: Proof Planning with Program Schemas (JR), pp. 313–315.
LOPSTRLOPSTR-1998-Wolper #algorithm
Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract) (PW), p. 308.
POPLPOPL-1998-RielyH #distributed #mobile #process
A Typed Language for Distributed Mobile Processes (Extended Abstract) (JR, MH), pp. 378–390.
POPLPOPL-1998-Schmidt #abstract interpretation #analysis #data flow #model checking
Data Flow Analysis is Model Checking of Abstract Interpretations (DAS), pp. 38–48.
REFSQREFSQ-1998-HaumerPW #abstraction #concept #modelling
Abstraction Guides: Interrelating Conceptual Models with Real World Scenes (PH, KP, KW), pp. 23–32.
SACSAC-1998-Sterling #clustering
Beowulf PC clusters: breaking the cost barrier to high end application computing (keynote address — abstract) (TLS), p. 1.
FSEFSE-1998-AstleyA #abstraction #distributed #middleware #policy
Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management (MA, GA), pp. 1–9.
CADECADE-1998-Pfenning #deduction #linear #logic #reasoning
Reasoning About Deductions in Linear Logic (Abstract of Invited Talk) (FP), pp. 1–2.
CADECADE-1998-Pnueli #deduction #verification
Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk) (AP), p. 301.
CAVCAV-1998-AbdullaJKP #approach #partial order #reduction #verification
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) (PAA, BJ, MK, DP), pp. 379–390.
CAVCAV-1998-BensalemLO #abstraction #automation #infinity
Computing Abstractions of Infinite State Systems Compositionally and Automatically (SB, YL, SO), pp. 319–331.
CAVCAV-1998-ColonU #abstraction #finite #generative #using
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures (MC, TEU), pp. 293–304.
ICLPJICSLP-1998-Leuschel #abstract interpretation
Program Specialisation and Abstract Interpretation Reconciled (ML), pp. 220–234.
ICLPJICSLP-1998-MalesiuexRB #compilation #prolog
Abstract Compilation of λ-Prolog (FM, OR, PB), pp. 130–144.
LICSLICS-1998-AbadiFG #abstraction #implementation
Secure Implementation of Channel Abstractions (MA, CF, GG), pp. 105–116.
LICSLICS-1998-AbramskyHM #game studies #semantics
A Fully Abstract Game Semantics for General References (SA, KH, GM), pp. 334–344.
LICSLICS-1998-Viswanathan #abstraction #first-order #recursion #type system
Full Abstraction for First-Order Objects with Recursive Types and Subtyping (RV), pp. 380–391.
RTARTA-1998-Comon #consistency #proving
About Proofs by Consistency (Abstract) (HC), pp. 136–137.
RTARTA-1998-Klop #term rewriting
Origin Tracking in Term Rewriting (Abstract) (JWK), p. 1.
RTARTA-1998-Ohlebusch #equivalence #reduction #theorem
Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation (EO), pp. 17–31.
ASEASE-1997-CohenF #abstraction #automation #database #re-engineering #source code
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction (YC, YAF), pp. 90–97.
ASEASE-1997-GirardKS #approach #data type #detection
A Metric-based Approach to Detect Abstract Data Types and State Encapsulations (JFG, RK, GS), pp. 82–89.
ASEASE-1997-Welty #abstract syntax tree #comprehension #syntax
Augmenting Abstract Syntax Trees for Program Understanding (CAW), pp. 126–133.
DACDAC-1997-Dai #verification
Chip Parasitic Extraction and Signal Integrity Verification (Extended Abstract) (WWMD), pp. 717–719.
DATEEDTC-1997-Schneider #abstraction #architecture #hardware #trade-off
A methodology for hardware architecture trade-off at different levels of abstraction (CS), pp. 537–541.
ICDARICDAR-1997-KangK #classification #framework #multi #probability
Probabilistic Framework for Combining Multiple Classifiers at Abstract Level (HJK, JHK), pp. 870–874.
PODSPODS-1997-AgrawalAS #algorithm #database
Epidemic Algorithms in Replicated Databases (Extended Abstract) (DA, AEA, RCS), pp. 161–172.
SIGMODSIGMOD-1997-LivnyRBCDLMW97a #dataset #named #query #scalability #visual notation
DEVise: Integrated Querying and Visual Exploration of Large Datasets (Demo Abstract) (ML, RR, KSB, GC, DD, SL, JM, RKW), pp. 517–520.
VLDBVLDB-1997-Jamil #implementation #inheritance
Implementing Abstract Objects with Inheritance in Datalogneg (HMJ), pp. 56–65.
VLDBVLDB-1997-SeshadriLR #data type
The Case for Enhanced Abstract Data Types (PS, ML, RR), pp. 66–75.
TACASTACAS-1997-RaskinS #abstraction #logic #realtime
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time (JFR, PYS), pp. 165–182.
ICSMEICSM-1997-YangLC #re-engineering #reverse engineering
Measuring Abstractness for Reverse Engineering in a Re-engineering Tool (HY, PL, WCC), p. 48–?.
WCREWCRE-1997-GirardKS #architecture #comparison #comprehension #data type #detection #encapsulation
Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding (JFG, RK, GS), pp. 66–75.
SASSAS-1997-BaldanF #abstract interpretation
Abstract Interpretation from Improving WAM Code (DB, GF), p. 364.
SASSAS-1997-BodeiP #abstract interpretation #concurrent
True Concurrency via Abstract Interpretation (CB, CP), pp. 202–216.
SASSAS-1997-BoigelotGWW #power of
The Power of QDDs (Extended Abstract) (BB, PG, BW, PW), pp. 172–186.
SASSAS-1997-CharlierF #abstract interpretation #on the #theory and practice
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract) (BLC, PF), pp. 379–387.
SASSAS-1997-Cousot #abstract interpretation #semantics #static analysis
Abstract Interpretation Based Static Analysis Parameterized by Semantics (PC), pp. 388–394.
SASSAS-1997-Granger #analysis #congruence
Static Analyses of Congruence Properties on Rational Numbers (Extended Abstract) (PG), pp. 278–292.
SASSAS-1997-Harrison #abstract interpretation #compilation
Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract) (LH), p. 395.
SASSAS-1997-Jones #abstract interpretation #bibliography #partial evaluation
Combining Abstract Interpretation and Partial Evaluation (Brief Overview) (NDJ), pp. 396–405.
SASSAS-1997-Marriott #abstract interpretation #approximate #formal method
Abstract Interpretation: A Theory of Approximate Computation (KM), pp. 367–378.
SASSAS-1997-Tzolovski #abstract interpretation #data flow #dependence
Data Dependence as Abstract Interpretations (ST), p. 366.
SASSAS-1997-Zartmann #abstract interpretation #functional #logic programming #source code
Denotational Abstract Interpretation of Functional Logic Programs (FZ), pp. 141–159.
STOCSTOC-1997-ArgeFGV #memory management #on the #sorting #string
On Sorting Strings in External Memory (Extended Abstract) (LA, PF, RG, JSV), pp. 540–548.
STOCSTOC-1997-Beaver #encryption
Commodity-Based Cryptography (Extended Abstract) (DB), pp. 446–455.
STOCSTOC-1997-BermanC #algorithm #online #problem
On-Line Algorithms for Steiner Tree Problems (Extended Abstract) (PB, CC), pp. 344–353.
STOCSTOC-1997-ChorG #information retrieval
Computationally Private Information Retrieval (Extended Abstract) (BC, NG), pp. 304–313.
STOCSTOC-1997-EdmondsCBD #execution #multi #scheduling
Non-clairvoyant Multiprocessor Scheduling of Jobs with Changing Execution Characteristics (Extended Abstract) (JE, DDC, TB, XD), pp. 120–129.
STOCSTOC-1997-FeigeK #game studies
Making Games Short (Extended Abstract) (UF, JK), pp. 506–516.
STOCSTOC-1997-HerlihyR #decidability #distributed
The Decidability of Distributed Decision Tasks (Extended Abstract) (MH, SR), pp. 589–598.
STOCSTOC-1997-LubyV #approximate
Approximately Counting Up To Four (Extended Abstract) (ML, EV), pp. 682–687.
STOCSTOC-1997-McCuaigRST
Permanents, Pfaffian Orientations, and Even Directed Circuits (Extended Abstract) (WM, NR, PDS, RT), pp. 402–405.
STOCSTOC-1997-Mulmuley #algebra #exclamation #proving
Is There an Algebraic Proof for P != NC? (Extended Abstract) (KM), pp. 210–219.
STOCSTOC-1997-NaorR #on the #permutation #pseudo
On the Construction of Pseudo-Random Permutations: Luby-Rackoff Revisited (Extended Abstract) (MN, OR), pp. 189–199.
STOCSTOC-1997-OstrovskyS
Private Information Storage (Extended Abstract) (RO, VS), pp. 294–303.
STOCSTOC-1997-PhillipsSTW #scheduling
Optimal Time-Critical Scheduling via Resource Augmentation (Extended Abstract) (CAP, CS, ET, JW), pp. 140–149.
STOCSTOC-1997-ShmoysTA #algorithm #approximate #problem
Approximation Algorithms for Facility Location Problems (Extended Abstract) (DBS, ÉT, KA), pp. 265–274.
STOCSTOC-1997-Trevisan #geometry
When Hamming Meets Euclid: The Approximability of Geometric TSP and MST (Extended Abstract) (LT), pp. 21–29.
DLTDLT-1997-CaludeCK #automaton #simulation
Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract (CSC, EC, BK), pp. 519–537.
ICALPICALP-1997-BouajjaniH #analysis #reachability #set
Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract) (AB, PH), pp. 560–570.
ICALPICALP-1997-Bournez #bound #constant #power of
Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract) (OB), pp. 143–153.
ICALPICALP-1997-CodenottiEGK
Checking Properties of Polynomials (Extended Abstract) (BC, FE, PG, RK), pp. 203–213.
ICALPICALP-1997-EilamFZ #layout #network #problem
A Complete Characterization of the Path Layout Construction Problem for ATM Networks with Given Hop Count and Load (Extended Abstract) (TE, MF, SZ), pp. 527–537.
ICALPICALP-1997-GiacobazziR #abstract domain
Refining and Compressing Abstract Domains (RG, FR), pp. 771–781.
ICALPICALP-1997-Gianantonio #data type
An Abstract Data Type for Real Numbers (PDG), pp. 121–131.
ICALPICALP-1997-GrossiI #algorithm #order #performance #problem
Efficient Splitting and Merging Algorithms for Order Decomposable Problems (Extended Abstract) (RG, GFI), pp. 605–615.
ICALPICALP-1997-Milner #calculus #interactive #visual notation
Graphical Calculi for Interaction (Abstract) (RM), p. 1.
ICALPICALP-1997-RielyH #distributed #process
Distributed Processes and Location Failures (Extended Abstract) (JR, MH), pp. 471–481.
ICALPICALP-1997-RitterP #on the
On Explicit Substitution and Names (Extended Abstract) (ER, VdP), pp. 248–258.
ICALPICALP-1997-Sangiorgi
The Name Discipline of Uniform Receptiveness (Extended Abstract) (DS), pp. 303–313.
ICALPICALP-1997-SantisCP
Randomness-Efficient Non-Interactive Zero-Knowledge (Extended Abstract) (ADS, GDC, GP), pp. 716–726.
ICFPICFP-1997-CookL
Disposable Memo Functions (Extended Abstract) (BC, JL), p. 310.
ICFPICFP-1997-FahndrichB #abstraction
Statically Checkable Pattern Abstractions (MF, JB), pp. 75–84.
ICFPICFP-1997-Ostvold #functional #induction #recursion #source code #synthesis
Inductive Synthesis of Recursive Functional Programs (Poster Abstract) (BMØ), p. 323.
IFLIFL-1997-BreitingerKLOP #automaton #distributed #named
DREAM: The DistRibuted Eden Abstract Machine (SB, UK, RL, YOM, RP), pp. 250–269.
CHICHI-1997-PedersenS #named #representation
AROMA: Abstract Representation of Presence Supporting Mutual Awareness (ERP, TS), pp. 51–58.
HCIHCI-CC-1997-HolmL #abstraction #communication #modelling #multi
Combining Multiple Abstraction Mechanisms in Communication Modeling (PH, JL), pp. 93–96.
HCIHCI-CC-1997-SavidisSE #design #incremental #interface #physics #polymorphism
Abstract Task Definition and Incremental Polymorphic Physical Instantiation: The Unified Interface Design Method (AS, CS, PLE), pp. 465–468.
HCIHCI-SEC-1997-PedersenS #representation
Awareness Technology: Experiments with Abstract Representation (ERP, TS), pp. 933–936.
SIGIRSIGIR-1997-AgostiBM #automation #information retrieval #named
ACHIRA: Automatic Construction of Hypertexts for Information Retrieval Applications (Abstract) (MA, LB, MM), p. 335.
SIGIRSIGIR-1997-ChenHSS #categorisation #semantics
Semantic Search and Semantic Categorization (Abstract) (HC, AH, RRS, BRS), p. 335.
SIGIRSIGIR-1997-ChenRS #visual notation
Visual SOM (Abstract) (HC, MR, TRS), p. 336.
ECOOPECOOP-1997-Gamma #design pattern
Going Beyond Objects with Design Patterns (Abstract) (EG), p. 530.
TOOLSTOOLS-USA-1997-Normark #design #modelling #object-oriented #towards
Towards an Abstract Language for Dynamic Modeling in Object-Oriented Design (KN), pp. 120–131.
PPDPPLILP-1997-GiacobazziS #abstract interpretation
Intuitionistic Implication in Abstract Interpretation (RG, FS), pp. 175–189.
PPDPPLILP-1997-Xi #abstraction #evaluation
Evaluation Under λ Abstraction (HX), pp. 259–273.
POPLPOPL-1997-Cousot #abstract interpretation
Types as Abstract Interpretations (PC), pp. 316–331.
SACSAC-1997-Goldberg #learning
Virtual teams virtual projects = real learning (abstract only) (AG), p. 1.
SACSAC-1997-SolowayN #education #future of #learning #lessons learnt
The future of computers in education: learning 10 lessons from the past (abstract only) (ES, CAN), p. 2.
ESECESEC-FSE-1997-DwyerCH #abstraction #model checking #user interface #using #visual notation
Model Checking Graphical User Interfaces Using Abstractions (MBD, VC, LH), pp. 244–261.
ESECESEC-FSE-1997-Parnas #re-engineering
Software Engineering: An Unconsummated Marriage (Extended Abstract) (DLP), pp. 1–3.
ESECESEC-FSE-1997-PerryV
The Tale of Two Projects — Abstract (DEP, LGV), pp. 521–522.
ESECESEC-FSE-1997-Uhl #industrial #what
What we Expect from Software Engineers in the Industry (Abstract) (JU), p. 51.
ICSEICSE-1997-Steele #evolution #java #web
Java and the Evolution of Web Software (Abstract) (GLSJ), p. 538.
ICSEICSE-1997-Weiser #matter #people #re-engineering
Software Engineering That Matters to People (Abstract) (MW), p. 538.
ICSEICSE-1997-Wile #syntax
Abstract Syntax from Concrete Syntax (DSW), pp. 472–480.
ICSEICSE-1997-Yourdon #developer #re-engineering
Beyond Software Engineering: Ten Imperatives for the Successful Software Developer at the End of the Decade (Abstract) (EY), p. 538.
CADECADE-1997-DurandM #call-by #decidability #term rewriting
Decidable Call by Need Computations in term Rewriting (Extended Abstract) (ID, AM), pp. 4–18.
CADECADE-1997-HarlandP #constraints
Resource-Distribution via Boolean Constraint (Extended Abstract) (JH, DJP), pp. 222–236.
CAVCAV-1997-BoigelotBR #analysis #hybrid #linear #reachability
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract) (BB, LB, SR), pp. 167–178.
CAVCAV-1997-CeceF #effectiveness #source code
Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract) (GC, AF), pp. 304–315.
CAVCAV-1997-GrafS #graph
Construction of Abstract State Graphs with PVS (SG, HS), pp. 72–83.
CAVCAV-1997-PardoH #abstraction #automation #calculus #model checking #μ-calculus
Automatic Abstraction Techniques for Propositional μ-calculus Model Checking (AP, GDH), pp. 12–23.
CSLCSL-1997-HartonasH #concurrent #functional #higher-order
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract) (CH, MH), pp. 239–254.
ICLPILPS-1997-Clarke #logic #model checking
Temporal Logic Model Checking (Abstract) (EMC), p. 3.
ICLPILPS-1997-Dahl #logic programming #natural language
Logic Programming for Processing Natural Language (Abstract) (VD), pp. 41–42.
ICLPILPS-1997-Gerth #model checking
Model Checking (Abstract) (RG), p. 39.
ICLPILPS-1997-Hanus #declarative #multi #programming
Multi-Paradigm Declarative Programming (Abstract) (MH), pp. 43–45.
ICLPILPS-1997-Hermenegildo #analysis #programming
Programming with Global Analysis (Abstract) (MVH), pp. 49–50.
ICLPILPS-1997-Kifer #logic #transaction
Transaction Logic: An Introduction (Abstract) (MK), pp. 47–48.
ICLPILPS-1997-Podelski #analysis #logic programming #source code
Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract) (AP), pp. 35–36.
ICLPILPS-1997-Smolka #constraints #programming
Constraint Programming in Oz (Abstract) (GS), pp. 37–38.
ICLPILPS-1997-Tarau #internet #logic programming #tool support
Logic Programming Tools for Advanced Internet Programming (Abstract) (PT), pp. 33–34.
LICSLICS-1997-AndersenH #diagrams
Boolean Expression Diagrams (Extended Abstract) (HRA, HH), pp. 88–98.
LICSLICS-1997-CosmoK #normalisation #proving
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract) (RDC, DK), pp. 35–46.
LICSLICS-1997-KanovichI #concurrent #linear #logic #process #specification
Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract) (MIK, TI), pp. 48–57.
LICSLICS-1997-Laird #abstraction #functional
Full Abstraction for Functional Languages with Control (JL), pp. 58–67.
LICSLICS-1997-McDowellM #higher-order #logic #reasoning #syntax
A Logic for Reasoning with Higher-Order Abstract Syntax (RM, DM), pp. 434–445.
LICSLICS-1997-Rathke #fixpoint #induction #process
Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract) (JR), pp. 140–148.
RTARTA-1997-OgataOF #automaton #named #order #term rewriting
TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems (KO, KO, KF), pp. 335–338.
TLCATLCA-1997-DespeyrouxPS #higher-order #recursion #syntax
Primitive Recursion for Higher-Order Abstract Syntax (JD, FP, CS), pp. 147–163.
PODSPODS-1996-Egenhofer #database #research
Geographic Database Systems: Issues and Research Needs (Abstract) (MJE), p. 80.
PODSPODS-1996-Manber #problem #research #web
Future Directions and Research Problems in the World Wide Web (Abstract) (UM), pp. 213–215.
SIGMODSIGMOD-1996-BlottRS
An Open Storage System for Abstract Objects (SB, LR, HJS), pp. 330–340.
ESOPESOP-1996-BakelBF #abstraction #normalisation #term rewriting
Rewrite Systems with Abstraction and β-Rule: Types, Approximants and Normalization (SvB, FB, MF), pp. 387–403.
ESOPESOP-1996-GiacobazziR #abstract interpretation #composition #optimisation
Compositional Optimization of Disjunctive Abstract Interpretations (RG, FR), pp. 141–155.
TACASTACAS-1996-Lamport #proving
Managing Proofs (Abstract) (LL), p. 34.
TACASTACAS-1996-Rauzy #analysis #constraints #reduction #specification #using
Using the Constraint Language Toupie for “Software Cost Reduction” Specification Analysis (Abstract) (AR), p. 417.
ICSMEICSM-1996-Favre #perspective #preprocessor
Preprocessors from an Abstract Point of View (JMF), p. 329–?.
ICSMEICSM-1996-MortimerB #abstraction #maintenance #using
Maintenance and abstraction of program data using formal transformations (REM, KHB), p. 301–?.
WCREWCRE-1996-Favre #perspective #preprocessor
Preprocessors from an Abstract Point of View (JMF), pp. 287–296.
WPCWPC-1996-BailesBCJ #ada
Derivation and Presentation of an Abstract Program Space for Ada (PAB, PB, MC, DBJ), p. 230–?.
SASSAS-1996-Aiken #constraints #program analysis
Constraint-Based Program Analysis (Abstract) (AA), p. 1.
SASSAS-1996-AltFMW #abstract interpretation #behaviour #predict
Cache Behavior Prediction by Abstract Interpretation (MA, CF, FM, RW), pp. 52–66.
SASSAS-1996-Handjieva #abstract interpretation #named
STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation (MH), pp. 383–384.
SASSAS-1996-Venet #alias #analysis #source code
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs (AV), pp. 366–382.
STOCSTOC-1996-AfekMO #algorithm #complexity #convergence
Convergence Complexity of Optimistic Rate Based Flow Control Algorithms (Extended Abstract) (YA, YM, ZO), pp. 89–98.
STOCSTOC-1996-Ajtai #generative #problem
Generating Hard Instances of Lattice Problems (Extended Abstract) (MA), pp. 99–108.
STOCSTOC-1996-AllenderBO #complexity #equation #linear #matrix #rank
The Complexity of Matrix Rank and Feasible Systems of Linear Equations (Extended Abstract) (EA, RB, MO), pp. 161–167.
STOCSTOC-1996-AndrewsLMZ #automation #latency #network
Automatic Methods for Hiding Latency in High Bandwidth Networks (Extended Abstract) (MA, FTL, PTM, LZ), pp. 257–265.
STOCSTOC-1996-AwerbuchAFL #how #nondeterminism
Making Commitments in the Face of Uncertainty: How to Pick a Winner Almost Every Time (Extended Abstract) (BA, YA, AF, FTL), pp. 519–530.
STOCSTOC-1996-BasuPR #algebra #set
Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract) (SB, RP, MFR), pp. 168–173.
STOCSTOC-1996-Beaver96a #adaptation
Adaptive Zero Knowledge and Computational Equivocation (Extended Abstract) (DB), pp. 629–638.
STOCSTOC-1996-BlumRV #algorithm #approximate #problem
A Constant-factor Approximation Algorithm for the k MST Problem (Extended Abstract) (AB, RR, SV), pp. 442–448.
STOCSTOC-1996-CheriyanT #algorithm #performance
Fast Algorithms for k-Shredders and k-Node Connectivity Augmentation (Extended Abstract) (JC, RT), pp. 37–46.
STOCSTOC-1996-Ma #fault tolerance #network #sorting
An O(n log n)-Size Fault-Tolerant Sorting Network (Extended Abstract) (YM), pp. 266–275.
STOCSTOC-1996-Naor #evaluation #generative
Evaluation May Be Easier Than Generation (Extended Abstract) (MN), pp. 74–83.
STOCSTOC-1996-NewmanS #communication #game studies
Public vs. Private Coin Flips in One Round Communication Games (Extended Abstract) (IN, MS), pp. 561–570.
STOCSTOC-1996-Ta-Shma #on the #random
On Extracting Randomness From Weak Random Sources (Extended Abstract) (ATS), pp. 276–285.
ICALPICALP-1996-Billaud #fault
Fatal Errors in Conditional Expressions (Extended Abstract) (MB), pp. 146–157.
ICALPICALP-1996-BradfordR #bound
Lower Bounds for Row Minima Searching (Extended Abstract) (PGB, KR), pp. 454–465.
ICALPICALP-1996-Ganzinger #proving #theorem proving
Saturation-Based Theorem Proving (Abstract) (HG), pp. 1–3.
ICALPICALP-1996-MitchellV #effectiveness #modelling #morphism #polymorphism #recursion #type system
Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract) (JCM, RV), pp. 170–181.
ICALPICALP-1996-ShuklaHRS #complexity #finite #on the #problem #process #relational
On the Complexity of Relational Problems for Finite State Processes (Extended Abstract) (SKS, HBHI, DJR, RES), pp. 466–477.
FMFME-1996-Clement #abstraction
Data Reification without Explicit Abstraction Functions (TC), pp. 195–213.
ICFPICFP-1996-GostanzaPN #data type #pattern matching
A New Look to Pattern Matching in Abstract Data Types (PPG, RP, MN), pp. 110–121.
CHICHI-1996-TweedieSDS #modelling
Externalising Abstract Mathematical Models (LT, RS, HD, HS), p. 406–?.
CAiSECAiSE-1996-Motschnig-PitrikM #abstraction #semantics
Semantics, Features, and Applications of the Viewpoint Abstraction (RMP, JM), pp. 514–539.
ICMLICML-1996-Mannila #data mining #machine learning #mining
Data Mining and Machine Learning (Abstract) (HM), p. 555.
ICMLICML-1996-Moore #learning
Reinforcement Learning in Factories: The Auton Project (Abstract) (AWM0), p. 556.
ICMLICML-1996-Roverso #abstraction #knowledge base #multi #scalability
Analogy Access by Mapping Spreading and Abstraction in Large, Multifunctional Knowledge Bases (DR), pp. 418–426.
ICMLICML-1996-Vapnik #statistics
Statistical Theory of Generalization (Abstract) (VV), p. 557.
KDDKDD-1996-MannilaT96a #multi #set
Multiple Uses of Frequent Sets and Condensed Representations (Extended Abstract) (HM, HT), pp. 189–194.
KRKR-1996-Gottlob #complexity #power of
Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) (GG), pp. 647–649.
SIGIRSIGIR-1996-Liddy #named
Posters: Abstracts (EDL), pp. 340–342.
SIGIRSIGIR-1996-Rittberger
System Demonstrations: Abstracts (MR), pp. 338–339.
ECOOPECOOP-1996-KristensenM #abstraction #behaviour #named #process
Activities: Abstractions for Collective Behavior (BBK, DCMM), pp. 472–501.
OOPSLAOOPSLA-1996-GilL #abstraction
Environmental Acquisition — A New Inheritance-Like Abstraction Mechanism (JYG, DHL), pp. 214–231.
PPDPALP-1996-Marchiori96a #abstract domain #first-order #logic #using
Prime Factorizations of Abstract Domains Using First Order Logic (EM), pp. 209–223.
PPDPALP-1996-Volpe #abstraction #proving
Abstractions of Uniform Proofs (PV), pp. 224–237.
LOPSTRLOPSTR-1996-LeuschelS #how #logic programming
Logic Program Specialisation: How to Be More Specific (Abstract) (ML, DDS), p. 58.
LOPSTRLOPSTR-1996-PueblaH #parallel
Abstract Specialization and Its Application to Program Parallelization (GP, MVH), pp. 169–186.
PPDPPLILP-1996-Antoy #prolog
Needed Narrowing in Prolog (Extended Abstract) (SA), pp. 473–474.
PPDPPLILP-1996-Liu #database #deduction #programming language
The LOL Deductive Database Programming Language (Extended Abstract) (ML), pp. 454–468.
PPDPPLILP-1996-WeyerW #analysis #graph #prolog
Annotated Structure Shape Graphs for Abstract Analysis of Prolog (GW, WHW), pp. 92–106.
FSEFSE-1996-GriswoldCBM #abstraction #scalability #tool support
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems (WGG, MIC, RWB, JDM), pp. 33–45.
FSEFSE-1996-Gunter #dependence
Abstracting Dependencies between Software Configuration Items (CAG), pp. 167–178.
FSEFSE-1996-Jackson #problem
Problems, Methods, and Structures (Abstract) (MJ), p. 1.
FSEFSE-1996-Petroski #concept
Engineering Bridges: From Concept to Reality (Abstract) (HP), p. 1.
FSEFSE-1996-Rechtin #architecture
Software Systems Architecting (Abstract) (ER), p. 1.
ICSEICSE-1996-Anderson #development #operating system
An Operating System Development: Windows 3 (Abstract) (CA), p. 101.
ICSEICSE-1996-Binder #development
A Telecommunication Development: Siemens’ Digital Switching System, EWSD (Abstract) (HEB), p. 587.
ICSEICSE-1996-Fischer #design
Domain-Oriented Design Environments (Extended Abstract) (GF), pp. 517–520.
ICSEICSE-1996-GibbsB #challenge #concept #multi #programming #scalability
Large, Multimedia Programming — Concepts and Challenges (Abstract) (SJG, CB), pp. 439–440.
ICSEICSE-1996-Hoare #how #proving #reliability
The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract) (CARH), pp. 233–234.
ICSEICSE-1996-Plattner #development #standard
A Standard Software Application Development: SAP R/3 (Abstract) (HP), p. 320.
ICSEICSE-1996-Smith #development
Machine Support for Software Development (Abstract) (DRS), pp. 167–168.
CCCC-1996-BoucherF #compilation #implementation #paradigm #static analysis
Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.
CADECADE-1996-Ganzinger #proving #theorem proving
Saturation-Based Theorem Proving: Past Successes and Future Potential (Abstract) (HG), p. 1.
CADECADE-1996-GanzingerW #monad #proving #theorem proving
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract) (HG, UW), pp. 388–402.
CADECADE-1996-GiunchigliaV #abstraction #named #proving
ABSFOL: A Proof Checker with Abstraction (FG, AV), pp. 136–140.
CADECADE-1996-RitterPW
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract) (ER, DJP, LAW), pp. 17–31.
CADECADE-1996-SagonasSW #automaton #source code
An Abstract Machine for Fixed-Order Dynamically Stratified Programs (KFS, TS, DSW), pp. 328–342.
CADECADE-1996-Scott #automation #deduction #what
What Can We Hope to Achieve From Automated Deduction? (Abstract) (DSS), p. 245.
CAVCAV-1996-BoigelotG #communication #infinity #protocol #using #verification
Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) (BB, PG), pp. 1–12.
CAVCAV-1996-CapellmannDFGNO #abstraction #behaviour #case study #detection #interactive #network #verification
Verification by Behaviour Abstraction — A Case Study of Service Interaction Detection in Intelligent Telephone Networks (CC, RD, FFV, RGE, UN, PO), pp. 466–469.
CAVCAV-1996-EmersonN #automation #verification
Automatic Verification of Parameterized Synchronous Systems (Extended Abstract) (EAE, KSN), pp. 87–98.
CAVCAV-1996-PistoreS #algorithm #refinement #π-calculus
A Partition Refinement Algorithm for the π-Calculus (Extended Abstract) (MP, DS), pp. 38–49.
CAVCAV-1996-ShuklaHR #game studies #model checking #verification
HORNSAT, Model Checking, Verification and games (Extended Abstract) (SKS, HBHI, DJR), pp. 99–110.
CAVCAV-1996-TripakisY #analysis #bisimulation
Analysis of Timed Systems Based on Time-Abstracting Bisimulation (ST, SY), pp. 232–243.
CSLCSL-1996-Merkle