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

Tag #execution

1075 papers:

POPLPOPL-2020-GreenbergB #semantics
Executable formal semantics for the POSIX shell (MG0, AJB), p. 30.
ASPLOSASPLOS-2020-NiuMLWQLWR #mobile #named #realtime
PatDNN: Achieving Real-Time DNN Execution on Mobile Devices with Pattern-based Weight Pruning (WN, XM, SL, SW, XQ, XL, YW, BR), pp. 907–922.
ASPLOSASPLOS-2020-ZhangKE #branch #predict
Exploring Branch Predictors for Constructing Transient Execution Trojans (TZ, KK, DE), pp. 667–682.
ASPLOSASPLOS-2020-ZhangSYZS0 #named #obfuscation #performance
Klotski: Efficient Obfuscated Execution against Controlled-Channel Attacks (PZ, CS, HY, DZ, ES, HJ0), pp. 1263–1276.
ICSMEICSME-2019-FarhanaIR
Synthesizing Program Execution Time Discrepancies in Julia Used for Scientific Software (EF, NI, AR), pp. 496–500.
ICSMEICSME-2019-KrismayerVRG #constraints #evolution
Comparing Constraints Mined From Execution Logs to Understand Software Evolution (TK, MV, RR, PG), pp. 491–495.
ICSMEICSME-2019-ShimariI0I #debugging #java #using
Near-Omniscient Debugging for Java Using Size-Limited Execution Trace (KS, TI, TK0, KI), pp. 398–401.
FMFM-2019-BoerB #on the #symbolic computation
On the Nature of Symbolic Execution (FSdB, MMB), pp. 64–80.
FMFM-2019-SteinhofelH
Abstract Execution (DS, RH), pp. 319–336.
IFM-2019-WangAKS #abstraction #modelling #testing #visualisation
Visualization and Abstractions for Execution Paths in Model-Based Software Testing (RW, CA, LMK, VS), pp. 474–492.
SEFMSEFM-2019-RockaiBMKB #source code
Reproducible Execution of POSIX Programs with DiOS (PR, ZB, JM, KK, JB), pp. 333–349.
ICMLICML-2019-KipfLDZSGKB #composition #learning #named
CompILE: Compositional Imitation Learning and Execution (TK, YL, HD, VFZ, ASG, EG, PK, PWB), pp. 3418–3428.
MoDELSMoDELS-2019-BousseW #domain-specific language
Domain-Level Observation and Control for Compiled Executable DSLs (EB, MW), pp. 150–160.
MoDELSMoDELS-2019-SanchezZRKP #modelling #on the fly #query
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models (BS0, AZ, HHR, DSK, RFP), pp. 205–215.
PADLPADL-2019-Bock #clustering #parallel #spreadsheet
Static Partitioning of Spreadsheets for Parallel Execution (AAB), pp. 221–237.
PLDIPLDI-2019-HallahanXBJP #lazy evaluation #symbolic computation
Lazy counterfactual symbolic execution (WTH, AX, MTB, RJ, RP), pp. 411–424.
PLDIPLDI-2019-LoringMK #javascript #regular expression #semantics #symbolic computation
Sound regular expression semantics for dynamic symbolic execution of JavaScript (BL, DM, JK), pp. 425–438.
PLDIPLDI-2019-WangDWKZ #difference #privacy #proving
Proving differential privacy with shadow execution (YW, ZD, GW, DK, DZ), pp. 655–669.
PLDIPLDI-2019-Wu0 #abstract interpretation
Abstract interpretation under speculative execution (MW, CW0), pp. 802–815.
POPLPOPL-2019-SantosMSG #composition #javascript #symbolic computation
JaVerT 2.0: compositional symbolic execution for JavaScript (JFS, PM, GS, PG), p. 31.
PPDPPPDP-2019-FarinaCG #relational #symbolic computation
Relational Symbolic Execution (GPF, SC, MG), p. 14.
PPDPPPDP-2019-LiuCS #algorithm #distributed #specification
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms (YAL, SC, SDS), p. 15.
ASEASE-2019-BagherzadehJKD #modelling #named #uml
PMExec: An Execution Engine of Partial UML-RT Models (MB, KJ, NK, JD), pp. 1178–1181.
ASEASE-2019-BeyerL #metric #named #robust #testing
TestCov: Robust Test-Suite Execution and Coverage Measurement (DB0, TL0), pp. 1074–1077.
ASEASE-2019-MossbergMHGGFBD #contract #framework #named #symbolic computation
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts (MM, FM, EH, AG, GG, JF, TB, AD), pp. 1186–1189.
ASEASE-2019-MuGCCGXMS #alias #analysis #named #performance
RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis (DM, WG, AC, YC, JG, XX, BM, CS), pp. 924–935.
ASEASE-2019-Nowack #in memory #memory management #representation #symbolic computation
Fine-Grain Memory Object Representation in Symbolic Execution (MN), pp. 912–923.
ESEC-FSEESEC-FSE-2019-BaresiDQ #parallel #symbolic computation
Symbolic execution-driven extraction of the parallel execution plans of Spark applications (LB, GD, GQ), pp. 246–256.
ESEC-FSEESEC-FSE-2019-Coviello #distributed #integration #testing
Distributed execution of test cases and continuous integration (CC), pp. 1148–1151.
ESEC-FSEESEC-FSE-2019-KapusC #memory management #symbolic computation
A segmented memory model for symbolic execution (TK, CC), pp. 774–784.
ESEC-FSEESEC-FSE-2019-NieRLKMG #framework
A framework for writing trigger-action todo comments in executable format (PN, RR, JJL, SK, RJM, MG), pp. 385–396.
ICSE-2019-RutledgePKOPZ #predict #symbolic computation
Zero-overhead path prediction with progressive symbolic execution (RR, SP, HAK, AO, MP, AGZ), pp. 234–245.
ASPLOSASPLOS-2019-JangTKSH
Heterogeneous Isolated Execution for Commodity GPUs (IJ, AT, TK, SS, JH), pp. 455–468.
ASPLOSASPLOS-2019-OsterlundKOBBG #detection #kernel #multi #named
kMVX: Detecting Kernel Information Leaks with Multi-variant Execution (, KK, PO, AB, HB, CG), pp. 559–572.
ASPLOSASPLOS-2019-PinaA0C #multi #named
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution (LP, AA, MH0, CC), pp. 573–585.
ASPLOSASPLOS-2019-TaramVT
Context-Sensitive Fencing: Securing Speculative Execution via Microcode Customization (MT, AV, DMT), pp. 395–410.
CASECASE-2019-MonnierBF
A proposed mapping method for aligning machine execution data to numerical control code (LM, WZB, SF), pp. 66–72.
CGOCGO-2019-MururuGP #commit #modelling #optimisation
Quantifying and Reducing Execution Variance in STM via Model Driven Commit Optimization (GM, AG, SP), pp. 109–121.
ICSTICST-2019-JoffeC #towards
Directing a Search Towards Execution Properties with a Learned Fitness Function (LJ, DC), pp. 206–216.
TAPTAP-2019-KapusNC #constraints #integer #question #symbolic computation
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? (TK, MN, CC), pp. 41–54.
ICSAICSA-2018-LiuBDKRRSH #automation #framework #scalability #simulation #workflow
A Generic and Highly Scalable Framework for the Automation and Execution of Scientific Data Processing and Simulation Workflows (JL, EB, CD, PK, DSR, MR, DS, VH), pp. 145–155.
ICPCICPC-2018-FengDJD #abstraction #comprehension
Hierarchical abstraction of execution traces for program comprehension (YF, KD, JAJ, AvD), pp. 86–96.
ICPCICPC-2018-LiuDAA #behaviour #component #identification #interface
Component interface identification and behavioral model discovery from software execution data (CL, BFvD, NA, WMPvdA), pp. 97–107.
ICSMEICSME-2018-HortonP #git #named #python
Gistable: Evaluating the Executability of Python Code Snippets on GitHub (EH, CP), pp. 217–227.
ICSMEICSME-2018-ZhuJX #metric #search-based #symbolic computation #testing
Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric (ZZ, LJ, XX), pp. 59–68.
SEFMSEFM-2018-Balasubramanian #framework #program analysis
A Cloud-Based Execution Framework for Program Analysis (DB, DK, KSL, RK, GK), pp. 139–154.
AIIDEAIIDE-2018-NeufeldMB #approach #behaviour #hybrid #network
A Hybrid Approach to Planning and Execution in Dynamic Environments Through Hierarchical Task Networks and Behavior Trees (XN, SM, SB), pp. 201–207.
CIKMCIKM-2018-NagarkarC #named #performance #query #set
PSLSH: An Index Structure for Efficient Execution of Set Queries in High-Dimensional Spaces (PN, KSC), pp. 477–486.
KDDKDD-2018-SuttonHGC #summary
Data Diff: Interpretable, Executable Summaries of Changes in Distributions for Data Wrangling (CAS, TH, JG, RC), pp. 2279–2288.
ECMFAECMFA-2018-BarmpisKH #framework #natural language #towards
Towards a Framework for Writing Executable Natural Language Rules (KB, DSK, JH), pp. 251–263.
ECMFAECMFA-2018-LeroyBMCW #comprehension #domain-specific language
Trace Comprehension Operators for Executable DSLs (DL, EB, AM, BC, MW), pp. 293–310.
ICMTICMT-2018-Boronat #atl #framework #prototype #semantics
A Formal Framework for Prototyping Executable Semantics in ATL (AB), pp. 157–172.
MoDELSMoDELS-2018-BesnardBJTD #embedded #ltl #modelling #uml #verification
Unified LTL Verification and Embedded Execution of UML Models (VB, MB, FJ, CT, PD), pp. 112–122.
ECOOPECOOP-2018-ChenHZHK0 #learning #program transformation #symbolic computation
Learning to Accelerate Symbolic Execution via Code Transformation (JC0, WH, LZ, DH, SK, LZ0), p. 27.
ECOOPECOOP-2018-GuM00CL #automation #online #synthesis
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis (TG, XM, CX0, YJ0, CC, JL0), p. 28.
OOPSLAOOPSLA-2018-BostonGC #fault tolerance #hardware #modelling #named #programmable #verification
Leto: verifying application-specific hardware fault tolerance with programmable execution models (BB, ZG, MC), p. 30.
OOPSLAOOPSLA-2018-WongMLK #bytecode #performance #program transformation
Faster variational execution with transparent bytecode transformation (CPW, JM, LL, CK), p. 30.
PLDIPLDI-2018-BaxterNPKG #javascript
Putting in all the stops: execution control for JavaScript (SB, RN, JGP, SK, AG), pp. 30–45.
POPLPOPL-2018-ChangKT #symbolic computation
Symbolic types for lenient symbolic execution (SC, AK, ET), p. 29.
PPDPPPDP-2018-SantosMGDG #javascript #symbolic computation
Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.
ASEASE-2018-BeyerL #named #performance #symbolic computation
CPA-SymExec: efficient symbolic execution in CPAchecker (DB, TL), pp. 900–903.
ASEASE-2018-ChenSXHJ #approach #automation #metric #test coverage
An automated approach to estimating code coverage measures via execution logs (BC, JS, PX, XH, ZM(J), pp. 305–316.
ASEASE-2018-DustmannWC #multi #named #symbolic computation
PARTI: a multi-interval theory solver for symbolic execution (OSD, KW, CC), pp. 430–440.
ASEASE-2018-GaoTDR #android #symbolic computation #testing
Android testing via synthetic symbolic execution (XG, SHT, ZD, AR), pp. 419–429.
ASEASE-2018-Noller #difference #fuzzing #program analysis #symbolic computation
Differential program analysis with fuzzing and symbolic execution (YN), pp. 944–947.
ASEASE-2018-ReissXH #development #editing #named
SEEDE: simultaneous execution and editing in a development environment (SPR, QX, JH0), pp. 270–281.
ASEASE-2018-TangZPAM0Z #comprehension #named
Dual-force: understanding WebView malware via cross-language forced execution (ZT, JZ, MP, YA, SM, XZ0, JZ), pp. 714–725.
ESEC-FSEESEC-FSE-2018-GuoWW #detection #symbolic computation
Adversarial symbolic execution for detecting concurrency-related cache timing leaks (SG, MW, CW0), pp. 377–388.
ESEC-FSEESEC-FSE-2018-MechtaevGCR #constraints #higher-order #symbolic computation
Symbolic execution with existential second-order constraints (SM, AG, AC, AR), pp. 389–399.
ESEC-FSEESEC-FSE-2018-WongMK #automation #configuration management #higher-order #mutation testing #program repair #testing
Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing (CPW, JM, CK), pp. 749–753.
ICSE-2018-Alimadadi0P
Inferring hierarchical motifs from execution traces (SA, AM0, KP), pp. 776–787.
ICSE-2018-KwonKR #web
Prioritizing browser environments for web application test execution (JHK, IYK, GR), pp. 468–479.
ICSE-2018-TrabishMRC #symbolic computation
Chopped symbolic execution (DT, AM, NR, CC), pp. 350–360.
GPCEGPCE-2018-LiuAT #automation #constraints #named #realtime #refactoring
RT-trust: automated refactoring for trusted execution under real-time constraints (YL, KA, ET), pp. 175–187.
ASPLOSASPLOS-2018-RiggerSMGM #c #debugging #fault #source code
Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model (MR, RS, RM, MG, HM), pp. 377–391.
CGOCGO-2018-ZhangX #encoding #named
Poker: permutation-based SIMD execution of intensive tree search by path encoding (FZ0, JX), pp. 87–99.
ICSTICST-2018-WalterSPR #clustering #independence #order #performance
Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps (BW, MS, MP, SR), pp. 363–373.
TAPTAP-2018-LoulergueBK #axiom #specification
Ghosts for Lists: From Axiomatic to Executable Specifications (FL, AB, NK), pp. 177–184.
ICSAICSA-2017-RimbaTWSPX #process
Comparing Blockchain and Cloud Services for Business Process Execution (PR, ABT, IW, MS, AP, XX), pp. 257–260.
ICPCICPC-2017-DaoZM #debugging #how #locality #question
How does execution information help with information-retrieval based bug localization? (TD, LZ, NM), pp. 241–250.
ICSMEICSME-2017-HuangVGSS #analysis #assembly #named #scalability #visualisation
Atlantis: Improving the Analysis and Visualization of Large Assembly Execution Traces (HNH, EV0, DMG, MADS, MS), pp. 623–627.
SANERSANER-2017-ChenFLLZ #parallel
Cloud-based parallel concolic execution (TC0, YF, XL, XL, XZ), pp. 437–441.
SANERSANER-2017-GoerFM #learning #named
scat: Learning from a single execution of a binary (FdG, CF, LM), pp. 492–496.
SANERSANER-2017-StevensR
Extracting executable transformations from distilled code changes (RS, CDR), pp. 171–181.
CIKMCIKM-2017-KangJCBK #framework
A Framework for Estimating Execution Times of IO Traces on SSDs (YK, YYJ, JC, WDB, SWK), pp. 2123–2126.
CIKMCIKM-2017-KharlamovSXPMRH #semantics
Semantic Rules for Machine Diagnostics: Execution and Management (EK, OS, GX0, RP, GM, MR, IH), pp. 2131–2134.
ICMLICML-2017-MouLLJ #distributed #natural language #query #symbolic computation
Coupling Distributed and Symbolic Execution for Natural Language Queries (LM, ZL, HL0, ZJ), pp. 2518–2526.
ICMTICMT-2017-Willink #eclipse #qvt
The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX (EDW), pp. 51–65.
MoDELSMoDELS-2017-GreenyerG #specification #symbolic computation
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications (JG, TG), pp. 312–322.
MoDELSMoDELS-2017-LeducDCSB #composition #domain-specific language
Revisiting Visitors for Modular Extension of Executable DSMLs (ML, TD, BC, TvdS, OB), pp. 112–122.
OOPSLAOOPSLA-2017-ChasinsB #reuse #web
Skip blocks: reusing execution history to accelerate web scripts (SC, RB), p. 28.
OOPSLAOOPSLA-2017-MaengCL #named
Alpaca: intermittent execution without checkpoints (KM, AC, BL), p. 30.
AdaEuropeAdaEurope-2017-DaiB #predict #realtime #roadmap #worst-case
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems (XD, AB), pp. 87–101.
AdaEuropeAdaEurope-2017-MohaqeqiA0 #ada #graph #semantics
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada (MM, JA, WY0), pp. 137–152.
ASEASE-2017-AlatawiSM #abstract interpretation #performance #symbolic computation
Leveraging abstract interpretation for efficient dynamic symbolic execution (EA, HS, TM0), pp. 619–624.
ASEASE-2017-CastanoBGU #model checking
Model checker execution reports (RC, VAB, DG, SU), pp. 200–205.
ASEASE-2017-CoppaDD #pointer #reasoning #symbolic computation
Rethinking pointer reasoning in symbolic execution (EC, DCD, CD), pp. 613–618.
ASEASE-2017-KapusC #automation #difference #generative #symbolic computation #testing
Automatic testing of symbolic execution engines via program generation and differential testing (TK, CC), pp. 590–600.
ASEASE-2017-LiewSCDZW #case study #float #programming #symbolic computation
Floating-point symbolic execution: a case study in n-version programming (DL, DS, CC, AFD, RZ, KW), pp. 601–612.
ASEASE-2017-ReissX #development #editing
A demonstration of simultaneous execution and editing in a development environment (SPR, QX), pp. 895–900.
ESEC-FSEESEC-FSE-2017-GuoCY #concurrent #detection #named #thread
AtexRace: across thread and execution sampling for in-house race detection (YG, YC0, ZY), pp. 315–325.
ESEC-FSEESEC-FSE-2017-GuoWW #logic #programmable #symbolic computation
Symbolic execution of programmable logic controller code (SG, MW, CW0), pp. 326–336.
ESEC-FSEESEC-FSE-2017-YuanXXPZ #android #graph #named
RunDroid: recovering execution call graphs for Android applications (YY, LX, XX, AP, HZ), pp. 949–953.
ICSE-2017-RasthoferATP #android #fuzzing
Making malory behave maliciously: targeted fuzzing of android execution environments (SR, SA, ST, MP), pp. 300–311.
CCCC-2017-LiLX #morphism #polymorphism #symbolic computation
Dynamic symbolic execution for polymorphism (LL, YL, JX), pp. 120–130.
CGOCGO-2017-GongCZUK #gpu #hardware #kernel #named #scheduling
TwinKernels: an execution model to improve GPU hardware scheduling at compile time (XG, ZC, AKZ, RU, DRK), pp. 39–49.
ICSTICST-2017-ConverseOK #generative #semantics #symbolic computation #testing #using
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution (HC, OO, SK), pp. 241–252.
ICSTICST-2017-WangBO #behaviour #comparison #question #testing
Behavioral Execution Comparison: Are Tests Representative of Field Behavior? (QW, YB, AO), pp. 321–332.
ICTSSICTSS-2017-MaAYE #learning #testing
Fragility-Oriented Testing with Model Execution and Reinforcement Learning (TM, SA0, TY0, ME), pp. 3–20.
ICTSSICTSS-2017-SimosBDGKLW #combinator #framework #testing #using
Testing TLS Using Combinatorial Methods and Execution Framework (DES, JB, FD, BG, KK, YL, FW), pp. 162–177.
TAPTAP-2017-BoudhibaGGP #summary #symbolic computation
Symbolic Execution of Transition Systems with Function Summaries (IB, CG, PLG, VP), pp. 41–58.
CBSECBSE-2016-SchubertHG #configuration management #cyber-physical #towards
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems (DS, CH, CG), pp. 33–38.
EDMEDM-2016-PaassenJH #data transformation #programming #representation
Execution Traces as a Powerful Data Representation for Intelligent Tutoring Systems for Programming (BP, JJ, BH), pp. 183–190.
SANERSANER-2016-ChristopheBMR #framework #javascript #named #platform
Linvail: A General-Purpose Platform for Shadow Execution of JavaScript (LC, EGB, WDM, CDR), pp. 260–270.
SANERSANER-2016-DavidBTMFPM #analysis #named #symbolic computation #tool support
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis (RD, SB, TDT, LM, JF, MLP, JYM), pp. 653–656.
FMFM-2016-HouSTLH #architecture #case study #formal method #set
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor (ZH, DS, AT, YL0, KCH), pp. 388–405.
FMFM-2016-StoenescuSPI #analysis #framework #named #symbolic computation #using
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions (TS, AS, SP, FI), pp. 779–785.
SEFMSEFM-2016-DernehlHK #abstract interpretation #analysis #diagrams #symbolic computation
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams (CD, NH, SK), pp. 137–152.
SEFMSEFM-2016-FeistMP #control flow #symbolic computation #using
Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information (JF, LM, MLP), pp. 76–81.
SEFMSEFM-2016-HenselGFS #proving #source code #symbolic computation #termination
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution (JH, JG, FF, TS), pp. 234–252.
ICPRICPR-2016-HajduTKH #approach #constraints #probability
Composing ensembles by a stochastic approach under execution time constraint (AH, HT, LK, LH), pp. 222–227.
KDDKDD-2016-NandiMADB #control flow #detection #graph #mining #using
Anomaly Detection Using Program Control Flow Graph Mining From Execution Logs (AN, AM, SA, GBD, SB), pp. 215–224.
LOPSTRLOPSTR-2016-MorenoPRV #fuzzy #logic programming #source code #symbolic computation
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs (GM, JP, JAR, GV), pp. 131–147.
PPDPPPDP-2016-AriasC #design #evaluation
Description and evaluation of a generic design to integrate CLP and tabled execution (JA, MC), pp. 10–23.
ASEASE-2016-GuoKW #concurrent #incremental #named #symbolic computation
Conc-iSE: incremental symbolic execution of concurrent software (SG, MK, CW), pp. 531–542.
ASEASE-2016-LiLQHBYCL #constraints #machine learning #symbolic computation #theorem proving
Symbolic execution of complex program driven by machine learning based constraint solving (XL, YL, HQ, YQH, LB, YY, XC, XL), pp. 554–559.
ASEASE-2016-MahmoodGS #database #symbolic computation
Symbolic execution of stored procedures in database management systems (MSM, MAG, JHS), pp. 519–530.
ASEASE-2016-OgnawalaOPL #analysis #composition #low level #named #symbolic computation
MACKE: compositional analysis of low-level vulnerabilities with symbolic execution (SO, MO, AP, TL), pp. 780–785.
ASEASE-2016-StratisR #permutation #testing
Test case permutation to improve execution time (PS, AR), pp. 45–50.
FSEFSE-2016-HasabnisS #code generation #semantics #symbolic computation
Extracting instruction semantics via symbolic execution of code generators (NH, RS), pp. 301–313.
FSEFSE-2016-Kappler #dependence
Finding and breaking test dependencies to speed up test execution (SK), pp. 1136–1138.
FSEFSE-2016-Quan #float #source code #symbolic computation
Hotspot symbolic execution of floating-point programs (MQ), pp. 1112–1114.
ICSE-2016-ChenLL #generative #performance #probability #symbolic computation
Generating performance distributions via probabilistic symbolic execution (BC0, YL0, WL), pp. 49–60.
ICSE-2016-Christakis0W #symbolic computation #towards
Guiding dynamic symbolic execution toward unverified program executions (MC, PM0, VW), pp. 144–155.
ICSE-2016-CuiPCFK #memory dump #memory management #named
RETracer: triaging crashes by reverse execution from partial memory dumps (WC, MP, SKC, YF, VPK), pp. 820–831.
ICSE-2016-JeonQFFS #framework #modelling #symbolic computation
Synthesizing framework models for symbolic execution (JJ, XQ, JFD, JSF, ASL), pp. 156–167.
ICSE-2016-QinTNL #mobile #named
MobiPlay: a remote execution based record-and-replay tool for mobile applications (ZQ, YT, EN, QL), pp. 571–582.
ICSE-2016-RubinovRMR #android #automation #clustering
Automated partitioning of android applications for trusted execution environments (KR, LR, TM, AR), pp. 923–934.
GPCEGPCE-2016-RosaCB #profiling
Actor profiling in virtual execution environments (AR, LYC, WB), pp. 36–46.
SLESLE-2016-Al-SibahiDW #symbolic computation
Symbolic execution of high-level transformations (ASAS, ASD, AW), pp. 207–220.
SLESLE-2016-BousseDVMDC #framework
Execution framework of the GEMOC studio (EB, TD, DV, TM, JD, BC), pp. 84–89.
ASPLOSASPLOS-2016-KwonKSKSZX #lightweight #named
LDX: Causality Inference by Lightweight Dual Execution (YK, DK, WNS, KK, BS, XZ0, DX), pp. 503–515.
CAVCAV-2016-MuellerSS #automation #symbolic computation #using #verification
Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution (PM, MS, AJS), pp. 405–425.
ICSTICST-2016-LiewCD #named #source code #symbolic computation
Symbooglix: A Symbolic Execution Engine for Boogie Programs (DL, CC, AFD), pp. 45–56.
VMCAIVMCAI-2016-HilleryMRP #summary #symbolic computation
Exact Heap Summaries for Symbolic Execution (BH, EM, NR, SP), pp. 206–225.
SIGMODSIGMOD-2015-JiZJNHF #data type #quality #query
Quality-Driven Continuous Query Execution over Out-of-Order Data Streams (YJ, HZ, ZJ, AN, GH, CF), pp. 889–894.
SIGMODSIGMOD-2015-WeimerCCCCDLMMM #framework #named
REEF: Retainable Evaluator Execution Framework (MW, YC, BGC, TC, CC, CD, YL, TM, DM, SM, BM, SN, RR, SR, RS, BS, JW), pp. 1343–1355.
VLDBVLDB-2015-BuxBLHDL #named #scalability #workflow
SAASFEE: Scalable Scientific Workflow Execution Engine (MB, JB, CL, KH, JD, UL), pp. 1892–1903.
VLDBVLDB-2015-HanD #graph #parallel
Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.
VLDBVLDB-2015-LeiZRE #pipes and filters
Shared Execution of Recurring Workloads in MapReduce (CL, ZZ, EAR, MYE), pp. 714–725.
VLDBVLDB-2015-Liroz-GistauAV #named #parallel #performance
FP-Hadoop: Efficient Execution of Parallel Jobs Over Skewed Data (MLG, RA, PV), pp. 1856–1867.
SCAMSCAM-J-2013-MarcozziVH15 #database #relational #source code #sql #symbolic computation #testing
Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.
MSRMSR-2015-VasquezWBMP #android #generative #mining
Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios (MLV, MW, CBC, KM, DP), pp. 111–122.
RTARTA-2015-Talcott #formal method #logic #modelling
Executable Formal Models in Rewriting Logic (CLT), p. 22.
SEKESEKE-2015-ElerDE #exception #generative #symbolic computation #testing
Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.
SEKESEKE-2015-WangSZ #detection #symbolic computation
Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.
ICMTICMT-2015-ChengMP #atl #research #semantics #validation
A Sound Execution Semantics for ATL via Translation Validation — Research Paper (ZC, RM, JFP), pp. 133–148.
MoDELSMoDELS-2015-KhalilD #evolution #incremental #state machine #symbolic computation
Incremental symbolic execution of evolving state machines (AK, JD), pp. 14–23.
PLATEAUPLATEAU-2015-CuencaBLC #case study #domain-specific language #interactive #multimodal #performance #programming #user study
A user study for comparing the programming efficiency of modifying executable multimodal interaction descriptions: a domain-specific language versus equivalent event-callback code (FC, JVdB0, KL, KC), pp. 31–38.
AdaEuropeAdaEurope-2015-PinhoMMT #ada #fine-grained #parallel
An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
LOPSTRLOPSTR-2015-PalaciosV #functional #programming
Concolic Execution in Functional Programming by Program Instrumentation (AP, GV), pp. 277–292.
PLDIPLDI-2015-LuciaR #programming
A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
PLDIPLDI-2015-RenJKAK #hardware #performance #recursion #source code
Efficient execution of recursive programs on commodity vector hardware (BR, YJ, SK, KA, MK), pp. 509–520.
ASEASE-2015-FilieriPY #probability #quantifier #symbolic computation
Quantification of Software Changes through Probabilistic Symbolic Execution (N) (AF, CSP, GY), pp. 703–708.
ESEC-FSEESEC-FSE-2015-BorgesFdP #probability #symbolic computation
Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
ESEC-FSEESEC-FSE-2015-BraioneDP #source code #symbolic computation
Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.
ESEC-FSEESEC-FSE-2015-Cadar #program transformation #symbolic computation
Targeted program transformations for symbolic execution (CC), pp. 906–909.
ESEC-FSEESEC-FSE-2015-GuoKWYG #parallel #source code #symbolic computation #thread
Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
ESEC-FSEESEC-FSE-2015-NguyenNDKN #detection #semantics #variability
Detecting semantic merge conflicts with variability-aware execution (HVN, MHN, SCD, CK, TNN), pp. 926–929.
ESEC-FSEESEC-FSE-2015-SenNGC #multi #named #summary #symbolic computation #using
MultiSE: multi-path symbolic execution using value summaries (KS, GCN, LG, WC), pp. 842–853.
ICSEICSE-v1-2015-QiuYPK #composition #symbolic computation
Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
ICSEICSE-v1-2015-SuFPHS #data flow #model checking #symbolic computation #testing
Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
ICSEICSE-v1-2015-WongZWLT #automation #named #symbolic computation #testing
DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.
ICSEICSE-v1-2015-ZhangCWD0 #symbolic computation
Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.
SACSAC-2015-DionisisCP #adaptation #feedback #framework #hybrid #monitoring #using
A hybrid framework for WS-BPEL scenario execution adaptation, using monitoring and feedback data (MD, VC, GP), pp. 1672–1679.
SACSAC-2015-ElyasovPHRVC #equivalence #testing
AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.
SACSAC-2015-FonsecaNRP #parallel #realtime
A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SACSAC-2015-PapeBH #adaptation #data type #optimisation #performance
Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution (TP, CFB, RH), pp. 1970–1977.
SACSAC-2015-ShahzadJKKKH #in the cloud #mobile
Application-level task execution issues in mobile cloud computing (AS, HJ, PK, HK, BKK, JH), pp. 2285–2287.
SLESLE-2015-LatombeCCDP #concurrent #domain-specific language #modelling #weaving
Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.
ASPLOSASPLOS-2015-HosekC #framework #performance
VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
ASPLOSASPLOS-2015-KimKSZX #comparison #fine-grained #on the fly
Dual Execution for On the Fly Fine Grained Execution Comparison (DK, YK, WNS, XZ, DX), pp. 325–338.
ASPLOSASPLOS-2015-YetimMM #communication #fault #named #parallel
CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution (YY, SM, MM), pp. 311–323.
CGOCGO-2015-JiaoLHM #concurrent #energy #kernel
Improving GPGPU energy-efficiency through concurrent kernel execution and DVFS (QJ, ML, HPH, TM), pp. 1–11.
DACDAC-2015-ChenMRC #paradigm #performance
Opportunistic turbo execution in NTC: exploiting the paradigm shift in performance bottlenecks (HC, DM, SR, KC), p. 6.
DACDAC-2015-KehrQBS #communication #legacy #manycore #parallel
Parallel execution of AUTOSAR legacy applications on multicore ECUs with timed implicit communication (SK, EQ, BB, GS), p. 6.
DATEDATE-2015-DaneseGP #automation #behaviour #modelling
Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
DATEDATE-2015-DoumaAP #estimation #performance #precise
Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.
DATEDATE-2015-Ibing #architecture #symbolic computation
Architecture description language based retargetable symbolic execution (AI), pp. 241–246.
DATEDATE-2015-PaulinoFBC #configuration management #hardware #using
Transparent acceleration of program execution using reconfigurable hardware (NMCP, JCF, JB, JMPC), pp. 1066–1071.
DATEDATE-2015-PoplavkoSBBB #modelling #multi #realtime
Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
HPDCHPDC-2015-KaxirasKNRS #approach #distributed #memory management #scalability
Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory (SK, DK, MN, AR, KFS), pp. 3–14.
PDPPDP-2015-LundKETLHF #data flow #network #platform #process
Execution of Dataflow Process Networks on OpenCL Platforms (WL, SK, JE, LT, JL, JH, UF), pp. 618–625.
SOSPSOSP-2015-RaychevMM #symbolic computation #using
Parallelizing user-defined aggregations using symbolic execution (VR, MM, TM), pp. 153–167.
ESOPESOP-2015-CernyHKRZ #abstraction #analysis #worst-case
Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
CAVCAV-2015-FisherKPW #network
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (JF, ASK, NP, SW), pp. 544–560.
ICLPICLP-2015-AriasC #interface #towards
Towards a Generic Interface to Integrate CLP and Tabled Execution (JA, MC), pp. 204–206.
ICLPICLP-2015-DovierFPV #parallel
Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV), pp. 46–59.
ICLPICLP-2015-ElsawyZA #revisited
CHR Exhaustive Execution — Revisited (AE, AZ, SA), pp. 153–165.
ICSTICST-2015-FarzanHV #concurrent #testing
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
ICSTICST-2015-HonfiVM #named #symbolic computation #visualisation
SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.
ICSTICST-2015-RaposD #fuzzy #logic #symbolic computation #testing #uml #using
Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.
ICSTICST-2015-YiYGWLZ #symbolic computation
Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.
ISSTAISSTA-2015-AdamsenMM #android #testing
Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.
ISSTAISSTA-2015-JiaGY #constraints #reuse #symbolic computation #using
Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.
ISSTAISSTA-2015-WangZT #case study #experience #how #symbolic computation #testing
Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.
CBSECBSE-2014-Attouchi0BM #memory management #monitoring #multitenancy
Memory monitoring in a multi-tenant OSGi execution environment (KA, GT, AB, GM), pp. 107–116.
CBSECBSE-2014-PresslerVBR #component #deployment #embedded #estimation
Execution cost estimation for software deployment in component-based embedded systems (MP, AV, OB, WR), pp. 123–128.
VLDBVLDB-2014-JayachandranTKN #interactive #query
Combining User Interaction, Speculative Query Execution and Sampling in the DICE System (PJ, KT, NK, AN), pp. 1697–1700.
VLDBVLDB-2014-VemuriVPL #scalability
Execution Primitives for Scalable Joins and Aggregations in Map Reduce (SV, MV, KP, RL), pp. 1462–1473.
VLDBVLDB-2014-WuWHN #nondeterminism #predict #query
Uncertainty Aware Query Execution Time Prediction (WW, XW, HH, JFN), pp. 1857–1868.
SANERCSMR-WCRE-2014-Kamiya #algorithm #keyword
An algorithm for keyword search on an execution path (TK), pp. 328–332.
SANERCSMR-WCRE-2014-PerscheidFH #debugging
Follow the path: Debugging state anomalies along execution histories (MP, TF, RH), pp. 124–133.
ICPCICPC-2014-MatsumuraIKI #java #performance #visualisation
Repeatedly-executed-method viewer for efficient visualization of execution paths and states in Java (TM, TI, YK, KI), pp. 253–257.
SEFMSEFM-2014-RodriguezFHM #erlang #state machine #uml #verification
Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.
SFMSFM-2014-AlbertAGR #concept #concurrent #generative #symbolic computation #testing
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
SFMSFM-2014-BubelMH #analysis #modelling
Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
ICFPICFP-2014-FredrikssonG #distributed #semantics
Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
ICGTICGT-2014-JansenGN #generative #induction #pointer #source code #symbolic computation
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.
CAiSECAiSE-2014-ChanYGM #development #mining #process
Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
EDOCEDOC-2014-0001HPW #framework #implementation #modelling
Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.
ICEISICEIS-v2-2014-ShumskyRW #calculus #process
Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.
KDIRKDIR-2014-Bleiweiss #machine learning #using
SoC Processor Discovery for Program Execution Matching Using Unsupervised Machine Learning (AB), pp. 192–201.
SEKESEKE-2014-HuHCC #diagrams #model transformation #uml
Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable (JH, LH, BC, XC), pp. 314–317.
MODELSMoDELS-2014-TatibouetCGT #formal method #modelling #semantics #uml
Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
ECOOPECOOP-2014-FilarettiM #php #semantics
An Executable Formal Semantics of PHP (DF, SM), pp. 567–592.
ECOOPECOOP-2014-LeeKZ #concurrent #multi
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores (KHL, DK, XZ), pp. 232–256.
OOPSLAOOPSLA-2014-BerganGC #parallel #source code #symbolic computation #thread
Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
HILTHILT-2014-Seidewitz #modelling #uml
UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
LOPSTRLOPSTR-2014-ElsawyZA #text-to-text
Exhaustive Execution of CHR Through Source-to-Source Transformation (AE, AZ, SA), pp. 59–73.
LOPSTRLOPSTR-2014-Vidal #generative #prolog #testing
Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
PLDIPLDI-2014-GuptaSS #parallel #source code
Globally precise-restartable execution of parallel programs (GG, SS, GSS), p. 22.
PLDIPLDI-2014-SridharanGS #adaptation #parallel #performance #source code
Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.
ASEASE-2014-DingesA #generative #using
Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
ASEASE-2014-KauslerS #constraints #evaluation #string #symbolic computation #theorem proving
Evaluation of string constraint solvers in the context of symbolic execution (SK, ES), pp. 259–270.
ASEASE-2014-LuckowPDFV #approximate #nondeterminism #probability #source code #symbolic computation
Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.
ASEASE-2014-MakhdoomKS #automation #incremental #maintenance #symbolic computation #testing
Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
ASEASE-2014-RajanSSK #using
Accelerated test execution using GPUs (AR, SS, PS, DK), pp. 97–102.
FSEFSE-2014-FilieriPVG #statistics #symbolic computation
Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.
ICSEICSE-2014-AvgerinosRCB #symbolic computation
Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.
ICSEICSE-2014-Godefroid
Micro execution (PG), pp. 539–549.
ICSEICSE-2014-NguyenKN #testing #variability #web
Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
SACSAC-2014-Benner-WicknerBBG
Execution support for agenda-driven case management (MBW, MB, TB, VG), pp. 1371–1377.
SACSAC-2014-NogueiraMV #case study
An experimental study on execution time variation in computer experiments (PEN, RMJ, EV), pp. 1529–1534.
ASPLOSASPLOS-2014-AndrusHADVN #android #named
Cider: native execution of iOS apps on android (JA, AVH, NA, CD, NV, JN), pp. 367–382.
ASPLOSASPLOS-2014-BucurKC #prototype #symbolic computation
Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
ASPLOSASPLOS-2014-YuHZX #performance
Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.
CGOCGO-2014-PanditG #kernel #multi #source code
Fluidic Kernels: Cooperative Execution of OpenCL Programs on Multiple Heterogeneous Devices (PP, RG), p. 273.
CGOCGO-2014-WuDSABGY #query #relational
Red Fox: An Execution Environment for Relational Query Processing on GPUs (HW, GFD, TS, MA, SB, MG, SY), p. 44.
DACDAC-2014-AgostaBPS #approach #embedded #encryption #multi
A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
DATEDATE-2014-AlhammadP #manycore #parallel #predict #thread
Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.
DATEDATE-2014-CaplanMMM #reliability #trade-off
Trade-offs in execution signature compression for reliable processor systems (JC, MIM, PM, BHM), pp. 1–6.
DATEDATE-2014-DuricPSUCVB #named #power management
EVX: Vector execution on low power EDGE cores (MD, OP, AS, OSÜ, AC, MV, DB), pp. 1–4.
HPCAHPCA-2014-BalasubramanianS #comprehension #physics #reliability
Understanding the impact of gate-level physical reliability effects on whole program execution (RB, KS), pp. 60–71.
HPCAHPCA-2014-HayengaNL #architecture #named #performance
Revolver: Processor architecture for power efficient loop execution (MH, VRKN, MHL), pp. 591–602.
HPDCHPDC-2014-MaratheHLSRS #effectiveness
Exploiting redundancy for cost-effective, time-constrained execution of HPC applications on amazon EC2 (AM, RH, DKL, BRdS, BR, MS), pp. 279–290.
LCTESLCTES-2014-HenryAMM #encoding #how #modulo theories #optimisation #semantics #worst-case
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
PPoPPPPoPP-2014-IsaacsGBBSH #identification #logic #parallel
Extracting logical structure and identifying stragglers in parallel execution traces (KEI, TG, AB, PTB, MS, BH), pp. 397–398.
PPoPPPPoPP-2014-LeeKZ #concurrent #multi
Infrastructure-free logging and replay of concurrent execution on multiple cores (KHL, DK, XZ), pp. 371–372.
ICSTICST-2014-BardinKC #performance #symbolic computation #test coverage
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
ISSTAISSTA-2014-GaleottiFA #adaptation #generative #search-based #symbolic computation
Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.
ISSTAISSTA-2014-JustEF #analysis #clustering #mutation testing #performance
Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.
ISSTAISSTA-2014-ZhangGA #reduction #symbolic computation #testing #using
Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
SMTSMT-2014-PalikarevaC #multi #symbolic computation
Multi-solver Support in Symbolic Execution (HP, CC), p. 15.
TAPTAP-2014-HentschelHB #bound #symbolic computation #visualisation
Visualizing Unbounded Symbolic Execution (MH, RH, RB), pp. 82–98.
TAPTAP-2014-KampmannGZ #bound #named #performance #verification
JTACO: Test Execution for Faster Bounded Verification (AK, JPG, AZ), pp. 134–141.
VMCAIVMCAI-2014-GustavssonGL #analysis #parallel #using
Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.
CBSECBSE-2013-LednickiCS #analysis #worst-case
Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.
QoSAQoSA-2013-BerardinelliLM #analysis #non-functional
Combining fUML and profiles for non-functional analysis based on model execution traces (LB, PL, TM), pp. 79–88.
SIGMODSIGMOD-2013-Hartig #linked data #named #open data #query #traversal #web
SQUIN: a traversal based query execution system for the web of linked data (OH), pp. 1081–1084.
SIGMODSIGMOD-2013-LimB #optimisation #query
Execution and optimization of continuous queries with cyclops (HL, SB), pp. 1069–1072.
VLDBVLDB-2013-BellamkondaLJZLC #adaptation #big data #parallel
Adaptive and Big Data Scale Parallel Execution in Oracle (SB, HGL, UJ, YZ, VL, TC), pp. 1102–1113.
VLDBVLDB-2013-ChunCCRSW #framework #named
REEF: Retainable Evaluator Execution Framework (BGC, TC, CC, RR, RS, MW), pp. 1370–1373.
VLDBVLDB-2013-WuCHN #concurrent #database #predict #query #towards
Towards Predicting Query Execution Time for Concurrent and Dynamic Database Workloads (WW, YC, HH, JFN), pp. 925–936.
ICPCICPC-2013-TrumperDT #comparison #multi #visual notation
Multiscale visual comparison of execution traces (JT, JD, ACT), pp. 53–62.
ICSMEICSM-2013-Kwon #automation #distributed #energy #fault tolerance #re-engineering
Automated S/W Reengineering for Fault-Tolerant and Energy-Efficient Distributed Execution (YWK), pp. 582–585.
ICSMEICSM-2013-SyerJNHNF #performance
Leveraging Performance Counters and Execution Logs to Diagnose Memory-Related Performance Issues (MDS, ZMJ, MN, AEH, MNN, PF), pp. 110–119.
PASTEPASTE-2013-DingesCA #automation #concurrent #set
Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.
SCAMSCAM-2013-MarcozziVH #algorithm #constraints #database #relational #source code #symbolic computation #testing
A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.
WCREWCRE-2013-NayrollesMV #detection #mining
Improving SOA antipatterns detection in Service Based Systems by mining execution traces (MN, NM, PV), pp. 321–330.
WCREWCRE-2013-Pichler #specification #symbolic computation
Specification extraction by symbolic execution (JP), pp. 462–466.
LATALATA-2013-CuiDFI #automaton
Execution Information Rate for Some Classes of Automata (CC, ZD, TRF, OHI), pp. 226–237.
SEFMSEFM-2013-JiHB #deduction #program transformation #symbolic computation
Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.
CHICHI-2013-VermeulenLHC
Crossing the bridge over norman’s gulf of execution: revealing feedforward’s true identity (JV, KL, EvdH, KC), pp. 1931–1940.
HCIHCI-AMTE-2013-FleischmannSS #modelling #process #semantics
Semantic Execution of Subject-Oriented Process Models (AF, WS, CS), pp. 330–339.
CAiSECAiSE-2013-BarhamgiBOCCMT #privacy
Secure and Privacy-Preserving Execution Model for Data Services (MB, DB, SO, NCB, FC, MM, HT), pp. 35–50.
CAiSECAiSE-2013-ConfortiLRA #process
Supporting Risk-Informed Decisions during Business Process Execution (RC, MdL, MLR, WMPvdA), pp. 116–132.
EDOCEDOC-2013-LenhardW #process
Measuring the Portability of Executable Service-Oriented Processes (JL, GW), pp. 117–126.
KDDKDD-2013-KengneFTIRWS #multi #scalability #sequence
Efficiently rewriting large multimedia application execution traces with few event sequences (CKK, LCF, AT, NI, MCR, TW, MS), pp. 1348–1356.
ECMFAECMFA-2013-0002G #debugging #model transformation
End-User Support for Debugging Demonstration-Based Model Transformation Execution (YS, JG), pp. 86–100.
MODELSMoDELS-2013-TisiPC #atl #parallel
Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
OOPSLAOOPSLA-2013-BaoZ #detection #float #on the fly #problem
On-the-fly detection of instability problems in floating-point program execution (TB, XZ), pp. 817–832.
OOPSLAOOPSLA-2013-LiSWL #symbolic computation
Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.
AdaEuropeAdaEurope-2013-AsensioLCN #analysis #approach #safety #worst-case
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software (EA, IL, AC, JN), pp. 161–176.
LOPSTRLOPSTR-2013-AransayD #algebra #algorithm #formal method #linear #theorem
Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.
PPDPPPDP-2013-LamC #constraints #distributed
Decentralized execution of constraint handling rules for ensembles (ESLL, IC), pp. 205–216.
ASEASE-2013-HolderSDT #android
Cloud Twin: Native execution of android applications on the Windows Phone (EH, ES, MD, ET), pp. 598–603.
ASEASE-2013-KwonZX #framework #independence #named #platform
PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.
ASEASE-2013-SumnerZ #analysis #identification
Identifying execution points for dynamic analyses (WNS, XZ), pp. 81–91.
ASEASE-2013-XiaoLXT #generative #problem #symbolic computation #testing
Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
ESEC-FSEESEC-FSE-2013-BraioneDP #lazy evaluation #symbolic computation #term rewriting
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.
ICSEICSE-2013-GargIBMG #c #c++ #generative #testing #using
Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
ICSEICSE-2013-HatcliffRCB #framework #symbolic computation #verification
Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.
ICSEICSE-2013-HosekC #multi
Safe software updates via multi-version execution (PH, CC), pp. 612–621.
ICSEICSE-2013-YangKP #named #symbolic computation
Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
ICSEICSE-2013-ZhengZ #detection #static analysis #web
Path sensitive static analysis of web applications for remote code execution vulnerability detection (YZ, XZ), pp. 652–661.
SACSAC-2013-HeckelerSK #component #robust #testing #using
Accelerated robustness testing of state-based components using reverse execution (PH, BS, TK), pp. 1188–1195.
SACSAC-2013-JancewiczKMRS
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals (RJJ, AK, LDM, AR, AAS), pp. 1816–1823.
SACSAC-2013-PayetDKV #analysis #scalability
EARs in the wild: large-scale analysis of execution after redirect vulnerabilities (PP, AD, CK, GV), pp. 1792–1799.
SLESLE-2013-ArusoaieLR #framework #symbolic computation
A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
SLESLE-2013-CombemaleDLMBBF #concurrent #metamodelling
Reifying Concurrency for Executable Metamodeling (BC, JD, MVL, FM, OB, BB, RBF), pp. 365–384.
SLESLE-2013-MayerhoferLWK #domain-specific language #named
xMOF: Executable DSMLs Based on fUML (TM, PL, MW, GK), pp. 56–75.
ASPLOSASPLOS-2013-CuiHWY #symbolic computation #using #verification
Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
ASPLOSASPLOS-2013-ZhangKLLS #concurrent #debugging #named #thread
ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.
CGOCGO-2013-AnantpurG #dependence #runtime
Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.
DACDAC-2013-SinghDK #energy #multi #optimisation #streaming
Energy optimization by exploiting execution slacks in streaming applications on multiprocessor systems (AKS, AD, AK), p. 7.
DATEDATE-2013-DoganBCABA #analysis #embedded #multi #platform #power management
Synchronizing code execution on ultra-low-power embedded multi-channel signal analysis platforms (AYD, RB, JC, GA, AB, DA), pp. 396–399.
HPCAHPCA-2013-RhuE #control flow #gpu #performance
The dual-path execution model for efficient GPU control flow (MR, ME), pp. 591–602.
HPCAHPCA-2013-WangCWMZLN #architecture #parallel
A multiple SIMD, multiple data (MSMD) architecture: Parallel execution of dynamic and static SIMD fragments (YW, SC, JW, JM, KZ, WL, XN), pp. 603–614.
PDPPDP-2013-AmorettiLS #approach #distributed
A Cooperative Approach for Distributed Task Execution in Autonomic Clouds (MA, ALL, SS), pp. 274–281.
PDPPDP-2013-SmykT #algorithm #framework #monitoring #search-based
Genetic Algorithms Hierarchical Execution Control under a Global Application State Monitoring Infrastructure (AS, MT), pp. 16–23.
FASEFASE-2013-LeoniDG #branch #process
Discovering Branching Conditions from Business Process Execution Logs (MdL, MD, LGB), pp. 114–129.
TACASTACAS-2013-SlabyST #contest #named #slicing #symbolic computation
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
CAVCAV-2013-EsparzaLNNSS #ltl #model checking
A Fully Verified Executable LTL Model Checker (JE, PL, RN, TN, AS, JGS), pp. 463–478.
CAVCAV-2013-PalikarevaC #multi #symbolic computation
Multi-solver Support in Symbolic Execution (HP, CC), pp. 53–68.
ICLPICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #specification
A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.
ICTSSICTSS-2013-Ibing #eclipse #parallel #symbolic computation
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.
ICTSSICTSS-2013-SapraMCGC #fault #python #source code #symbolic computation #using
Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.
ISSTAISSTA-2013-DevakiTSS #flexibility #performance #user interface
Efficient and flexible GUI test execution via test merging (PD, ST, NS, SS), pp. 34–44.
TAPTAP-2013-InsaSR #algorithm #debugging #using
Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.
TAPTAP-2013-JamrozikFTH #generative #symbolic computation #testing
Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
HTHT-2012-HartigF #linked data #open data #query #traversal
Foundations of traversal based query execution over linked data (OH, JCF), pp. 43–52.
SIGMODSIGMOD-2012-AlagiannisBBIA #named #performance #query
NoDB: efficient query execution on raw data files (IA, RB, MB, SI, AA), pp. 241–252.
SIGMODSIGMOD-2012-SimitsisWCD #data flow #multi #optimisation
Optimizing analytic data flows for multiple execution engines (AS, KW, MC, UD), pp. 829–840.
VLDBVLDB-2012-GawadeK #analysis #framework #interactive #named #platform #query #visual notation
Stethoscope: A platform for interactive visual analysis of query execution plans (MG, MLK), pp. 1926–1929.
CSMRCSMR-2012-Dovgalyuk #debugging #dynamic analysis #multi
Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging (PD), pp. 553–556.
SCAMSCAM-2012-Vidal #symbolic computation #termination #verification
Closed Symbolic Execution for Verifying Program Termination (GV), pp. 34–43.
WCREWCRE-2012-MediniAGPT #approach #named
SCAN: An Approach to Label and Relate Execution Trace Segments (SM, GA, YGG, MDP, PT), pp. 135–144.
WCREWCRE-2012-NodaKA #abstraction
Execution Trace Abstraction Based on Meta Patterns Usage (KN, TK, KA), pp. 167–176.
WCREWCRE-2012-QiSQZZR #modelling
Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
IFMIFM-2012-RochaCMS #interactive #verification
A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
EDOCEDOC-2012-Holmes #design #modelling
From Business Application Execution to Design Through Model-Based Reporting (TH), pp. 143–153.
ICEISICEIS-J-2012-YiasemisA12a #fault #mutation testing #slicing #testing
Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.
SEKESEKE-2012-LiuLLGCYL #automation #parallel #testing
Parallel Path Execution for Software Testing Over Automated Test Cloud (WL, XL, FL, YG, LC, GY, ZL), pp. 279–282.
SEKESEKE-2012-VicenteDMM #comprehension #kernel #operating system
Improving Program Comprehension in Operating System Kernels with Execution Trace Information (EV, GD, RM, MdAM), pp. 174–179.
ECMFAECMFA-2012-Seidewitz #manycore #uml
Executable UML: From Multi-domain to Multi-core (ES), p. 1.
OOPSLAOOPSLA-2012-HuangZ #agile #concurrent #debugging #named #reduction
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction (JH, CZ), pp. 451–466.
OOPSLAOOPSLA-2012-HuangZ12a #concurrent #source code
Execution privatization for scheduler-oblivious concurrent programs (JH, CZ), pp. 737–752.
OOPSLAOOPSLA-2012-SiddiquiK #analysis #scalability #symbolic computation #using
Scaling symbolic execution using ranged analysis (JHS, SK), pp. 523–536.
OOPSLAOOPSLA-2012-Tobin-HochstadtH #contract #higher-order #symbolic computation
Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.
AdaEuropeAdaEurope-2012-GregertsenS #hardware #performance #using
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit (KNG, AS), pp. 177–192.
PADLPADL-2012-AlbertAG #concurrent #symbolic computation
Symbolic Execution of Concurrent Objects in CLP (EA, PA, MGZ), pp. 123–137.
PLDIPLDI-2012-KuznetsovKBC #performance #symbolic computation
Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
PLDIPLDI-2012-RamanZLA #flexibility #named #parallel
Parcae: a system for flexible parallel execution (AR, AZ, JWL, DIA), pp. 133–144.
POPLPOPL-2012-EllisonR #c #semantics
An executable formal semantics of C with applications (CE, GR), pp. 533–544.
PPDPPPDP-2012-MarpleBMG #set #source code
Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.
ASEASE-2012-JamrozikFTH #symbolic computation
Augmented dynamic symbolic execution (KJ, GF, NT, JdH), pp. 254–257.
FSEFSE-2012-CanaveraEM #adaptation #mining
Mining the execution history of a software system to infer the best time for its adaptation (KRC, NE, SM), p. 18.
ICSEICSE-2012-MarinescuC #symbolic computation #testing
make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
SACSAC-2012-ObaidAMS #database #mobile #query
Query execution on a mobile database system (AO, AMA, HM, NS), pp. 569–571.
SACSAC-2012-SiddiquiK #staged #symbolic computation
Staged symbolic execution (JHS, SK), pp. 1339–1346.
SACSAC-2012-ZurowskaD #state machine #symbolic computation #uml
Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.
SLESLE-2012-CombemaleHJBB #metamodelling #modelling
Bridging the Chasm between Executable Metamodeling and Models of Computation (BC, CH, CJ, FB, BB), pp. 184–203.
ASPLOSASPLOS-2012-DeVuystVT #migration #multi
Execution migration in a heterogeneous-ISA chip multiprocessor (MD, AV, DMT), pp. 261–272.
CASECASE-2012-LeeB #framework #lifecycle #simulation #using
Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
DACDAC-2012-LoS #analysis #monitoring #parallel #runtime #worst-case
Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DATEDATE-2012-BeaumontHN #architecture #hardware #replication #security #using
SAFER PATH: Security architecture using fragmented execution and replication for protection against trojaned hardware (MRB, BDH, TN), pp. 1000–1005.
DATEDATE-2012-CanedoF #cyber-physical #industrial #parallel #towards
Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.
HPCAHPCA-2012-DuanZAT #commit #named
BulkCompactor: Optimized deterministic execution via Conflict-Aware commit of atomic blocks (YD, XZ, WA, JT), pp. 361–372.
HPCAHPCA-2012-QianST #design #named #smt
BulkSMT: Designing SMT processors for atomic-block execution (XQ, BS, JT), pp. 153–164.
OSDIOSDI-2012-GordonJMMC #migration #named
COMET: Code Offload by Migrating Execution Transparently (MSG, DAJ, SAM, ZMM, XC), pp. 93–106.
PDPPDP-2012-BohmE
File I/O for MPI Applications in Redundant Execution Scenarios (SB, CE), pp. 112–119.
PDPPDP-2012-DornemannBZF #peer-to-peer
Integrating Virtual Execution Environments into Peer-to-Peer Desktop Grids (KD, UB, AZ, BF), pp. 333–340.
PDPPDP-2012-JejkalHSOGWS #data-driven #framework #named
LAMBDA — The LSDF Execution Framework for Data Intensive Applications (TJ, VH, RS, JCO, AG, JvW, AS), pp. 213–220.
ESOPESOP-2012-HabermaierK #correctness #on the
On the Correctness of the SIMT Execution Model of GPUs (AH, AK), pp. 316–335.
FASEFASE-2012-ShiCD #composition #integration #product line #symbolic computation #testing #using
Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.
CAVCAV-2012-JaffarMNS #named #symbolic computation #verification
TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.
ICSTICST-2012-BorgesdABP #metaheuristic #symbolic computation
Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
ICSTICST-2012-MateoU #music #reduction
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code) (PRM, MPU), pp. 664–672.
ICSTICST-2012-RaposD #generative #incremental #modelling #symbolic computation #testing #uml #using
Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.
ICSTICST-2012-TonellaMNJLH #approximate #modelling
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (PT, AM, DCN, YJ, KL, MH), pp. 21–30.
ICTSSICTSS-2012-HervieuBG #experience #industrial #testing #variability
Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
ISSTAISSTA-2012-GeldenhuysDV #probability #symbolic computation
Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.
ISSTAISSTA-2012-YangPK #symbolic computation
Memoized symbolic execution (GY, CSP, SK), pp. 144–154.
TAPTAP-2012-Pasareanu #model checking #symbolic computation #testing
Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
VMCAIVMCAI-2012-SiegelZ #invariant #parallel #source code #symbolic computation
Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.
QoSAQoSA-ISARCS-2011-HofigD #analysis
Failure-dependent execution time analysis (KH, DD), pp. 115–122.
SIGMODSIGMOD-2011-Bajda-PawlikowskiASP #performance #query
Efficient processing of data warehousing queries in a split execution environment (KBP, DJA, AS, EP), pp. 1165–1176.
SIGMODSIGMOD-2011-NeophytouCL #confluence #named #workflow
CONFLuEnCE: CONtinuous workFLow ExeCution Engine (PN, PKC, AL), pp. 1311–1314.
SIGMODSIGMOD-2011-PandisTBKPJA #tool support #transaction
A data-oriented transaction execution engine and supporting tools (IP, PT, MB, DK, DP, RJ, AA), pp. 1237–1240.
VLDBVLDB-2012-PavloJZ11 #modelling #on the #optimisation #parallel #predict #transaction
On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems (AP, EPCJ, SBZ), pp. 85–96.
CSMRCSMR-2011-SilvaPAM #on the #using
On the Use of Execution Trace Alignment for Driving Perfective Changes (LLS, KRP, SdA, MdAM), pp. 221–230.
ICPCICPC-2011-Medini #automation #concept #mining #scalability
Scalable Automatic Concept Mining from Execution Traces (SM), pp. 238–241.
ICPCICPC-2011-PirzadehSHM #concept
The Concept of Stratified Sampling of Execution Traces (HP, SS, AHL, AM), pp. 225–226.
ICSMEICSM-2011-PirzadehHS #analysis #mining
Exploiting text mining techniques in the analysis of execution traces (HP, AHL, MS), pp. 223–232.
PASTEPASTE-2011-Detten #behaviour #detection #generative #symbolic computation #towards
Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.
WCREWCRE-2011-MyersS #using
Focusing on Execution Traces Using Diver (DM, MADS), pp. 439–440.
WCREWCRE-2011-ShangJAHGNF #case study #evolution #scalability
An Exploratory Study of the Evolution of Communicated Information about the Execution of Large Software Systems (WS, ZMJ, BA, AEH, MWG, MNN, PF), pp. 335–344.
CoGCIG-2011-UribeLSA #game studies #markov #process #trade-off
Discount and speed/execution tradeoffs in Markov Decision Process games (RU, FL, KS, CA), pp. 79–86.
HCIHCI-DDA-2011-BomsdorfGHM #configuration management #design #modelling #runtime
Configurable Executable Task Models Supporting the Transition from Design Time to Runtime (BB, SG, MH, JTM), pp. 155–164.
HCIHCI-DDA-2011-FeuerstackP #interface #modelling #multimodal
Building Multimodal Interfaces Out of Executable, Model-Based Interactors and Mappings (SF, EBP), pp. 221–228.
EDOCEDOC-2011-BruningG #metamodelling #modelling #uml #workflow
UML Metamodel-based Workflow Modeling and Execution (JB, MG), pp. 97–106.
EDOCEDOC-2011-WoutersG #modelling #named
xOWL: An Executable Modeling Language for Domain Experts (LW, MPG), pp. 215–224.
ICEISICEIS-v3-2011-JuniorNI #identification #legacy #overview #source code
Survey and Proposal of a Method for Business Rules Identification in Legacy Systems Source Code and Execution Logs (WARJ, GSdN, CI), pp. 207–213.
SEKESEKE-2011-AlmeidaMA #analysis #process #using
Analysis of the continuity of software processes execution in software organizations assessed in MPS.BR using Grounded Theory (CDAdA, TCM, AA), pp. 792–797.
SEKESEKE-2011-FaureFHUV #ubiquitous
User-defined Scenarios in Ubiquitous Environments: Creation, Execution Control and Sharing (MF, LF, MH, CU, SV), pp. 302–307.
ECMFAECMFA-2011-CariouBFB #contract #verification
Contracts for Model Execution Verification (EC, CB, AF, FB), pp. 3–18.
ECMFAECMFA-2011-EllnerADJKP #distributed #modelling #process
A FUML-Based Distributed Execution Machine for Enacting Software Process Models (RE, SAH, JD, MJ, DK, MP), pp. 19–34.
MODELSMoDELS-2011-TisiPJC #lazy evaluation #model transformation
Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
ECOOPECOOP-2011-Bergel #smalltalk
Counting Messages as a Proxy for Average Execution Time in Pharo (AB), pp. 533–557.
TOOLSTOOLS-EUROPE-2011-BockischSMA #overview
An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.
TOOLSTOOLS-EUROPE-2011-RodriguezSV #dependence #metamodelling #modelling
Metamodel Dependencies for Executable Models (CR, MES, JV), pp. 83–98.
PADLPADL-2011-Kaivola #framework #functional #validation
Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
PLDIPLDI-2011-LuciaWC #comprehension #concurrent #fault #using
Isolating and understanding concurrency errors using reconstructed execution fragments (BL, BPW, LC), pp. 378–388.
PLDIPLDI-2011-PersonYRK #incremental #symbolic computation
Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.
PLDIPLDI-2011-PrasadAG #automation #compilation #matlab #source code
Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors (AP, JA, RG), pp. 152–163.
PLDIPLDI-2011-ZhouCC #algorithm
An SSA-based algorithm for optimal speculative code motion under an execution profile (HZ, WC, FCC), pp. 98–108.
SASSAS-2011-MaKFH #symbolic computation
Directed Symbolic Execution (KKM, YPK, JSF, MH), pp. 95–111.
AdaSIGAda-2011-BeltHRCHD #contract #symbolic computation #using
Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.
AdaSIGAda-2011-EilersK #testing
Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.
ASEASE-2011-AnandH #java #source code #symbolic computation
Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.
ASEASE-2011-SilvaBB #process
Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.
ESEC-FSEESEC-FSE-2011-MirghasemiBP #named
Querypoint: moving backwards on wrong values in the buggy execution (SM, JJB, CP), pp. 436–439.
ICSEICSE-2011-CadarGKPSTV #assessment #symbolic computation #testing
Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
ICSEICSE-2011-GeTXT #named #symbolic computation #verification
DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.
ICSEICSE-2011-MilicevicRYJ #declarative #imperative
Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.
ICSEICSE-2011-OhHVP #concurrent #debugging #framework #multi #named #thread
LIME: a framework for debugging load imbalance in multi-threaded execution (JO, CJH, GV, MP), pp. 201–210.
SACSAC-2011-RodriguezSV #approach #composition #multi
Executable model composition: a multilevel approach (CR, MES, JV), pp. 877–884.
SLESLE-2011-SeibelHNG #black box #composition #model transformation
A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.
CGOCGO-2011-MehraraM #web
Dynamically accelerating client-side web applications through decoupled execution (MM, SAM), pp. 74–84.
DATEDATE-2011-MeyerGCLS #cost analysis #safety #using
Reducing the cost of redundant execution in safety-critical systems using relaxed dedication (BHM, NJG, BHC, JL, KS), pp. 1249–1254.
LCTESLCTES-2011-ThomasFK #monitoring
Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.
PDPPDP-2011-Schuele #manycore #parallel #performance #streaming
Efficient Parallel Execution of Streaming Applications on Multi-core Processors (TS), pp. 231–238.
PPoPPPPoPP-2011-JenistaED #named
OoOJava: software out-of-order execution (JCJ, YHE, BD), pp. 57–68.
PPoPPPPoPP-2011-YiSF #reasoning
Cooperative reasoning for preemptive execution (JY, CS, CF), pp. 147–156.
SOSPSOSP-2011-MickensD #named #robust #web
Atlantis: robust, extensible execution environments for web applications (JWM, MD), pp. 217–231.
FASEFASE-2011-VanoverbergheP #aspect-oriented #composition #symbolic computation
Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.
CAVCAV-2011-LiGR #automation #c++ #generative #named #source code #symbolic computation #testing
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
ICSTICST-2011-TsankovJOS #dynamic analysis
Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.
ISSTAISSTA-2011-PasareanuRV #symbolic computation
Symbolic execution with mixed concrete-symbolic solving (CSP, NR, WV), pp. 34–44.
ISSTAISSTA-2011-SumnerBZ #comparison
Selecting peers for execution comparison (WNS, TB, XZ), pp. 309–319.
CBSECBSE-2010-AllierSSV #component #consistency #object-oriented #using
Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces (SA, HAS, SS, SV), pp. 216–231.
CBSECBSE-2010-GamaD #component #self
A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution (KG, DD), pp. 130–149.
VLDBVLDB-2010-BotanDDHMT #analysis #named #semantics
SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems (IB, RD, ND, LMH, RJM, NT), pp. 232–243.
VLDBVLDB-2010-MozafariZZ #query #regular expression #relational #sequence #word #xml
From Regular Expressions to Nested Words: Unifying Languages and Query Execution for Relational and XML Sequences (BM, KZ, CZ), pp. 150–161.
VLDBVLDB-2010-PandisJHA #transaction
Data-Oriented Transaction Execution (IP, RJ, NH, AA), pp. 928–939.
VLDBVLDB-2011-KlingOD #database #generative #performance #xml
Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.
CSMRCSMR-2010-AsadiPAG #approach #concept #heuristic #identification
A Heuristic-Based Approach to Identify Concepts in Execution Traces (FA, MDP, GA, YGG), pp. 31–40.
ICSMEICSM-2010-ZhangXZTHM #generative #mutation testing #symbolic computation #testing
Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
SCAMSCAM-2010-KetterlinC #behaviour #memory management #source code
Recovering the Memory Behavior of Executable Programs (AK, PC), pp. 189–198.
WCREWCRE-2010-GratiSP #diagrams #interactive #sequence chart #using #visualisation
Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.
SEFMSEFM-2010-TudoseO #design pattern #symbolic computation #testing #using
A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution (CT, RO), pp. 113–117.
ICFPICFP-2010-BuissonD #configuration management #named
ReCaml: execution state as the cornerstone of reconfigurations (JB, FD), pp. 27–38.
IFLIFL-2010-GiorgidzeGSW #haskell
Haskell Boards the Ferry — Database-Supported Program Execution for Haskell (GG, TG, TS, JW), pp. 1–18.
SOFTVISSOFTVIS-2010-JohnsonM #concurrent #named #source code #visualisation
Beat: a tool for visualizing the execution of object orientated concurrent programs (PJ, SM), pp. 225–226.
ICEISICEIS-ISAS-2010-FernandesPMP #optimisation #process
Integrating and Optimizing Business Process Execution in P2P Environments (MF, MP, JAM, JSP), pp. 171–177.
ICEISICEIS-ISAS-2010-RauberR #adaptation #architecture #manycore #parallel
Adaptive Execution of Software Systems on Parallel Multicore Architectures (TR, GR), pp. 191–198.
ICEISICEIS-J-2010-PreisslerHL10a #concept #process #streaming #xml
An XML-Based Streaming Concept for Business Process Execution (SP, DH, WL), pp. 60–75.
CIKMCIKM-2010-ShinPWL #data type #named #online
i-SEE: integrated stream execution environment over on-line data streams (SJS, HKP, HJW, WSL), pp. 1959–1960.
KDDKDD-2010-LaoC #modelling #performance #query #random #retrieval
Fast query execution for retrieval models based on path-constrained random walks (NL, WWC), pp. 881–888.
SEKESEKE-2010-KalayciDFES #adaptation #distributed #workflow
Distributed and Adaptive Execution of Condor DAGMan Workflows (SK, GD, LF, OE, SMS), pp. 587–590.
SEKESEKE-2010-KhwajaU #implementation #realtime #specification
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
SEKESEKE-2010-ZhangHZJM #automation #eclipse #synthesis #towards
Towards Automated Synthesis of Executable Eclipse Tutorials (NZ, GH, YZ, NJ, HM), pp. 591–598.
ECMFAECMFA-2010-EichbergMKM #modelling
Model-Driven Engineering of Machine Executable Code (ME, MM, SK, MM), pp. 104–115.
ECMFAECMFA-2010-OnoTKSNF #abstraction #embedded #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.
ICMTICMT-2010-JouaultT #atl #incremental #towards
Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.
MODELSMoDELS-v2-2010-GorpE #java #modelling #process
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
SPLCSPLC-2010-GhanamM #feature model #modelling #testing #using
Linking Feature Models to Code Artifacts Using Executable Acceptance Tests (YG, FM), pp. 211–225.
ECOOPECOOP-2010-SamimiAM #specification
Falling Back on Executable Specifications (HS, EDA, TDM), pp. 552–576.
ECOOPECOOP-2010-StadenCM #logic #object-oriented #specification #verification
Verifying Executable Object-Oriented Specifications with Separation Logic (SvS, CC, BM), pp. 151–174.
TOOLSTOOLS-EUROPE-2010-ArnaudDDPBS
Read-Only Execution for Dynamic Languages (JBA, MD, SD, DP, AB, MS), pp. 117–136.
LOPSTRLOPSTR-2010-InsaS #algorithm #debugging #scalability
Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.
PADLPADL-2010-HafizF #attribute grammar #combinator #lazy evaluation #specification
Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.
PLDIPLDI-2010-KhooCF #symbolic computation #type checking
Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.
PPDPPPDP-2010-BolzLS #prolog #towards #virtual machine
Towards a jitting VM for prolog execution (CFB, ML, DS), pp. 99–108.
ASEASE-2010-HahnleBBR #debugging #interactive #symbolic computation #visual notation
A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.
ASEASE-2010-PasareanuR #bytecode #java #symbolic computation
Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.
FSEFSE-2010-DeAntoniMTRBMGRS #named
RT-simex: retro-analysis of execution traces (JD, FM, FT, GR, JPB, CM, LG, LR, NS), pp. 377–378.
ICSEICSE-2010-GrechanikFXMPC10a #named
Exemplar: EXEcutable exaMPLes ARchive (MG, CF, QX, CM, DP, CMC), pp. 259–262.
ICSEICSE-2010-Hill #integration #modelling #named #testing
CUTS: a system execution modeling tool for realizing continuous system integration testing (JHH), pp. 309–310.
ICSEICSE-2010-KrkaBPGM #behaviour #invariant #model inference #using
Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.
ICSEICSE-2010-Nagappan #analysis
Analysis of execution log files (MN), pp. 409–412.
SACSAC-2010-LuNB #dependence
Timing analyzing for systems with execution dependencies between tasks (YL, TN, IB), pp. 357–358.
SACSAC-2010-YuRCW #scheduling
Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time (YY, SR, NC, XW), pp. 334–339.
SLESLE-2010-BandenerSE #behaviour #debugging #specification #visual notation
Extending DMM Behavior Specifications for Visual Execution and Debugging (NB, CS, GE), pp. 357–376.
ASPLOSASPLOS-2010-BerganADCG #compilation #named #parallel #runtime #thread
CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.
CGOCGO-2010-MarsVHS #detection #online
Contention aware execution: online contention detection and response (JM, NV, RH, MLS), pp. 257–265.
DATEDATE-2010-IqbalSH #estimation #named #order #pipes and filters #recursion
RMOT: Recursion in model order for task execution time estimation in a software pipeline (NI, MAS, JH), pp. 953–956.
DATEDATE-2010-IqbalSH10a #estimation #graph #monte carlo #named
DAGS: Distribution agnostic sequential Monte Carlo scheme for task execution time estimation (NI, MAS, JH), pp. 1645–1648.
DATEDATE-2010-OnoTKSNF #evaluation #modelling #performance
A modeling method by eliminating execution traces for performance evaluation (KO, MT, RK, YS, TN, NF), pp. 1337–1340.
DATEDATE-2010-SubramanyanSSL #fault tolerance #multi #performance
Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors (PS, VS, KKS, EL), pp. 1572–1577.
HPCAHPCA-2010-DoudalisP #hardware #named
HARE: Hardware assisted reverse execution (ID, MP), pp. 1–12.
HPCAHPCA-2010-HiltonR #energy #named
BOLT: Energy-efficient Out-of-Order Latency-Tolerant execution (ADH, AR), pp. 1–12.
HPCAHPCA-2010-XekalakisC #branch #multi
Handling branches in TLS systems with Multi-Path Execution (PX, MC), pp. 1–12.
LCTESLCTES-2010-FischmeisterB #monitoring
Sampling-based program execution monitoring (SF, YB), pp. 133–142.
OSDIOSDI-2010-WuCY
Bypassing Races in Live Applications with Execution Filters (JW, HC, JY), pp. 135–149.
PPoPPPPoPP-2010-AleenSP #predict #streaming
Input-driven dynamic execution prediction of streaming applications (FA, MS, SP), pp. 315–324.
TACASTACAS-2010-Belinfante #modelling #named #online
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution (AB), pp. 266–270.
ICLPICLP-J-2010-BetzRF #constraints
A complete and terminating execution model for Constraint Handling Rules (HB, FR, TWF), pp. 597–610.
ICSTICST-2010-JobstlWAW #consistency #smt #symbolic computation #testing
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.
ICSTICST-2010-SilvaJA #cost analysis #machine learning #symmetry #testing
Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing (DGeS, MJ, BTdA), pp. 275–284.
ICSTICST-2010-YanCZZZ #clustering
A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information (SY, ZC, ZZ, CZ, YZ), pp. 147–154.
ICTSSICTSS-2010-LakhotiaTHH #constraints #float #named #search-based #symbolic computation #theorem proving
FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.
ISSTAISSTA-2010-DanielGM #on the #symbolic computation #using
On test repair using symbolic execution (BD, TG, DM), pp. 207–218.
ISSTAISSTA-2010-SantelicesH #dependence #multi #scalability #symbolic computation
Exploiting program dependencies for scalable multiple-path symbolic execution (RAS, MJH), pp. 195–206.
ISSTAISSTA-2010-StaatsP #generative #parallel #symbolic computation #testing
Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
CBSECBSE-2009-HauckKKR #component #modelling #performance #predict
Modelling Layered Component Execution Environments for Performance Prediction (MH, MK, KK, RHR), pp. 191–208.
WICSA-ECSAWICSA-ECSA-2009-AriasAA #scalability
Defining execution viewpoints for a large and complex software-intensive system (TBCA, PA, PA), pp. 1–10.
SIGMODSIGMOD-2009-GrustMRS #named
FERRY: database-supported program execution (TG, MM, JR, TS), pp. 1063–1066.
VLDBVLDB-2009-YangRW #mining #multi #streaming
A Shared Execution Strategy for Multiple Pattern Mining Requests over Streaming Data (DY, EAR, MOW), pp. 874–885.
ICSMEICSM-2009-DaraLLST #testing #using
Using dynamic execution data to generate test cases (RD, SL, WL, ASG, LT), pp. 433–436.
ICSMEICSM-2009-ParveenTDM #distributed #framework #testing #towards
Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.
ICSMEICSM-2009-VoigtBD
Object aware execution trace exploration (SV, JB, JD), pp. 201–210.
FMFM-2009-VakkalankaVGK #semantics #theory and practice
Reduced Execution Semantics of MPI: From Theory to Practice (SSV, AV, GG, RMK), pp. 724–740.
IFMIFM-2009-MilhauFF #automation #error message #fault #generative #process #symbolic computation
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.
ICFPICFP-2009-Steele #functional #parallel
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful (GLSJ), pp. 1–2.
CoGCIG-2009-ThompsonL #automation #realtime #using
Realtime execution of automated plans using evolutionary robotics (TT, JL), pp. 333–340.
VISSOFTVISSOFT-2009-BohnetKD #visualisation
Visualizing massively pruned execution traces to facilitate trace exploration (JB, MK, JD), pp. 57–64.
CAiSECAiSE-2009-WeberRZW #approach #declarative #empirical #process
The Declarative Approach to Business Process Execution: An Empirical Test (BW, HAR, SZ, WW), pp. 470–485.
ICEISICEIS-DISI-2009-GorawskiD #algorithm #distributed #performance #query
Algorithms for Efficient Top-K Spatial Preference Query Execution in a Heterogeneous Distributed Environment (MG, KD), pp. 43–48.
ICEISICEIS-DISI-2009-SofokleousAK #generative #symbolic computation #testing
Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.
ICEISICEIS-J-2009-BoukhebouzeABM #process #self #towards
Towards Self-healing Execution of Business Processes Based on Rules (MB, YA, ANB, ZM), pp. 501–512.
SEKESEKE-2009-AlbuquerqueR #process
A Real Execution of a Software Process Improvement: An Opportunity to Execute a Combination of Approaches (ABA, ARR), pp. 661–665.
MODELSMoDELS-2009-FleureyS #adaptation #modelling #simulation #specification
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MODELSMoDELS-2009-FleureyS #adaptation #modelling #simulation #specification
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
PADLPADL-2009-GuzmanCH #program transformation #towards
Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
PEPMPEPM-2009-MoretBV #named #profiling
CCCP: complete calling context profiling in virtual execution environments (PM, WB, AV), pp. 151–160.
ESEC-FSEESEC-FSE-2009-VangalaCT #clustering #comparison #testing #using
Test case comparison and clustering using program profiles and static execution (VV, JC, PT), pp. 293–294.
ICSEICSE-2009-BuseW
The road not taken: Estimating path execution frequency statically (RPLB, WW), pp. 144–154.
SACSAC-2009-BohnetVD #debugging #locality
Projecting code changes onto execution traces to support localization of recently introduced bugs (JB, SV, JD), pp. 438–442.
SACSAC-2009-MendesPDB #ad hoc #named #process #specification #web #web service
WebFlowAH: an environment for ad-hoc specification and execution of web services-based processes (RM, PFP, FCD, TVB), pp. 692–693.
SACSAC-2009-ZurowskaD #web #web service
Load management in model-aware execution of composite web services (KZ, RD), pp. 2134–2139.
GPCEGPCE-2009-RadermacherCGT #case study #component #generative #modelling #realtime #specification
Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE’s GCM and real-time annotations (AR, AC, SG, FT), pp. 127–136.
ASPLOSASPLOS-2009-SulemanMQP #architecture #manycore #symmetry
Accelerating critical section execution with asymmetric multi-core architectures (MAS, OM, MKQ, YNP), pp. 253–264.
ASPLOSASPLOS-2009-TucekXZ #online #performance #validation
Efficient online validation with delta execution (JT, WX, YZ), pp. 193–204.
CGOCGO-2009-UdupaGT #pipes and filters #source code
Software Pipelined Execution of Stream Programs on GPUs (AU, RG, MJT), pp. 200–209.
DATEDATE-2009-OzturkK #compilation #memory management #using
Using dynamic compilation for continuing execution under reduced memory availability (ÖÖ, MTK), pp. 1373–1378.
DATEDATE-2009-VayrynenSL #fault tolerance #multi #optimisation
Fault-tolerant average execution time optimization for general-purpose multi-processor system-on-chips (MV, VS, EL), pp. 484–489.
DATEDATE-2009-VecchieTS #compilation #imperative
Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.
HPDCHPDC-2009-HeadG #parallel #performance #scalability #xml
Performance enhancement with speculative execution based parallelism for processing large-scale xml-based application data (MRH, MG), pp. 21–30.
LCTESLCTES-2009-UdupaGT #multi #source code
Synergistic execution of stream programs on multicores with accelerators (AU, RG, MJT), pp. 99–108.
PPoPPPPoPP-2009-AllenSS #dependence #parallel #set
Serialization sets: a dynamic dependence-based parallel execution model (MDA, SS, GSS), pp. 85–96.
SOSPSOSP-2009-ParkZXYKLL #multi #named #probability #sketching
PRES: probabilistic replay with execution sketching on multiprocessors (SP, YZ, WX, ZY, RK, KHL, SL), pp. 177–192.
ESOPESOP-2009-BarthwalN #parsing
Verified, Executable Parsing (AB, MN), pp. 160–174.
CAVCAV-2009-KaivolaGNTWPSTFRN #testing #validation #verification
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation (RK, RG, NN, AT, JW, SP, AS, CT, VF, ER, AN), pp. 414–429.
ICLPICLP-2009-Koninck
Execution Control for CHR (LDK), pp. 479–483.
ICSTICST-2009-SilvaAJ #approach #estimation #functional #testing
A Simple Approach for Estimation of Execution Effort of Functional Test Cases (DGeS, BTdA, MJ), pp. 289–298.
ICSTICST-2009-WolovickDQ #optimisation #realtime #testing
Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.
ISSTAISSTA-2009-SaxenaPMS #source code #symbolic computation
Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.
TAPTAP-2009-GriesmayerAJS #distributed #symbolic computation #testing
Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.
TAPTAP-2009-Rapin #bound #model checking #symbolic computation
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (NR), pp. 137–152.
VLDBVLDB-2008-ChaudhuriNR #feedback #framework #query
A pay-as-you-go framework for query execution feedback (SC, VRN, RR), pp. 1141–1152.
VLDBVLDB-2008-DeutchM #query #type checking #type inference
Type inference and type checking for queries on execution traces (DD, TM), pp. 352–363.
CSMRCSMR-2008-LienhardGGN #testing
Test Blueprint — Exposing Side Effects in Execution Traces to Support Writing Unit Tests (AL, TG, OG, ON), pp. 83–92.
ICPCICPC-2008-BohnetVD #comprehension
Locating and Understanding Features of Complex Software Systems by Synchronizing Time-, Collaboration- and Code-Focused Views on Execution Traces (JB, SV, JD), pp. 268–271.
ICPCICPC-2008-SatoST #comprehension #source code #user interface #visualisation
Support for Understanding GUI Programs by Visualizing Execution Traces Synchronized with Screen Transitions (TS, BS, JT), pp. 272–275.
ICSMEICSM-2008-Lo #mining #specification
Mining specifications in diversified formats from execution traces (DL), pp. 420–423.
WCREWCRE-2008-AriasAA #dependence #scalability
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies (TBCA, PA, PA), pp. 49–58.
ICFPICFP-2008-Lampson #lazy evaluation
Lazy and speculative execution in computer systems (BWL), pp. 1–2.
IFLIFL-2008-KoopmanPA #semantics
An Executable and Testable Semantics for iTasks (PWMK, RP, PA), pp. 212–232.
CAiSECAiSE-2008-VanderfeestenRA #workflow
Product Based Workflow Support: Dynamic Workflow Execution (ITPV, HAR, WMPvdA), pp. 571–574.
EDOCEDOC-2008-ScheiblerML #as a service #power of
EAI as a Service — Combining the Power of Executable EAI Patterns and SaaS (TS, RM, FL), pp. 107–116.
SEKESEKE-2008-DaiXWLL #process
Dynamically Optimize Process Execution Based on Process-agent (JD, JX, QW, ML, HL), pp. 561–564.
SEKESEKE-2008-FunkPC #specification
Model Interpretation for Executable Observation Specifications (MF, PvdP, HC), pp. 785–790.
SEKESEKE-2008-KhwajaU #modelling #named #specification
RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.
SEKESEKE-2008-MuhlenfeldMMS #modelling #ontology #process #using
Ontology-based Process Modeling and Execution Using STEP/EXPRESS (AM, WM, FM, MS), pp. 935–940.
SEKESEKE-2008-SandersZ #contract #design #java
Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts (SMS, CZ), pp. 824–829.
SEKESEKE-2008-ScheithauerWT #documentation #process #semantic gap
Bridging the Semantic Gap Between Process Documentation and Process Execution (GS, GW, CT), pp. 549–554.
ECMFAECMDA-FA-2008-WaheedIM #action semantics #analysis #data flow #modelling #semantics #uml
Data Flow Analysis of UML Action Semantics for Executable Models (TW, MZZI, ZIM), pp. 79–93.
MODELSMoDELS-2008-CraneD #formal method #modelling #set #towards #uml
Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
MODELSMoDELS-2008-CraneD #formal method #modelling #set #towards #uml
Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
ECOOPECOOP-2008-ZiarekWAMSJ #java #transaction
A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.
OOPSLAOOPSLA-2008-XianSJ #java #parallel #source code #thread
Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.
PADLPADL-2008-CasasCH #implementation #independence #strict #towards
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 230–247.
PLDIPLDI-2008-KudlurM #manycore #platform #source code
Orchestrating the execution of stream programs on multicore platforms (MK, SAM), pp. 114–124.
PLDIPLDI-2008-XinSZ #performance
Efficient program execution indexing (BX, WNS, XZ), pp. 238–248.
PPDPPPDP-2008-MeraLCH #automaton #estimation #towards
Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.
PPDPPPDP-2008-SulzmannL #constraints #parallel
Parallel execution of multi-set constraint rewrite rules (MS, ESLL), pp. 20–31.
ASEASE-2008-InkumsahX #object-oriented #source code #symbolic computation #testing
Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution (KI, TX), pp. 297–306.
FSEFSE-2008-LinZ
Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.
FSEFSE-2008-PersonDEP #difference #symbolic computation
Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
ICSEICSE-2008-CsallnerTS #invariant #named #symbolic computation
DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
ICSEICSE-2008-WangZXAS #approach #debugging #detection #natural language #using
An approach to detecting duplicate bug reports using natural language and execution information (XW, LZ, TX, JA, JS), pp. 461–470.
ICSEICSE-2008-WhittleWH #case study #modelling #security
Executable misuse cases for modeling security concerns (JW, DW, MH), pp. 121–130.
SACSAC-2008-BraghettoFP #algebra #process #using
Using process algebra to control the execution of business processes (KRB, JEF, CP), pp. 128–129.
SACSAC-2008-CramptonK #modelling #on the #workflow
On delegation and workflow execution models (JC, HK), pp. 2137–2144.
SACSAC-2008-RamnathR #adaptation #enterprise #modelling
Integrating goal modeling and execution in adaptive complex enterprises (RR, JR), pp. 532–539.
SACSAC-2008-RossiT #modelling #named #process
EPML: an executable process modeling language for process-aware applications (DR, ET), pp. 132–133.
SACSAC-2008-VizzariPS #3d #framework #simulation #visualisation
A framework for execution and 3D visualization of situated cellular agent based crowd simulations (GV, GP, FSCdS), pp. 18–22.
ASPLOSASPLOS-2008-McCunePPRS #how #recommendation
How low can you go?: recommendations for hardware-supported minimal TCB code execution (JMM, BP, AP, MKR, AS), pp. 14–25.
ASPLOSASPLOS-2008-SulemanQP #concurrent #multi #power management #thread
Feedback-driven threading: power-efficient and high-performance execution of multi-threaded workloads on CMPs (MAS, MKQ, YNP), pp. 277–286.
CGOCGO-2008-RamanVRA #named #parallel
Spice: speculative parallel iteration chunk execution (ER, NV, RR, DIA), pp. 175–184.
DACDAC-2008-LiangM #analysis #modelling #probability
Cache modeling in probabilistic execution time analysis (YL, TM), pp. 319–324.
DATEDATE-2008-HohenauerELAMBS #optimisation
Retargetable Code Optimization for Predicated Execution (MH, FE, RL, GA, HM, GB, BS), pp. 1492–1497.
DATEDATE-2008-ParkSP #embedded #using
Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors (SP, AS, YP), pp. 1190–1195.
HPDCHPDC-2008-DiamosY #named #runtime
Harmony: an execution model and runtime for heterogeneous many core systems (GFD, SY), pp. 197–200.
HPDCHPDC-2008-SotomayorKF #using #virtual machine
Combining batch execution and leasing using virtual machines (BS, KK, ITF), pp. 87–96.
ISMMISMM-2008-PizloPS
Path specialization: reducing phased execution overheads (FP, EP, BS), pp. 81–90.
PDPPDP-2008-LiuWLLL #performance
Improving the Performance of Service-based Applications by Dynamic Service Execution (HL, XW, TL, XL, WL), pp. 174–182.
TACASTACAS-2008-AnandGT #composition #symbolic computation
Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.
ICLPICLP-2008-GuzmanCH #program transformation #sketching
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.
ICLPICLP-2008-KimmigCRDR #on the #performance #source code
On the Efficient Execution of ProbLog Programs (AK, VSC, RR, BD, LDR), pp. 175–189.
ICSTICST-2008-LindstromOA #empirical #realtime #testing
Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications (BL, AJO, SFA), pp. 112–120.
ISSTAISSTA-2008-KannanS #data type #generative #invariant #symbolic computation
Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.
ISSTAISSTA-2008-PasareanuMBGLPP #symbolic computation #testing
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.
CBSECBSE-2007-LauU #case study #component
A Study of Execution Environments for Software Components (KKL, VU), pp. 107–123.
SIGMODSIGMOD-2007-ElhemaliGGJ #sql
Execution strategies for SQL subqueries (ME, CAGL, TG, MJ), pp. 993–1004.
SIGMODSIGMOD-2007-YangLOT #monitoring #network #query
In-network execution of monitoring queries in sensor networks (XY, HBL, MTÖ, KLT), pp. 521–532.
VLDBVLDB-2007-ChaudhuriKRP #query
Stop-and-Restart Style Execution for Long Running Decision Support Queries (SC, RK, RR, AP), pp. 735–745.
ICPCICPC-2007-CornelissenHZMWD #comprehension #sequence #using
Understanding Execution Traces Using Massive Sequence and Circular Bundle Views (BC, DH, AZ, LM, JJvW, AvD), pp. 49–58.
WCREWCRE-2007-SousaMUK #detection
Detecting Implied Scenarios from Execution Traces (FCdS, NCM, SU, JK), pp. 50–59.
SEFMSEFM-2007-DengRH #algorithm #object-oriented #source code #symbolic computation #towards
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs (XD, R, JH), pp. 273–282.
ICFPICFP-2007-PlasmeijerAK #interactive #named #specification #web
iTasks: executable specifications of interactive work flow systems for the web (RP, PA, PWMK), pp. 141–152.
AIIDEAIIDE-2007-GorniakD #coordination #named
SquadSmart: Hierarchical Planning and Coordinated Plan Execution for Squads of Characters (PG, ILD), pp. 14–19.
GT-VMTGT-VMT-2007-KraemerH #collaboration #specification #state machine
Transforming Collaborative Service Specifications into Efficiently Executable State Machines (FAK, PH).
VISSOFTVISSOFT-2007-Hamou-Lhadj #effectiveness #scalability #visualisation
Effective Exploration and Visualization of Large Execution Traces (AHL), pp. 152–153.
ICEISICEIS-AIDSS-2007-ShethG #middleware #non-functional #process #semantics #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEISICEIS-DISI-2007-CarreiraGPW #data transformation #optimisation
One-to-many data transformation operations — optimization and execution on an RDBMS (PJFC, HG, JLMP, AW), pp. 21–27.
ICEISICEIS-DISI-2007-ShethG #middleware #non-functional #process #semantics #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEISICEIS-EIS-2007-Barjis #modelling
Developing Executable Models of Business Systems (JB), pp. 5–13.
ICEISICEIS-EIS-2007-ShethG #middleware #non-functional #process #semantics #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEISICEIS-HCI-2007-ShethG #middleware #non-functional #process #semantics #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
ICEISICEIS-J-2007-ShethG07a #middleware #non-functional #process #semantics #workflow
The 4 x 4 Semantic Model: Exploiting Data, Functional, Non-functional and Execution Semantics Across Business Process, Workflow, Partner Services and Middleware Services Tiers (APS, KG), pp. 16–26.
ICEISICEIS-SAIC-2007-ShethG #middleware #non-functional #process #semantics #workflow
The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.
SEKESEKE-2007-GuD #component #embedded #integration #multi
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution (ZG, QD), pp. 320–325.
ECMFAECMDA-FA-2007-FuentesS #aspect-oriented #modelling #uml
Execution of Aspect Oriented UML Models (LF, PS), pp. 83–98.
PADLPADL-2007-MeraLPCH #profiling #static analysis
Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
PLDIPLDI-2007-ZhangTGG #fault #towards
Towards locating execution omission errors (XZ, ST, NG, RG), pp. 415–424.
ASEASE-2007-Abi-AntounA #object-oriented #source code #tool support
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations (MAA, JA), pp. 543–544.
ASEASE-2007-ChangR #validation
Validating system properties exhibited in execution traces (FC, JR), pp. 517–520.
ASEASE-2007-LiuMPR #feature model #information retrieval
Feature location via information retrieval based filtering of a single scenario execution trace (DL, AM, DP, VR), pp. 234–243.
ASEASE-2007-LoMK #mining #specification
Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.
ESEC-FSEESEC-FSE-2007-MiranskyyMGDWG #approach #multi #scalability
An iterative, multi-level, and scalable approach to comparing execution traces (AVM, NHM, MG, MD, MW, DG), pp. 537–540.
ESEC-FSEESEC-FSE-2007-MisailovicMPKM #generative #parallel #testing
Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.
SACSAC-2007-NarendraO #approach #composition #modelling #web #web service
Modeling web service composition and execution via a requirements-driven approach (NCN, BO), pp. 1642–1648.
CGOCGO-2007-DaiLH #network #pipes and filters #using
Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors (JD, LL, BH), pp. 312–324.
DACDAC-2007-KirnerS #analysis #modelling #worst-case
Modeling the Function Cache for Worst-Case Execution Time Analysis (RK, MS), pp. 471–476.
DACDAC-2007-XianLL #energy #multi #nondeterminism #realtime #scheduling
Energy-Aware Scheduling for Real-Time Multiprocessor Systems with Uncertain Task Execution Time (CX, YHL, ZL), pp. 664–669.
DATEDATE-2007-AarajRRJ #analysis #energy #framework #platform
Energy and execution time analysis of a software-based trusted platform module (NA, AR, SR, NKJ), pp. 1128–1133.
DATEDATE-2007-IndrusiakTG #behaviour #interactive #modelling #specification #uml
Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns (LSI, AT, MG), pp. 301–306.
HPCAHPCA-2007-QuinonesPG #branch #predict
Improving Branch Prediction and Predicated Execution in Out-of-Order Processors (EQ, JMP, AG), pp. 75–84.
LCTESLCTES-2007-HuangHG #embedded #energy #optimisation #pipes and filters #streaming #throughput
Joint throughput and energy optimization for pipelined execution of embedded streaming applications (PKH, MH, SG), pp. 137–139.
LCTESLCTES-2007-Kastner #abstract interpretation #analysis #worst-case
Safe worst-case execution time analysis by abstract interpretation of executable code (DK), p. 135.
LCTESLCTES-2007-YanL #architecture #clustering
Stream execution on wide-issue clustered VLIW architectures (SY, BL), pp. 158–160.
PDPPDP-2007-CoronatoPG #pervasive
Dynamic Distribution and Execution of Tasks in Pervasive Grids (AC, GDP, LG), pp. 419–423.
SOSPSOSP-2007-CriswellLDA #architecture #operating system
Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
TACASTACAS-2007-AnandOH #analysis #program transformation #symbolic computation
Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.
TACASTACAS-2007-AnandPV #java #named #symbolic computation
JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
ICLPICLP-2007-Palshikar #graph grammar #prolog #representation
Representation and Execution of a Graph Grammar in Prolog (GKP), pp. 442–443.
ISSTAISSTA-2007-dAmorimLM #object-oriented #performance #source code
Delta execution for efficient state-space exploration of object-oriented programs (Md, SL, DM), pp. 50–60.
ISSTAISSTA-2007-EnglerD #automation #scalability
Under-constrained execution: making automatic code destruction easy and scalable (DRE, DD), pp. 1–4.
ISSTAISSTA-2007-TallamTGZ #parallel #reduction #source code #thread
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.
TAPTAP-2007-GallRT #refinement #symbolic computation #testing
Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.
SIGMODSIGMOD-2006-AbadiMF #database
Integrating compression and execution in column-oriented database systems (DJA, SM, MF), pp. 671–682.
SIGMODSIGMOD-2006-LooCGGHMRRS #declarative #network #optimisation
Declarative networking: language, execution and optimization (BTL, TC, MNG, DEG, JMH, PM, RR, TR, IS), pp. 97–108.
VLDBVLDB-2006-DennyF #adaptation
Adaptive Execution of Variable-Accuracy Functions (MD, MJF), pp. 547–558.
ICPCICPC-2006-SafyallahS #dynamic analysis #mining #using
Dynamic Analysis of Software Systems using Execution Pattern Mining (HS, KS), pp. 84–88.
WCREWCRE-2006-BinkleyGHLM #concept #empirical #slicing
An Empirical Study of Executable Concept Slice Size (DB, NG, MH, ZL, KM), pp. 103–114.
WCREWCRE-2006-Ribic #concept #decompiler #embedded #equivalence #implementation #programming language
Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code (SR), pp. 307–308.
IFLIFL-2006-BonenfantFHH #functional #worst-case
Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.
SOFTVISSOFTVIS-2006-PauwKM #visualisation #web #web service
Execution patterns for visualizing web services (WDP, SK, JFM), pp. 37–45.
SOFTVISSOFTVIS-2006-Reiss #abstraction #using #visualisation
Visualizing program execution using user abstractions (SPR), pp. 125–134.
EDOCEDOC-2006-BendraouGB #abstraction #modelling #named #process #uml
UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions (RB, MPG, XB), pp. 297–306.
EDOCEDOC-2006-OgasawaraTY #modelling #process
Estimating Structures of Business Process Models from Execution Logs (SO, KT, TY), pp. 106–115.
ICEISICEIS-AIDSS-2006-Hanna #nondeterminism
Coalition Formation with Uncertain Task Execution (HH), pp. 164–169.
ICMLICML-2006-NevmyvakaFK #learning
Reinforcement learning for optimized trade execution (YN, YF, MK), pp. 673–680.
SEKESEKE-2006-SartipiS #analysis #concept #evaluation #mining
Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation (KS, HS), pp. 302–308.
SEKESEKE-2006-SunZLT #component #composition #design #framework #logic
Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution (WS, XZ, YL, ZT), pp. 268–273.
MODELSMoDELS-2006-DucasseG #metalanguage #smalltalk #using
Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.
MODELSMoDELS-2006-DucasseG #metalanguage #smalltalk #using
Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.
AdaEuropeAdaEurope-2006-Curtis #uml
SPARK Annotations Within Executable UML (DC), pp. 83–93.
AdaEuropeAdaEurope-2006-NarayananKBK
Secure Execution of Computations in Untrusted Hosts (SHKN, MTK, RRB, IK), pp. 106–118.
PLDIPLDI-2006-FeiM #monitoring #named #runtime
Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.
ASEASE-2006-DengLR #bound #named #symbolic computation
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (XD, JL, R), pp. 157–166.
ASEASE-2006-LedruB #generative #named #specification
Tobias-Z: An executable formal specification of a test generator (YL, LdB), pp. 353–354.
FSEFSE-2006-ZhangTG #performance #slicing #source code
Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.
SACSAC-2006-CasallasVAL #enterprise #modelling #named #simulation
xEAI-rules: executable models to simulate enterprise application cooperation (RC, MV, CA, NL), pp. 1308–1309.
SACSAC-2006-DobrzanskiK #approach #modelling #refactoring #uml
An approach to refactoring of executable UML models (LD, LK), pp. 1273–1279.
SACSAC-2006-Kerrigan #web #web service
Web service selection mechanisms in the Web Service Execution Environment (WSMX) (MK), pp. 1664–1668.
ASPLOSASPLOS-2006-MishraCCVGB #named
Tartan: evaluating spatial computation for whole program execution (MM, TJC, TC, GV, SCG, MB), pp. 163–174.
CCCC-2006-GuoRW #fault #locality
Accurately Choosing Execution Runs for Software Fault Localization (LG, AR, TW), pp. 80–95.
CCCC-2006-YasugiHY #lightweight #stack
Lightweight Lexical Closures for Legitimate Execution Stack Access (MY, TH, TY), pp. 170–184.
CGOCGO-2006-ChenGSUWZLZ #framework #java
Java JNI Bridge: A Framework for Mixed Native ISA Execution (MC, SG, SS, VU, YW, QZ, EL, YZ), pp. 65–75.
DATEDATE-2006-ArpinenKSHH #configuration management #distributed #framework #multi #platform #uml
Configurable multiprocessor platform with RTOS for distributed execution of UML 2.0 designed applications (TA, PK, ES, MH, TDH), pp. 1324–1329.
DATEDATE-2006-KimHG #parallel #using
Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.
HPDCHPDC-2006-SilbersteinGSL #grid #multi #scheduling
Scheduling Mixed Workloads in Multi-grids: The Grid Execution Hierarchy (MS, DG, AS, ML), pp. 291–302.
PPoPPPPoPP-2006-SpringerLRF #clustering #energy #source code
Minimizing execution time in MPI programs on an energy-constrained, power-scalable cluster (RS, DKL, BR, VWF), pp. 230–238.
ICLPICLP-2006-MeraLPCH #estimation #logic programming #profiling #static analysis #using
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.
ISSTAISSTA-2006-SiegelMAC #model checking #parallel #source code #symbolic computation #using #verification
Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.
ICTSSTestCom-2006-GastonGRT #symbolic computation
Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.
SIGMODSIGMOD-2005-MelnikBHR #model management
Supporting Executable Mappings in Model Management (SM, PAB, AYH, ER), pp. 167–178.
VLDBVLDB-2005-HaftmannKL #database #parallel
Parallel Execution of Test Runs for Database Application Systems (FH, DK, EL), pp. 589–600.
VLDBVLDB-2005-IvanovaR #parallel #query
Customizable Parallel Execution of Scientific Stream Queries (MI, TR), pp. 157–168.
VLDBVLDB-2005-Sion #assurance #database #outsourcing #query
Query Execution Assurance for Outsourced Databases (RS), pp. 601–612.
CSMRCSMR-2005-Hamou-LhadjBAL #behaviour #design #modelling
Recovering Behavioral Design Models from Execution Traces (AHL, EB, DA, TCL), pp. 112–121.
CSMRCSMR-2005-ZaidmanCDP #comprehension #mining #process
Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process (AZ, TC, SD, JP), pp. 134–142.
IWPCIWPC-2005-FischerOGG #analysis #evolution
System Evolution Tracking through Execution Trace Analysis (MF, JO, HCG, TG), pp. 237–246.
PASTEPASTE-2005-KhurshidS #library #symbolic computation
Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.
IFLIFL-2005-BradyH #framework #static analysis
A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.
DiGRADiGRA-2005-KatchabawH #game studies #quality #using
Bringing New HOPE to Networked Games: Using Optimistic Execution to Improve Quality of Service (MK, RH).
CHICHI-2005-IqbalAZB #comprehension #towards
Towards an index of opportunity: understanding changes in mental workload during task execution (STI, PDA, XSZ, BPB), pp. 311–320.
ICEISICEIS-v2-2005-LinhalisM #component #imperative #natural language
Execution of Imperative Natural Language Requisitions Based on UNL Interlingua and Software Components (FL, DdAM), pp. 254–259.
SEKESEKE-2005-SalimCKG #specification #towards
Towards Executable Specification: Combining i* and AgentSpeak(L) (FS, CFC, AK, AG), pp. 739–742.
MODELSMoDELS-2005-MullerFJ #metalanguage #object-oriented #weaving
Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.
MODELSMoDELS-2005-MullerFJ #metalanguage #object-oriented #weaving
Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.
SASSAS-2005-ChenKK #memory management #reliability
Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.
ASEASE-2005-DenmatDR #data mining #mining
Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information (TD, MD, OR), pp. 396–399.
ASEASE-2005-KapfhammerSM #testing
Testing in resource constrained execution environments (GMK, MLS, DM), pp. 418–422.
ESEC-FSEESEC-FSE-2005-HaranKOPS #classification
Applying classification techniques to remotely-collected program execution data (MH, AFK, AO, AAP, APS), pp. 146–155.
ESEC-FSEESEC-FSE-2005-ZhangG
Matching execution histories of program versions (XZ, RG), pp. 197–206.
ICSEICSE-2005-CookR #query #static typing
Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.
ICSEICSE-2005-LavazzaB #automation #metric
Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.
DATEDATE-2005-SchattkowskyMR #approach #configuration management #hardware #modelling #specification
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware (TS, WM, AR), pp. 692–697.
LCTESLCTES-2005-FarcasFPT #component #logic #realtime
Transparent distribution of real-time components based on logical execution time (EF, CF, WP, JT), pp. 31–39.
PDPPDP-2005-AlonsoHM #grid #object-oriented
An Object-Oriented View of Grid Computing Technologies to Abstract Remote Task Execution (JMA, VH, GM), pp. 235–242.
PPoPPPPoPP-2005-JungLLH #adaptation #architecture #multi #smt
Adaptive execution techniques for SMT multiprocessor architectures (CJ, DL, JL, SH), pp. 236–246.
SOSPSOSP-2005-NightingaleCF #distributed #file system
Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.
SOSPSOSP-2005-SeshadriLSPDK #legacy #named #verification
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems (AS, ML, ES, AP, LvD, PKK), pp. 1–16.
TACASTACAS-2005-XieMSN #framework #generative #named #object-oriented #symbolic computation #testing #using
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.
ICTSSTestCom-2005-ZanderDSD #approach #modelling #testing
From U2TP Models to Executable Tests with TTCN-3 — An Approach to Model Driven Testing (JZ, ZRD, IS, GD), pp. 289–303.
SIGMODSIGMOD-2004-CruanesDG #parallel #sql
Parallel SQL Execution in Oracle 10g (TC, BD, BG), pp. 850–854.
VLDBVLDB-2004-CunninghamGG #optimisation
PIVOT and UNPIVOT: Optimization and Execution Strategies in an RDBMS (CC, GG, CAGL), pp. 998–1009.
VLDBVLDB-2004-SrivastavaW
Memory-Limited Execution of Windowed Stream Joins (US, JW), pp. 324–335.
CSMRCSMR-2004-ZaidmanD #clustering #process
Managing Trace Data Volume through a Heuristical Clustering Process Based on Event Execution Frequency (AZ, SD), pp. 329–338.
IWPCIWPC-2004-BackerDV #composition #visualisation #web #web service
Web Services Composition, Execution and Visualization (MDB, GD, JV), pp. 264–265.
IWPCIWPC-2004-DanicicLH #slicing #using
Building Executable Union Slices using Conditioned Slicing (SD, ADL, MH), pp. 89–99.
SCAMSCAM-2004-BinkleyDGHKO #formal method #slicing
Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.
SCAMSCAM-2004-RoblesG #analysis #source code
Executable Source Code and Non-Executable Source Code: Analysis and Relationships (GR, JMGB), pp. 149–157.
WCREWCRE-2004-TonellaC #concept analysis #mining
Aspect Mining through the Formal Concept Analysis of Execution Traces (PT, MC), pp. 112–121.
SEFMSEFM-2004-ZhangXW #constraints #generative #symbolic computation #testing #theorem proving #using
Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques (JZ, CX, XW), pp. 242–250.
ICGTICGT-2004-BeckerLW #graph #incremental #integration #interactive #tool support
Rule Execution in Graph-Based Incremental Interactive Integration Tools (SMB, SL, BW), pp. 22–38.
CHICHI-2004-AdamczykB
If not now, when?: the effects of interruption at different moments within task execution (PDA, BPB), pp. 271–278.
EDOCEDOC-2004-KathBBEFH #behaviour #corba #modelling #towards
Towards Executable Models: Transforming EDOC Behavior Models to CORBA and BPEL (OK, AB, MB, KPE, MF, CH), pp. 267–274.
ICEISICEIS-v2-2004-ZhuangZNTZ #realtime
Dynamic Negotiation for Real-Time Manufacturing Execution (LZ, JZ, BN, YT, YZ), pp. 321–326.
ICPRICPR-v1-2004-JohnstonFD #clustering #grid #image #performance
An Event-Based Execution Model for Efficient Image Processing on Workstation Clusters and the Grid (DJJ, MF, ACD), pp. 732–735.
UMLUML-2004-PitkanenS #incremental #modelling #uml
A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.
OOPSLAOOPSLA-2004-NandaCS #web #web service
Decentralizing execution of composite web services (MGN, SC, VS), pp. 170–187.
PADLPADL-2004-WangRYC #behaviour #requirements #symbolic computation
Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.
POPLPOPL-2004-SittampalamML #incremental #specification
Incremental execution of transformation specifications (GS, OdM, KFL), pp. 26–38.
ICSEICSE-2004-AkgulMP #assembly #performance #slicing
A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.
SACSAC-2004-LischkaK #modelling
Modeling and execution of E-Learning resources (JL, DK), pp. 971–972.
GPCEGPCE-2004-HauserK #compilation #graph #process
Compiling Process Graphs into Executable Code (RH, JK), pp. 317–336.
ASPLOSASPLOS-2004-SuhLZD #data flow #information management
Secure program execution via dynamic information flow tracking (GES, JWL, DZ, SD), pp. 85–96.
DACDAC-2004-SchueleS #abstraction #analysis #assembly #source code
Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.
DATEDATE-v2-2004-MaxiaguineKT
Workload Characterization Model for Tasks with Variable Execution Demand (AM, SK, LT), pp. 1040–1045.
DATEDATE-v2-2004-PisharathCK #approach #database #in memory #query
Data Windows: A Data-Centric Approach for Query Execution in Memory-Resident Databases (JP, ANC, MTK), pp. 1352–1353.
DATEDATE-v2-2004-SchattkowskyM #embedded #modelling #realtime #specification
Model-Based Specification and Execution of Embedded Real-Time Systems (TS, WM), pp. 1392–1393.
HPCAHPCA-2004-Michaud #capacity #manycore #migration
Exploiting the Cache Capacity of a Single-Chip Multi-Core Processor with Execution Migration (PM), pp. 186–197.
HPDCHPDC-2004-WeinbergJDFH #matrix #query #using
Gridflow Description, Query, and Execution at SCEC using the SDSC Matrix (JW, AJ, AD, MF, YH), pp. 262–263.
PDPPDP-2004-FeleaT #adaptation #distributed #java
Adaptive Distributed Execution of Java Applications (VF, BT), pp. 16–31.
CAVCAV-2004-Arons #algorithm #verification
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.
CAVCAV-2004-GopalakrishnanYS #memory management #order #performance #verification
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings (GG, YY, HS), pp. 401–413.
ICLPICLP-2004-SchrijversW #constraints
Constraint Handling Rules and Tabled Execution (TS, DSW), pp. 120–136.
ICTSSTestCom-2004-Vassiliou-GiolesDS #using
Execution of External Applications using TTCN-3 (TVG, GD, IS), pp. 209–223.
VLDBVLDB-2003-AnciauxBP #memory management #query #requirements
Memory Requirements for Query Execution in Highly Constrained Devices (NA, LB, PP), pp. 694–705.
VLDBVLDB-2003-LongS #query #scalability
Optimized Query Execution in Large Search Engines with Global Page Ordering (XL, TS), pp. 129–140.
ITiCSEITiCSE-2003-Yehezkel
Making program execution comprehensible one level above the machine language (CY), pp. 124–128.
IWPCIWPC-2003-ChanHMY #object-oriented #scalability #visualisation
Scaling an Object-Oriented System Execution Visualizer through Sampling (AC, RH, GCM, ATTY), pp. 237–244.
FMFME-2003-BouquetL #case study #generative #java #testing #transaction
Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.
VISSOFTVISSOFT-2003-Hamou-LhadjL #complexity #object-oriented
Techniques for Reducing the Complexity of Object-Oriented Execution Traces (AHL, TCL), pp. 35–40.
CAiSECAiSE-2003-HallerS #consistency #information management #peer-to-peer #process
Consistent Process Execution in Peer-to-Peer Information Systems (KH, HS), pp. 289–307.
ICEISICEIS-v1-2003-FatoohiG #distributed #using #web
A Distributed Job Execution Environment Using Asynchronous Messaging and Web Technologies (RF, NG), pp. 246–251.
SEKESEKE-2003-AstesianoMMR #multi #prototype #specification
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques (EA, MM, VM, GR), pp. 578–585.
DATEDATE-2003-SchmitzAE #co-evolution #design #embedded #energy #multi
A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities (MTS, BMAH, PE), pp. 10960–10965.
HPCAHPCA-2003-IbrahimBR #multi
Slipstream Execution Mode for CMP-Based Multiprocessors (KZI, GTB, ER), pp. 179–190.
HPCAHPCA-2003-MutluSWP #scalability
Runahead Execution: An Alternative to Very Large Instruction Windows for Out-of-Order Processors (OM, JS, CW, YNP), pp. 129–140.
PDPPDP-2003-BernabeGG #3d #streaming
Reducing 3D Wavelet Transform Execution Time through the Streaming SIMD Extensions (GB, JMG, JG), pp. 49–56.
PDPPDP-2003-PortigliattiP #automation #component #constraints #java
Java Components with constraints and preferences in automatic administration of execution and placement (VP, LP), pp. 266–273.
PDPPDP-2003-TudrujM #clustering #communication #configuration management #on the fly
Communication on the Fly and Program Execution Control in a System of Dynamically Configurable SMP Clusters (MT, LM), pp. 67–74.
SOSPSOSP-2003-SekarVBBD #approach
Model-carrying code: a practical approach for safe execution of untrusted applications (RS, VNV, SB, SB, DCD), pp. 15–28.
SOSPSOSP-2003-YinMVAD #fault tolerance
Separating agreement from execution for byzantine fault tolerant services (JY, JPM, AV, LA, MD), pp. 253–267.
ESOPESOP-2003-GeilenB #network #process #requirements
Requirements on the Execution of Kahn Process Networks (MG, TB), pp. 319–334.
TACASTACAS-2003-KhurshidPV #model checking #symbolic computation #testing
Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.
VMCAIVMCAI-2003-WinEGKL #algorithm #distributed #using #verification
Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.
SIGMODSIGMOD-2002-Weininger #performance
Efficient execution of joins in a star schema (AW), pp. 542–545.
VLDBVLDB-2002-BlottK #database #in memory #protocol #transaction
An Almost-Serial Protocol for Transaction Execution in Main-Memory Database Systems (SB, HFK), pp. 706–717.
ICSMEICSM-2002-MoeS #distributed #using
Using Execution Trace Data to Improve Distributed Systems (JM, KS), pp. 640–648.
IWPCIWPC-2002-Hamou-LhadjL #analysis #scalability
Compression Techniques to Simplify the Analysis of Large Execution Traces (AHL, TCL), pp. 159–168.
PASTEPASTE-2002-AkgulM #debugging
Instruction-level reverse execution for debugging (TA, VJM), pp. 18–25.
WCREWCRE-2002-SchwarzDA #revisited
Disassembly of Executable Code Revisited (BS, SKD, GRA), pp. 45–54.
ICGTICGT-2002-ReisRASN #graph transformation #process #semantics #using
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment (CALR, RQR, MMdA, HS, DJN), pp. 254–269.
VISSOFTVISSOFT-2002-DiehlK #visual notation
Reification of Program Points for Visual Execution (SD, AK), pp. 100–109.
ICEISICEIS-2002-Al-JumailyCM #constraints #relational
An Execution Model for Preserving Cardinality Constraints in the Relational Model (HTAJ, DC, PM), pp. 819–822.
ICEISICEIS-2002-Gusikhin #framework #integration
Analytical Framework for Data Integration in Manufacturing Execution Systems (OYG), p. 7.
UMLUML-2002-JorgensenC #design #middleware #modelling #pervasive
Executable Design Models for a Pervasive Healthcare Middleware System (JBJ, SC), pp. 140–149.
OOPSLAOOPSLA-2002-MarellyHK #multi #sequence chart
Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
AdaEuropeAdaEurope-2002-BinderL #embedded #java #kernel #reliability #using
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications (WB, BL), pp. 125–135.
ICSEICSE-2002-NittoLSTT #process #uml
Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.
SACSAC-2002-Abu-GhazalehP #mobile #performance #towards #verification
Verification caching: towards efficient and secure mobile code execution environments (NBAG, DSP), pp. 964–968.
SACSAC-2002-AntoniouA #declarative
Executable declarative business rules and their use in electronic commerce (GA, MA), pp. 6–10.
SACSAC-2002-MorvanH #memory management #parallel #query
Dynamic memory allocation strategies for parallel query execution (FM, AH), pp. 897–901.
ASPLOSASPLOS-2002-RajwarG #source code #transaction
Transactional lock-free execution of lock-based programs (RR, JRG), pp. 5–17.
DATEDATE-2002-MishraDNT #automation #functional #multi #pipes and filters #verification
Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units (PM, NDD, AN, HT), pp. 36–43.
HPCAHPCA-2002-WangWCGKS #memory management
Memory Latency-Tolerance Approaches for Itanium Processors: Out-of-Order Execution vs. Speculative Precomputation (PHW, HW, JDC, EG, RMK, JPS), pp. 187–196.
HPDCHPDC-2002-LaszewskiGPF #grid #named #query
InfoGram: A Grid Service that Supports Both Information Queries and Job Execution (GvL, JG, CJP, ITF), pp. 333–342.
LCTESLCTES-SCOPES-2002-JhumkaHCS #consistency #design #embedded #on the
On systematic design of globally consistent executable assertions in embedded software (AJ, MH, VC, NS), pp. 75–84.
PDPPDP-2002-JuhaszC #parallel #predict
Execution Time Prediction for Parallel Data Processing Tasks (SJ, HC), pp. 31–38.
FASEFASE-2002-XieB #design #model checking #object-oriented #reduction
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs (FX, JCB), pp. 64–79.
FASEFASE-2002-XieLB #design #model checking #named #object-oriented
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs (FX, VL, JCB), pp. 331–335.
TACASTACAS-2002-ChaH #constraints #distributed #realtime #validation
Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems (HC, RH), pp. 83–97.
WRLAWRLA-2002-EkerKLLT #biology #logic #modelling #network
Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.
WRLAWRLA-2002-ThatiSM #maude #semantics #specification #testing #π-calculus
An Executable Specification of Asynchronous π-Calculus Semantics and May Testing in Maude 2.0 (PT, KS, NMO), pp. 261–281.
ICLPICLP-2002-DucasseL #analysis #automation
Automated Analysis of CLP(FD) Program Execution Traces (MD, LL), pp. 470–471.
ICLPICLP-2002-HayashiCO #logic programming
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming (HH, KC, AO), p. 477.
PODSPODS-2001-Schuldt #order #process #protocol #transaction
Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes (HS).
ITiCSEITiCSE-2001-LiningtonD
Picture program execution (JL, MD), p. 175.
IWPCIWPC-2001-EisenbarthKS #comprehension #concept analysis #using
Feature-Driven Program Understanding Using Concept Analysis of Execution Traces (TE, RK, DS), pp. 300–309.
IWPCIWPC-2001-MoeC #comprehension #distributed
Understanding Distributed Systems via Execution Trace Data (JM, DAC), pp. 60–67.
CHICHI-2001-KierasMB #modelling #towards
Towards demystification of direct manipulation: cognitive modeling charts the gulf of execution (DEK, DM, JAB), pp. 128–135.
VISSOFTSVIS-2001-PauwJMSVY #java #source code #visualisation
Visualizing the Execution of Java Programs (WDP, EJ, NM, GS, JMV, JY), pp. 151–162.
CAiSECAiSE-2001-SunyePHGJ #action semantics #modelling #semantics #uml #using
Using UML Action Semantics for Executable Modeling and Beyond (GS, FP, WMH, ALG, JMJ), pp. 433–447.
SEKESEKE-2001-HoudekSE #detection #empirical #fault #specification
Defect Detection for Executable Specifications — An Experiment (FH, TS, DE), pp. 10–18.
SEKESEKE-2001-Mellor #abstraction
Raising the Level of Abstraction: Model Execution and Translation (SJM), p. 1.
UMLUML-2001-EshuisW #algorithm #graph #process #uml
An Execution Algorithm for UML Activity Graphs (RE, RW), pp. 47–61.
ECOOPECOOP-2001-TatsuboriSCI #bytecode #distributed #java #legacy
A Bytecode Translator for Distributed Execution of “Legacy” Java Software (MT, TS, SC, KI), pp. 236–255.
OOPSLAOOPSLA-2001-BrechtALP #garbage collection #java
Controlling Garbage Collection and Heap Growth to Reduce the Execution Time of Java Applications (TB, EA, CL, HP), pp. 353–366.
ASEASE-2001-Lee #automation #documentation #requirements #specification
Automated Conversion from a Requirements Document to an Executable Formal Specification (BSL), p. 437.
ASEASE-2001-LenceviciusMR #design
Tracing Execution of Software for Design Coverage (RL, EM, AR), pp. 328–332.
ASEASE-2001-XieLB #model checking #set #uml
Model Checking for an Executable Subset of UML (FX, VL, JCB), pp. 333–336.
FSEESEC-FSE-2001-Coen-PorisiniDGP #safety #symbolic computation #using #verification
Using symbolic execution for verifying safety-critical systems (ACP, GD, CG, MP), pp. 142–151.
ICSEICSE-2001-BertolinoIM #architecture #testing
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (AB, PI, HM), pp. 211–220.
ICSEICSE-2001-DickinsonLP #analysis #clustering
Finding Failures by Cluster Analysis of Execution Profiles (WD, DL, AP), pp. 339–348.
SACSAC-2001-StaudtKR #data flow #process #semistructured data
Access to heterogeneous data sources for supporting business process execution (MS, JUK, UR), pp. 197–206.
DATEDATE-2001-GiustoMH #embedded #estimation #reliability
Reliable estimation of execution time of embedded software (PG, GM, EAH), pp. 580–589.
HPCAHPCA-2001-WangWKRS #scheduling
Register Renaming and Scheduling for Dynamic Execution of Predicated Code (PHW, HW, RMK, KR, JPS), pp. 15–25.
PDPPDP-2001-LerouxE #concurrent #named #object-oriented #representation #visualisation
COOPE: A Tool for Representing Concurrent Object-Oriented Program Execution through Visualisation (HL, CE), pp. 71–76.
PPoPPPPoPP-2001-KimOEFV #analysis #framework #optimisation
Reference idempotency analysis: a framework for optimizing speculative execution (SWK, ClO, RE, BF, TNV), pp. 2–11.
ESOPESOP-2001-BartheDJSS #framework #platform #semantics
A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.
FASEFASE-2001-EshuisW #diagrams #process #realtime #semantics #uml
A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.
CAVCAV-2001-Moore #modelling #state machine #symbolic computation
Rewriting for Symbolic Execution of State Machine Models (JSM), pp. 411–422.
SIGMODSIGMOD-2000-WaasG #cost analysis #query
Counting, Enumerating, and Sampling of Execution Plans in a Cost-Based Query Optimizer (FW, CAGL), pp. 499–509.
ITiCSEITiCSE-2000-Exton #comprehension #concurrent #named #object-oriented
Elucidate: a tool to aid comprehension of concurrent object oriented execution (CE), pp. 33–36.
ICSMEICSM-2000-HuMDL #analysis #c #c++ #compilation #symbolic computation #using
C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.
CAiSECAiSE-2000-ObermairS #transaction
Temporally Faithful Execution of Business Transactions (WO, MS), pp. 462–481.
ICPRICPR-v2-2000-KosmalaRB #online #recognition
On-Line Handwritten Formula Recognition with Integrated Correction Recognition and Execution (AK, GR, AB), pp. 2590–2593.
ICPRICPR-v4-2000-MendezMOH #simulation
Remote Robot Execution through WWW Simulation (STPM, FTM, FO, FACH), pp. 4503–4506.
SPLCSPLC-2000-DoerrS #architecture #dependence #product line
Freeing product line architectures from execution dependencies (BSD, DS), pp. 313–330.
TOOLSTOOLS-EUROPE-2000-HartwichT #distributed #object-oriented #performance
Operation Execution Groups: Efficient Operation Processing in Widely Distributed Object Systems (CH, ST), pp. 157–168.
AdaEuropeAdaEurope-2000-Ringler #analysis #source code #worst-case
Static Worst-Case Execution Time Analysis of Synchronous Programs (TR), pp. 56–68.
DATEDATE-2000-YooLJRCC #performance
Fast Hardware-Software Coverification by Optimistic Execution of Real Processor (SY, JeL, JJ, KR, YC, KC), pp. 663–668.
HPDCHPDC-2000-ThainL #named
Bypass: A Tool for Building Split Execution Systems (DT, ML), pp. 79–86.
LCTESLCTES-2000-CortiBG #approximate #multi #worst-case
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems (MC, RB, TRG), pp. 178–198.
TACASTACAS-2000-AronsP #comparison #verification
A Comparison of Two Verification Methods for Speculative Instruction Execution (TA, AP), pp. 487–502.
CAVCAV-2000-Velev #verification
Formal Verification of VLIW Microprocessors with Speculative Execution (MNV), pp. 296–311.
WICSAWICSA-1999-VeraPL #architecture
Event-Based Execution Architectures for Dynamic Software Systems (JV, LP, DCL), pp. 303–318.
SIGMODSIGMOD-1999-IvesFFLW #adaptation #integration #query
An Adaptive Query Execution System for Data Integration (ZGI, DF, MF, AYL, DSW), pp. 299–310.
ICSMEICSM-1999-Kajko-Mattsson99b #experience #maintenance #process
Experience Paper: Maintenance at ABB (II): Change Execution Processes (MKM), pp. 307–315.
ICSMEICSM-1999-LapierreMSAFT #automation #generative #linear #programming #testing #using
Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees (SL, EM, GS, GA, RF, PT), pp. 189–198.
TLCATLCA-1999-Ohori #compilation #morphism
A Curry-Howard Isomorphism for Compilation and Program Execution (AO), pp. 280–294.
ICEISICEIS-1999-Falsarella #corba #framework #implementation #multi #platform #using
Multi Language and Multi Platform Suport for Agent Execution Using CORBA Platform-An Implementation (OMF), p. 772.
ICEISICEIS-1999-HilaireLK #multi #specification #towards
Towards an Executable Specification of Multi-Agent Systems (VH, TL, AK), pp. 232–239.
TOOLSTOOLS-USA-1999-OmoriIY #design pattern #named
Answerer: A Design Pattern for Dynamical Conditional Execution (MO, NI, JiY), pp. 158–161.
PADLPADL-1999-CadoliPSV #named #problem #specification
NP-SPEC: An Executable Specification Language for Solving All Problems in NP (MC, LP, AS, DV), pp. 16–30.
PPDPPPDP-1999-Ruiz-AndinoASR #constraints #finite #modelling #parallel #programming
Parallel Execution Models for Constraint Programming over Finite Domains (ARA, LA, FS, JJR), pp. 134–151.
SACSAC-1999-HermannGA #adaptation #design #internet #multi
Design and Execution of Adaptive Multimedia Applications in the Internet (ACH, LPG, MJBA), pp. 624–629.
DATEDATE-1999-PasquierC #realtime #simulation
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems (OP, JPC), pp. 782–783.
HPCAHPCA-1999-HilyS #effectiveness #multi #thread
Out-of-Order Execution may not be Cost-Effective on Processors Featuring Simultaneous Multithreading (SH, AS), pp. 64–67.
HPCAHPCA-1999-TullsenG #architecture #compilation #parallel #thread
Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.
OSDIOSDI-1999-ChangG #automation #generative
Automatic I/O Hint Generation Through Speculative Execution (FWC, GAG), pp. 1–14.
OSDIOSDI-1999-FordHLMT #interface #kernel #modelling
Interface and Execution Models in the Fluke Kernel (BF, MH, JL, RM, PT), pp. 101–115.
PPoPPPPoPP-1999-TangSY #memory management #multi #runtime #thread
Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines (HT, KS, TY), pp. 107–118.
FASEFASE-1999-BruniMM #calculus #process #specification
Executable Tile Specifications for Process Calculi (RB, JM, UM), pp. 60–76.
ICLPICLP-1999-CiarliniF #hybrid #symbolic computation
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.
ICTSSIWTCS-1999-Vassiliou-GiolesSBWL #distributed #testing
Configuration and Execution Support for Distributed Tests (TVG, IS, MB, MW, ML), pp. 61–76.
TPDLECDL-1998-PaulPHC #component #distributed #named #using #workflow
RainMaker: Workflow Execution Using Distributed, Interoperable Components (SP, EP, DH, JKC), pp. 801–818.
SIGMODSIGMOD-1998-KabraD #performance #query
Efficient Mid-Query Re-Optimization of Sub-Optimal Query Execution Plans (NK, DJD), pp. 106–117.
VLDBVLDB-1998-CarinoO #optimisation #parallel
Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.
PASTEPASTE-1998-JefferyZTB #architecture #lightweight #monitoring
A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.
CIKMCIKM-1998-BouganimKV #adaptation #query #scalability #scheduling
Memory-Adaptive Scheduling for Large Query Execution (LB, OK, PV), pp. 105–115.
KRKR-1998-BacchusP #information management #modelling
Modeling an Agent’s Incomplete Knowledge During Planning and During Execution (FB, RPAP), pp. 432–443.
KRKR-1998-GiacomoRS #monitoring #source code
Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.
KRKR-1998-MuscettolaMT #performance
Reformulating Temporal Plans for Efficient Execution (NM, PHM, IT), pp. 444–452.
UMLUML-1998-MellorTAL #precise #semantics #uml
An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.
AdaEuropeAdaEurope-1998-HarbourRGG #ada #implementation #realtime #using
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications (MGH, MAR, JJGG, JCPG), pp. 90–101.
PPDPALP-PLILP-1998-EskilsonC #parallel #prolog #thread
SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.
PLDIPLDI-1998-SastryPS #float #integer
Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.
POPLPOPL-1998-DebrayMW #alias #analysis
Alias Analysis of Executable Code (SKD, RM, MW), pp. 12–24.
ASPLOSASPLOS-1998-KrintzCLZ #mobile #source code #strict #using
Overlapping Execution with Transfer Using Non-Strict Execution for Mobile Programs (CK, BC, HBL, BGZ), pp. 159–169.
ASPLOSASPLOS-1998-Le #runtime
An Out-of-Order Execution Technique for Runtime Binary Translators (BCL), pp. 151–158.
ASPLOSASPLOS-1998-RanganathanF #distributed #empirical #modelling
An Empirical Study of Decentralized ILP Execution Models (NR, MF), pp. 272–281.
DACDAC-1998-LakshminarayanaRJ #behaviour #control flow #scheduling
Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions (GL, AR, NKJ), pp. 108–113.
HPCAHPCA-1998-Chen #adaptation #branch
Supporting Highly-Speculative Execution via Adaptive Branch Trees (TFC), pp. 185–194.
PDPPDP-1998-NiederlG #distributed #image
Method execution on a distributed image processing back-end (FN, AG), pp. 243–249.
ESOPESOP-1998-CairesM #concurrent #logic #specification
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi (LC, LM), pp. 42–56.
CAVCAV-1998-SawadaH #precise #verification
Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.
CAVCAV-1998-SkakkebaekJD #incremental #using #verification
Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.
ICTSSIWTCS-1998-KahloucheVZ #automation #empirical #generative #industrial #protocol #testing
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol (HK, CV, MZ), pp. 211–226.
ICLPJICSLP-1998-FonsecaCD #logic programming #named #parallel #source code #visualisation
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs (NAF, VSC, IdCD), pp. 100–114.
ICLPJICSLP-1998-ShenCK #distance #metric #named #parallel
Distance: A New Metric for Controlling Granularity for Parallel Execution (KS, VSC, AK), pp. 85–99.
WPCWPC-1997-KorelR #comprehension #slicing
Dynamic Program Slicing in Understanding of Program Execution (BK, JR), pp. 80–89.
CAiSECAiSE-1997-TombrosGD #component #semantics #workflow
Semantics of Reactive Components in Event-Driven Workflow Execution (DT, AG, KRD), pp. 409–422.
CIKMCIKM-1997-DogduO #realtime #transaction
Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, ), pp. 301–308.
CIKMCIKM-1997-KimC #approach #database #static analysis
A Practical Approach to Static Analysis and Execution of Rules in Active Databases (SKK, SC), pp. 161–168.
TOOLSTOOLS-PACIFIC-1997-NayaNYHOA #development #morphism #object-oriented #optimisation #polymorphism
Object-Oriented Development Based on Polymorphism Patterns and Optimization to Reduce Executable Code Size (HN, FN, TY, LH, KO, MA), pp. 68–79.
PLDIPLDI-1997-Goodwin #analysis #data flow #interprocedural
Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.
ESECESEC-FSE-1997-DucasseR #design #reuse #towards
Executable Connectors: Towards Reusable Design Elements (SD, TR), pp. 483–499.
SACSAC-1997-Li97a #parallel #source code
Analyzing the expected execution times of parallel programs (KL), pp. 488–495.
SACSAC-1997-Liu #algorithm #evaluation #parallel #performance #query
Performance evaluation of processor allocation algorithms for parallel query execution (KHL), pp. 393–402.
DACDAC-1997-LavanaKBK #collaboration #design #internet #paradigm #workflow
Executable Workflows: A Paradigm for Collaborative Design on the Internet (HL, AK, FB, KK), pp. 553–558.
DACDAC-1997-NelsonJB #verification
Formal Verification of a Superscalar Execution Unit (KLN, AJ, REB), pp. 161–166.
HPDCHPDC-1997-EvenskyGCA #distributed #named #scalability
Lilith: Scalable Execution of User Code for Distributed Computing (DAE, ACG, LJC, RCA), pp. 305–314.
PDPPDP-1997-IsmailC #approach #graph #multi #scheduling
A greedy approach for scheduling directed cyclic weighted task graphs on multiprocessors running under the macrodataflow model of execution (MAI, TC), pp. 47–53.
PDPPDP-1997-RonsseZ
Execution replay for treadmarks (MR, WZ), pp. 343–350.
PPoPPPPoPP-1997-FuY #parallel #performance
Space and Time Efficient Execution of Parallel Irregular Computation (CF, TY), pp. 57–68.
STOCSTOC-1997-EdmondsCBD #multi #scheduling
Non-clairvoyant Multiprocessor Scheduling of Jobs with Changing Execution Characteristics (JE, DDC, TB, XD), pp. 120–129.
ICLPICLP-1997-HuangSS #modelling #parallel
Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models (ZH, CS, AS), p. 410.
ICLPICLP-1997-VaupelGP #logic programming #source code #visualisation
Visualization of And/Or-Parallel Execution of Logic Programs (RV, EP, GG), pp. 271–285.
SIGMODSIGMOD-1996-HellersteinN #query
Query Execution Techniques for Caching Expensive Methods (JMH, JFN), pp. 423–434.
VLDBVLDB-1996-SarawagiS #database #memory management #order #query
Reordering Query Execution in Tertiary Memory Databases (SS, MS), pp. 156–167.
CAiSECAiSE-1996-GalES #named
TALE: A Temporal Active Language and Execution Model (AG, OE, AS), pp. 60–81.
OOPSLAOOPSLA-1996-HassenAB #distributed #flexibility
A Flexible Operation Execution Model for Shared Distributed Objects (SBH, IA, HEB), pp. 30–50.
PPDPPLILP-1996-GehrkeH #named #specification
ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.
ICSEICSE-1996-HarelG #modelling
Executable Object Modeling with Statecharts (DH, EG), pp. 246–257.
DACDAC-1996-Gupta #analysis #constraints #embedded
Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems (RKG), pp. 601–604.
HPDCHPDC-1996-IversonOF #distributed #estimation #runtime #statistics
Run-Time Statistical Estimation of Task Execution Times for Heterogeneous Distributed Computing (MAI, , GJF), pp. 263–270.
ICLPJICSLP-1996-KusalikP #logic programming #parallel #performance #visualisation
Visualizing Parallel Logic Program Execution for Performance Tuning (AJK, SDP), pp. 498–512.
SIGMODSIGMOD-1995-ChaudhuriDY #optimisation #query
Join Queries with External Text Sources: Execution and Optimization Techniques (SC, UD, TWY), pp. 410–422.
SIGMODSIGMOD-1995-DavisonG #multi #query
Dynamic Resource Brokering for Multi-User Query Execution (DLD, GG), pp. 281–292.
SIGMODSIGMOD-1995-GardarinMP #functional #named #query
OFL: A Functional Execution Model for Object Query Languages (GG, FM, PP), pp. 59–70.
TFPIEFPLE-1995-KlugeRS #education #functional #programming #using
Using pi-RED as a Teaching Tool for Functional Programming and Program Execution (WEK, CR, SBS), pp. 231–249.
WCREWCRE-1995-CimitileLM #reuse #symbolic computation #using
Qualifying Reusable Functions Using Symbolic Execution (AC, ADL, MM).
CIKMCIKM-1995-HameurlainM #parallel #query #scheduling #sql
Scheduling and Mapping for Parallel Execution of Extended SQL Queries (AH, FM), pp. 197–204.
CIKMCIKM-1995-HerzogS #constraints #parallel
Parallel Execution of Integrity Constraint Checks (UH, RS), pp. 82–89.
SEKESEKE-1995-Jent #named #specification
DODAN/2: An Executable Specification Language for OS/2 (SAJ), pp. 464–469.
SEKESEKE-1995-Lee #logic programming #parallel #source code
Parallel Execution of Logic Programs with Breadth-first Search (WSL), pp. 470–477.
PLDIPLDI-1995-LarusS #editing #independence #named
EEL: Machine-Independent Executable Editing (JRL, ES), pp. 291–300.
PPDPPLILP-1995-MeristeP #modelling #specification
Attributed Models of Executable Specifications (MM, JP), pp. 459–460.
POPLPOPL-1995-DawsonRRSSSW #logic programming #performance #source code #unification
Unification Factoring for Efficient Execution of Logic Programs (SD, CRR, IVR, KFS, SS, TS, DSW), pp. 247–258.
SASSAS-1995-RaoS #prolog #source code
Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs (MRKKR, RKS), pp. 243–260.
ESECESEC-1995-GaskellP #ambiguity #analysis #semantics
A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation (CG, RP), pp. 235–253.
SACSAC-1995-PandaP #cost analysis #query
Query execution in prism and seaview: a cost analysis (BP, WP), pp. 65–70.
DACDAC-1995-WalkerG #algorithm #distributed #parallel #simulation
Asynchronous, Distributed Event Driven Simulation Algorithm for Execution of VHDL on Parallel Processors (PAW, SG), pp. 144–150.
HPCAHPCA-1995-FarkasJC #how #multi #question
How Useful Are Non-Blocking Loads, Stream Buffers and Speculative Execution in Multiple Issue Processors? (KIF, NPJ, PC), pp. 78–89.
LCTESLCT-RTS-1995-HuangL #concurrent #predict #worst-case
Predicting the Worst-Case Execution Time of the Concurrent Execution of Instructions and Cycle-Stealing DMA I/O Operations (TYH, JWSL), pp. 1–6.
LCTESLCT-RTS-1995-NilsenR #analysis #worst-case
Worst-Case Execution Time Analysis on Modern Processors (KDN, BR), pp. 20–30.
PDPPDP-1995-ColiP #parallel
Global execution time minimization by allocating tasks in parallel systems (MC, PP), pp. 91–97.
TAPSOFTTAPSOFT-1995-BertotF #reasoning #specification
Reasoning with Executable Specifications (YB, RF), pp. 531–545.
ICLPICLP-1995-BarbutiFS #modelling #prolog #using
Modeling OR-Parallel Execution of Prolog using CHOCS (RB, NDF, AS), pp. 547–561.
ICLPICLP-1995-IsozakiK #estimation #logic programming #source code #transaction
Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths (HI, HK), p. 822.
ICLPICLP-1995-SagonasW #implementation #performance #prolog
Efficient Execution of HiLog in WAM-based Prolog Implementations (KFS, DSW), pp. 349–363.
SIGMODSIGMOD-1994-HsiaoCY #on the #parallel #pipes and filters
On Parallel Execution of Multiple Pipelined Hash Joins (HIH, MSC, PSY), pp. 185–196.
LISPLFP-1994-ReistadG
Static Dependent Costs for Estimating Execution Time (BR, DKG), pp. 65–78.
SEKESEKE-1994-ArndtGPT #logic programming #source code #symbolic computation
Symbolic execution of logic programs (TA, AG, GP, GT), pp. 414–421.
ECOOPECOOP-1994-PauwKV #modelling #object-oriented
Modeling Object-Oriented Program Execution (WDP, DK, JMV), pp. 163–182.
AdaEuropeAdaEurope-1994-AbadieB #development #named #realtime
CEDEX — A Tool for the Selection of a Development and Execution Environment for Real Time On-Board Applications (JA, BB), pp. 465–482.
LOPSTRLOPSTR-1994-Renault #source code
Generalizing Extended Execution for Normal Programs (SR), pp. 154–169.
POPLPOPL-1994-Paakki #functional #logic programming #multi #source code
Multi-Pass Execution of Functional Logic Programs (JP), pp. 361–374.
AdaTRI-Ada-1994-Moody #architecture #multi #process
The STARS Process Engine: Language and Architecture to Support Process Capture and Multi-User Execution (SAM), pp. 4–15.
SACSAC-1994-ChangCG #abstract interpretation #bottom-up #logic programming #source code
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.
CCCC-1994-ErtlK #exception
Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.
DACDAC-1994-RadivojevicB #scheduling
Incorporating Speculative Execution in Exact Control-Dependent Scheduling (IPR, FB), pp. 479–484.
PDPPDP-1994-ChenK #flexibility #interface #memory management #network #performance
Integrating Memory And Network Accesses : A Flexible Processor-network Interface For Efficient Application Execution (YYC, CTK), pp. 103–110.
PDPPDP-1994-KalanteryWW #parallel #source code
Deterministic Parallel Execution Of Sequential Programs (NK, SCW, DRW), pp. 48–55.
ICLPICLP-1994-AraujoR #distributed #independence #named #parallel #prolog
PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog (LA, JJR), pp. 142–156.
ICLPICLP-1994-GuptaHPC #logic programming #named #source code
ACE: And/Or-parallel Copying-based Execution of Logic Programs (GG, MVH, EP, VSC), pp. 93–109.
ISSTAISSTA-1994-DouglasK #named #specification #symbolic computation #testing
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications (JD, RAK), pp. 15–27.
VLDBVLDB-1993-GhandeharizadehHJCELLTZ #database #implementation #modelling #on the #specification
On Implementing a Language for Specifying Active Database Execution Models (SG, RH, DJ, JC, MEM, SHL, JL, CT, GZ), pp. 441–454.
VLDBVLDB-1993-LanzelotteVZ #effectiveness #on the #optimisation #parallel
On the Effectiveness of Optimization Search Strategies for Parallel Execution Spaces (RSGL, PV, MZ), pp. 493–504.
VLDBVLDB-1993-VhanHY
Applying Hash Filters to Improving the Execution of Bushy Trees (MSC, HIH, PSY), pp. 505–516.
FMFME-1993-DoumencM #automaton #parallel
The Parallel Abstract Machine: A Common Execution Model for FDTs (GD, JFM), pp. 285–293.
FMFME-1993-GuntherSW #database #on the #source code #specification
On the Derivation of Executable Database Programs from Formal Specifications (TG, KDS, IW), pp. 351–366.
CAiSECAiSE-1993-GullaW #modelling #using #validation
Using Explanations to Improve the Validation of Executable Models (JAG, GW), pp. 118–142.
CIKMCIKM-1993-VoortS #confluence #termination
Termination and Confluence of Rule Execution (LvdV, AS), pp. 245–255.
SEKESEKE-1993-Deng #architecture #specification
Intermediate Executable Architectural Specifications for KBSA, Part II (YD), p. 586.
SEKESEKE-1993-DengES #design #object-oriented #specification
Executable Specifications for the Design of Object-Oriented Systems (YD, RKE, WS), pp. 46–53.
SEKESEKE-1993-Evangelist #architecture #specification
Intermediate Executable Architectural Specifications for KBSA, Part I (ME), p. 584.
SEKESEKE-1993-KaarelaO #automation #specification
Executable Graphic Specifications in Automation Projects (KK, AO), pp. 296–300.
OOPSLAOOPSLA-1993-OdehP #object-oriented
Object-Oriented Execution of OPS5 Production Systems (MHO, JAP), pp. 178–190.
PPDPPLILP-1993-Kastens #implementation #specification
Executable Specifications for Language Implementation (UK), pp. 1–11.
REICRE-1993-Beeck #analysis #precise #realtime #specification
Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.
REICRE-1993-HoffmannD #design #process #prototype #specification #using
Using Executable Specifications for Prototyping System Design Process (CH, BD), pp. 135–145.
ASEKBSE-1993-BailesCGP #named #specification
GRIT — An Extended Refine for More Executable Specifications (PB, MC, MG, IP), p. 19.
SACSAC-1993-MotzkinJHK #concurrent #information management #on the
On Concurrent Execution of Information Systems Applications (DM, EJ, DH, MK), pp. 775–781.
ICLPICLP-1993-CarroGH #logic programming #paradigm #parallel #source code #visualisation
Some Paradigms for Visualizing Parallel Execution of Logic Programs (MC, LMGH, MVH), pp. 184–200.
ICTSSIWPTS-1993-Phalippou
Executable Testers (MP), pp. 35–50.
SIGMODSIGMOD-1992-GangulyHK #optimisation #parallel #query
Query Optimization for Parallel Execution (SG, WH, RK), pp. 9–18.
SIGMODSIGMOD-1992-Hanson #testing
Rule Condition Testing and Action Execution in Ariel (ENH), pp. 49–58.
VLDBVLDB-1992-ChenLYY #pipes and filters #using
Using Segmented Right-Deep Trees for the Execution of Pipelined Hash Joins (MSC, MLL, PSY, HCY), pp. 15–26.
ASEKBSE-1992-Liao #on the #performance
On Efficiently Computing Derived Performance Data of Program Execution (YL), p. 25.
ICLPJICSLP-1992-AbreuPC #product line
Improving Backward Execution in the Andorra Family of Languages (SA, LMP, PC), pp. 384–398.
ICLPJICSLP-1992-ChenRR #algorithm #multi #prolog
Multistage Indexing Algorithms for Speeding Prolog Execution (TC, IVR, RR), pp. 639–653.
SIGMODSIGMOD-1991-AgrawalK #multi #transaction #using
Using Multiversion Data for Non-interfering Execution of Write-only Transactions (DA, VK), pp. 98–107.
FMVDME-1991-LarsenL #set #specification
An Executable Subset of Meta-IV with Loose Specification (PGL, PBL), pp. 604–618.
CAiSECAiSE-1991-Liu #integration #process
Software Process Planning and Execution: Coupling vs. Integration (CL), pp. 356–374.
KRKR-1991-BarringerFGH #logic
Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.
PLDIPLDI-1991-KishonHC #framework #implementation #monitoring #reasoning #semantics #specification
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.
PPDPPLILP-1991-Loyola #animation #debugging #logic programming
Extending Execution Trees for Debugging and Animation in Logic Programming (DL), pp. 419–420.
ESECESEC-1991-CreusotLRTKMS
Execution Environment for ELECTRE Applications (DC, PL, OR, YT, AK, OM, CSM), pp. 147–165.
ICLPISLP-1991-HidakaKTT #clustering #commit
A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages (YH, HK, JT, HT), pp. 470–484.
LICSLICS-1991-JouannaudO #algebra #higher-order #specification
A Computation Model for Executable Higher-Order Algebraic Specification Languages (JPJ, MO), pp. 350–361.
SEKESEKE-1990-Iyengar #logic programming #source code
Intelligent Forward Execution in Logic Programs (SRI), pp. 153–158.
SEKESEKE-1990-SheuVH #process
Integrated Process Description and Execution in Manufacturing Environments (PCYS, RV, SSH), pp. 25–32.
PPDPPLILP-1990-Fribourg #prolog
A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution (LF), pp. 174–188.
CCCC-1990-Pfahler #lr #optimisation #parsing
Optimizing Directly Executable LR Parsers (PP), pp. 179–192.
CAVCAV-1990-MorrisH #symbolic computation #verification
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines (JMM, MH), pp. 322–332.
ICLPCLP-1990-Fribourg90 #induction #logic programming #prolog #proving #source code
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction (LF), pp. 685–699.
ICLPNACLP-1990-GuptaJ90a #logic programming #modelling #on the #source code
On Criteria for Or-Parallel Execution Models of Logic Programs (GG, BJ), pp. 737–756.
ICLPNACLP-1990-Helm #on the
On the Elimination of Redundant Derivations During Execution (RH), pp. 551–568.
VLDBVLDB-1989-MurphyR #effectiveness #multi #resource management
Effective Resource Utilization for Multiprocessor Join Execution (MCM, DR), pp. 67–75.
RTARTA-1989-SekarPR #parallel #performance #term rewriting
Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution (RCS, SP, IVR), pp. 404–418.
SEKESEKE-1989-LiRPS #hybrid #modelling #paradigm #simulation
A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment (XL, AR, RP, JS), pp. 61–66.
PLDIPLDI-1989-Sarkar
Determining Average Program Execution Times and their Variance (VS), pp. 298–312.
ESECESEC-1989-MorascaP #ada #concurrent #source code #symbolic computation #using #validation
Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.
ICLPNACLP-1989-ChangC #strict
Restricted AND-Parallelism Execution Model with Side-Effects (SEC, YPC), pp. 350–368.
ICLPNACLP-1989-Helm #bottom-up #on the
On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.
ICLPNACLP-1989-Nystrom #concurrent #logic
Variable-Free Execution of Concurrent Logic Languages (SON), pp. 536–552.
ICLPNACLP-1989-RamkumarK #multi #process
Compiled Execution of the Reduce-OR Process Model on Multiprocessors (BR, LVK), pp. 313–331.
ICLPNACLP-1989-SaletoreK #logic programming #parallel #performance #source code
Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs (VAS, LVK), pp. 390–406.
ISSTATAV-1989-ChoiMP #named #scheduling
PMothra: Scheduling Mutants for Execution on a Hypercube (BC, AM, BP), pp. 58–65.
SIGMODSIGMOD-1988-Bell #data transformation #parallel #physics
A Specialized Data Management System For Parallel Execution of Particle Physics Codes (JLB), pp. 277–285.
VLDBVLDB-1988-ShekarSD #formal method #optimisation #query #semantics #trade-off
A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization (SS, JS, SD), pp. 457–467.
FMVDME-1988-JiangX #abstraction #named #specification
NUSL: An Executable Specification Language Based on Data Abstraction (XJ, YX), pp. 124–138.
LISPLFP-1988-TinkerK #parallel
Parallel Execution of Sequential Scheme with ParaTran (PT, MK), pp. 28–39.
OOPSLAOOPSLA-1988-BensleyBP #distributed #object-oriented
An Execution Model for Distributed Object-Oriented Computation (EHB, TJB, MJP), pp. 316–322.
PPoPPPPEALS-1988-LarusH #concurrent #lisp #source code
Restructuring Lisp Programs for Concurrent Execution (JRL, PNH), pp. 100–110.
ICLPJICSCP-1988-Ali88 #prolog
OR-Parallel Execution of Prolog on BC-Machine (KAMA), pp. 1531–1545.
ICLPJICSCP-1988-AttilaF88 #attribute grammar #semantics #source code
Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation (IA, PFZ), pp. 160–177.
ICLPJICSCP-1988-KaleRS88 #independence #logic programming #memory management #parallel #source code
A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs (LVK, RR, WWS), pp. 1223–1240.
ICLPJICSCP-1988-LinK88 #logic programming #memory management #multi #source code #summary
AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results (YJL, VK), pp. 1123–1141.
ICLPJICSCP-1988-NgL88 #contest #logic programming #parallel #source code
The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.
ICLPJICSCP-1988-RamanS88 #distributed #logic #problem
Fully Distributed, AND/OR-Parallel Execution of Logic Problems (PR, EWS), pp. 1188–1203.
ICLPJICSCP-1988-SomogyiRV88 #algorithm #backtracking
A Stream AND-Parallel Execution Algorithm with Backtracking (ZS, KR, JV), pp. 1142–1159.
ICLPJICSCP-1988-StormonBOR88 #agile #architecture #memory management #prolog
An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog (CDS, MRB, JVO, DFR), pp. 1448–1473.
ICLPJICSCP-1988-TsengB88 #data-driven #logic programming #parallel #source code
A Data-Driven Parallel Execution Model for Logic Programs (CCT, PB), pp. 1204–1222.
PLDIPLDI-1987-Pittman #hybrid #interpreter #performance
Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
POPLPOPL-1987-AllenCK #automation #composition #parallel #source code
Automatic Decomposition of Scientific Programs for Parallel Execution (RA, DC, KK), pp. 63–76.
ESECESEC-1987-CailletBR #ada
High Level Interpretaton of Execution Traces of Ada Tasks (JFC, CB, BR), pp. 309–317.
ASPLOSASPLOS-1987-HayesFWZ #architecture #programming language
An Architecture for the Direct Execution of the Forth Programming Language (JRH, MEF, RLW, TZ), pp. 42–49.
TAPSOFTAF-1987-Warren #modelling #prolog
Or-Parallel Execution Models of Prolog (DHDW), pp. 243–259.
TAPSOFTCFLP-1987-RoyDW #prolog
Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism (PVR, BD, YDW), pp. 111–125.
ICLPICLP-1987-Conery87 #implementation #nondeterminism
Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.
ICLPICLP-1987-Hermenegildo87 #logic programming #memory management #precedence #source code
Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs (MVH), pp. 556–575.
ICLPICLP-1987-SatoSMRG87 #clustering #memory management
KL1 Execution Model for PIM Cluster with Shared Memory (MS, HS, AM, KR, AG), pp. 338–355.
ICLPICLP-1987-Shapiro87 #algorithm #implementation #prolog
An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation (EYS), pp. 311–337.
ICLPSLP-1987-Ali87 #implementation #parallel #prolog
A Method for Implementing Cut in Parallel Execution of Prolog (KAMA), pp. 449–456.
ICLPSLP-1987-ShenW87 #prolog #simulation
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog (KS, DHDW), pp. 45–68.
ICLPSLP-1987-Warren87 #design #implementation #prolog
The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues (DHDW), pp. 92–102.
POPLPOPL-1986-JeffersonK #quantifier #specification
Executable Specifications with Quantifiers in the FASE System (SJ, SNK), pp. 318–326.
ESOPESOP-1986-SchwinnB #logic programming #source code
An And-Parallel Execution Model of Logic Programs (BS, GB), pp. 289–300.
CADECADE-1986-Lins #combinator
A New Formula for the Execution of Categorial Combinators (RDL), pp. 89–98.
ICLPICLP-1986-ChengzhengY86 #logic programming #source code
The OR-Forest Description for the Execution of Logic Programs (CS, TY), pp. 710–717.
ICLPICLP-1986-Hermenegildo86 #automaton #logic programming #source code #strict
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs (MVH), pp. 25–39.
ICLPICLP-1986-KanamoriS86 #prolog #source code #using #verification
Verification of Prolog Programs Using an Extension of Execution (TK, HS), pp. 475–489.
ICLPICLP-1986-Levy86a #memory management
Shared Memory Execution of Committed-choice Languages (JL), pp. 298–312.
ICLPICLP-1986-LinKL86 #algorithm #backtracking #logic programming #parallel #source code
An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs (YJL, VK, CHCL), pp. 55–68.
ICLPICLP-1986-Nakamura86 #functional #logic programming
Control of Logic Program Execution Based on the Functional Relations (KN), pp. 505–512.
LICSLICS-1986-BeckmanGW #algebra #logic programming #parallel #source code
An Algebraic Model of Parallel Execution of Logic Programs (LB, RG, AW), pp. 50–57.
ICLPSLP-1986-CiepielewskiH86 #evaluation #logic programming #performance #source code
Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs (AC, BH), pp. 246–257.
ICLPSLP-1986-Crammond86 #nondeterminism
An Execution Model for Committed-Choice Non-Deterministic Languages (JAC), pp. 148–158.
ICLPSLP-1986-LiM86 #logic programming #parallel
The Sync Model: A Parallel Execution Method for Logic Programming (PPL, AJM), pp. 223–234.
FPCAFPCA-1985-BushG85 #parallel #recursion #source code
Transforming Recursive Programs for Execution on Parallel Machines (VJB, JRG), pp. 350–367.
ICSEICSE-1985-HendersonW
Continous Execution: The VisiProg Environment (PBH, MW), pp. 68–74.
ICSEICSE-1985-Lee #modelling #on the #prototype #rule-based
On Executable Models for Rule-Based Prototyping (SL), pp. 210–215.
DACDAC-1985-HughesLR #automation #design #distributed #tool support
A technique for distributed execution of design automation tools (SCH, DBL, CJR), pp. 23–30.
SOSPSOSP-1985-TheimerLC
Preemptable Remote Execution Facilities for the V-System (MT, KAL, DRC), pp. 2–12.
ICLPSLP-1985-MaluszynskiK85 #logic programming #source code
Unification-Free Execution of Logic Programs (JM, HJK), pp. 78–86.
ICSEICSE-1984-MusaO #metric #reliability
A Logarithmic Poisson Execution Time Model for Software Reliability Measurement (JDM, KO), pp. 230–238.
ICLPSLP-1984-LindstromP84 #logic programming
Stream-Based Execution of Logic Programming (GL, PP), pp. 168–176.
SIGMODSIGMOD-1983-WilmsLS #distributed #protocol #quote
“I wish I were over there”: Distributed Execution Protocols for Data Definition in R* (PFW, BGL, PGS), pp. 238–242.
POPLPOPL-1983-CunyS #compilation #data-driven #source code
Compilation of Data-Driven Programs for Synchronous Execution (JEC, LS), pp. 197–202.
PLDISCC-1982-GrahamKM #graph #named #profiling
gprof: a Call Graph Execution Profiler (SLG, PBK, MKM), pp. 120–126.
PLDISCC-1982-Turba
A Facility for the Downward Execution of a High-Level Language (TNT), pp. 127–133.
PLDIBest-of-PLDI-1982-GrahamKM #graph #named #profiling
gprof: a call graph execution profiler (with retrospective) (SLG, PBK, MKM), pp. 49–57.
ICSEICSE-1982-Urban #development #functional #specification
Software Development with Executable Functional Specifications (JEU), pp. 418–419.
ASPLOSASPLOS-1982-SansonnetCPBP #architecture #lisp
Direct Execution of Lisp on a List-Directed Architecture (JPS, MC, CP, DB, JP), pp. 132–139.
ASPLOSASPLOS-1982-Wiecek #case study #compilation #set
A Case Study of VAX-11 Instruction Set Usage for Compiler Execution (CAW), pp. 177–184.
ICLPILPC-1982-Bowen82 #concurrent #logic
Concurrent Execution of Logic (KAB), pp. 26–30.
ICSEICSE-1981-ZaveY #embedded #requirements
Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.
STOCSTOC-1980-Strong #graph
Vector Execution of Flow Graphs (HRS), pp. 108–116.
SIGMODSIGMOD-1979-DeWitt #query
Query Execution in DIRECT (DJD), pp. 13–22.
VLDBVLDB-1975-FarleyS #database #query #relational
Query Execution and Index Selection for Relational Data Bases (GF, SAS), p. 519.
POPLPOPL-1975-Lester #concurrent
Program Schemas with Concurrency: Execution Time and Hangups (BPL), pp. 185–193.
SOSPSOSP-1975-ChandyR #order #probability #scheduling
Scheduling Partially Ordered Tasks with Probabilistic Execution Times (KMC, PFR), pp. 169–177.

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