BibSLEIGH — execution tag

execution

execution

Tag #execution

1075 papers:

POPL-2020-GreenbergB #semantics: Executable formal semantics for the POSIX shell (MG0, AJB), p. 30.
ASPLOS-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.
ASPLOS-2020-ZhangKE #branch #predict: Exploring Branch Predictors for Constructing Transient Execution Trojans (TZ, KK, DE), pp. 667–682.
ASPLOS-2020-ZhangSYZS0 #named #obfuscation #performance: Klotski: Efficient Obfuscated Execution against Controlled-Channel Attacks (PZ, CS, HY, DZ, ES, HJ0), pp. 1263–1276.
ICSME-2019-FarhanaIR: Synthesizing Program Execution Time Discrepancies in Julia Used for Scientific Software (EF, NI, AR), pp. 496–500.
ICSME-2019-KrismayerVRG #constraints #evolution: Comparing Constraints Mined From Execution Logs to Understand Software Evolution (TK, MV, RR, PG), pp. 491–495.
ICSME-2019-ShimariI0I #debugging #java #using: Near-Omniscient Debugging for Java Using Size-Limited Execution Trace (KS, TI, TK0, KI), pp. 398–401.
FM-2019-BoerB #on the #symbolic computation: On the Nature of Symbolic Execution (FSdB, MMB), pp. 64–80.
FM-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.
SEFM-2019-RockaiBMKB #source code: Reproducible Execution of POSIX Programs with DiOS (PR, ZB, JM, KK, JB), pp. 333–349.
ICML-2019-KipfLDZSGKB #composition #learning #named: CompILE: Compositional Imitation Learning and Execution (TK, YL, HD, VFZ, ASG, EG, PK, PWB), pp. 3418–3428.
MoDELS-2019-BousseW #domain-specific language: Domain-Level Observation and Control for Compiled Executable DSLs (EB, MW), pp. 150–160.
MoDELS-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.
PADL-2019-Bock #clustering #parallel #spreadsheet: Static Partitioning of Spreadsheets for Parallel Execution (AAB), pp. 221–237.
PLDI-2019-HallahanXBJP #lazy evaluation #symbolic computation: Lazy counterfactual symbolic execution (WTH, AX, MTB, RJ, RP), pp. 411–424.
PLDI-2019-LoringMK #javascript #regular expression #semantics #symbolic computation: Sound regular expression semantics for dynamic symbolic execution of JavaScript (BL, DM, JK), pp. 425–438.
PLDI-2019-WangDWKZ #difference #privacy #proving: Proving differential privacy with shadow execution (YW, ZD, GW, DK, DZ), pp. 655–669.
PLDI-2019-Wu0 #abstract interpretation: Abstract interpretation under speculative execution (MW, CW0), pp. 802–815.
POPL-2019-SantosMSG #composition #javascript #symbolic computation: JaVerT 2.0: compositional symbolic execution for JavaScript (JFS, PM, GS, PG), p. 31.
PPDP-2019-FarinaCG #relational #symbolic computation: Relational Symbolic Execution (GPF, SC, MG), p. 14.
PPDP-2019-LiuCS #algorithm #distributed #specification: Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms (YAL, SC, SDS), p. 15.
ASE-2019-BagherzadehJKD #modelling #named #uml: PMExec: An Execution Engine of Partial UML-RT Models (MB, KJ, NK, JD), pp. 1178–1181.
ASE-2019-BeyerL #metric #named #robust #testing: TestCov: Robust Test-Suite Execution and Coverage Measurement (DB0, TL0), pp. 1074–1077.
ASE-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.
ASE-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.
ASE-2019-Nowack #in memory #memory management #representation #symbolic computation: Fine-Grain Memory Object Representation in Symbolic Execution (MN), pp. 912–923.
ESEC-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-FSE-2019-Coviello #distributed #integration #testing: Distributed execution of test cases and continuous integration (CC), pp. 1148–1151.
ESEC-FSE-2019-KapusC #memory management #symbolic computation: A segmented memory model for symbolic execution (TK, CC), pp. 774–784.
ESEC-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.
ASPLOS-2019-JangTKSH: Heterogeneous Isolated Execution for Commodity GPUs (IJ, AT, TK, SS, JH), pp. 455–468.
ASPLOS-2019-OsterlundKOBBG #detection #kernel #multi #named: kMVX: Detecting Kernel Information Leaks with Multi-variant Execution (SÖ, KK, PO, AB, HB, CG), pp. 559–572.
ASPLOS-2019-PinaA0C #multi #named: MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution (LP, AA, MH0, CC), pp. 573–585.
ASPLOS-2019-TaramVT: Context-Sensitive Fencing: Securing Speculative Execution via Microcode Customization (MT, AV, DMT), pp. 395–410.
CASE-2019-MonnierBF: A proposed mapping method for aligning machine execution data to numerical control code (LM, WZB, SF), pp. 66–72.
CGO-2019-MururuGP #commit #modelling #optimisation: Quantifying and Reducing Execution Variance in STM via Model Driven Commit Optimization (GM, AG, SP), pp. 109–121.
ICST-2019-JoffeC #towards: Directing a Search Towards Execution Properties with a Learned Fitness Function (LJ, DC), pp. 206–216.
TAP-2019-KapusNC #constraints #integer #question #symbolic computation: Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? (TK, MN, CC), pp. 41–54.
ICSA-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.
ICPC-2018-FengDJD #abstraction #comprehension: Hierarchical abstraction of execution traces for program comprehension (YF, KD, JAJ, AvD), pp. 86–96.
ICPC-2018-LiuDAA #behaviour #component #identification #interface: Component interface identification and behavioral model discovery from software execution data (CL, BFvD, NA, WMPvdA), pp. 97–107.
ICSME-2018-HortonP #git #named #python: Gistable: Evaluating the Executability of Python Code Snippets on GitHub (EH, CP), pp. 217–227.
ICSME-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.
SEFM-2018-Balasubramanian #framework #program analysis: A Cloud-Based Execution Framework for Program Analysis (DB, DK, KSL, RK, GK), pp. 139–154.
AIIDE-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.
CIKM-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.
KDD-2018-SuttonHGC #summary: Data Diff: Interpretable, Executable Summaries of Changes in Distributions for Data Wrangling (CAS, TH, JG, RC), pp. 2279–2288.
ECMFA-2018-BarmpisKH #framework #natural language #towards: Towards a Framework for Writing Executable Natural Language Rules (KB, DSK, JH), pp. 251–263.
ECMFA-2018-LeroyBMCW #comprehension #domain-specific language: Trace Comprehension Operators for Executable DSLs (DL, EB, AM, BC, MW), pp. 293–310.
ICMT-2018-Boronat #atl #framework #prototype #semantics: A Formal Framework for Prototyping Executable Semantics in ATL (AB), pp. 157–172.
MoDELS-2018-BesnardBJTD #embedded #ltl #modelling #uml #verification: Unified LTL Verification and Embedded Execution of UML Models (VB, MB, FJ, CT, PD), pp. 112–122.
ECOOP-2018-ChenHZHK0 #learning #program transformation #symbolic computation: Learning to Accelerate Symbolic Execution via Code Transformation (JC0, WH, LZ, DH, SK, LZ0), p. 27.
ECOOP-2018-GuM00CL #automation #online #synthesis: Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis (TG, XM, CX0, YJ0, CC, JL0), p. 28.
OOPSLA-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.
OOPSLA-2018-WongMLK #bytecode #performance #program transformation: Faster variational execution with transparent bytecode transformation (CPW, JM, LL, CK), p. 30.
PLDI-2018-BaxterNPKG #javascript: Putting in all the stops: execution control for JavaScript (SB, RN, JGP, SK, AG), pp. 30–45.
POPL-2018-ChangKT #symbolic computation: Symbolic types for lenient symbolic execution (SC, AK, ET), p. 29.
PPDP-2018-SantosMGDG #javascript #symbolic computation: Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.
ASE-2018-BeyerL #named #performance #symbolic computation: CPA-SymExec: efficient symbolic execution in CPAchecker (DB, TL), pp. 900–903.
ASE-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.
ASE-2018-DustmannWC #multi #named #symbolic computation: PARTI: a multi-interval theory solver for symbolic execution (OSD, KW, CC), pp. 430–440.
ASE-2018-GaoTDR #android #symbolic computation #testing: Android testing via synthetic symbolic execution (XG, SHT, ZD, AR), pp. 419–429.
ASE-2018-Noller #difference #fuzzing #program analysis #symbolic computation: Differential program analysis with fuzzing and symbolic execution (YN), pp. 944–947.
ASE-2018-ReissXH #development #editing #named: SEEDE: simultaneous execution and editing in a development environment (SPR, QX, JH0), pp. 270–281.
ASE-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-FSE-2018-GuoWW #detection #symbolic computation: Adversarial symbolic execution for detecting concurrency-related cache timing leaks (SG, MW, CW0), pp. 377–388.
ESEC-FSE-2018-MechtaevGCR #constraints #higher-order #symbolic computation: Symbolic execution with existential second-order constraints (SM, AG, AC, AR), pp. 389–399.
ESEC-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.
GPCE-2018-LiuAT #automation #constraints #named #realtime #refactoring: RT-trust: automated refactoring for trusted execution under real-time constraints (YL, KA, ET), pp. 175–187.
ASPLOS-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.
CGO-2018-ZhangX #encoding #named: Poker: permutation-based SIMD execution of intensive tree search by path encoding (FZ0, JX), pp. 87–99.
ICST-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.
TAP-2018-LoulergueBK #axiom #specification: Ghosts for Lists: From Axiomatic to Executable Specifications (FL, AB, NK), pp. 177–184.
ICSA-2017-RimbaTWSPX #process: Comparing Blockchain and Cloud Services for Business Process Execution (PR, ABT, IW, MS, AP, XX), pp. 257–260.
ICPC-2017-DaoZM #debugging #how #locality #question: How does execution information help with information-retrieval based bug localization? (TD, LZ, NM), pp. 241–250.
ICSME-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.
SANER-2017-ChenFLLZ #parallel: Cloud-based parallel concolic execution (TC0, YF, XL, XL, XZ), pp. 437–441.
SANER-2017-GoerFM #learning #named: scat: Learning from a single execution of a binary (FdG, CF, LM), pp. 492–496.
SANER-2017-StevensR: Extracting executable transformations from distilled code changes (RS, CDR), pp. 171–181.
CIKM-2017-KangJCBK #framework: A Framework for Estimating Execution Times of IO Traces on SSDs (YK, YYJ, JC, WDB, SWK), pp. 2123–2126.
CIKM-2017-KharlamovSXPMRH #semantics: Semantic Rules for Machine Diagnostics: Execution and Management (EK, OS, GX0, RP, GM, MR, IH), pp. 2131–2134.
ICML-2017-MouLLJ #distributed #natural language #query #symbolic computation: Coupling Distributed and Symbolic Execution for Natural Language Queries (LM, ZL, HL0, ZJ), pp. 2518–2526.
ICMT-2017-Willink #eclipse #qvt: The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX (EDW), pp. 51–65.
MoDELS-2017-GreenyerG #specification #symbolic computation: Symbolic Execution for Realizability-Checking of Scenario-Based Specifications (JG, TG), pp. 312–322.
MoDELS-2017-LeducDCSB #composition #domain-specific language: Revisiting Visitors for Modular Extension of Executable DSMLs (ML, TD, BC, TvdS, OB), pp. 112–122.
OOPSLA-2017-ChasinsB #reuse #web: Skip blocks: reusing execution history to accelerate web scripts (SC, RB), p. 28.
OOPSLA-2017-MaengCL #named: Alpaca: intermittent execution without checkpoints (KM, AC, BL), p. 30.
AdaEurope-2017-DaiB #predict #realtime #roadmap #worst-case: Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems (XD, AB), pp. 87–101.
AdaEurope-2017-MohaqeqiA0 #ada #graph #semantics: An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada (MM, JA, WY0), pp. 137–152.
ASE-2017-AlatawiSM #abstract interpretation #performance #symbolic computation: Leveraging abstract interpretation for efficient dynamic symbolic execution (EA, HS, TM0), pp. 619–624.
ASE-2017-CastanoBGU #model checking: Model checker execution reports (RC, VAB, DG, SU), pp. 200–205.
ASE-2017-CoppaDD #pointer #reasoning #symbolic computation: Rethinking pointer reasoning in symbolic execution (EC, DCD, CD), pp. 613–618.
ASE-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.
ASE-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.
ASE-2017-ReissX #development #editing: A demonstration of simultaneous execution and editing in a development environment (SPR, QX), pp. 895–900.
ESEC-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-FSE-2017-GuoWW #logic #programmable #symbolic computation: Symbolic execution of programmable logic controller code (SG, MW, CW0), pp. 326–336.
ESEC-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.
CC-2017-LiLX #morphism #polymorphism #symbolic computation: Dynamic symbolic execution for polymorphism (LL, YL, JX), pp. 120–130.
CGO-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.
ICST-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.
ICST-2017-WangBO #behaviour #comparison #question #testing: Behavioral Execution Comparison: Are Tests Representative of Field Behavior? (QW, YB, AO), pp. 321–332.
ICTSS-2017-MaAYE #learning #testing: Fragility-Oriented Testing with Model Execution and Reinforcement Learning (TM, SA0, TY0, ME), pp. 3–20.
ICTSS-2017-SimosBDGKLW #combinator #framework #testing #using: Testing TLS Using Combinatorial Methods and Execution Framework (DES, JB, FD, BG, KK, YL, FW), pp. 162–177.
TAP-2017-BoudhibaGGP #summary #symbolic computation: Symbolic Execution of Transition Systems with Function Summaries (IB, CG, PLG, VP), pp. 41–58.
CBSE-2016-SchubertHG #configuration management #cyber-physical #towards: Towards Safe Execution of Reconfigurations in Cyber-Physical Systems (DS, CH, CG), pp. 33–38.
EDM-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.
SANER-2016-ChristopheBMR #framework #javascript #named #platform: Linvail: A General-Purpose Platform for Shadow Execution of JavaScript (LC, EGB, WDM, CDR), pp. 260–270.
SANER-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.
FM-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.
FM-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.
SEFM-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.
SEFM-2016-FeistMP #control flow #symbolic computation #using: Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information (JF, LM, MLP), pp. 76–81.
SEFM-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.
ICPR-2016-HajduTKH #approach #constraints #probability: Composing ensembles by a stochastic approach under execution time constraint (AH, HT, LK, LH), pp. 222–227.
KDD-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.
LOPSTR-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.
PPDP-2016-AriasC #design #evaluation: Description and evaluation of a generic design to integrate CLP and tabled execution (JA, MC), pp. 10–23.
ASE-2016-GuoKW #concurrent #incremental #named #symbolic computation: Conc-iSE: incremental symbolic execution of concurrent software (SG, MK, CW), pp. 531–542.
ASE-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.
ASE-2016-MahmoodGS #database #symbolic computation: Symbolic execution of stored procedures in database management systems (MSM, MAG, JHS), pp. 519–530.
ASE-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.
ASE-2016-StratisR #permutation #testing: Test case permutation to improve execution time (PS, AR), pp. 45–50.
FSE-2016-HasabnisS #code generation #semantics #symbolic computation: Extracting instruction semantics via symbolic execution of code generators (NH, RS), pp. 301–313.
FSE-2016-Kappler #dependence: Finding and breaking test dependencies to speed up test execution (SK), pp. 1136–1138.
FSE-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.
GPCE-2016-RosaCB #profiling: Actor profiling in virtual execution environments (AR, LYC, WB), pp. 36–46.
SLE-2016-Al-SibahiDW #symbolic computation: Symbolic execution of high-level transformations (ASAS, ASD, AW), pp. 207–220.
SLE-2016-BousseDVMDC #framework: Execution framework of the GEMOC studio (EB, TD, DV, TM, JD, BC), pp. 84–89.
ASPLOS-2016-KwonKSKSZX #lightweight #named: LDX: Causality Inference by Lightweight Dual Execution (YK, DK, WNS, KK, BS, XZ0, DX), pp. 503–515.
CAV-2016-MuellerSS #automation #symbolic computation #using #verification: Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution (PM, MS, AJS), pp. 405–425.
ICST-2016-LiewCD #named #source code #symbolic computation: Symbooglix: A Symbolic Execution Engine for Boogie Programs (DL, CC, AFD), pp. 45–56.
VMCAI-2016-HilleryMRP #summary #symbolic computation: Exact Heap Summaries for Symbolic Execution (BH, EM, NR, SP), pp. 206–225.
SIGMOD-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.
SIGMOD-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.
VLDB-2015-BuxBLHDL #named #scalability #workflow: SAASFEE: Scalable Scientific Workflow Execution Engine (MB, JB, CL, KH, JD, UL), pp. 1892–1903.
VLDB-2015-HanD #graph #parallel: Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.
VLDB-2015-LeiZRE #pipes and filters: Shared Execution of Recurring Workloads in MapReduce (CL, ZZ, EAR, MYE), pp. 714–725.
VLDB-2015-Liroz-GistauAV #named #parallel #performance: FP-Hadoop: Efficient Execution of Parallel Jobs Over Skewed Data (MLG, RA, PV), pp. 1856–1867.
SCAM-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.
MSR-2015-VasquezWBMP #android #generative #mining: Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios (MLV, MW, CBC, KM, DP), pp. 111–122.
RTA-2015-Talcott #formal method #logic #modelling: Executable Formal Models in Rewriting Logic (CLT), p. 22.
SEKE-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.
SEKE-2015-WangSZ #detection #symbolic computation: Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.
ICMT-2015-ChengMP #atl #research #semantics #validation: A Sound Execution Semantics for ATL via Translation Validation — Research Paper (ZC, RM, JFP), pp. 133–148.
MoDELS-2015-KhalilD #evolution #incremental #state machine #symbolic computation: Incremental symbolic execution of evolving state machines (AK, JD), pp. 14–23.
PLATEAU-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.
AdaEurope-2015-PinhoMMT #ada #fine-grained #parallel: An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
LOPSTR-2015-PalaciosV #functional #programming: Concolic Execution in Functional Programming by Program Instrumentation (AP, GV), pp. 277–292.
PLDI-2015-LuciaR #programming: A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
PLDI-2015-RenJKAK #hardware #performance #recursion #source code: Efficient execution of recursive programs on commodity vector hardware (BR, YJ, SK, KA, MK), pp. 509–520.
ASE-2015-FilieriPY #probability #quantifier #symbolic computation: Quantification of Software Changes through Probabilistic Symbolic Execution (N) (AF, CSP, GY), pp. 703–708.
ESEC-FSE-2015-BorgesFdP #probability #symbolic computation: Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
ESEC-FSE-2015-BraioneDP #source code #symbolic computation: Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.
ESEC-FSE-2015-Cadar #program transformation #symbolic computation: Targeted program transformations for symbolic execution (CC), pp. 906–909.
ESEC-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-FSE-2015-NguyenNDKN #detection #semantics #variability: Detecting semantic merge conflicts with variability-aware execution (HVN, MHN, SCD, CK, TNN), pp. 926–929.
ESEC-FSE-2015-SenNGC #multi #named #summary #symbolic computation #using: MultiSE: multi-path symbolic execution using value summaries (KS, GCN, LG, WC), pp. 842–853.
ICSE-v1-2015-QiuYPK #composition #symbolic computation: Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
ICSE-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.
ICSE-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.
ICSE-v1-2015-ZhangCWD0 #symbolic computation: Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.
SAC-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.
SAC-2015-ElyasovPHRVC #equivalence #testing: AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.
SAC-2015-FonsecaNRP #parallel #realtime: A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SAC-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.
SAC-2015-ShahzadJKKKH #in the cloud #mobile: Application-level task execution issues in mobile cloud computing (AS, HJ, PK, HK, BKK, JH), pp. 2285–2287.
SLE-2015-LatombeCCDP #concurrent #domain-specific language #modelling #weaving: Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.
ASPLOS-2015-HosekC #framework #performance: VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
ASPLOS-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.
ASPLOS-2015-YetimMM #communication #fault #named #parallel: CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution (YY, SM, MM), pp. 311–323.
CGO-2015-JiaoLHM #concurrent #energy #kernel: Improving GPGPU energy-efficiency through concurrent kernel execution and DVFS (QJ, ML, HPH, TM), pp. 1–11.
DAC-2015-ChenMRC #paradigm #performance: Opportunistic turbo execution in NTC: exploiting the paradigm shift in performance bottlenecks (HC, DM, SR, KC), p. 6.
DAC-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.
DATE-2015-DaneseGP #automation #behaviour #modelling: Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
DATE-2015-DoumaAP #estimation #performance #precise: Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.
DATE-2015-Ibing #architecture #symbolic computation: Architecture description language based retargetable symbolic execution (AI), pp. 241–246.
DATE-2015-PaulinoFBC #configuration management #hardware #using: Transparent acceleration of program execution using reconfigurable hardware (NMCP, JCF, JB, JMPC), pp. 1066–1071.
DATE-2015-PoplavkoSBBB #modelling #multi #realtime: Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
HPDC-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.
PDP-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.
SOSP-2015-RaychevMM #symbolic computation #using: Parallelizing user-defined aggregations using symbolic execution (VR, MM, TM), pp. 153–167.
ESOP-2015-CernyHKRZ #abstraction #analysis #worst-case: Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
CAV-2015-FisherKPW #network: Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (JF, ASK, NP, SW), pp. 544–560.
ICLP-2015-AriasC #interface #towards: Towards a Generic Interface to Integrate CLP and Tabled Execution (JA, MC), pp. 204–206.
ICLP-2015-DovierFPV #parallel: Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV), pp. 46–59.
ICLP-2015-ElsawyZA #revisited: CHR Exhaustive Execution — Revisited (AE, AZ, SA), pp. 153–165.
ICST-2015-FarzanHV #concurrent #testing: Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
ICST-2015-HonfiVM #named #symbolic computation #visualisation: SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.
ICST-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.
ICST-2015-YiYGWLZ #symbolic computation: Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.
ISSTA-2015-AdamsenMM #android #testing: Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.
ISSTA-2015-JiaGY #constraints #reuse #symbolic computation #using: Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.
ISSTA-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.
CBSE-2014-Attouchi0BM #memory management #monitoring #multitenancy: Memory monitoring in a multi-tenant OSGi execution environment (KA, GT, AB, GM), pp. 107–116.
CBSE-2014-PresslerVBR #component #deployment #embedded #estimation: Execution cost estimation for software deployment in component-based embedded systems (MP, AV, OB, WR), pp. 123–128.
VLDB-2014-JayachandranTKN #interactive #query: Combining User Interaction, Speculative Query Execution and Sampling in the DICE System (PJ, KT, NK, AN), pp. 1697–1700.
VLDB-2014-VemuriVPL #scalability: Execution Primitives for Scalable Joins and Aggregations in Map Reduce (SV, MV, KP, RL), pp. 1462–1473.
VLDB-2014-WuWHN #nondeterminism #predict #query: Uncertainty Aware Query Execution Time Prediction (WW, XW, HH, JFN), pp. 1857–1868.
CSMR-WCRE-2014-Kamiya #algorithm #keyword: An algorithm for keyword search on an execution path (TK), pp. 328–332.
CSMR-WCRE-2014-PerscheidFH #debugging: Follow the path: Debugging state anomalies along execution histories (MP, TF, RH), pp. 124–133.
ICPC-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.
SEFM-2014-RodriguezFHM #erlang #state machine #uml #verification: Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.
SFM-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.
SFM-2014-BubelMH #analysis #modelling: Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
ICFP-2014-FredrikssonG #distributed #semantics: Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
ICGT-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.
CAiSE-2014-ChanYGM #development #mining #process: Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
EDOC-2014-0001HPW #framework #implementation #modelling: Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.
ICEIS-v2-2014-ShumskyRW #calculus #process: Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.
KDIR-2014-Bleiweiss #machine learning #using: SoC Processor Discovery for Program Execution Matching Using Unsupervised Machine Learning (AB), pp. 192–201.
SEKE-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.
MoDELS-2014-TatibouetCGT #formal method #modelling #semantics #uml: Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
ECOOP-2014-FilarettiM #php #semantics: An Executable Formal Semantics of PHP (DF, SM), pp. 567–592.
ECOOP-2014-LeeKZ #concurrent #multi: Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores (KHL, DK, XZ), pp. 232–256.
OOPSLA-2014-BerganGC #parallel #source code #symbolic computation #thread: Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
HILT-2014-Seidewitz #modelling #uml: UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
LOPSTR-2014-ElsawyZA #text-to-text: Exhaustive Execution of CHR Through Source-to-Source Transformation (AE, AZ, SA), pp. 59–73.
LOPSTR-2014-Vidal #generative #prolog #testing: Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
PLDI-2014-GuptaSS #parallel #source code: Globally precise-restartable execution of parallel programs (GG, SS, GSS), p. 22.
PLDI-2014-SridharanGS #adaptation #parallel #performance #source code: Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.
ASE-2014-DingesA #generative #using: Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
ASE-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.
ASE-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.
ASE-2014-MakhdoomKS #automation #incremental #maintenance #symbolic computation #testing: Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
ASE-2014-RajanSSK #using: Accelerated test execution using GPUs (AR, SS, PS, DK), pp. 97–102.
FSE-2014-FilieriPVG #statistics #symbolic computation: Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.
ICSE-2014-AvgerinosRCB #symbolic computation: Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.
ICSE-2014-Godefroid: Micro execution (PG), pp. 539–549.
ICSE-2014-NguyenKN #testing #variability #web: Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
SAC-2014-Benner-WicknerBBG: Execution support for agenda-driven case management (MBW, MB, TB, VG), pp. 1371–1377.
SAC-2014-NogueiraMV #case study: An experimental study on execution time variation in computer experiments (PEN, RMJ, EV), pp. 1529–1534.
ASPLOS-2014-AndrusHADVN #android #named: Cider: native execution of iOS apps on android (JA, AVH, NA, CD, NV, JN), pp. 367–382.
ASPLOS-2014-BucurKC #prototype #symbolic computation: Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
ASPLOS-2014-YuHZX #performance: Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.
CGO-2014-PanditG #kernel #multi #source code: Fluidic Kernels: Cooperative Execution of OpenCL Programs on Multiple Heterogeneous Devices (PP, RG), p. 273.
CGO-2014-WuDSABGY #query #relational: Red Fox: An Execution Environment for Relational Query Processing on GPUs (HW, GFD, TS, MA, SB, MG, SY), p. 44.
DAC-2014-AgostaBPS #approach #embedded #encryption #multi: A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
DATE-2014-AlhammadP #manycore #parallel #predict #thread: Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.
DATE-2014-CaplanMMM #reliability #trade-off: Trade-offs in execution signature compression for reliable processor systems (JC, MIM, PM, BHM), pp. 1–6.
DATE-2014-DuricPSUCVB #named #power management: EVX: Vector execution on low power EDGE cores (MD, OP, AS, OSÜ, AC, MV, DB), pp. 1–4.
HPCA-2014-BalasubramanianS #comprehension #physics #reliability: Understanding the impact of gate-level physical reliability effects on whole program execution (RB, KS), pp. 60–71.
HPCA-2014-HayengaNL #architecture #named #performance: Revolver: Processor architecture for power efficient loop execution (MH, VRKN, MHL), pp. 591–602.
HPDC-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.
LCTES-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.
PPoPP-2014-IsaacsGBBSH #identification #logic #parallel: Extracting logical structure and identifying stragglers in parallel execution traces (KEI, TG, AB, PTB, MS, BH), pp. 397–398.
PPoPP-2014-LeeKZ #concurrent #multi: Infrastructure-free logging and replay of concurrent execution on multiple cores (KHL, DK, XZ), pp. 371–372.
ICST-2014-BardinKC #performance #symbolic computation #test coverage: Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
ISSTA-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.
ISSTA-2014-JustEF #analysis #clustering #mutation testing #performance: Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.
ISSTA-2014-ZhangGA #reduction #symbolic computation #testing #using: Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
SMT-2014-PalikarevaC #multi #symbolic computation: Multi-solver Support in Symbolic Execution (HP, CC), p. 15.
TAP-2014-HentschelHB #bound #symbolic computation #visualisation: Visualizing Unbounded Symbolic Execution (MH, RH, RB), pp. 82–98.
TAP-2014-KampmannGZ #bound #named #performance #verification: JTACO: Test Execution for Faster Bounded Verification (AK, JPG, AZ), pp. 134–141.
VMCAI-2014-GustavssonGL #analysis #parallel #using: Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.
CBSE-2013-LednickiCS #analysis #worst-case: Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.
QoSA-2013-BerardinelliLM #analysis #non-functional: Combining fUML and profiles for non-functional analysis based on model execution traces (LB, PL, TM), pp. 79–88.
SIGMOD-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.
SIGMOD-2013-LimB #optimisation #query: Execution and optimization of continuous queries with cyclops (HL, SB), pp. 1069–1072.
VLDB-2013-BellamkondaLJZLC #adaptation #big data #parallel: Adaptive and Big Data Scale Parallel Execution in Oracle (SB, HGL, UJ, YZ, VL, TC), pp. 1102–1113.
VLDB-2013-ChunCCRSW #framework #named: REEF: Retainable Evaluator Execution Framework (BGC, TC, CC, RR, RS, MW), pp. 1370–1373.
VLDB-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.
ICPC-2013-TrumperDT #comparison #multi #visual notation: Multiscale visual comparison of execution traces (JT, JD, ACT), pp. 53–62.
ICSM-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.
ICSM-2013-SyerJNHNF #performance: Leveraging Performance Counters and Execution Logs to Diagnose Memory-Related Performance Issues (MDS, ZMJ, MN, AEH, MNN, PF), pp. 110–119.
PASTE-2013-DingesCA #automation #concurrent #set: Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.
SCAM-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.
WCRE-2013-NayrollesMV #detection #mining: Improving SOA antipatterns detection in Service Based Systems by mining execution traces (MN, NM, PV), pp. 321–330.
WCRE-2013-Pichler #specification #symbolic computation: Specification extraction by symbolic execution (JP), pp. 462–466.
LATA-2013-CuiDFI #automaton: Execution Information Rate for Some Classes of Automata (CC, ZD, TRF, OHI), pp. 226–237.
SEFM-2013-JiHB #deduction #program transformation #symbolic computation: Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.
CHI-2013-VermeulenLHC: Crossing the bridge over norman’s gulf of execution: revealing feedforward’s true identity (JV, KL, EvdH, KC), pp. 1931–1940.
HCI-AMTE-2013-FleischmannSS #modelling #process #semantics: Semantic Execution of Subject-Oriented Process Models (AF, WS, CS), pp. 330–339.
CAiSE-2013-BarhamgiBOCCMT #privacy: Secure and Privacy-Preserving Execution Model for Data Services (MB, DB, SO, NCB, FC, MM, HT), pp. 35–50.
CAiSE-2013-ConfortiLRA #process: Supporting Risk-Informed Decisions during Business Process Execution (RC, MdL, MLR, WMPvdA), pp. 116–132.
EDOC-2013-LenhardW #process: Measuring the Portability of Executable Service-Oriented Processes (JL, GW), pp. 117–126.
KDD-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.
ECMFA-2013-0002G #debugging #model transformation: End-User Support for Debugging Demonstration-Based Model Transformation Execution (YS, JG), pp. 86–100.
MoDELS-2013-TisiPC #atl #parallel: Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
OOPSLA-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.
OOPSLA-2013-LiSWL #symbolic computation: Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.
AdaEurope-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.
LOPSTR-2013-AransayD #algebra #algorithm #formal method #linear #theorem: Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.
PPDP-2013-LamC #constraints #distributed: Decentralized execution of constraint handling rules for ensembles (ESLL, IC), pp. 205–216.
ASE-2013-HolderSDT #android: Cloud Twin: Native execution of android applications on the Windows Phone (EH, ES, MD, ET), pp. 598–603.
ASE-2013-KwonZX #framework #independence #named #platform: PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.
ASE-2013-SumnerZ #analysis #identification: Identifying execution points for dynamic analyses (WNS, XZ), pp. 81–91.
ASE-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-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.
ICSE-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.
ICSE-2013-HatcliffRCB #framework #symbolic computation #verification: Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.
ICSE-2013-HosekC #multi: Safe software updates via multi-version execution (PH, CC), pp. 612–621.
ICSE-2013-YangKP #named #symbolic computation: Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
ICSE-2013-ZhengZ #detection #static analysis #web: Path sensitive static analysis of web applications for remote code execution vulnerability detection (YZ, XZ), pp. 652–661.
SAC-2013-HeckelerSK #component #robust #testing #using: Accelerated robustness testing of state-based components using reverse execution (PH, BS, TK), pp. 1188–1195.
SAC-2013-JancewiczKMRS: Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals (RJJ, AK, LDM, AR, AAS), pp. 1816–1823.
SAC-2013-PayetDKV #analysis #scalability: EARs in the wild: large-scale analysis of execution after redirect vulnerabilities (PP, AD, CK, GV), pp. 1792–1799.
SLE-2013-ArusoaieLR #framework #symbolic computation: A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
SLE-2013-CombemaleDLMBBF #concurrent #metamodelling: Reifying Concurrency for Executable Metamodeling (BC, JD, MVL, FM, OB, BB, RBF), pp. 365–384.
SLE-2013-MayerhoferLWK #domain-specific language #named: xMOF: Executable DSMLs Based on fUML (TM, PL, MW, GK), pp. 56–75.
ASPLOS-2013-CuiHWY #symbolic computation #using #verification: Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
ASPLOS-2013-ZhangKLLS #concurrent #debugging #named #thread: ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.
CGO-2013-AnantpurG #dependence #runtime: Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.
DAC-2013-SinghDK #energy #multi #optimisation #streaming: Energy optimization by exploiting execution slacks in streaming applications on multiprocessor systems (AKS, AD, AK), p. 7.
DATE-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.
HPCA-2013-RhuE #control flow #gpu #performance: The dual-path execution model for efficient GPU control flow (MR, ME), pp. 591–602.
HPCA-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.
PDP-2013-AmorettiLS #approach #distributed: A Cooperative Approach for Distributed Task Execution in Autonomic Clouds (MA, ALL, SS), pp. 274–281.
PDP-2013-SmykT #algorithm #framework #monitoring #search-based: Genetic Algorithms Hierarchical Execution Control under a Global Application State Monitoring Infrastructure (AS, MT), pp. 16–23.
FASE-2013-LeoniDG #branch #process: Discovering Branching Conditions from Business Process Execution Logs (MdL, MD, LGB), pp. 114–129.
TACAS-2013-SlabyST #contest #named #slicing #symbolic computation: Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
CAV-2013-EsparzaLNNSS #ltl #model checking: A Fully Verified Executable LTL Model Checker (JE, PL, RN, TN, AS, JGS), pp. 463–478.
CAV-2013-PalikarevaC #multi #symbolic computation: Multi-solver Support in Symbolic Execution (HP, CC), pp. 53–68.
ICLP-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.
ICTSS-2013-Ibing #eclipse #parallel #symbolic computation: Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.
ICTSS-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.
ISSTA-2013-DevakiTSS #flexibility #performance #user interface: Efficient and flexible GUI test execution via test merging (PD, ST, NS, SS), pp. 34–44.
TAP-2013-InsaSR #algorithm #debugging #using: Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.
TAP-2013-JamrozikFTH #generative #symbolic computation #testing: Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
HT-2012-HartigF #linked data #open data #query #traversal: Foundations of traversal based query execution over linked data (OH, JCF), pp. 43–52.
SIGMOD-2012-AlagiannisBBIA #named #performance #query: NoDB: efficient query execution on raw data files (IA, RB, MB, SI, AA), pp. 241–252.
SIGMOD-2012-SimitsisWCD #data flow #multi #optimisation: Optimizing analytic data flows for multiple execution engines (AS, KW, MC, UD), pp. 829–840.
VLDB-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.
CSMR-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.
SCAM-2012-Vidal #symbolic computation #termination #verification: Closed Symbolic Execution for Verifying Program Termination (GV), pp. 34–43.
WCRE-2012-MediniAGPT #approach #named: SCAN: An Approach to Label and Relate Execution Trace Segments (SM, GA, YGG, MDP, PT), pp. 135–144.
WCRE-2012-NodaKA #abstraction: Execution Trace Abstraction Based on Meta Patterns Usage (KN, TK, KA), pp. 167–176.
WCRE-2012-QiSQZZR #modelling: Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
IFM-2012-RochaCMS #interactive #verification: A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
EDOC-2012-Holmes #design #modelling: From Business Application Execution to Design Through Model-Based Reporting (TH), pp. 143–153.
ICEIS-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.
SEKE-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.
SEKE-2012-VicenteDMM #comprehension #kernel #operating system: Improving Program Comprehension in Operating System Kernels with Execution Trace Information (EV, GD, RM, MdAM), pp. 174–179.
ECMFA-2012-Seidewitz #manycore #uml: Executable UML: From Multi-domain to Multi-core (ES), p. 1.
OOPSLA-2012-HuangZ #agile #concurrent #debugging #named #reduction: LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction (JH, CZ), pp. 451–466.
OOPSLA-2012-HuangZ12a #concurrent #source code: Execution privatization for scheduler-oblivious concurrent programs (JH, CZ), pp. 737–752.
OOPSLA-2012-SiddiquiK #analysis #scalability #symbolic computation #using: Scaling symbolic execution using ranged analysis (JHS, SK), pp. 523–536.
OOPSLA-2012-Tobin-HochstadtH #contract #higher-order #symbolic computation: Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.
AdaEurope-2012-GregertsenS #hardware #performance #using: Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit (KNG, AS), pp. 177–192.
PADL-2012-AlbertAG #concurrent #symbolic computation: Symbolic Execution of Concurrent Objects in CLP (EA, PA, MGZ), pp. 123–137.
PLDI-2012-KuznetsovKBC #performance #symbolic computation: Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
PLDI-2012-RamanZLA #flexibility #named #parallel: Parcae: a system for flexible parallel execution (AR, AZ, JWL, DIA), pp. 133–144.
POPL-2012-EllisonR #c #semantics: An executable formal semantics of C with applications (CE, GR), pp. 533–544.
PPDP-2012-MarpleBMG #set #source code: Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.
ASE-2012-JamrozikFTH #symbolic computation: Augmented dynamic symbolic execution (KJ, GF, NT, JdH), pp. 254–257.
FSE-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.
ICSE-2012-MarinescuC #symbolic computation #testing: make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
SAC-2012-ObaidAMS #database #mobile #query: Query execution on a mobile database system (AO, AMA, HM, NS), pp. 569–571.
SAC-2012-SiddiquiK #staged #symbolic computation: Staged symbolic execution (JHS, SK), pp. 1339–1346.
SAC-2012-ZurowskaD #state machine #symbolic computation #uml: Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.
SLE-2012-CombemaleHJBB #metamodelling #modelling: Bridging the Chasm between Executable Metamodeling and Models of Computation (BC, CH, CJ, FB, BB), pp. 184–203.
ASPLOS-2012-DeVuystVT #migration #multi: Execution migration in a heterogeneous-ISA chip multiprocessor (MD, AV, DMT), pp. 261–272.
CASE-2012-LeeB #framework #lifecycle #simulation #using: Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
DAC-2012-LoS #analysis #monitoring #parallel #runtime #worst-case: Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DATE-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.
DATE-2012-CanedoF #cyber-physical #industrial #parallel #towards: Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.
HPCA-2012-DuanZAT #commit #named: BulkCompactor: Optimized deterministic execution via Conflict-Aware commit of atomic blocks (YD, XZ, WA, JT), pp. 361–372.
HPCA-2012-QianST #design #named #smt: BulkSMT: Designing SMT processors for atomic-block execution (XQ, BS, JT), pp. 153–164.
OSDI-2012-GordonJMMC #migration #named: COMET: Code Offload by Migrating Execution Transparently (MSG, DAJ, SAM, ZMM, XC), pp. 93–106.
PDP-2012-BohmE: File I/O for MPI Applications in Redundant Execution Scenarios (SB, CE), pp. 112–119.
PDP-2012-DornemannBZF #peer-to-peer: Integrating Virtual Execution Environments into Peer-to-Peer Desktop Grids (KD, UB, AZ, BF), pp. 333–340.
PDP-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.
ESOP-2012-HabermaierK #correctness #on the: On the Correctness of the SIMT Execution Model of GPUs (AH, AK), pp. 316–335.
FASE-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.
CAV-2012-JaffarMNS #named #symbolic computation #verification: TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.
ICST-2012-BorgesdABP #metaheuristic #symbolic computation: Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
ICST-2012-MateoU #music #reduction: Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code) (PRM, MPU), pp. 664–672.
ICST-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.
ICST-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.
ICTSS-2012-HervieuBG #experience #industrial #testing #variability: Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
ISSTA-2012-GeldenhuysDV #probability #symbolic computation: Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.
ISSTA-2012-YangPK #symbolic computation: Memoized symbolic execution (GY, CSP, SK), pp. 144–154.
TAP-2012-Pasareanu #model checking #symbolic computation #testing: Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
VMCAI-2012-SiegelZ #invariant #parallel #source code #symbolic computation: Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.
QoSA-ISARCS-2011-HofigD #analysis: Failure-dependent execution time analysis (KH, DD), pp. 115–122.
SIGMOD-2011-Bajda-PawlikowskiASP #performance #query: Efficient processing of data warehousing queries in a split execution environment (KBP, DJA, AS, EP), pp. 1165–1176.
SIGMOD-2011-NeophytouCL #confluence #named #workflow: CONFLuEnCE: CONtinuous workFLow ExeCution Engine (PN, PKC, AL), pp. 1311–1314.
SIGMOD-2011-PandisTBKPJA #tool support #transaction: A data-oriented transaction execution engine and supporting tools (IP, PT, MB, DK, DP, RJ, AA), pp. 1237–1240.
VLDB-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.
CSMR-2011-SilvaPAM #on the #using: On the Use of Execution Trace Alignment for Driving Perfective Changes (LLS, KRP, SdA, MdAM), pp. 221–230.
ICPC-2011-Medini #automation #concept #mining #scalability: Scalable Automatic Concept Mining from Execution Traces (SM), pp. 238–241.
ICPC-2011-PirzadehSHM #concept: The Concept of Stratified Sampling of Execution Traces (HP, SS, AHL, AM), pp. 225–226.
ICSM-2011-PirzadehHS #analysis #mining: Exploiting text mining techniques in the analysis of execution traces (HP, AHL, MS), pp. 223–232.
PASTE-2011-Detten #behaviour #detection #generative #symbolic computation #towards: Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.
WCRE-2011-MyersS #using: Focusing on Execution Traces Using Diver (DM, MADS), pp. 439–440.
WCRE-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.
CIG-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.
HCI-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.
HCI-DDA-2011-FeuerstackP #interface #modelling #multimodal: Building Multimodal Interfaces Out of Executable, Model-Based Interactors and Mappings (SF, EBP), pp. 221–228.
EDOC-2011-BruningG #metamodelling #modelling #uml #workflow: UML Metamodel-based Workflow Modeling and Execution (JB, MG), pp. 97–106.
EDOC-2011-WoutersG #modelling #named: xOWL: An Executable Modeling Language for Domain Experts (LW, MPG), pp. 215–224.
ICEIS-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.
SEKE-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.
SEKE-2011-FaureFHUV #ubiquitous: User-defined Scenarios in Ubiquitous Environments: Creation, Execution Control and Sharing (MF, LF, MH, CU, SV), pp. 302–307.
ECMFA-2011-CariouBFB #contract #verification: Contracts for Model Execution Verification (EC, CB, AF, FB), pp. 3–18.
ECMFA-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.
MoDELS-2011-TisiPJC #lazy evaluation #model transformation: Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
ECOOP-2011-Bergel #smalltalk: Counting Messages as a Proxy for Average Execution Time in Pharo (AB), pp. 533–557.
TOOLS-EUROPE-2011-BockischSMA #overview: An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.
TOOLS-EUROPE-2011-RodriguezSV #dependence #metamodelling #modelling: Metamodel Dependencies for Executable Models (CR, MES, JV), pp. 83–98.
PADL-2011-Kaivola #framework #functional #validation: Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
PLDI-2011-LuciaWC #comprehension #concurrent #fault #using: Isolating and understanding concurrency errors using reconstructed execution fragments (BL, BPW, LC), pp. 378–388.
PLDI-2011-PersonYRK #incremental #symbolic computation: Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.
PLDI-2011-PrasadAG #automation #compilation #matlab #source code: Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors (AP, JA, RG), pp. 152–163.
PLDI-2011-ZhouCC #algorithm: An SSA-based algorithm for optimal speculative code motion under an execution profile (HZ, WC, FCC), pp. 98–108.
SAS-2011-MaKFH #symbolic computation: Directed Symbolic Execution (KKM, YPK, JSF, MH), pp. 95–111.
SIGAda-2011-BeltHRCHD #contract #symbolic computation #using: Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.
SIGAda-2011-EilersK #testing: Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.
ASE-2011-AnandH #java #source code #symbolic computation: Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.
ASE-2011-SilvaBB #process: Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.
ESEC-FSE-2011-MirghasemiBP #named: Querypoint: moving backwards on wrong values in the buggy execution (SM, JJB, CP), pp. 436–439.
ICSE-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.
ICSE-2011-GeTXT #named #symbolic computation #verification: DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.
ICSE-2011-MilicevicRYJ #declarative #imperative: Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.
ICSE-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.
SAC-2011-RodriguezSV #approach #composition #multi: Executable model composition: a multilevel approach (CR, MES, JV), pp. 877–884.
SLE-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.
CGO-2011-MehraraM #web: Dynamically accelerating client-side web applications through decoupled execution (MM, SAM), pp. 74–84.
DATE-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.
LCTES-2011-ThomasFK #monitoring: Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.
PDP-2011-Schuele #manycore #parallel #performance #streaming: Efficient Parallel Execution of Streaming Applications on Multi-core Processors (TS), pp. 231–238.
PPoPP-2011-JenistaED #named: OoOJava: software out-of-order execution (JCJ, YHE, BD), pp. 57–68.
PPoPP-2011-YiSF #reasoning: Cooperative reasoning for preemptive execution (JY, CS, CF), pp. 147–156.
SOSP-2011-MickensD #named #robust #web: Atlantis: robust, extensible execution environments for web applications (JWM, MD), pp. 217–231.
FASE-2011-VanoverbergheP #aspect-oriented #composition #symbolic computation: Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.
CAV-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.
ICST-2011-TsankovJOS #dynamic analysis: Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.
ISSTA-2011-PasareanuRV #symbolic computation: Symbolic execution with mixed concrete-symbolic solving (CSP, NR, WV), pp. 34–44.
ISSTA-2011-SumnerBZ #comparison: Selecting peers for execution comparison (WNS, TB, XZ), pp. 309–319.
CBSE-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.
CBSE-2010-GamaD #component #self: A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution (KG, DD), pp. 130–149.
VLDB-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.
VLDB-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.
VLDB-2010-PandisJHA #transaction: Data-Oriented Transaction Execution (IP, RJ, NH, AA), pp. 928–939.
VLDB-2011-KlingOD #database #generative #performance #xml: Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.
CSMR-2010-AsadiPAG #approach #concept #heuristic #identification: A Heuristic-Based Approach to Identify Concepts in Execution Traces (FA, MDP, GA, YGG), pp. 31–40.
ICSM-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.
SCAM-2010-KetterlinC #behaviour #memory management #source code: Recovering the Memory Behavior of Executable Programs (AK, PC), pp. 189–198.
WCRE-2010-GratiSP #diagrams #interactive #sequence chart #using #visualisation: Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.
SEFM-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.
ICFP-2010-BuissonD #configuration management #named: ReCaml: execution state as the cornerstone of reconfigurations (JB, FD), pp. 27–38.
IFL-2010-GiorgidzeGSW #haskell: Haskell Boards the Ferry — Database-Supported Program Execution for Haskell (GG, TG, TS, JW), pp. 1–18.
SOFTVIS-2010-JohnsonM #concurrent #named #source code #visualisation: Beat: a tool for visualizing the execution of object orientated concurrent programs (PJ, SM), pp. 225–226.
ICEIS-ISAS-2010-FernandesPMP #optimisation #process: Integrating and Optimizing Business Process Execution in P2P Environments (MF, MP, JAM, JSP), pp. 171–177.
ICEIS-ISAS-2010-RauberR #adaptation #architecture #manycore #parallel: Adaptive Execution of Software Systems on Parallel Multicore Architectures (TR, GR), pp. 191–198.
ICEIS-J-2010-PreisslerHL10a #concept #process #streaming #xml: An XML-Based Streaming Concept for Business Process Execution (SP, DH, WL), pp. 60–75.
CIKM-2010-ShinPWL #data type #named #online: i-SEE: integrated stream execution environment over on-line data streams (SJS, HKP, HJW, WSL), pp. 1959–1960.
KDD-2010-LaoC #modelling #performance #query #random #retrieval: Fast query execution for retrieval models based on path-constrained random walks (NL, WWC), pp. 881–888.
SEKE-2010-KalayciDFES #adaptation #distributed #workflow: Distributed and Adaptive Execution of Condor DAGMan Workflows (SK, GD, LF, OE, SMS), pp. 587–590.
SEKE-2010-KhwajaU #implementation #realtime #specification: Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
SEKE-2010-ZhangHZJM #automation #eclipse #synthesis #towards: Towards Automated Synthesis of Executable Eclipse Tutorials (NZ, GH, YZ, NJ, HM), pp. 591–598.
ECMFA-2010-EichbergMKM #modelling: Model-Driven Engineering of Machine Executable Code (ME, MM, SK, MM), pp. 104–115.
ECMFA-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.
ICMT-2010-JouaultT #atl #incremental #towards: Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.
MoDELS-v2-2010-GorpE #java #modelling #process: Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
SPLC-2010-GhanamM #feature model #modelling #testing #using: Linking Feature Models to Code Artifacts Using Executable Acceptance Tests (YG, FM), pp. 211–225.
ECOOP-2010-SamimiAM #specification: Falling Back on Executable Specifications (HS, EDA, TDM), pp. 552–576.
ECOOP-2010-StadenCM #logic #object-oriented #specification #verification: Verifying Executable Object-Oriented Specifications with Separation Logic (SvS, CC, BM), pp. 151–174.
TOOLS-EUROPE-2010-ArnaudDDPBS: Read-Only Execution for Dynamic Languages (JBA, MD, SD, DP, AB, MS), pp. 117–136.
LOPSTR-2010-InsaS #algorithm #debugging #scalability: Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.
PADL-2010-HafizF #attribute grammar #combinator #lazy evaluation #specification: Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.
PLDI-2010-KhooCF #symbolic computation #type checking: Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.
PPDP-2010-BolzLS #prolog #towards #virtual machine: Towards a jitting VM for prolog execution (CFB, ML, DS), pp. 99–108.
ASE-2010-HahnleBBR #debugging #interactive #symbolic computation #visual notation: A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.
ASE-2010-PasareanuR #bytecode #java #symbolic computation: Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.
FSE-2010-DeAntoniMTRBMGRS #named: RT-simex: retro-analysis of execution traces (JD, FM, FT, GR, JPB, CM, LG, LR, NS), pp. 377–378.
ICSE-2010-GrechanikFXMPC10a #named: Exemplar: EXEcutable exaMPLes ARchive (MG, CF, QX, CM, DP, CMC), pp. 259–262.
ICSE-2010-Hill #integration #modelling #named #testing: CUTS: a system execution modeling tool for realizing continuous system integration testing (JHH), pp. 309–310.
ICSE-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.
ICSE-2010-Nagappan #analysis: Analysis of execution log files (MN), pp. 409–412.
SAC-2010-LuNB #dependence: Timing analyzing for systems with execution dependencies between tasks (YL, TN, IB), pp. 357–358.
SAC-2010-YuRCW #scheduling: Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time (YY, SR, NC, XW), pp. 334–339.
SLE-2010-BandenerSE #behaviour #debugging #specification #visual notation: Extending DMM Behavior Specifications for Visual Execution and Debugging (NB, CS, GE), pp. 357–376.
ASPLOS-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.
CGO-2010-MarsVHS #detection #online: Contention aware execution: online contention detection and response (JM, NV, RH, MLS), pp. 257–265.
DATE-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.
DATE-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.
DATE-2010-OnoTKSNF #evaluation #modelling #performance: A modeling method by eliminating execution traces for performance evaluation (KO, MT, RK, YS, TN, NF), pp. 1337–1340.
DATE-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.
HPCA-2010-DoudalisP #hardware #named: HARE: Hardware assisted reverse execution (ID, MP), pp. 1–12.
HPCA-2010-HiltonR #energy #named: BOLT: Energy-efficient Out-of-Order Latency-Tolerant execution (ADH, AR), pp. 1–12.
HPCA-2010-XekalakisC #branch #multi: Handling branches in TLS systems with Multi-Path Execution (PX, MC), pp. 1–12.
LCTES-2010-FischmeisterB #monitoring: Sampling-based program execution monitoring (SF, YB), pp. 133–142.
OSDI-2010-WuCY: Bypassing Races in Live Applications with Execution Filters (JW, HC, JY), pp. 135–149.
PPoPP-2010-AleenSP #predict #streaming: Input-driven dynamic execution prediction of streaming applications (FA, MS, SP), pp. 315–324.
TACAS-2010-Belinfante #modelling #named #online: JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution (AB), pp. 266–270.
ICLP-J-2010-BetzRF #constraints: A complete and terminating execution model for Constraint Handling Rules (HB, FR, TWF), pp. 597–610.
ICST-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.
ICST-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.
ICST-2010-YanCZZZ #clustering: A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information (SY, ZC, ZZ, CZ, YZ), pp. 147–154.
ICTSS-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.
ISSTA-2010-DanielGM #on the #symbolic computation #using: On test repair using symbolic execution (BD, TG, DM), pp. 207–218.
ISSTA-2010-SantelicesH #dependence #multi #scalability #symbolic computation: Exploiting program dependencies for scalable multiple-path symbolic execution (RAS, MJH), pp. 195–206.
ISSTA-2010-StaatsP #generative #parallel #symbolic computation #testing: Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
CBSE-2009-HauckKKR #component #modelling #performance #predict: Modelling Layered Component Execution Environments for Performance Prediction (MH, MK, KK, RHR), pp. 191–208.
WICSA-ECSA-2009-AriasAA #scalability: Defining execution viewpoints for a large and complex software-intensive system (TBCA, PA, PA), pp. 1–10.
SIGMOD-2009-GrustMRS #named: FERRY: database-supported program execution (TG, MM, JR, TS), pp. 1063–1066.
VLDB-2009-YangRW #mining #multi #streaming: A Shared Execution Strategy for Multiple Pattern Mining Requests over Streaming Data (DY, EAR, MOW), pp. 874–885.
ICSM-2009-DaraLLST #testing #using: Using dynamic execution data to generate test cases (RD, SL, WL, ASG, LT), pp. 433–436.
ICSM-2009-ParveenTDM #distributed #framework #testing #towards: Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.
ICSM-2009-VoigtBD: Object aware execution trace exploration (SV, JB, JD), pp. 201–210.
FM-2009-VakkalankaVGK #semantics #theory and practice: Reduced Execution Semantics of MPI: From Theory to Practice (SSV, AV, GG, RMK), pp. 724–740.
IFM-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.
ICFP-2009-Steele #functional #parallel: Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful (GLSJ), pp. 1–2.
CIG-2009-ThompsonL #automation #realtime #using: Realtime execution of automated plans using evolutionary robotics (TT, JL), pp. 333–340.
VISSOFT-2009-BohnetKD #visualisation: Visualizing massively pruned execution traces to facilitate trace exploration (JB, MK, JD), pp. 57–64.
CAiSE-2009-WeberRZW #approach #declarative #empirical #process: The Declarative Approach to Business Process Execution: An Empirical Test (BW, HAR, SZ, WW), pp. 470–485.
ICEIS-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.
ICEIS-DISI-2009-SofokleousAK #generative #symbolic computation #testing: Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.
ICEIS-J-2009-BoukhebouzeABM #process #self #towards: Towards Self-healing Execution of Business Processes Based on Rules (MB, YA, ANB, ZM), pp. 501–512.
SEKE-2009-AlbuquerqueR #process: A Real Execution of a Software Process Improvement: An Opportunity to Execute a Combination of Approaches (ABA, ARR), pp. 661–665.
MoDELS-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.
MoDELS-2009-ShtelmaCM #domain-specific language #integration #message passing: Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MoDELS-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.
MoDELS-2009-ShtelmaCM #domain-specific language #integration #message passing: Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
PADL-2009-GuzmanCH #program transformation #towards: Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
PEPM-2009-MoretBV #named #profiling: CCCP: complete calling context profiling in virtual execution environments (PM, WB, AV), pp. 151–160.
ESEC-FSE-2009-VangalaCT #clustering #comparison #testing #using: Test case comparison and clustering using program profiles and static execution (VV, JC, PT), pp. 293–294.
ICSE-2009-BuseW: The road not taken: Estimating path execution frequency statically (RPLB, WW), pp. 144–154.
SAC-2009-BohnetVD #debugging #locality: Projecting code changes onto execution traces to support localization of recently introduced bugs (JB, SV, JD), pp. 438–442.
SAC-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.
SAC-2009-ZurowskaD #web #web service: Load management in model-aware execution of composite web services (KZ, RD), pp. 2134–2139.
GPCE-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.
ASPLOS-2009-SulemanMQP #architecture #manycore #symmetry: Accelerating critical section execution with asymmetric multi-core architectures (MAS, OM, MKQ, YNP), pp. 253–264.
ASPLOS-2009-TucekXZ #online #performance #validation: Efficient online validation with delta execution (JT, WX, YZ), pp. 193–204.
CGO-2009-UdupaGT #pipes and filters #source code: Software Pipelined Execution of Stream Programs on GPUs (AU, RG, MJT), pp. 200–209.
DATE-2009-OzturkK #compilation #memory management #using: Using dynamic compilation for continuing execution under reduced memory availability (ÖÖ, MTK), pp. 1373–1378.
DATE-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.
DATE-2009-VecchieTS #compilation #imperative: Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.
HPDC-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.
LCTES-2009-UdupaGT #multi #source code: Synergistic execution of stream programs on multicores with accelerators (AU, RG, MJT), pp. 99–108.
PPoPP-2009-AllenSS #dependence #parallel #set: Serialization sets: a dynamic dependence-based parallel execution model (MDA, SS, GSS), pp. 85–96.
SOSP-2009-ParkZXYKLL #multi #named #probability #sketching: PRES: probabilistic replay with execution sketching on multiprocessors (SP, YZ, WX, ZY, RK, KHL, SL), pp. 177–192.
ESOP-2009-BarthwalN #parsing: Verified, Executable Parsing (AB, MN), pp. 160–174.
CAV-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.
ICLP-2009-Koninck: Execution Control for CHR (LDK), pp. 479–483.
ICST-2009-SilvaAJ #approach #estimation #functional #testing: A Simple Approach for Estimation of Execution Effort of Functional Test Cases (DGeS, BTdA, MJ), pp. 289–298.
ICST-2009-WolovickDQ #optimisation #realtime #testing: Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.
ISSTA-2009-SaxenaPMS #source code #symbolic computation: Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.
TAP-2009-GriesmayerAJS #distributed #symbolic computation #testing: Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.
TAP-2009-Rapin #bound #model checking #symbolic computation: Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (NR), pp. 137–152.
VLDB-2008-ChaudhuriNR #feedback #framework #query: A pay-as-you-go framework for query execution feedback (SC, VRN, RR), pp. 1141–1152.
VLDB-2008-DeutchM #query #type checking #type inference: Type inference and type checking for queries on execution traces (DD, TM), pp. 352–363.
CSMR-2008-LienhardGGN #testing: Test Blueprint — Exposing Side Effects in Execution Traces to Support Writing Unit Tests (AL, TG, OG, ON), pp. 83–92.
ICPC-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.
ICPC-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.
ICSM-2008-Lo #mining #specification: Mining specifications in diversified formats from execution traces (DL), pp. 420–423.
WCRE-2008-AriasAA #dependence #scalability: Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies (TBCA, PA, PA), pp. 49–58.
ICFP-2008-Lampson #lazy evaluation: Lazy and speculative execution in computer systems (BWL), pp. 1–2.
IFL-2008-KoopmanPA #semantics: An Executable and Testable Semantics for iTasks (PWMK, RP, PA), pp. 212–232.
CAiSE-2008-VanderfeestenRA #workflow: Product Based Workflow Support: Dynamic Workflow Execution (ITPV, HAR, WMPvdA), pp. 571–574.
EDOC-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.
SEKE-2008-DaiXWLL #process: Dynamically Optimize Process Execution Based on Process-agent (JD, JX, QW, ML, HL), pp. 561–564.
SEKE-2008-FunkPC #specification: Model Interpretation for Executable Observation Specifications (MF, PvdP, HC), pp. 785–790.
SEKE-2008-KhwajaU #modelling #named #specification: RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.
SEKE-2008-MuhlenfeldMMS #modelling #ontology #process #using: Ontology-based Process Modeling and Execution Using STEP/EXPRESS (AM, WM, FM, MS), pp. 935–940.
SEKE-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.
SEKE-2008-ScheithauerWT #documentation #process #semantic gap: Bridging the Semantic Gap Between Process Documentation and Process Execution (GS, GW, CT), pp. 549–554.
ECMDA-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.
MoDELS-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.
MoDELS-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.
ECOOP-2008-ZiarekWAMSJ #java #transaction: A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.
OOPSLA-2008-XianSJ #java #parallel #source code #thread: Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.
PADL-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.
PLDI-2008-KudlurM #manycore #platform #source code: Orchestrating the execution of stream programs on multicore platforms (MK, SAM), pp. 114–124.
PLDI-2008-XinSZ #performance: Efficient program execution indexing (BX, WNS, XZ), pp. 238–248.
PPDP-2008-MeraLCH #automaton #estimation #towards: Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.
PPDP-2008-SulzmannL #constraints #parallel: Parallel execution of multi-set constraint rewrite rules (MS, ESLL), pp. 20–31.
ASE-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.
FSE-2008-LinZ: Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.
FSE-2008-PersonDEP #difference #symbolic computation: Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
ICSE-2008-CsallnerTS #invariant #named #symbolic computation: DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
ICSE-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.
ICSE-2008-WhittleWH #case study #modelling #security: Executable misuse cases for modeling security concerns (JW, DW, MH), pp. 121–130.
SAC-2008-BraghettoFP #algebra #process #using: Using process algebra to control the execution of business processes (KRB, JEF, CP), pp. 128–129.
SAC-2008-CramptonK #modelling #on the #workflow: On delegation and workflow execution models (JC, HK), pp. 2137–2144.
SAC-2008-RamnathR #adaptation #enterprise #modelling: Integrating goal modeling and execution in adaptive complex enterprises (RR, JR), pp. 532–539.
SAC-2008-RossiT #modelling #named #process: EPML: an executable process modeling language for process-aware applications (DR, ET), pp. 132–133.
SAC-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.
ASPLOS-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.
ASPLOS-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.
CGO-2008-RamanVRA #named #parallel: Spice: speculative parallel iteration chunk execution (ER, NV, RR, DIA), pp. 175–184.
DAC-2008-LiangM #analysis #modelling #probability: Cache modeling in probabilistic execution time analysis (YL, TM), pp. 319–324.
DATE-2008-HohenauerELAMBS #optimisation: Retargetable Code Optimization for Predicated Execution (MH, FE, RL, GA, HM, GB, BS), pp. 1492–1497.
DATE-2008-ParkSP #embedded #using: Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors (SP, AS, YP), pp. 1190–1195.
HPDC-2008-DiamosY #named #runtime: Harmony: an execution model and runtime for heterogeneous many core systems (GFD, SY), pp. 197–200.
HPDC-2008-SotomayorKF #using #virtual machine: Combining batch execution and leasing using virtual machines (BS, KK, ITF), pp. 87–96.
ISMM-2008-PizloPS: Path specialization: reducing phased execution overheads (FP, EP, BS), pp. 81–90.
PDP-2008-LiuWLLL #performance: Improving the Performance of Service-based Applications by Dynamic Service Execution (HL, XW, TL, XL, WL), pp. 174–182.
TACAS-2008-AnandGT #composition #symbolic computation: Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.
ICLP-2008-GuzmanCH #program transformation #sketching: A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.
ICLP-2008-KimmigCRDR #on the #performance #source code: On the Efficient Execution of ProbLog Programs (AK, VSC, RR, BD, LDR), pp. 175–189.
ICST-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.
ISSTA-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.
ISSTA-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.
CBSE-2007-LauU #case study #component: A Study of Execution Environments for Software Components (KKL, VU), pp. 107–123.
SIGMOD-2007-ElhemaliGGJ #sql: Execution strategies for SQL subqueries (ME, CAGL, TG, MJ), pp. 993–1004.
SIGMOD-2007-YangLOT #monitoring #network #query: In-network execution of monitoring queries in sensor networks (XY, HBL, MTÖ, KLT), pp. 521–532.
VLDB-2007-ChaudhuriKRP #query: Stop-and-Restart Style Execution for Long Running Decision Support Queries (SC, RK, RR, AP), pp. 735–745.
ICPC-2007-CornelissenHZMWD #comprehension #sequence #using: Understanding Execution Traces Using Massive Sequence and Circular Bundle Views (BC, DH, AZ, LM, JJvW, AvD), pp. 49–58.
WCRE-2007-SousaMUK #detection: Detecting Implied Scenarios from Execution Traces (FCdS, NCM, SU, JK), pp. 50–59.
SEFM-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.
ICFP-2007-PlasmeijerAK #interactive #named #specification #web: iTasks: executable specifications of interactive work flow systems for the web (RP, PA, PWMK), pp. 141–152.
AIIDE-2007-GorniakD #coordination #named: SquadSmart: Hierarchical Planning and Coordinated Plan Execution for Squads of Characters (PG, ILD), pp. 14–19.
GT-VMT-2007-KraemerH #collaboration #specification #state machine: Transforming Collaborative Service Specifications into Efficiently Executable State Machines (FAK, PH).
VISSOFT-2007-Hamou-Lhadj #effectiveness #scalability #visualisation: Effective Exploration and Visualization of Large Execution Traces (AHL), pp. 152–153.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-EIS-2007-Barjis #modelling: Developing Executable Models of Business Systems (JB), pp. 5–13.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-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.
SEKE-2007-GuD #component #embedded #integration #multi: QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution (ZG, QD), pp. 320–325.
ECMDA-FA-2007-FuentesS #aspect-oriented #modelling #uml: Execution of Aspect Oriented UML Models (LF, PS), pp. 83–98.
PADL-2007-MeraLPCH #profiling #static analysis: Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
PLDI-2007-ZhangTGG #fault #towards: Towards locating execution omission errors (XZ, ST, NG, RG), pp. 415–424.
ASE-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.
ASE-2007-ChangR #validation: Validating system properties exhibited in execution traces (FC, JR), pp. 517–520.
ASE-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.
ASE-2007-LoMK #mining #specification: Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.
ESEC-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-FSE-2007-MisailovicMPKM #generative #parallel #testing: Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.
SAC-2007-NarendraO #approach #composition #modelling #web #web service: Modeling web service composition and execution via a requirements-driven approach (NCN, BO), pp. 1642–1648.
CGO-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.
DAC-2007-KirnerS #analysis #modelling #worst-case: Modeling the Function Cache for Worst-Case Execution Time Analysis (RK, MS), pp. 471–476.
DAC-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.
DATE-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.
DATE-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.
HPCA-2007-QuinonesPG #branch #predict: Improving Branch Prediction and Predicated Execution in Out-of-Order Processors (EQ, JMP, AG), pp. 75–84.
LCTES-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.
LCTES-2007-Kastner #abstract interpretation #analysis #worst-case: Safe worst-case execution time analysis by abstract interpretation of executable code (DK), p. 135.
LCTES-2007-YanL #architecture #clustering: Stream execution on wide-issue clustered VLIW architectures (SY, BL), pp. 158–160.
PDP-2007-CoronatoPG #pervasive: Dynamic Distribution and Execution of Tasks in Pervasive Grids (AC, GDP, LG), pp. 419–423.
SOSP-2007-CriswellLDA #architecture #operating system: Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
TACAS-2007-AnandOH #analysis #program transformation #symbolic computation: Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.
TACAS-2007-AnandPV #java #named #symbolic computation: JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
ICLP-2007-Palshikar #graph grammar #prolog #representation: Representation and Execution of a Graph Grammar in Prolog (GKP), pp. 442–443.
ISSTA-2007-dAmorimLM #object-oriented #performance #source code: Delta execution for efficient state-space exploration of object-oriented programs (Md, SL, DM), pp. 50–60.
ISSTA-2007-EnglerD #automation #scalability: Under-constrained execution: making automatic code destruction easy and scalable (DRE, DD), pp. 1–4.
ISSTA-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.
TAP-2007-GallRT #refinement #symbolic computation #testing: Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.
SIGMOD-2006-AbadiMF #database: Integrating compression and execution in column-oriented database systems (DJA, SM, MF), pp. 671–682.
SIGMOD-2006-LooCGGHMRRS #declarative #network #optimisation: Declarative networking: language, execution and optimization (BTL, TC, MNG, DEG, JMH, PM, RR, TR, IS), pp. 97–108.
VLDB-2006-DennyF #adaptation: Adaptive Execution of Variable-Accuracy Functions (MD, MJF), pp. 547–558.
ICPC-2006-SafyallahS #dynamic analysis #mining #using: Dynamic Analysis of Software Systems using Execution Pattern Mining (HS, KS), pp. 84–88.
WCRE-2006-BinkleyGHLM #concept #empirical #slicing: An Empirical Study of Executable Concept Slice Size (DB, NG, MH, ZL, KM), pp. 103–114.
WCRE-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.
IFL-2006-BonenfantFHH #functional #worst-case: Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.
SOFTVIS-2006-PauwKM #visualisation #web #web service: Execution patterns for visualizing web services (WDP, SK, JFM), pp. 37–45.
SOFTVIS-2006-Reiss #abstraction #using #visualisation: Visualizing program execution using user abstractions (SPR), pp. 125–134.
EDOC-2006-BendraouGB #abstraction #modelling #named #process #uml: UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions (RB, MPG, XB), pp. 297–306.
EDOC-2006-OgasawaraTY #modelling #process: Estimating Structures of Business Process Models from Execution Logs (SO, KT, TY), pp. 106–115.
ICEIS-AIDSS-2006-Hanna #nondeterminism: Coalition Formation with Uncertain Task Execution (HH), pp. 164–169.
ICML-2006-NevmyvakaFK #learning: Reinforcement learning for optimized trade execution (YN, YF, MK), pp. 673–680.
SEKE-2006-SartipiS #analysis #concept #evaluation #mining: Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation (KS, HS), pp. 302–308.
SEKE-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.
MoDELS-2006-DucasseG #metalanguage #smalltalk #using: Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.
MoDELS-2006-DucasseG #metalanguage #smalltalk #using: Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.
AdaEurope-2006-Curtis #uml: SPARK Annotations Within Executable UML (DC), pp. 83–93.
AdaEurope-2006-NarayananKBK: Secure Execution of Computations in Untrusted Hosts (SHKN, MTK, RRB, IK), pp. 106–118.
PLDI-2006-FeiM #monitoring #named #runtime: Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.
ASE-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.
ASE-2006-LedruB #generative #named #specification: Tobias-Z: An executable formal specification of a test generator (YL, LdB), pp. 353–354.
FSE-2006-ZhangTG #performance #slicing #source code: Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.
SAC-2006-CasallasVAL #enterprise #modelling #named #simulation: xEAI-rules: executable models to simulate enterprise application cooperation (RC, MV, CA, NL), pp. 1308–1309.
SAC-2006-DobrzanskiK #approach #modelling #refactoring #uml: An approach to refactoring of executable UML models (LD, LK), pp. 1273–1279.
SAC-2006-Kerrigan #web #web service: Web service selection mechanisms in the Web Service Execution Environment (WSMX) (MK), pp. 1664–1668.
ASPLOS-2006-MishraCCVGB #named: Tartan: evaluating spatial computation for whole program execution (MM, TJC, TC, GV, SCG, MB), pp. 163–174.
CC-2006-GuoRW #fault #locality: Accurately Choosing Execution Runs for Software Fault Localization (LG, AR, TW), pp. 80–95.
CC-2006-YasugiHY #lightweight #stack: Lightweight Lexical Closures for Legitimate Execution Stack Access (MY, TH, TY), pp. 170–184.
CGO-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.
DATE-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.
DATE-2006-KimHG #parallel #using: Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.
HPDC-2006-SilbersteinGSL #grid #multi #scheduling: Scheduling Mixed Workloads in Multi-grids: The Grid Execution Hierarchy (MS, DG, AS, ML), pp. 291–302.
PPoPP-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.
ICLP-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.
ISSTA-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.
TestCom-2006-GastonGRT #symbolic computation: Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.
SIGMOD-2005-MelnikBHR #model management: Supporting Executable Mappings in Model Management (SM, PAB, AYH, ER), pp. 167–178.
VLDB-2005-HaftmannKL #database #parallel: Parallel Execution of Test Runs for Database Application Systems (FH, DK, EL), pp. 589–600.
VLDB-2005-IvanovaR #parallel #query: Customizable Parallel Execution of Scientific Stream Queries (MI, TR), pp. 157–168.
VLDB-2005-Sion #assurance #database #outsourcing #query: Query Execution Assurance for Outsourced Databases (RS), pp. 601–612.
CSMR-2005-Hamou-LhadjBAL #behaviour #design #modelling: Recovering Behavioral Design Models from Execution Traces (AHL, EB, DA, TCL), pp. 112–121.
CSMR-2005-ZaidmanCDP #comprehension #mining #process: Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process (AZ, TC, SD, JP), pp. 134–142.
IWPC-2005-FischerOGG #analysis #evolution: System Evolution Tracking through Execution Trace Analysis (MF, JO, HCG, TG), pp. 237–246.
PASTE-2005-KhurshidS #library #symbolic computation: Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.
IFL-2005-BradyH #framework #static analysis: A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.
DiGRA-2005-KatchabawH #game studies #quality #using: Bringing New HOPE to Networked Games: Using Optimistic Execution to Improve Quality of Service (MK, RH).
CHI-2005-IqbalAZB #comprehension #towards: Towards an index of opportunity: understanding changes in mental workload during task execution (STI, PDA, XSZ, BPB), pp. 311–320.
ICEIS-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.
SEKE-2005-SalimCKG #specification #towards: Towards Executable Specification: Combining i* and AgentSpeak(L) (FS, CFC, AK, AG), pp. 739–742.
MoDELS-2005-MullerFJ #metalanguage #object-oriented #weaving: Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.
MoDELS-2005-MullerFJ #metalanguage #object-oriented #weaving: Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.
SAS-2005-ChenKK #memory management #reliability: Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.
ASE-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.
ASE-2005-KapfhammerSM #testing: Testing in resource constrained execution environments (GMK, MLS, DM), pp. 418–422.
ESEC-FSE-2005-HaranKOPS #classification: Applying classification techniques to remotely-collected program execution data (MH, AFK, AO, AAP, APS), pp. 146–155.
ESEC-FSE-2005-ZhangG: Matching execution histories of program versions (XZ, RG), pp. 197–206.
ICSE-2005-CookR #query #static typing: Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.
ICSE-2005-LavazzaB #automation #metric: Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.
DATE-2005-SchattkowskyMR #approach #configuration management #hardware #modelling #specification: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware (TS, WM, AR), pp. 692–697.
LCTES-2005-FarcasFPT #component #logic #realtime: Transparent distribution of real-time components based on logical execution time (EF, CF, WP, JT), pp. 31–39.
PDP-2005-AlonsoHM #grid #object-oriented: An Object-Oriented View of Grid Computing Technologies to Abstract Remote Task Execution (JMA, VH, GM), pp. 235–242.
PPoPP-2005-JungLLH #adaptation #architecture #multi #smt: Adaptive execution techniques for SMT multiprocessor architectures (CJ, DL, JL, SH), pp. 236–246.
SOSP-2005-NightingaleCF #distributed #file system: Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.
SOSP-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.
TACAS-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.
TestCom-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.
SIGMOD-2004-CruanesDG #parallel #sql: Parallel SQL Execution in Oracle 10g (TC, BD, BG), pp. 850–854.
VLDB-2004-CunninghamGG #optimisation: PIVOT and UNPIVOT: Optimization and Execution Strategies in an RDBMS (CC, GG, CAGL), pp. 998–1009.
VLDB-2004-SrivastavaW: Memory-Limited Execution of Windowed Stream Joins (US, JW), pp. 324–335.
CSMR-2004-ZaidmanD #clustering #process: Managing Trace Data Volume through a Heuristical Clustering Process Based on Event Execution Frequency (AZ, SD), pp. 329–338.
IWPC-2004-BackerDV #composition #visualisation #web #web service: Web Services Composition, Execution and Visualization (MDB, GD, JV), pp. 264–265.
IWPC-2004-DanicicLH #slicing #using: Building Executable Union Slices using Conditioned Slicing (SD, ADL, MH), pp. 89–99.
SCAM-2004-BinkleyDGHKO #formal method #slicing: Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.
SCAM-2004-RoblesG #analysis #source code: Executable Source Code and Non-Executable Source Code: Analysis and Relationships (GR, JMGB), pp. 149–157.
WCRE-2004-TonellaC #concept analysis #mining: Aspect Mining through the Formal Concept Analysis of Execution Traces (PT, MC), pp. 112–121.
SEFM-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.
ICGT-2004-BeckerLW #graph #incremental #integration #interactive #tool support: Rule Execution in Graph-Based Incremental Interactive Integration Tools (SMB, SL, BW), pp. 22–38.
CHI-2004-AdamczykB: If not now, when?: the effects of interruption at different moments within task execution (PDA, BPB), pp. 271–278.
EDOC-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.
ICEIS-v2-2004-ZhuangZNTZ #realtime: Dynamic Negotiation for Real-Time Manufacturing Execution (LZ, JZ, BN, YT, YZ), pp. 321–326.
ICPR-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.
UML-2004-PitkanenS #incremental #modelling #uml: A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.
OOPSLA-2004-NandaCS #web #web service: Decentralizing execution of composite web services (MGN, SC, VS), pp. 170–187.
PADL-2004-WangRYC #behaviour #requirements #symbolic computation: Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.
POPL-2004-SittampalamML #incremental #specification: Incremental execution of transformation specifications (GS, OdM, KFL), pp. 26–38.
ICSE-2004-AkgulMP #assembly #performance #slicing: A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.
SAC-2004-LischkaK #modelling: Modeling and execution of E-Learning resources (JL, DK), pp. 971–972.
GPCE-2004-HauserK #compilation #graph #process: Compiling Process Graphs into Executable Code (RH, JK), pp. 317–336.
ASPLOS-2004-SuhLZD #data flow #information management: Secure program execution via dynamic information flow tracking (GES, JWL, DZ, SD), pp. 85–96.
DAC-2004-SchueleS #abstraction #analysis #assembly #source code: Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.
DATE-v2-2004-MaxiaguineKT: Workload Characterization Model for Tasks with Variable Execution Demand (AM, SK, LT), pp. 1040–1045.
DATE-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.
DATE-v2-2004-SchattkowskyM #embedded #modelling #realtime #specification: Model-Based Specification and Execution of Embedded Real-Time Systems (TS, WM), pp. 1392–1393.
HPCA-2004-Michaud #capacity #manycore #migration: Exploiting the Cache Capacity of a Single-Chip Multi-Core Processor with Execution Migration (PM), pp. 186–197.
HPDC-2004-WeinbergJDFH #matrix #query #using: Gridflow Description, Query, and Execution at SCEC using the SDSC Matrix (JW, AJ, AD, MF, YH), pp. 262–263.
PDP-2004-FeleaT #adaptation #distributed #java: Adaptive Distributed Execution of Java Applications (VF, BT), pp. 16–31.
CAV-2004-Arons #algorithm #verification: Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.
CAV-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.
ICLP-2004-SchrijversW #constraints: Constraint Handling Rules and Tabled Execution (TS, DSW), pp. 120–136.
TestCom-2004-Vassiliou-GiolesDS #using: Execution of External Applications using TTCN-3 (TVG, GD, IS), pp. 209–223.
VLDB-2003-AnciauxBP #memory management #query #requirements: Memory Requirements for Query Execution in Highly Constrained Devices (NA, LB, PP), pp. 694–705.
VLDB-2003-LongS #query #scalability: Optimized Query Execution in Large Search Engines with Global Page Ordering (XL, TS), pp. 129–140.
ITiCSE-2003-Yehezkel: Making program execution comprehensible one level above the machine language (CY), pp. 124–128.
IWPC-2003-ChanHMY #object-oriented #scalability #visualisation: Scaling an Object-Oriented System Execution Visualizer through Sampling (AC, RH, GCM, ATTY), pp. 237–244.
FME-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.
VISSOFT-2003-Hamou-LhadjL #complexity #object-oriented: Techniques for Reducing the Complexity of Object-Oriented Execution Traces (AHL, TCL), pp. 35–40.
CAiSE-2003-HallerS #consistency #information management #peer-to-peer #process: Consistent Process Execution in Peer-to-Peer Information Systems (KH, HS), pp. 289–307.
ICEIS-v1-2003-FatoohiG #distributed #using #web: A Distributed Job Execution Environment Using Asynchronous Messaging and Web Technologies (RF, NG), pp. 246–251.
SEKE-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.
DATE-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.
HPCA-2003-IbrahimBR #multi: Slipstream Execution Mode for CMP-Based Multiprocessors (KZI, GTB, ER), pp. 179–190.
HPCA-2003-MutluSWP #scalability: Runahead Execution: An Alternative to Very Large Instruction Windows for Out-of-Order Processors (OM, JS, CW, YNP), pp. 129–140.
PDP-2003-BernabeGG #3d #streaming: Reducing 3D Wavelet Transform Execution Time through the Streaming SIMD Extensions (GB, JMG, JG), pp. 49–56.
PDP-2003-PortigliattiP #automation #component #constraints #java: Java Components with constraints and preferences in automatic administration of execution and placement (VP, LP), pp. 266–273.
PDP-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.
SOSP-2003-SekarVBBD #approach: Model-carrying code: a practical approach for safe execution of untrusted applications (RS, VNV, SB, SB, DCD), pp. 15–28.
SOSP-2003-YinMVAD #fault tolerance: Separating agreement from execution for byzantine fault tolerant services (JY, JPM, AV, LA, MD), pp. 253–267.
ESOP-2003-GeilenB #network #process #requirements: Requirements on the Execution of Kahn Process Networks (MG, TB), pp. 319–334.
TACAS-2003-KhurshidPV #model checking #symbolic computation #testing: Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.
VMCAI-2003-WinEGKL #algorithm #distributed #using #verification: Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.
SIGMOD-2002-Weininger #performance: Efficient execution of joins in a star schema (AW), pp. 542–545.
VLDB-2002-BlottK #database #in memory #protocol #transaction: An Almost-Serial Protocol for Transaction Execution in Main-Memory Database Systems (SB, HFK), pp. 706–717.
ICSM-2002-MoeS #distributed #using: Using Execution Trace Data to Improve Distributed Systems (JM, KS), pp. 640–648.
IWPC-2002-Hamou-LhadjL #analysis #scalability: Compression Techniques to Simplify the Analysis of Large Execution Traces (AHL, TCL), pp. 159–168.
PASTE-2002-AkgulM #debugging: Instruction-level reverse execution for debugging (TA, VJM), pp. 18–25.
WCRE-2002-SchwarzDA #revisited: Disassembly of Executable Code Revisited (BS, SKD, GRA), pp. 45–54.
ICGT-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.
VISSOFT-2002-DiehlK #visual notation: Reification of Program Points for Visual Execution (SD, AK), pp. 100–109.
ICEIS-2002-Al-JumailyCM #constraints #relational: An Execution Model for Preserving Cardinality Constraints in the Relational Model (HTAJ, DC, PM), pp. 819–822.
ICEIS-2002-Gusikhin #framework #integration: Analytical Framework for Data Integration in Manufacturing Execution Systems (OYG), p. 7.
UML-2002-JorgensenC #design #middleware #modelling #pervasive: Executable Design Models for a Pervasive Healthcare Middleware System (JBJ, SC), pp. 140–149.
OOPSLA-2002-MarellyHK #multi #sequence chart: Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
AdaEurope-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.
ICSE-2002-NittoLSTT #process #uml: Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.
SAC-2002-Abu-GhazalehP #mobile #performance #towards #verification: Verification caching: towards efficient and secure mobile code execution environments (NBAG, DSP), pp. 964–968.
SAC-2002-AntoniouA #declarative: Executable declarative business rules and their use in electronic commerce (GA, MA), pp. 6–10.
SAC-2002-MorvanH #memory management #parallel #query: Dynamic memory allocation strategies for parallel query execution (FM, AH), pp. 897–901.
ASPLOS-2002-RajwarG #source code #transaction: Transactional lock-free execution of lock-based programs (RR, JRG), pp. 5–17.
DATE-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.
HPCA-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.
HPDC-2002-LaszewskiGPF #grid #named #query: InfoGram: A Grid Service that Supports Both Information Queries and Job Execution (GvL, JG, CJP, ITF), pp. 333–342.
LCTES-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.
PDP-2002-JuhaszC #parallel #predict: Execution Time Prediction for Parallel Data Processing Tasks (SJ, HC), pp. 31–38.
FASE-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.
FASE-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.
TACAS-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.
WRLA-2002-EkerKLLT #biology #logic #modelling #network: Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.
WRLA-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.
ICLP-2002-DucasseL #analysis #automation: Automated Analysis of CLP(FD) Program Execution Traces (MD, LL), pp. 470–471.
ICLP-2002-HayashiCO #logic programming: Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming (HH, KC, AO), p. 477.
PODS-2001-Schuldt #order #process #protocol #transaction: Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes (HS).
ITiCSE-2001-LiningtonD: Picture program execution (JL, MD), p. 175.
IWPC-2001-EisenbarthKS #comprehension #concept analysis #using: Feature-Driven Program Understanding Using Concept Analysis of Execution Traces (TE, RK, DS), pp. 300–309.
IWPC-2001-MoeC #comprehension #distributed: Understanding Distributed Systems via Execution Trace Data (JM, DAC), pp. 60–67.
CHI-2001-KierasMB #modelling #towards: Towards demystification of direct manipulation: cognitive modeling charts the gulf of execution (DEK, DM, JAB), pp. 128–135.
SVIS-2001-PauwJMSVY #java #source code #visualisation: Visualizing the Execution of Java Programs (WDP, EJ, NM, GS, JMV, JY), pp. 151–162.
CAiSE-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.
SEKE-2001-HoudekSE #detection #empirical #fault #specification: Defect Detection for Executable Specifications — An Experiment (FH, TS, DE), pp. 10–18.
SEKE-2001-Mellor #abstraction: Raising the Level of Abstraction: Model Execution and Translation (SJM), p. 1.
UML-2001-EshuisW #algorithm #graph #process #uml: An Execution Algorithm for UML Activity Graphs (RE, RW), pp. 47–61.
ECOOP-2001-TatsuboriSCI #bytecode #distributed #java #legacy: A Bytecode Translator for Distributed Execution of “Legacy” Java Software (MT, TS, SC, KI), pp. 236–255.
OOPSLA-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.
ASE-2001-Lee #automation #documentation #requirements #specification: Automated Conversion from a Requirements Document to an Executable Formal Specification (BSL), p. 437.
ASE-2001-LenceviciusMR #design: Tracing Execution of Software for Design Coverage (RL, EM, AR), pp. 328–332.
ASE-2001-XieLB #model checking #set #uml: Model Checking for an Executable Subset of UML (FX, VL, JCB), pp. 333–336.
ESEC-FSE-2001-Coen-PorisiniDGP #safety #symbolic computation #using #verification: Using symbolic execution for verifying safety-critical systems (ACP, GD, CG, MP), pp. 142–151.
ICSE-2001-BertolinoIM #architecture #testing: An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (AB, PI, HM), pp. 211–220.
ICSE-2001-DickinsonLP #analysis #clustering: Finding Failures by Cluster Analysis of Execution Profiles (WD, DL, AP), pp. 339–348.
SAC-2001-StaudtKR #data flow #process #semistructured data: Access to heterogeneous data sources for supporting business process execution (MS, JUK, UR), pp. 197–206.
DATE-2001-GiustoMH #embedded #estimation #reliability: Reliable estimation of execution time of embedded software (PG, GM, EAH), pp. 580–589.
HPCA-2001-WangWKRS #scheduling: Register Renaming and Scheduling for Dynamic Execution of Predicated Code (PHW, HW, RMK, KR, JPS), pp. 15–25.
PDP-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.
PPoPP-2001-KimOEFV #analysis #framework #optimisation: Reference idempotency analysis: a framework for optimizing speculative execution (SWK, ClO, RE, BF, TNV), pp. 2–11.
ESOP-2001-BartheDJSS #framework #platform #semantics: A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.
FASE-2001-EshuisW #diagrams #process #realtime #semantics #uml: A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.
CAV-2001-Moore #modelling #state machine #symbolic computation: Rewriting for Symbolic Execution of State Machine Models (JSM), pp. 411–422.
SIGMOD-2000-WaasG #cost analysis #query: Counting, Enumerating, and Sampling of Execution Plans in a Cost-Based Query Optimizer (FW, CAGL), pp. 499–509.
ITiCSE-2000-Exton #comprehension #concurrent #named #object-oriented: Elucidate: a tool to aid comprehension of concurrent object oriented execution (CE), pp. 33–36.
ICSM-2000-HuMDL #analysis #c #c++ #compilation #symbolic computation #using: C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.
CAiSE-2000-ObermairS #transaction: Temporally Faithful Execution of Business Transactions (WO, MS), pp. 462–481.
ICPR-v2-2000-KosmalaRB #online #recognition: On-Line Handwritten Formula Recognition with Integrated Correction Recognition and Execution (AK, GR, AB), pp. 2590–2593.
ICPR-v4-2000-MendezMOH #simulation: Remote Robot Execution through WWW Simulation (STPM, FTM, FO, FACH), pp. 4503–4506.
SPLC-2000-DoerrS #architecture #dependence #product line: Freeing product line architectures from execution dependencies (BSD, DS), pp. 313–330.
TOOLS-EUROPE-2000-HartwichT #distributed #object-oriented #performance: Operation Execution Groups: Efficient Operation Processing in Widely Distributed Object Systems (CH, ST), pp. 157–168.
AdaEurope-2000-Ringler #analysis #source code #worst-case: Static Worst-Case Execution Time Analysis of Synchronous Programs (TR), pp. 56–68.
DATE-2000-YooLJRCC #performance: Fast Hardware-Software Coverification by Optimistic Execution of Real Processor (SY, JeL, JJ, KR, YC, KC), pp. 663–668.
HPDC-2000-ThainL #named: Bypass: A Tool for Building Split Execution Systems (DT, ML), pp. 79–86.
LCTES-2000-CortiBG #approximate #multi #worst-case: Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems (MC, RB, TRG), pp. 178–198.
TACAS-2000-AronsP #comparison #verification: A Comparison of Two Verification Methods for Speculative Instruction Execution (TA, AP), pp. 487–502.
CAV-2000-Velev #verification: Formal Verification of VLIW Microprocessors with Speculative Execution (MNV), pp. 296–311.
WICSA-1999-VeraPL #architecture: Event-Based Execution Architectures for Dynamic Software Systems (JV, LP, DCL), pp. 303–318.
SIGMOD-1999-IvesFFLW #adaptation #integration #query: An Adaptive Query Execution System for Data Integration (ZGI, DF, MF, AYL, DSW), pp. 299–310.
ICSM-1999-Kajko-Mattsson99b #experience #maintenance #process: Experience Paper: Maintenance at ABB (II): Change Execution Processes (MKM), pp. 307–315.
ICSM-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.
TLCA-1999-Ohori #compilation #morphism: A Curry-Howard Isomorphism for Compilation and Program Execution (AO), pp. 280–294.
ICEIS-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.
ICEIS-1999-HilaireLK #multi #specification #towards: Towards an Executable Specification of Multi-Agent Systems (VH, TL, AK), pp. 232–239.
TOOLS-USA-1999-OmoriIY #design pattern #named: Answerer: A Design Pattern for Dynamical Conditional Execution (MO, NI, JiY), pp. 158–161.
PADL-1999-CadoliPSV #named #problem #specification: NP-SPEC: An Executable Specification Language for Solving All Problems in NP (MC, LP, AS, DV), pp. 16–30.
PPDP-1999-Ruiz-AndinoASR #constraints #finite #modelling #parallel #programming: Parallel Execution Models for Constraint Programming over Finite Domains (ARA, LA, FS, JJR), pp. 134–151.
SAC-1999-HermannGA #adaptation #design #internet #multi: Design and Execution of Adaptive Multimedia Applications in the Internet (ACH, LPG, MJBA), pp. 624–629.
DATE-1999-PasquierC #realtime #simulation: An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems (OP, JPC), pp. 782–783.
HPCA-1999-HilyS #effectiveness #multi #thread: Out-of-Order Execution may not be Cost-Effective on Processors Featuring Simultaneous Multithreading (SH, AS), pp. 64–67.
HPCA-1999-TullsenG #architecture #compilation #parallel #thread: Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.
OSDI-1999-ChangG #automation #generative: Automatic I/O Hint Generation Through Speculative Execution (FWC, GAG), pp. 1–14.
OSDI-1999-FordHLMT #interface #kernel #modelling: Interface and Execution Models in the Fluke Kernel (BF, MH, JL, RM, PT), pp. 101–115.
PPoPP-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.
FASE-1999-BruniMM #calculus #process #specification: Executable Tile Specifications for Process Calculi (RB, JM, UM), pp. 60–76.
ICLP-1999-CiarliniF #hybrid #symbolic computation: Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.
IWTCS-1999-Vassiliou-GiolesSBWL #distributed #testing: Configuration and Execution Support for Distributed Tests (TVG, IS, MB, MW, ML), pp. 61–76.
ECDL-1998-PaulPHC #component #distributed #named #using #workflow: RainMaker: Workflow Execution Using Distributed, Interoperable Components (SP, EP, DH, JKC), pp. 801–818.
SIGMOD-1998-KabraD #performance #query: Efficient Mid-Query Re-Optimization of Sub-Optimal Query Execution Plans (NK, DJD), pp. 106–117.
VLDB-1998-CarinoO #optimisation #parallel: Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.
PASTE-1998-JefferyZTB #architecture #lightweight #monitoring: A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.
CIKM-1998-BouganimKV #adaptation #query #scalability #scheduling: Memory-Adaptive Scheduling for Large Query Execution (LB, OK, PV), pp. 105–115.
KR-1998-BacchusP #information management #modelling: Modeling an Agent’s Incomplete Knowledge During Planning and During Execution (FB, RPAP), pp. 432–443.
KR-1998-GiacomoRS #monitoring #source code: Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.
KR-1998-MuscettolaMT #performance: Reformulating Temporal Plans for Efficient Execution (NM, PHM, IT), pp. 444–452.
UML-1998-MellorTAL #precise #semantics #uml: An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.
AdaEurope-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.
ALP-PLILP-1998-EskilsonC #parallel #prolog #thread: SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.
PLDI-1998-SastryPS #float #integer: Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.
POPL-1998-DebrayMW #alias #analysis: Alias Analysis of Executable Code (SKD, RM, MW), pp. 12–24.
ASPLOS-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.
ASPLOS-1998-Le #runtime: An Out-of-Order Execution Technique for Runtime Binary Translators (BCL), pp. 151–158.
ASPLOS-1998-RanganathanF #distributed #empirical #modelling: An Empirical Study of Decentralized ILP Execution Models (NR, MF), pp. 272–281.
DAC-1998-LakshminarayanaRJ #behaviour #control flow #scheduling: Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions (GL, AR, NKJ), pp. 108–113.
HPCA-1998-Chen #adaptation #branch: Supporting Highly-Speculative Execution via Adaptive Branch Trees (TFC), pp. 185–194.
PDP-1998-NiederlG #distributed #image: Method execution on a distributed image processing back-end (FN, AG), pp. 243–249.
ESOP-1998-CairesM #concurrent #logic #specification: Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi (LC, LM), pp. 42–56.
CAV-1998-SawadaH #precise #verification: Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.
CAV-1998-SkakkebaekJD #incremental #using #verification: Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.
IWTCS-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.
JICSLP-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.
JICSLP-1998-ShenCK #distance #metric #named #parallel: Distance: A New Metric for Controlling Granularity for Parallel Execution (KS, VSC, AK), pp. 85–99.
WPC-1997-KorelR #comprehension #slicing: Dynamic Program Slicing in Understanding of Program Execution (BK, JR), pp. 80–89.
CAiSE-1997-TombrosGD #component #semantics #workflow: Semantics of Reactive Components in Event-Driven Workflow Execution (DT, AG, KRD), pp. 409–422.
CIKM-1997-DogduO #realtime #transaction: Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, GÖ), pp. 301–308.
CIKM-1997-KimC #approach #database #static analysis: A Practical Approach to Static Analysis and Execution of Rules in Active Databases (SKK, SC), pp. 161–168.
TOOLS-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.
PLDI-1997-Goodwin #analysis #data flow #interprocedural: Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.
ESEC-FSE-1997-DucasseR #design #reuse #towards: Executable Connectors: Towards Reusable Design Elements (SD, TR), pp. 483–499.
SAC-1997-Li97a #parallel #source code: Analyzing the expected execution times of parallel programs (KL), pp. 488–495.
SAC-1997-Liu #algorithm #evaluation #parallel #performance #query: Performance evaluation of processor allocation algorithms for parallel query execution (KHL), pp. 393–402.
DAC-1997-LavanaKBK #collaboration #design #internet #paradigm #workflow: Executable Workflows: A Paradigm for Collaborative Design on the Internet (HL, AK, FB, KK), pp. 553–558.
DAC-1997-NelsonJB #verification: Formal Verification of a Superscalar Execution Unit (KLN, AJ, REB), pp. 161–166.
HPDC-1997-EvenskyGCA #distributed #named #scalability: Lilith: Scalable Execution of User Code for Distributed Computing (DAE, ACG, LJC, RCA), pp. 305–314.
PDP-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.
PDP-1997-RonsseZ: Execution replay for treadmarks (MR, WZ), pp. 343–350.
PPoPP-1997-FuY #parallel #performance: Space and Time Efficient Execution of Parallel Irregular Computation (CF, TY), pp. 57–68.
STOC-1997-EdmondsCBD #multi #scheduling: Non-clairvoyant Multiprocessor Scheduling of Jobs with Changing Execution Characteristics (JE, DDC, TB, XD), pp. 120–129.
ICLP-1997-HuangSS #modelling #parallel: Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models (ZH, CS, AS), p. 410.
ICLP-1997-VaupelGP #logic programming #source code #visualisation: Visualization of And/Or-Parallel Execution of Logic Programs (RV, EP, GG), pp. 271–285.
SIGMOD-1996-HellersteinN #query: Query Execution Techniques for Caching Expensive Methods (JMH, JFN), pp. 423–434.
VLDB-1996-SarawagiS #database #memory management #order #query: Reordering Query Execution in Tertiary Memory Databases (SS, MS), pp. 156–167.
CAiSE-1996-GalES #named: TALE: A Temporal Active Language and Execution Model (AG, OE, AS), pp. 60–81.
OOPSLA-1996-HassenAB #distributed #flexibility: A Flexible Operation Execution Model for Shared Distributed Objects (SBH, IA, HEB), pp. 30–50.
PLILP-1996-GehrkeH #named #specification: ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.
ICSE-1996-HarelG #modelling: Executable Object Modeling with Statecharts (DH, EG), pp. 246–257.
DAC-1996-Gupta #analysis #constraints #embedded: Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems (RKG), pp. 601–604.
HPDC-1996-IversonOF #distributed #estimation #runtime #statistics: Run-Time Statistical Estimation of Task Execution Times for Heterogeneous Distributed Computing (MAI, FÖ, GJF), pp. 263–270.
JICSLP-1996-KusalikP #logic programming #parallel #performance #visualisation: Visualizing Parallel Logic Program Execution for Performance Tuning (AJK, SDP), pp. 498–512.
SIGMOD-1995-ChaudhuriDY #optimisation #query: Join Queries with External Text Sources: Execution and Optimization Techniques (SC, UD, TWY), pp. 410–422.
SIGMOD-1995-DavisonG #multi #query: Dynamic Resource Brokering for Multi-User Query Execution (DLD, GG), pp. 281–292.
SIGMOD-1995-GardarinMP #functional #named #query: OFL: A Functional Execution Model for Object Query Languages (GG, FM, PP), pp. 59–70.
FPLE-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.
WCRE-1995-CimitileLM #reuse #symbolic computation #using: Qualifying Reusable Functions Using Symbolic Execution (AC, ADL, MM).
CIKM-1995-HameurlainM #parallel #query #scheduling #sql: Scheduling and Mapping for Parallel Execution of Extended SQL Queries (AH, FM), pp. 197–204.
CIKM-1995-HerzogS #constraints #parallel: Parallel Execution of Integrity Constraint Checks (UH, RS), pp. 82–89.
SEKE-1995-Jent #named #specification: DODAN/2: An Executable Specification Language for OS/2 (SAJ), pp. 464–469.
SEKE-1995-Lee #logic programming #parallel #source code: Parallel Execution of Logic Programs with Breadth-first Search (WSL), pp. 470–477.
PLDI-1995-LarusS #editing #independence #named: EEL: Machine-Independent Executable Editing (JRL, ES), pp. 291–300.
PLILP-1995-MeristeP #modelling #specification: Attributed Models of Executable Specifications (MM, JP), pp. 459–460.
POPL-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.
SAS-1995-RaoS #prolog #source code: Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs (MRKKR, RKS), pp. 243–260.
ESEC-1995-GaskellP #ambiguity #analysis #semantics: A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation (CG, RP), pp. 235–253.
SAC-1995-PandaP #cost analysis #query: Query execution in prism and seaview: a cost analysis (BP, WP), pp. 65–70.
DAC-1995-WalkerG #algorithm #distributed #parallel #simulation: Asynchronous, Distributed Event Driven Simulation Algorithm for Execution of VHDL on Parallel Processors (PAW, SG), pp. 144–150.
HPCA-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.
LCT-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.
LCT-RTS-1995-NilsenR #analysis #worst-case: Worst-Case Execution Time Analysis on Modern Processors (KDN, BR), pp. 20–30.
PDP-1995-ColiP #parallel: Global execution time minimization by allocating tasks in parallel systems (MC, PP), pp. 91–97.
TAPSOFT-1995-BertotF #reasoning #specification: Reasoning with Executable Specifications (YB, RF), pp. 531–545.
ICLP-1995-BarbutiFS #modelling #prolog #using: Modeling OR-Parallel Execution of Prolog using CHOCS (RB, NDF, AS), pp. 547–561.
ICLP-1995-IsozakiK #estimation #logic programming #source code #transaction: Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths (HI, HK), p. 822.
ICLP-1995-SagonasW #implementation #performance #prolog: Efficient Execution of HiLog in WAM-based Prolog Implementations (KFS, DSW), pp. 349–363.
SIGMOD-1994-HsiaoCY #on the #parallel #pipes and filters: On Parallel Execution of Multiple Pipelined Hash Joins (HIH, MSC, PSY), pp. 185–196.
LFP-1994-ReistadG: Static Dependent Costs for Estimating Execution Time (BR, DKG), pp. 65–78.
SEKE-1994-ArndtGPT #logic programming #source code #symbolic computation: Symbolic execution of logic programs (TA, AG, GP, GT), pp. 414–421.
ECOOP-1994-PauwKV #modelling #object-oriented: Modeling Object-Oriented Program Execution (WDP, DK, JMV), pp. 163–182.
AdaEurope-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.
LOPSTR-1994-Renault #source code: Generalizing Extended Execution for Normal Programs (SR), pp. 154–169.
POPL-1994-Paakki #functional #logic programming #multi #source code: Multi-Pass Execution of Functional Logic Programs (JP), pp. 361–374.
TRI-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.
SAC-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.
CC-1994-ErtlK #exception: Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.
DAC-1994-RadivojevicB #scheduling: Incorporating Speculative Execution in Exact Control-Dependent Scheduling (IPR, FB), pp. 479–484.
PDP-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.
PDP-1994-KalanteryWW #parallel #source code: Deterministic Parallel Execution Of Sequential Programs (NK, SCW, DRW), pp. 48–55.
ICLP-1994-AraujoR #distributed #independence #named #parallel #prolog: PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog (LA, JJR), pp. 142–156.
ICLP-1994-GuptaHPC #logic programming #named #source code: ACE: And/Or-parallel Copying-based Execution of Logic Programs (GG, MVH, EP, VSC), pp. 93–109.
ISSTA-1994-DouglasK #named #specification #symbolic computation #testing: Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications (JD, RAK), pp. 15–27.
VLDB-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.
VLDB-1993-LanzelotteVZ #effectiveness #on the #optimisation #parallel: On the Effectiveness of Optimization Search Strategies for Parallel Execution Spaces (RSGL, PV, MZ), pp. 493–504.
VLDB-1993-VhanHY: Applying Hash Filters to Improving the Execution of Bushy Trees (MSC, HIH, PSY), pp. 505–516.
FME-1993-DoumencM #automaton #parallel: The Parallel Abstract Machine: A Common Execution Model for FDTs (GD, JFM), pp. 285–293.
FME-1993-GuntherSW #database #on the #source code #specification: On the Derivation of Executable Database Programs from Formal Specifications (TG, KDS, IW), pp. 351–366.
CAiSE-1993-GullaW #modelling #using #validation: Using Explanations to Improve the Validation of Executable Models (JAG, GW), pp. 118–142.
CIKM-1993-VoortS #confluence #termination: Termination and Confluence of Rule Execution (LvdV, AS), pp. 245–255.
SEKE-1993-Deng #architecture #specification: Intermediate Executable Architectural Specifications for KBSA, Part II (YD), p. 586.
SEKE-1993-DengES #design #object-oriented #specification: Executable Specifications for the Design of Object-Oriented Systems (YD, RKE, WS), pp. 46–53.
SEKE-1993-Evangelist #architecture #specification: Intermediate Executable Architectural Specifications for KBSA, Part I (ME), p. 584.
SEKE-1993-KaarelaO #automation #specification: Executable Graphic Specifications in Automation Projects (KK, AO), pp. 296–300.
OOPSLA-1993-OdehP #object-oriented: Object-Oriented Execution of OPS5 Production Systems (MHO, JAP), pp. 178–190.
PLILP-1993-Kastens #implementation #specification: Executable Specifications for Language Implementation (UK), pp. 1–11.
ICRE-1993-Beeck #analysis #precise #realtime #specification: Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.
ICRE-1993-HoffmannD #design #process #prototype #specification #using: Using Executable Specifications for Prototyping System Design Process (CH, BD), pp. 135–145.
KBSE-1993-BailesCGP #named #specification: GRIT — An Extended Refine for More Executable Specifications (PB, MC, MG, IP), p. 19.
SAC-1993-MotzkinJHK #concurrent #information management #on the: On Concurrent Execution of Information Systems Applications (DM, EJ, DH, MK), pp. 775–781.
ICLP-1993-CarroGH #logic programming #paradigm #parallel #source code #visualisation: Some Paradigms for Visualizing Parallel Execution of Logic Programs (MC, LMGH, MVH), pp. 184–200.
IWPTS-1993-Phalippou: Executable Testers (MP), pp. 35–50.
SIGMOD-1992-GangulyHK #optimisation #parallel #query: Query Optimization for Parallel Execution (SG, WH, RK), pp. 9–18.
SIGMOD-1992-Hanson #testing: Rule Condition Testing and Action Execution in Ariel (ENH), pp. 49–58.
VLDB-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.
KBSE-1992-Liao #on the #performance: On Efficiently Computing Derived Performance Data of Program Execution (YL), p. 25.
JICSLP-1992-AbreuPC #product line: Improving Backward Execution in the Andorra Family of Languages (SA, LMP, PC), pp. 384–398.
JICSLP-1992-ChenRR #algorithm #multi #prolog: Multistage Indexing Algorithms for Speeding Prolog Execution (TC, IVR, RR), pp. 639–653.
SIGMOD-1991-AgrawalK #multi #transaction #using: Using Multiversion Data for Non-interfering Execution of Write-only Transactions (DA, VK), pp. 98–107.
VDME-1991-LarsenL #set #specification: An Executable Subset of Meta-IV with Loose Specification (PGL, PBL), pp. 604–618.
CAiSE-1991-Liu #integration #process: Software Process Planning and Execution: Coupling vs. Integration (CL), pp. 356–374.
KR-1991-BarringerFGH #logic: Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.
PLDI-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.
PLILP-1991-Loyola #animation #debugging #logic programming: Extending Execution Trees for Debugging and Animation in Logic Programming (DL), pp. 419–420.
ESEC-1991-CreusotLRTKMS: Execution Environment for ELECTRE Applications (DC, PL, OR, YT, AK, OM, CSM), pp. 147–165.
ISLP-1991-HidakaKTT #clustering #commit: A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages (YH, HK, JT, HT), pp. 470–484.
LICS-1991-JouannaudO #algebra #higher-order #specification: A Computation Model for Executable Higher-Order Algebraic Specification Languages (JPJ, MO), pp. 350–361.
SEKE-1990-Iyengar #logic programming #source code: Intelligent Forward Execution in Logic Programs (SRI), pp. 153–158.
SEKE-1990-SheuVH #process: Integrated Process Description and Execution in Manufacturing Environments (PCYS, RV, SSH), pp. 25–32.
PLILP-1990-Fribourg #prolog: A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution (LF), pp. 174–188.
CC-1990-Pfahler #lr #optimisation #parsing: Optimizing Directly Executable LR Parsers (PP), pp. 179–192.
CAV-1990-MorrisH #symbolic computation #verification: Program Verification by Symbolic Execution of Hyperfinite Ideal Machines (JMM, MH), pp. 322–332.
CLP-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.
NACLP-1990-GuptaJ90a #logic programming #modelling #on the #source code: On Criteria for Or-Parallel Execution Models of Logic Programs (GG, BJ), pp. 737–756.
NACLP-1990-Helm #on the: On the Elimination of Redundant Derivations During Execution (RH), pp. 551–568.
VLDB-1989-MurphyR #effectiveness #multi #resource management: Effective Resource Utilization for Multiprocessor Join Execution (MCM, DR), pp. 67–75.
RTA-1989-SekarPR #parallel #performance #term rewriting: Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution (RCS, SP, IVR), pp. 404–418.
SEKE-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.
PLDI-1989-Sarkar: Determining Average Program Execution Times and their Variance (VS), pp. 298–312.
ESEC-1989-MorascaP #ada #concurrent #source code #symbolic computation #using #validation: Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.
NACLP-1989-ChangC #strict: Restricted AND-Parallelism Execution Model with Side-Effects (SEC, YPC), pp. 350–368.
NACLP-1989-Helm #bottom-up #on the: On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.
NACLP-1989-Nystrom #concurrent #logic: Variable-Free Execution of Concurrent Logic Languages (SON), pp. 536–552.
NACLP-1989-RamkumarK #multi #process: Compiled Execution of the Reduce-OR Process Model on Multiprocessors (BR, LVK), pp. 313–331.
NACLP-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.
TAV-1989-ChoiMP #named #scheduling: PMothra: Scheduling Mutants for Execution on a Hypercube (BC, AM, BP), pp. 58–65.
SIGMOD-1988-Bell #data transformation #parallel #physics: A Specialized Data Management System For Parallel Execution of Particle Physics Codes (JLB), pp. 277–285.
VLDB-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.
VDME-1988-JiangX #abstraction #named #specification: NUSL: An Executable Specification Language Based on Data Abstraction (XJ, YX), pp. 124–138.
LFP-1988-TinkerK #parallel: Parallel Execution of Sequential Scheme with ParaTran (PT, MK), pp. 28–39.
OOPSLA-1988-BensleyBP #distributed #object-oriented: An Execution Model for Distributed Object-Oriented Computation (EHB, TJB, MJP), pp. 316–322.
PPEALS-1988-LarusH #concurrent #lisp #source code: Restructuring Lisp Programs for Concurrent Execution (JRL, PNH), pp. 100–110.
JICSCP-1988-Ali88 #prolog: OR-Parallel Execution of Prolog on BC-Machine (KAMA), pp. 1531–1545.
JICSCP-1988-AttilaF88 #attribute grammar #semantics #source code: Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation (IA, PFZ), pp. 160–177.
JICSCP-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.
JICSCP-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.
JICSCP-1988-NgL88 #contest #logic programming #parallel #source code: The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.
JICSCP-1988-RamanS88 #distributed #logic #problem: Fully Distributed, AND/OR-Parallel Execution of Logic Problems (PR, EWS), pp. 1188–1203.
JICSCP-1988-SomogyiRV88 #algorithm #backtracking: A Stream AND-Parallel Execution Algorithm with Backtracking (ZS, KR, JV), pp. 1142–1159.
JICSCP-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.
JICSCP-1988-TsengB88 #data-driven #logic programming #parallel #source code: A Data-Driven Parallel Execution Model for Logic Programs (CCT, PB), pp. 1204–1222.
PLDI-1987-Pittman #hybrid #interpreter #performance: Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
POPL-1987-AllenCK #automation #composition #parallel #source code: Automatic Decomposition of Scientific Programs for Parallel Execution (RA, DC, KK), pp. 63–76.
ESEC-1987-CailletBR #ada: High Level Interpretaton of Execution Traces of Ada Tasks (JFC, CB, BR), pp. 309–317.
ASPLOS-1987-HayesFWZ #architecture #programming language: An Architecture for the Direct Execution of the Forth Programming Language (JRH, MEF, RLW, TZ), pp. 42–49.
AF-1987-Warren #modelling #prolog: Or-Parallel Execution Models of Prolog (DHDW), pp. 243–259.
CFLP-1987-RoyDW #prolog: Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism (PVR, BD, YDW), pp. 111–125.
ICLP-1987-Conery87 #implementation #nondeterminism: Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.
ICLP-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.
ICLP-1987-SatoSMRG87 #clustering #memory management: KL1 Execution Model for PIM Cluster with Shared Memory (MS, HS, AM, KR, AG), pp. 338–355.
ICLP-1987-Shapiro87 #algorithm #implementation #prolog: An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation (EYS), pp. 311–337.
SLP-1987-Ali87 #implementation #parallel #prolog: A Method for Implementing Cut in Parallel Execution of Prolog (KAMA), pp. 449–456.
SLP-1987-ShenW87 #prolog #simulation: A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog (KS, DHDW), pp. 45–68.
SLP-1987-Warren87 #design #implementation #prolog: The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues (DHDW), pp. 92–102.
POPL-1986-JeffersonK #quantifier #specification: Executable Specifications with Quantifiers in the FASE System (SJ, SNK), pp. 318–326.
ESOP-1986-SchwinnB #logic programming #source code: An And-Parallel Execution Model of Logic Programs (BS, GB), pp. 289–300.
CADE-1986-Lins #combinator: A New Formula for the Execution of Categorial Combinators (RDL), pp. 89–98.
ICLP-1986-ChengzhengY86 #logic programming #source code: The OR-Forest Description for the Execution of Logic Programs (CS, TY), pp. 710–717.
ICLP-1986-Hermenegildo86 #automaton #logic programming #source code #strict: An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs (MVH), pp. 25–39.
ICLP-1986-KanamoriS86 #prolog #source code #using #verification: Verification of Prolog Programs Using an Extension of Execution (TK, HS), pp. 475–489.
ICLP-1986-Levy86a #memory management: Shared Memory Execution of Committed-choice Languages (JL), pp. 298–312.
ICLP-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.
ICLP-1986-Nakamura86 #functional #logic programming: Control of Logic Program Execution Based on the Functional Relations (KN), pp. 505–512.
LICS-1986-BeckmanGW #algebra #logic programming #parallel #source code: An Algebraic Model of Parallel Execution of Logic Programs (LB, RG, AW), pp. 50–57.
SLP-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.
SLP-1986-Crammond86 #nondeterminism: An Execution Model for Committed-Choice Non-Deterministic Languages (JAC), pp. 148–158.
SLP-1986-LiM86 #logic programming #parallel: The Sync Model: A Parallel Execution Method for Logic Programming (PPL, AJM), pp. 223–234.
FPCA-1985-BushG85 #parallel #recursion #source code: Transforming Recursive Programs for Execution on Parallel Machines (VJB, JRG), pp. 350–367.
ICSE-1985-HendersonW: Continous Execution: The VisiProg Environment (PBH, MW), pp. 68–74.
ICSE-1985-Lee #modelling #on the #prototype #rule-based: On Executable Models for Rule-Based Prototyping (SL), pp. 210–215.
DAC-1985-HughesLR #automation #design #distributed #tool support: A technique for distributed execution of design automation tools (SCH, DBL, CJR), pp. 23–30.
SOSP-1985-TheimerLC: Preemptable Remote Execution Facilities for the V-System (MT, KAL, DRC), pp. 2–12.
SLP-1985-MaluszynskiK85 #logic programming #source code: Unification-Free Execution of Logic Programs (JM, HJK), pp. 78–86.
ICSE-1984-MusaO #metric #reliability: A Logarithmic Poisson Execution Time Model for Software Reliability Measurement (JDM, KO), pp. 230–238.
SLP-1984-LindstromP84 #logic programming: Stream-Based Execution of Logic Programming (GL, PP), pp. 168–176.
SIGMOD-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.
POPL-1983-CunyS #compilation #data-driven #source code: Compilation of Data-Driven Programs for Synchronous Execution (JEC, LS), pp. 197–202.
SCC-1982-GrahamKM #graph #named #profiling: gprof: a Call Graph Execution Profiler (SLG, PBK, MKM), pp. 120–126.
SCC-1982-Turba: A Facility for the Downward Execution of a High-Level Language (TNT), pp. 127–133.
Best-of-PLDI-1982-GrahamKM #graph #named #profiling: gprof: a call graph execution profiler (with retrospective) (SLG, PBK, MKM), pp. 49–57.
ICSE-1982-Urban #development #functional #specification: Software Development with Executable Functional Specifications (JEU), pp. 418–419.
ASPLOS-1982-SansonnetCPBP #architecture #lisp: Direct Execution of Lisp on a List-Directed Architecture (JPS, MC, CP, DB, JP), pp. 132–139.
ASPLOS-1982-Wiecek #case study #compilation #set: A Case Study of VAX-11 Instruction Set Usage for Compiler Execution (CAW), pp. 177–184.
ILPC-1982-Bowen82 #concurrent #logic: Concurrent Execution of Logic (KAB), pp. 26–30.
ICSE-1981-ZaveY #embedded #requirements: Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.
STOC-1980-Strong #graph: Vector Execution of Flow Graphs (HRS), pp. 108–116.
SIGMOD-1979-DeWitt #query: Query Execution in DIRECT (DJD), pp. 13–22.
VLDB-1975-FarleyS #database #query #relational: Query Execution and Index Selection for Relational Data Bases (GF, SAS), p. 519.
POPL-1975-Lester #concurrent: Program Schemas with Concurrency: Execution Time and Hangups (BPL), pp. 185–193.
SOSP-1975-ChandyR #order #probability #scheduling: Scheduling Partially Ordered Tasks with Probabilistic Execution Times (KMC, PFR), pp. 169–177.