Tag #runtime
661 papers:
PADL-2020-ShivkumarMZ #named #realtime- RTMLton: An SML Runtime for Real-Time Systems (BS, JCM, LZ), pp. 113–130.
ASPLOS-2020-LiuBZ #quantum- Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation (JL, GTB, HZ), pp. 1017–1030.
CC-2020-LazcanoMJC #multi- Runtime multi-versioning and specialization inside a memoized speculative loop optimizer (RL, DM, EJ, PC), pp. 96–107.
ICSA-2019-ArcelliCPET #architecture #modelling #performance #traceability- Exploiting Architecture/Runtime Model-Driven Traceability for Performance Improvement (DA, VC, DDP, RE, MT0), pp. 81–90.
SCAM-2019-TeotonioGMM #evolution #legacy #named #web- WAL: A Tool for Diagnosing Accessibility Issues and Evolving Legacy Web Systems at Runtime (WT, PG, PM, PM), pp. 175–180.
BX-2019-AnjorinYK #adaptation #consistency #user interface- Consistent Runtime Adaptation of User Interfaces (AA, EY, HK), pp. 61–65.
MoDELS-2019-BencomoP #learning #modelling #named #ram #using- RaM: Causally-Connected and Requirements-Aware Runtime Models using Bayesian Learning (NB, LHGP), pp. 216–226.
MoDELS-2019-BrandG #adaptation #approach #architecture #evaluation #modelling- Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances (TB, HG), pp. 227–232.
MoDELS-2019-BurV #estimation #graph #query #towards- Towards WCET Estimation of Graph Queries@Run.time (MB, DV), pp. 233–238.
POPL-2019-LagoVMY #fault #π-calculus- Intersection types and runtime errors in the pi-calculus (UDL, MdV, DM, AY), p. 29.
ASE-2019-SahinAMCE #android #named- RANDR: Record and Replay for Android Applications via Targeted Runtime Instrumentation (OS, AA, HM, AKC, ME), pp. 128–138.
ASE-2019-TaoTLXQ #api #data analysis #how #performance #question- How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? (YT, ST, YL, ZX, SQ), pp. 665–668.
- ICSE-2019-WangKZ #named #online
- Adjust: runtime mitigation of resource abusing third-party online ads (WW, ILK, YZ), pp. 1005–1015.
ASPLOS-2019-DavisWRNMBCCFGJ #c #named #pointer- CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment (BD, RNMW, AR, PGN, SWM, JB, DC, JC, NWF, KG, AJ, BL, ATM, JEM, AM, ETN, RMN, MR, PS, SDS, JW), pp. 379–393.
CGO-2019-AgaA #layout #named #stack- Smokestack: Thwarting DOP Attacks with Runtime Stack Layout Randomization (MTA, TMA), pp. 26–36.
CGO-2019-LiL0 #gpu #optimisation- Accelerating GPU Computing at Runtime with Binary Optimization (GL, LL, XF0), pp. 276–277.
CAV-2019-AvniBCHKP #game studies #optimisation- Run-Time Optimization for Learned Controllers Through Quantitative Games (GA, RB, KC, TAH, BK, SP), pp. 630–649.
ICST-2019-LegunsenZHRM #verification- Techniques for Evolution-Aware Runtime Verification (OL, YZ, MHT, GR, DM), pp. 300–311.
ICSA-2018-EismannWKK #component #dependence #modelling #parametricity #performance #predict- Modeling of Parametric Dependencies for Performance Prediction of Component-Based Software Systems at Run-Time (SE, JW, JvK, SK), pp. 135–144.
ICSA-2018-SzvetitsZ #analysis #architecture #design #modelling #multi- Architectural Design Decisions for Systems Supporting Model-Based Analysis of Runtime Events: A Qualitative Multi-method Study (MS, UZ), pp. 115–124.
ICSME-2018-Sulir #comprehension #source code- Integrating Runtime Values with Source Code to Facilitate Program Comprehension (MS), pp. 743–748.
ICSME-2018-YueSMT00 #android #detection #named #user interface- RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features (SY, QS, JM0, XT, CX0, JL0), pp. 323–333.
SANER-2018-RabiserGVBG #comparison #framework #monitoring- A comparison framework for runtime monitoring approaches (journal-first abstract) (RR, SG, MV, LB, PG), p. 472.
SEFM-2018-BabaeeGF #framework #learning #predict #statistics #using #verification- Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning (RB, AG, SF), pp. 205–220.
AIIDE-2018-Horswill #embedded #named #satisfiability- CatSAT: A Practical, Embedded, SAT Language for Runtime PCG (IDH), pp. 38–44.
MoDELS-2018-ArcegaFC #algorithm #configuration management #debugging #locality #modelling- Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at Runtime (LA, JF, CC), pp. 90–100.
AdaEurope-2018-JaradatP #contract #design #safety #using #verification- Using Safety Contracts to Verify Design Assumptions During Runtime (OJ, SP), pp. 3–18.
PADL-2018-StulovaMH - Exploiting Term Hiding to Reduce Run-Time Checking Overhead (NS, JFM, MVH), pp. 99–115.
PPDP-2018-KlemenS0MH #performance #source code- Static Performance Guarantees for Programs with Runtime Checks (MK, NS, PLG0, JFM, MVH), p. 13.
ASE-2018-FadhelBB #data access #modelling #policy- Model-driven run-time enforcement of complex role-based access control policies (ABF, DB, LCB), pp. 248–258.
- ICSE-2018-DanglotPBM #behaviour #case study #correctness
- Correctness attraction: a study of stability of software behavior under runtime perturbation (BD, PP, BB, MM), p. 481.
SLE-2018-TikhonovaSSD #constraints #migration #modelling- Constraint-based run-time state migration for live modeling (UT, JS, TvdS, TD), pp. 108–120.
CASE-2018-HujoSB #generative #modelling #standard- Dynamic Generation of Shop Floor Gateway Configurations from Standard System Engineering Models during Runtime (DH, DS, BB), pp. 630–633.
CGO-2018-ShenSLL #named #profiling- CUDAAdvisor: LLVM-based runtime profiling for modern GPUs (DS, SLS, AL, XL0), pp. 214–227.
FASE-2018-BurSVV #cyber-physical #distributed #graph #monitoring #query- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems (MB, GS, AV0, DV), pp. 111–128.
TAP-2018-VorobyovKS #c #case study #detection #experience #security #using #verification- Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report (KV, NK, JS), pp. 139–156.
SEFM-2017-SantosR #constraints #on the #workflow- On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows (DRdS, SR), pp. 203–218.
ECMFA-2017-ArcegaFHC #feature model #modelling #on the- On the Influence of Models at Run-Time Traces in Dynamic Feature Location (LA, JF, ØH, CC), pp. 90–105.
AdaEurope-2017-CarlettoV #benchmark #comparative #metric #named- Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime (PC, TV), pp. 18–33.
PLDI-2017-EizenbergPPMD #analysis #named #source code- BARRACUDA: binary-level analysis of runtime RAces in CUDA programs (AE, YP, TP, WM, JD), pp. 126–140.
POPL-2017-VitousekSS #collaboration #type system- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems (MMV, CS, JGS), pp. 762–774.
- ICSE-2017-SuCFR #evaluation #markov #named #performance
- ProEva: runtime proactive performance evaluation based on continuous-time markov chains (GS, TC, YF0, DSR), pp. 484–495.
CAV-2017-BasinKZ #data type #verification- Runtime Verification of Temporal Properties over Out-of-Order Data Streams (DAB, FK, EZ), pp. 356–376.
CAV-2017-SelyuninJNRHBNG #communication #monitoring #protocol- Runtime Monitoring with Recovery of the SENT Communication Protocol (KS, SJ, TN, CR, UH, EB, DN, RG), pp. 336–355.
ICST-2017-Gyori0PM #linear #metric #performance- Efficient Incrementalized Runtime Checking of Linear Measures on Lists (AG, PG0, EP, PM), pp. 310–320.
ICST-2017-SunRJB #android #named #using #verification #weaving- ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving (HS, AR, OJ, WB), pp. 532–539.
ICTSS-2017-RenardRF #game studies #named- GREP: Games for the Runtime Enforcement of Properties (MR, AR, YF), pp. 259–275.
CBSE-2016-SantosA #component #named- VISCTE: Runtime Exploration of Component-Based Systems (ALS, IA), pp. 91–96.
CSEET-2016-GeorgasPM #architecture #learning #using #visualisation- Supporting Software Architecture Learning Using Runtime Visualization (JCG, JDP, MJM), pp. 101–110.
- IFM-2016-FreitasBCW #modelling #verification
- Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment (LF, JB, AC, AJW), pp. 63–78.
ICPR-2016-GabrE #detection- Enhancing the runtime of JUDOCA detector (MG, RE), pp. 669–674.
MoDELS-2016-DasGJBHD #animation #code generation #development #embedded #modelling #monitoring #realtime- Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation (ND, SG, LJ, MB, NH, JD), pp. 36–43.
MoDELS-2016-SzvetitsZ #comprehension #design #empirical #modelling #using- Controlled experiment on the comprehension of runtime phenomena using models created at design time (MS, UZ), pp. 151–161.
PEPM-2016-BrandveinL #query- Removing runtime overhead for optimized object queries (JB, YAL), pp. 73–84.
PLDI-2016-TruongBTLMFS #compilation #named #network #performance- Latte: a language, compiler, and runtime for elegant and efficient deep neural networks (LT, RB, ET, HL, CM, AF, TS), pp. 209–223.
PPDP-2016-StulovaMH #static analysis- Reducing the overhead of assertion run-time checks via static analysis (NS, JFM, MVH), pp. 90–103.
ASE-2016-Cito #developer #development- Developer targeted analytics: supporting software development decisions with runtime information (JC), pp. 892–895.
ASE-2016-GuSMLS #automation #fault #synthesis- Automatic runtime recovery via error handler synthesis (TG, CS, XM, JL, ZS), pp. 684–695.
FSE-2016-ImesBH #energy #interface #monitoring- A portable interface for runtime energy monitoring (CI, LB, HH), pp. 968–974.
- ICSE-2016-SuRT #evaluation #model checking #parametricity #reliability #using
- Reliability of Run-Time Quality-of-Service evaluation using parametric model checking (GS, DSR, GT), pp. 73–84.
SLE-2016-PerezGC #evaluation #rule-based- Runtime support for rule-based access-control evaluation through model-transformation (SMP, JG, JC), pp. 57–69.
SLE-2016-SeyboldDRHGT #case study #emf #experience #modelling- Experiences of models@run-time with EMF and CDO (DS, JD, AR, CBH, FG, AT), pp. 46–56.
ASPLOS-2016-MaasA0K #coordination #distributed #named- Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications (MM, KA, TH0, JK), pp. 457–471.
ASPLOS-2016-WangM #manycore #named #performance #resource management- ReBudget: Trading Off Efficiency vs. Fairness in Market-Based Multicore Resource Allocation via Runtime Budget Reassignment (XW, JFM), pp. 19–32.
CC-2016-ZhangBB #dependence #parallel- Relaxed dependence tracking for parallel runtime support (MZ, SB, MDB), pp. 45–55.
CAV-2016-NgoLJ #modelling #named #probability #verification- PSCV: A Runtime Verification Tool for Probabilistic SystemC Models (VCN, AL, VJ), pp. 84–91.
ICST-2016-Al-RefaiGC #adaptation #modelling #testing #validation- Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems (MAR, SG, WC), pp. 288–298.
IJCAR-2016-FrohnNHBG #bound #integer #source code- Lower Runtime Bounds for Integer Programs (FF, MN, JH, MB, JG), pp. 550–567.
CBSE-2015-NandiMO #component #contract #probability #realtime- Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
FM-2015-AhrendtCPS #specification #verification- A Specification Language for Static and Runtime Verification of Data and Control Properties (WA, JMC, GJP, GS), pp. 108–125.
FM-2015-DeboisHS #composition #information management #liveness #process #refinement #safety- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
FM-2015-DuLT #independence #ltl #monitoring #policy- Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.
RTA-2015-FrohnGHAS #bound #complexity- Inferring Lower Bounds for Runtime Complexity (FF, JG, JH, CA, TS), pp. 334–349.
SEFM-2015-ColomboDF #verification- Investigating Instrumentation Techniques for ESB Runtime Verification (CC, GD, AF), pp. 99–107.
Haskell-2015-McDonellCGN #code generation #type safety- Type-safe runtime code generation: accelerate to LLVM (TLM, MMTC, VG, RRN), pp. 201–212.
CAiSE-2015-WeilerGS #detection #performance #twitter- Run-Time and Task-Based Performance of Event Detection Techniques for Twitter (AW, MG, MHS), pp. 35–49.
SEKE-2015-XiangQB #flexibility #java #verification- Flexible and Extensible Runtime Verification for Java (CX, ZQ, WB), pp. 595–600.
MoDELS-2015-HartmannMFNKT #distributed #modelling #peer-to-peer- Stream my models: Reactive peer-to-peer distributed models@run.time (TH, AM, FF, GN, JK, YLT), pp. 80–89.
MoDELS-2015-KrikavaRS #framework #modelling #resource management #towards- Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.
MoDELS-2015-SzvetitsZ #modelling #reuse- Reusable event types for models at runtime to support the examination of runtime phenomena (MS, UZ), pp. 4–13.
Onward-2015-CitoLGDKR #developer #feedback #metric #using- Runtime metric meets developer: building better cloud applications using feedback (JC, PL, HCG, AD, AK, AR), pp. 14–27.
OOPSLA-2015-AlvesGDLGRP #ambiguity #pointer- Runtime pointer disambiguation (PA, FG, JD, AL, TG, FR, FMQP), pp. 589–606.
OOPSLA-2015-LeeBZZVG #assessment #float #named- RAIVE: runtime assessment of floating-point instability by vectorization (WCL, TB, YZ, XZ, KV, RG), pp. 623–638.
AdaEurope-2015-NelissenPP #architecture #monitoring #novel #performance- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.
PLDI-2015-EmaniO #approach- Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments (MKE, MFPO), pp. 499–508.
POPL-2015-NgoMMP #black box #policy #security #source code- Runtime Enforcement of Security Policies on Black Box Reactive Programs (MN, FM, DM, FP), pp. 43–54.
ASE-2015-VierhauserRGT #monitoring- The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems (MV, RR, PG, JTP), pp. 777–782.
ICSE-v2-2015-RaudjarvG #android- JRebel.Android: Runtime Class- and Resource Reloading for Android (RR, ARG), pp. 741–744.
SAC-2015-AbeywickramaSL #adaptation #monitoring #visualisation- Monitoring and visualizing adaptation of autonomic systems at runtime (DBA, NBS, ML), pp. 1857–1860.
SAC-2015-Ahn #architecture #object-oriented #re-engineering- Reconstruction of runtime software architecture for object-oriented systems (HA), pp. 1668–1669.
SAC-2015-AwadBESAS #anti #approach #detection #process- Runtime detection of business process compliance violations: an approach based on anti patterns (AA, AB, AE, RES, AA, SS), pp. 1203–1210.
SAC-2015-CharafeddineEFJ #component- Runtime enforcement for component-based systems (HC, KEH, YF, MJ), pp. 1789–1796.
SAC-2015-MilewiczVTQP #c #source code- Runtime checking C programs (RM, RV, JT, DQ, PP), pp. 2107–2114.
ASPLOS-2015-HicksSKS #debugging #lightweight #named #specification- SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.
ASPLOS-2015-NguyenWBFHX #big data #bound #compilation #named- FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications (KN, KW, YB, LF, JH, G(X), pp. 675–690.
ASPLOS-2015-XuLWZ #automation #power management- Automated OS-level Device Runtime Power Management (CX, FXL, YW, LZ), pp. 239–252.
CASE-2015-SunWWL #data-driven #energy- Data driven production runtime energy control of manufacturing systems (ZS, DW, LW, LL), pp. 243–248.
CC-2015-AckermannRMS #java #optimisation- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
DAC-2015-TodmanSL #configuration management #design #monitoring #verification- In-circuit temporal monitors for runtime verification of reconfigurable designs (TT, SS, WL), p. 6.
DAC-2015-YunPB #adaptation #named #parallel #self #thread- HARS: a heterogeneity-aware runtime system for self-adaptive multithreaded applications (JY, JP, WB), p. 6.
DATE-2015-DuqueDY #adaptation #behaviour #fault #reliability- Improving MPSoC reliability through adapting runtime task schedule based on time-correlated fault behavior (LARD, JMMD, CY), pp. 818–823.
DATE-2015-HuriauxCS #design- Design flow and run-time management for compressed FPGA configurations (CH, AC, OS), pp. 1551–1554.
DATE-2015-SkalickySLF #framework #hardware- A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
HPCA-2015-LoCIS #monitoring #using- Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.
HPDC-2015-BerrocalBDLC #data analysis #detection #lightweight- Lightweight Silent Data Corruption Detection Based on Runtime Data Analysis for HPC Applications (EB, LABG, SD, ZL, FC), pp. 275–278.
PDP-2015-NgWSM #manycore #named #performance #resource management- DeFrag: Defragmentation for Efficient Runtime Resource Allocation in NoC-Based Many-core Systems (JN, XW, AKS, TSTM), pp. 345–352.
PDP-2015-SelvaMMF #adaptation #monitoring #streaming- A Monitoring System for Runtime Adaptations of Streaming Applications (MS, LM, KM, SF), pp. 27–34.
PPoPP-2015-AmerLWBM #thread- MPI+Threads: runtime contention and remedies (AA, HL, YW, PB, SM), pp. 239–248.
PPoPP-2015-VassiliadisPCALBVN #energy #programming- A programming model and runtime system for significance-aware energy-efficient computing (VV, KP, CC, CDA, SL, NB, HV, DSN), pp. 275–276.
TACAS-2015-BloemKKW #synthesis- Shield Synthesis: — Runtime Enforcement for Reactive Systems (RB, BK, RK, CW), pp. 533–548.
TACAS-2015-CiniF #ltl #proving #verification- An LTL Proof System for Runtime Verification (CC, AF), pp. 581–595.
TACAS-2015-RegerCR #monitoring #named- MarQ: Monitoring at Runtime with QEA (GR, HCC, DER), pp. 596–610.
ICLP-J-2015-StulovaMH - Practical run-time checking via unobtrusive property caching (NS, JFM, MVH), pp. 726–741.
ISSTA-2015-DimjasevicG #analysis #assurance #generative #testing #verification- Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.
CBSE-2014-BenedittoW #configuration management #using- Using a model to generate reconfiguration plans at runtime (MEMDB, CMLW), pp. 65–74.
CBSE-2014-BuresHP #architecture #continuation #modelling #product line- Strengthening architectures of smart CPS by modeling them as runtime product-lines (TB, PH, FP), pp. 91–96.
CBSE-2014-Porter #adaptation #component #composition #fine-grained- Runtime modularity in complex structures: a component model for fine grained runtime adaptation (BP), pp. 29–34.
ECSA-2014-HorcasPF #policy #security- Runtime Enforcement of Dynamic Security Policies (JMH, MP, LF), pp. 340–356.
WICSA-2014-BaresiGM #consistency #evolution #process- Consistent Runtime Evolution of Service-Based Business Processes (LB, SG, VPLM), pp. 77–86.
WICSA-2014-VierhauserRGDWZ #architecture #flexibility #framework #monitoring- A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures (MV, RR, PG, CD, SW, HZ), pp. 57–66.
ITiCSE-2014-StrieweG14a #using- Code reading exercises using run time traces (MS, MG), p. 346.
CSMR-WCRE-2014-Bos #lightweight #reverse engineering- Lightweight runtime reverse engineering of binary file format variants (JvdB), pp. 367–370.
FM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #performance- Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.
IFM-2014-FathabadiSB #manycore #modelling #process- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
SFM-2014-BoerG #monitoring- Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.
CHI-2014-DixonLF #implementation- Pixel-based methods for widget state and style in a runtime implementation of sliding widgets (MED, GL, JAF), pp. 2231–2240.
CAiSE-2014-MurguzurCTS #process #staged- Context-Aware Staged Configuration of Process Variants@Runtime (AM, XDC, ST, GS), pp. 241–255.
EDOC-2014-PourmirzaDG #collaboration- Switching Parties in a Collaboration at Run-Time (SP, RMD, PWPJG), pp. 136–141.
ICEIS-v2-2014-SilvaFG #configuration management #product line #towards- Toward a QoS Based Run-time Reconfiguration in Service-oriented Dynamic Software Product Lines (JRFdS, ASdMF, VCG), pp. 460–465.
SEKE-2014-CheMLC #network #online #protocol #testing- Testing Network Protocols: formally, at runtime and online (XC, SM, JL, ARC), pp. 90–93.
SEKE-2014-HartmannFNMKT #approach #modelling #reasoning #using- Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach (TH, FF, GN, BM, JK, YLT), pp. 586–591.
SEKE-2014-NassarJSB #energy #generative #java #realtime- Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications (MN, JJ, IS, MBB), pp. 592–597.
SEKE-2014-ZhuangZL #fine-grained #framework #layout #reuse- Runtime Code Reuse Attacks: A Dynamic Framework Bypassing Fine-Grained Address Space Layout Randomization (YZ, TZ, ZL), pp. 609–614.
SIGIR-2014-TangJY #optimisation #ranking- Cache-conscious runtime optimization for ranking ensembles (XT, XJ, TY), pp. 1123–1126.
ECOOP-2014-LavoieDF #javascript #monitoring #performance #using #virtual machine- Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
AdaEurope-2014-PedroPPP #ada #framework #programming language #towards #verification- Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
PEPM-2014-Fahndrich #ide #lessons learnt- Lessons from a web-based IDE and runtime (MF), pp. 1–2.
PLDI-2014-DeVitoRFAH #generative #using- First-class runtime generation of high-performance types using exotypes (ZD, DR, MF, AA, PH), p. 11.
PLDI-2014-LongSR #automation #fault- Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.
RE-2014-TsigkanosPMGN #adaptation #requirements #security- Engineering topology aware adaptive security: Preventing requirements violations at runtime (CT, LP, CM, CG, BN), pp. 203–212.
ASE-2014-LiC #validation- Symbolic state validation through runtime data (YL, SCC), pp. 187–198.
ASE-2014-RomanoE #library #memory management #named- symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.
ASE-2014-Schneider14a #fault #modelling- Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
ICSE-2014-ChenPYNZ #adaptation #generative #incremental #model transformation #self- Self-adaptation through incremental generative model transformations at runtime (BC, XP, YY, BN, WZ), pp. 676–687.
SAC-2014-Al-RefaiCF #modelling #using- Using models to dynamically refactor runtime code (MAR, WC, RBF), pp. 1108–1113.
SAC-2014-KatebFNMAT #framework #modelling #multi #optimisation #platform- Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.
SAC-2014-PinisettyFJM - Runtime enforcement of regular timed properties (SP, YF, TJ, HM), pp. 1279–1286.
SAC-2014-SahuR #clustering- Creating heterogeneity at run time by dynamic cache and bandwidth partitioning schemes (AS, SR), pp. 872–879.
GPCE-2014-KaminGAXYC #multi #optimisation- Optimization by runtime specialization for sparse matrix-vector multiplication (SK, MJG, BA, DX, BY, ZC), pp. 93–102.
ASPLOS-2014-DingZZES #compilation #complexity #scheduling- Finding the limit: examining the potential and complexity of compilation scheduling for JIT-based runtime systems (YD, MZ, ZZ, SE, XS), pp. 607–622.
ASPLOS-2014-SantosRSW #mobile #using- Using ARM trustzone to build a trusted language runtime for mobile applications (NS, HR, SS, AW), pp. 67–80.
DAC-2014-ChenWLXY #optimisation- Run-Time Technique for Simultaneous Aging and Power Optimization in GPGPUs (XC, YW, YL, YX, HY), p. 6.
DAC-2014-CuiMSW #detection #hardware #synthesis- High-Level Synthesis for Run-Time Hardware Trojan Detection and Recovery (XC, KM, LS, KW), p. 6.
DAC-2014-FattahPLPT #manycore #named- SHiFA: System-Level Hierarchy in Run-Time Fault-Aware Management of Many-Core Systems (MF, MP, PL, JP, HT), p. 6.
DAC-2014-LeeL #embedded- Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DATE-2014-0001GWKAWG #optimisation #performance- Exploiting expendable process-margins in DRAMs for run-time performance optimization (KC, SG, CW, MK, BA, NW, KG), pp. 1–6.
DATE-2014-LeeF #framework #named #realtime #scheduling- GPU-EvR: Run-time event based real-time scheduling framework on GPGPU platform (HL, MAAF), pp. 1–6.
DATE-2014-NovoFIAC #approximate #case study #energy #performance- Energy efficient MIMO processing: A case study of opportunistic run-time approximations (DN, NF, PI, UA, FC), pp. 1–6.
DATE-2014-SarmaD #estimation #network- Minimal sparse observability of complex networks: Application to MPSoC sensor placement and run-time thermal estimation & tracking (SS, ND), pp. 1–6.
DATE-2014-WildermannGT #distributed #multi #resource management- Multi-objective distributed run-time resource management for many-cores (SW, MG, JT), pp. 1–6.
HPCA-2014-HuangHFS #concurrent #data transformation #detection #metadata- Low-overhead and high coverage run-time race detection through selective meta-data management (RCH, EH, AF, GES), pp. 96–107.
HPCA-2014-PugsleyCWCSJLCB #evaluation- Sandbox Prefetching: Safe run-time evaluation of aggressive prefetchers (SHP, ZC, CW, PfC, RLS, AJ, SLL, KC, RB), pp. 626–637.
PDP-2014-FattahRXKLPT #manycore- Mixed-Criticality Run-Time Task Mapping for NoC-Based Many-Core Systems (MF, AMR, TCX, AK, PL, JP, HT), pp. 458–465.
PDP-2014-SeccoUPT #message passing #parallel- Message Passing on InfiniBand RDMA for Parallel Run-Time Supports (AS, IU, GPP, MT), pp. 130–137.
PPoPP-2014-LuoLHKP #hybrid #manycore #programming- Initial study of multi-endpoint runtime for MPI+OpenMP hybrid programming model on multi-core systems (ML, XL, KH, KCK, DKP), pp. 395–396.
ESOP-2014-KothaACESB #bound #parallel- Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.
TACAS-2014-BrockschmidtEFFG #analysis #complexity #integer #source code- Alternating Runtime and Size Complexity Analysis of Integer Programs (MB, FE, SF, CF, JG), pp. 140–155.
TACAS-2014-ReinbacherRS #health #realtime- Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.
CAV-2014-ChowdhuryJGD #monitoring #policy #privacy- Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (OC, LJ, DG, AD), pp. 131–149.
ICST-2014-VarvaressosLMGH #automation #case study #debugging #game studies #monitoring #video- Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.
ISSTA-2014-ZhangW #concurrent #parallel #thread- Runtime prevention of concurrency related type-state violations in multithreaded applications (LZ, CW), pp. 1–12.
TAP-2014-KosmatovS #analysis #tutorial- Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
ECSA-2013-PascualPF #architecture #variability- Run-Time Support to Manage Architectural Variability Specified with CVL (GGP, MP, LF), pp. 282–298.
VLDB-2013-PopescuBEA #named #predict #scalability #towards- PREDIcT: Towards Predicting the Runtime of Large Scale Iterative Analytics (ADP, AB, VE, AA), pp. 1678–1689.
ITiCSE-2013-EganM #c #fault- Reducing novice C programmers’ frustration through improved runtime error checking (MHE, CM), p. 322.
SEFM-2013-BoerGW #verification- Run-Time Verification of Coboxes (FSdB, SdG, PYHW), pp. 259–273.
SEFM-2013-WonischSW #monitoring- Zero Overhead Runtime Monitoring (DW, AS, HW), pp. 244–258.
SEKE-2013-CarmoCML #adaptation #monitoring #self- Runtime Monitoring and Auditing of Self-Adaptive Systems (DHC, STC, LGPM, OL), pp. 731–736.
SEKE-2013-KalayciS #adaptation #framework #multi #workflow- Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations (SK, SMS), pp. 709–714.
SEKE-2013-PereiraAS #data access #policy #relational- Runtime Values Driven by Access Control Policies — Statically Enforced at the Level of Relational Business Tiers (ÓMP, RLA, MYS), pp. 1–7.
ECMFA-2013-PatzinaPPM #generative #modelling #monitoring- Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.
MoDELS-2013-SongBCC #adaptation #constraints #modelling #self #theorem proving #using- Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving (HS, SB, AC, SC), pp. 555–571.
MoDELS-2013-ZhangCZWY0L #modelling- Runtime Model Based Management of Diverse Cloud Resources (XZ, XC, YZ, YW, WY, GH, QL), pp. 572–588.
HILT-2013-CourtieuACZRBHG #coq #formal method #semantics #towards #using- Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
PLDI-2013-GaoSBMBL #smarttech #using- Using managed runtime systems to tolerate holes in wearable memories (TG, KS, SMB, KSM, DB, JRL), pp. 297–308.
PPDP-2013-MatsudaW #approach #bidirectional #for free #problem- Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem (KM, MW), pp. 297–308.
ER-BR-2013-Mylopoulos #design #modelling #requirements- Requirements Models at Design and Runtime (JM).
ASE-2013-MeredithR #parametricity #performance #string #verification- Efficient parametric runtime verification with deterministic string rewriting (POM, GR), pp. 70–80.
ASE-2013-ZhangCW #concurrent #data type #named- Round-up: Runtime checking quasi linearizability of concurrent data structures (LZ, AC, CW), pp. 4–14.
ESEC-FSE-2013-JiangZLSHGS #analysis #reliability- System reliability calculation based on the run-time analysis of ladder program (YJ, HZ, HL, XS, WNNH, MG, JS), pp. 695–698.
ESEC-FSE-2013-NavabpourJWBMBF #c #named #source code #verification- RiTHM: a tool for enabling time-triggered runtime verification for C programs (SN, YJ, CWWW, SB, RM, BB, SF), pp. 603–606.
ICSE-2013-CarzanigaGMPP #automation- Automatic recovery from runtime failures (AC, AG, AM, NP, MP), pp. 782–791.
SAC-2013-AktasG #assessment #authentication #control flow #platform- Run-time control flow authentication: an assessment on contemporary x86 platforms (EA, KG), pp. 1859–1866.
SAC-2013-GiustoP #adaptation #consistency- Disciplined structured communications with consistent runtime adaptation (CDG, JAP), pp. 1913–1918.
SAC-2013-GouwBJW #case study #industrial #java #source code- Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study (SdG, FSdB, EBJ, PYHW), pp. 1573–1578.
CGO-2013-AnantpurG #dependence #execution- Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.
CGO-2013-HuangJBJA #automation #parallel #using- Automatically exploiting cross-invocation parallelism using runtime information (JH, TBJ, SRB, NPJ, DIA), p. 11.
DAC-2013-AlleMD #analysis #dependence #pipes and filters #synthesis- Runtime dependency analysis for loop pipelining in high-level synthesis (MA, AM, SD), p. 10.
DAC-2013-AnagnostopoulosTBS #distributed #manycore #platform #resource management- Distributed run-time resource management for malleable applications on many-core platforms (IA, VT, AB, DS), p. 6.
DAC-2013-LiSARHP #adaptation #embedded #fault #named- RASTER: runtime adaptive spatial/temporal error resiliency for embedded processors (TL, MS, JAA, SR, JH, SP), p. 7.
DAC-2013-QuanP #algorithm- A scenario-based run-time task mapping algorithm for MPSoCs (WQ, ADP), p. 6.
DATE-2013-AhmadyanKV #algorithm #incremental #using #verification- Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm (SNA, JAK, SV), pp. 21–26.
DATE-2013-FirouziKTN #analysis- Incorporating the impacts of workload-dependent runtime variations into timing analysis (FF, SK, MBT, SRN), pp. 1022–1025.
DATE-2013-KimJC #estimation #mobile- Runtime power estimation of mobile AMOLED displays (DK, WJ, HC), pp. 61–64.
DATE-2013-ZhaoLBT #detection #manycore #probability- Run-time probabilistic detection of miscalibrated thermal sensors in many-core systems (JZ, S(L, WB, RT), pp. 1395–1398.
HPDC-2013-SajjapongseWB #clustering #multi- A preemption-based runtime to efficiently schedule multi-process applications on heterogeneous clusters with GPUs (KS, XW, MB), pp. 179–190.
PPoPP-2013-CarvalhoC #memory management #transaction- Runtime elision of transactional barriers for captured memory (FMC, JPC), pp. 303–304.
SOSP-2013-CuiSLLBXYGB #named #reliability #thread- Parrot: a practical runtime for deterministic, stable, and reliable threads (HC, JS, YHL, HL, BB, XX, JY, GAG, REB), pp. 388–405.
SOSP-2013-RossbachYCMF #compilation #named- Dandelion: a compiler and runtime for heterogeneous systems (CJR, YY, JC, JPM, DF), pp. 49–68.
FASE-2013-LasseterC #design pattern #invariant- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks (JL, JC), pp. 163–178.
TACAS-2013-GrigoreDPT #automaton #verification- Runtime Verification Based on Register Automata (RG, DD, RLP, NT), pp. 260–276.
ICLP-J-2013-ArbelaezTC #parallel #predict #satisfiability #using- Using sequential runtime distributions for the parallel speedup prediction of SAT local search (AA, CT, PC), pp. 625–639.
ISSTA-2013-LuoR #named #parallel #source code #thread- EnforceMOP: a runtime property enforcement system for multithreaded programs (QL, GR), pp. 156–166.
WICSA-ECSA-2012-NewmanK #architecture #embedded #resource management- A Runtime Resource-aware Architecture for Service-oriented Embedded Systems (PN, GK), pp. 61–70.
VLDB-2012-Jacques-SilvaGWWK #adaptation- Building User-defined Runtime Adaptation Routines for Stream Processing Applications (GJS, BG, RW, KLW, VK), pp. 1826–1837.
CSMR-2012-HamannVGK #monitoring- Abstract Runtime Monitoring with USE (LH, LV, MG, MK), pp. 549–552.
WCRE-2012-AmmarA #diagrams #empirical #evaluation- Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks (NA, MAA), pp. 367–376.
WCRE-2012-EspinhaZG #comprehension- Understanding the Runtime Topology of Service-Oriented Systems (TE, AZ, HGG), pp. 187–196.
FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #towards- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
IFM-2012-CalderS #algebra #case study #network #process #verification- Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (MC, MS), pp. 21–23.
SEFM-2012-ColomboFMP #bound #configuration management #monitoring #named #resource management #verification- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries (CC, AF, RM, GJP), pp. 218–232.
SFM-2012-GieseLBHNVW #adaptation #graph transformation #modelling- Graph Transformations for MDE, Adaptation, and Models at Runtime (HG, LL, BB, SH, SN, TV, SW), pp. 137–191.
EDOC-2012-DohringSG #adaptation #approach #aspect-oriented #model transformation #recursion #rule-based #weaving #workflow- Emulating Runtime Workflow Adaptation and Aspect Weaving by Recursive Rule-Based Sub-Process Selection — A Model Transformation Approach (MD, AS, IG), pp. 133–142.
EDOC-2012-HolmesZD #automation #modelling #monitoring #version control- Automating the Management and Versioning of Service Models at Runtime to Support Service Monitoring (TH, UZ, SD), pp. 211–218.
ICEIS-v3-2012-AkikiBY #adaptation #enterprise #modelling #user interface #using- Using Interpreted Runtime Models for Devising Adaptive User Interfaces of Enterprise Applications (PAA, AKB, YY), pp. 72–77.
ECMFA-2012-HamannHG #monitoring #ocl #protocol #state machine- OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.
MoDELS-2012-AlferezP #evolution #modelling- Dynamic Evolution of Context-Aware Systems with Models at Runtime (GHA, VP), pp. 70–86.
MoDELS-2012-FouquetNMDBPJ #eclipse #framework #modelling #requirements- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements (FF, GN, BM, ED, OB, NP, JMJ), pp. 87–101.
MoDELS-2012-RamirezCBS #nondeterminism- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
Onward-2012-TaeumelSH #programming- The VIVIDE programming environment: connecting run-time information with programmers’ system knowledge (MT, BS, RH), pp. 117–126.
OOPSLA-2012-StricklandTFF - Chaperones and impersonators: run-time support for reasonable interposition (TSS, STH, RBF, MF), pp. 943–962.
TOOLS-EUROPE-2012-LangrTDD #c++- Fake Run-Time Selection of Template Arguments in C++ (DL, PT, TD, JPD), pp. 140–154.
HILT-2012-EilersK #adaptation- Adapting ACATS for use with run-time checks suppressed (DE, TK), pp. 97–102.
POPL-2012-MonsantoFHW #compilation #network #programming language- A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
RE-2012-SalehiePOAN #adaptation #security- Requirements-driven adaptive security: Protecting variable assets at runtime (MS, LP, IO, RA, BN), pp. 111–120.
RE-2012-WelshB #adaptation #evaluation #modelling #requirements #self- Run-time model evaluation for requirements model-driven self-adaptation (KW, NB), pp. 329–330.
ASE-2012-NoureddineBRS #energy #monitoring- Runtime monitoring of software energy hotspots (AN, AB, RR, LS), pp. 160–169.
ICSE-2012-GhezziMS #component #monitoring- Runtime monitoring of component changes with Spy@Runtime (CG, AM, MS), pp. 1403–1406.
ICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance- JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
SLE-2012-CuadradoGL - The Program Is the Model: Enabling Transformations@run.time (JSC, EG, JdL), pp. 104–123.
CASE-2012-MerzFV #automation #distributed #industrial- Dynamic redeployment of control software in distributed industrial automation systems during runtime (MM, TF, BVH), pp. 863–868.
CC-2012-StreitHZH #adaptation #named #online #parallel- Sambamba: A Runtime System for Online Adaptive Parallelization (KS, CH, AZ, SH), pp. 240–243.
CGO-2012-ZhangGHLMA #fault tolerance- Runtime asynchronous fault tolerance via speculation (YZ, SG, JH, JWL, SAM, DIA), pp. 145–154.
DAC-2012-0001AG #memory management #realtime- Run-time power-down strategies for real-time SDRAM memory controllers (KC, BA, KG), pp. 988–993.
DAC-2012-AuerbachBBCFRS #compilation- A compiler and runtime for heterogeneous computing (JSA, DFB, IB, PC, SJF, RMR, SS), pp. 271–276.
DAC-2012-HuangCBK #consistency #embedded #realtime- Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
DAC-2012-LoS #analysis #execution #monitoring #parallel #worst-case- Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DATE-2012-AnagnostopoulosBKS #distributed #divide and conquer #manycore #platform- A divide and conquer based distributed run-time mapping methodology for many-core platforms (IA, AB, GK, DS), pp. 111–116.
DATE-2012-HameedBH #adaptation #architecture #manycore- Dynamic cache management in multi-core architectures through run-time adaptation (FH, LB, JH), pp. 485–490.
DATE-2012-MarianiSPZSB #architecture #configuration management #design #multi #resource management #using- Using multi-objective design space exploration to enable run-time resource management for reconfigurable architectures (GM, VMS, GP, VZ, CS, KB), pp. 1379–1384.
DATE-2012-MengC #3d #analysis #energy #performance- Analysis and runtime management of 3D systems with stacked DRAM for boosting energy efficiency (JM, AKC), pp. 611–616.
DATE-2012-WangRR #energy- Run-time power-gating in caches of GPUs for leakage energy savings (YW, SR, NR), pp. 300–303.
DATE-2012-WangTLG - Runtime power estimator calibration for high-performance microprocessors (HW, SXDT, XL, AG), pp. 352–357.
HPDC-2012-BecchiSGPRC #clustering #memory management #multitenancy- A virtual memory based runtime to support multi-tenancy in clusters with GPUs (MB, KS, IG, AMP, VTR, STC), pp. 97–108.
PDP-2012-HadjidoukasLD #independence #library #parallel #platform- A Runtime Library for Platform-Independent Task Parallelism (PEH, EL, VVD), pp. 229–236.
TACAS-2012-HamlenJS #aspect-oriented #certification #monitoring- Aspect-Oriented Runtime Monitor Certification (KWH, MJ, MS), pp. 126–140.
CAV-2012-FredriksonJJRPSY #abstraction #performance #policy #refinement #using- Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement (MF, RJ, SJ, TWR, PAP, HS, VY), pp. 548–563.
ICST-2012-CalvarTH #framework #monitoring- A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
ICTSS-2012-LahamiFKJ #adaptation #distributed #testing #towards- Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems (ML, FF, MK, MJ), pp. 71–86.
ECSA-2011-CasanovaSGA #architecture #fault- Architecture-Based Run-Time Fault Diagnosis (PC, BRS, DG, RA), pp. 261–277.
ECSA-2011-MassowHH #architecture #component #configuration management #performance #simulation- Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures (RvM, AvH, WH), pp. 43–58.
ECSA-2011-PurhonenS #adaptation #performance- Runtime Performance Management of Information Broker-Based Adaptive Applications (AP, SS), pp. 203–206.
WICSA-2011-NewmanK #embedded #framework- A Runtime Resource-Management Framework for Embedded Service-Oriented Systems (PN, GK), pp. 123–126.
PODS-2011-BenediktGS - Determining relevance of accesses at runtime (MB, GG, PS), pp. 211–222.
ITiCSE-2011-StrieweG11a #automation #programming #using- Using run time traces in automated programming tutoring (MS, MG), pp. 303–307.
CSMR-2011-AmouiDET #adaptation #evolution #towards- Software Evolution towards Model-Centric Runtime Adaptivity (MA, MD, JE, LT), pp. 89–92.
WCRE-2011-OlszakRJ #java- Meta-Level Runtime Feature Awareness for Java (AO, MR, BNJ), pp. 271–274.
ICALP-v2-2011-BrazdilKKV #analysis #bound #probability #recursion #source code- Runtime Analysis of Probabilistic Programs with Unbounded Recursion (TB, SK, AK, IHV), pp. 319–331.
FM-2011-BonakdarpourNF #verification- Sampling-Based Runtime Verification (BB, SN, SF), pp. 88–102.
SEFM-2011-FalconeJNBB #component #verification- Runtime Verification of Component-Based Systems (YF, MJ, THN, MB, SB), pp. 204–220.
ICFP-2011-ChyzakD #generative #ml #using #web- Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
AIIDE-2011-Botea - Ultra-Fast Optimal Pathfinding without Runtime Search (AB).
HCI-DDA-2011-BomsdorfGHM #configuration management #design #execution #modelling- Configurable Executable Task Models Supporting the Transition from Design Time to Runtime (BB, SG, MH, JTM), pp. 155–164.
HCI-DDA-2011-BreinerBRSMD #adaptation #automation #generative #modelling #user interface #workflow- Automatic Adaptation of User Workflows within Model-Based User Interface Generation during Runtime on the Example of the SmartMote (KB, KB, TR, MS, GM, PD), pp. 165–174.
HCI-DDA-2011-SeisslerBM #adaptation #smarttech #towards #user interface- Towards Pattern-Driven Engineering of Run-Time Adaptive User Interfaces for Smart Production Environments (MS, KB, GM), pp. 299–308.
VISSOFT-2011-ChoudhuryR #behaviour #memory management #visualisation- Abstract visualization of runtime memory behavior (ANMIC, PR), pp. 1–8.
KEOD-2011-GaignardMWG #concept #parametricity #semantics- Characterizing Semantic Service Parameters with Role Concepts to Infer Domain-specific Knowledge at Runtime (AG, JM, BW, BG), pp. 59–70.
SEKE-2011-DengLSW #api #constraints #specification #verification- Specification and Runtime Verification of API Constraints on Interacting Objects (FD, HL, JS, QW), pp. 101–106.
ECMFA-2011-LudwigFBC #design #variability- Integrating Design and Runtime Variability Support into a System ADL (ML, NF, JPB, JC), pp. 270–281.
MoDELS-2011-SongHCZSSM #incremental #modelling #qvt- Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
OOPSLA-2011-WurthingerABWM #aspect-oriented #evolution #java- Safe and atomic run-time code evolution for Java and its application to dynamic AOP (TW, DA, WB, CW, HM), pp. 825–844.
PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #source code- Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.
PEPM-2011-PlasmeijerAKLNG #evolution #type safety #workflow- iTasks for a change: type-safe run-time change in dynamically evolving workflows (RP, PA, PWMK, BL, TvN, JHGvG), pp. 151–160.
PLDI-2011-BurnimENS #correctness #named #nondeterminism #parallel #specification- NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (JB, TE, GCN, KS), pp. 401–414.
RE-2011-WelshSB #nondeterminism- Run-time resolution of uncertainty (KW, PS, NB), pp. 355–356.
ASE-2011-WelshSB #requirements #towards- Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.
ASE-2011-ZhangMPL #monitoring #predict- Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
ESEC-FSE-2011-Bodden #approach #monitoring- Stateful breakpoints: a practical approach to defining parameterized runtime monitors (EB), pp. 492–495.
ESEC-FSE-2011-Filieri #verification- QoS verification and model tuning @ runtime (AF), pp. 408–411.
ICSE-2011-AraujoBL #concurrent #contract #java #modelling- Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (WA, LCB, YL), pp. 786–795.
ICSE-2011-FilieriGT #model checking #performance #probability- Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.
SAC-2011-KontogiannisWM #clustering #comprehension #reduction- Event clustering for log reduction and run time system understanding (KK, AW, SM), pp. 191–192.
GPCE-2011-NystromWD #compilation #named #scala- Firepile: run-time compilation for GPUs in scala (NN, DW, KD), pp. 107–116.
GPCE-2011-SteckLS #modelling- Model-driven engineering and run-time model-usage in service robotics (AS, AL, CS), pp. 73–82.
CGO-2011-ChakrabartiBBJS #graph #memory management #optimisation #transaction- The runtime abort graph and its application to software transactional memory optimization (DRC, PB, HJB, PGJ, RSS), pp. 42–53.
CGO-2011-HertzbergO #automation #parallel- Runtime automatic speculative parallelization (BH, KO), pp. 64–73.
DAC-2011-Hazelwood #adaptation #embedded- Process-level virtualization for runtime adaptation of embedded software (KMH), pp. 895–900.
DAC-2011-ZattSSABH #adaptation #energy #estimation #multi #video- Run-time adaptive energy-aware motion and disparity estimation in multiview video coding (BZ, MS, FS, LVA, SB, JH), pp. 1026–1031.
DATE-2011-AhmedSBH #configuration management #multi #named- mRTS: Run-time system for reconfigurable processors with multi-grained instruction-set extensions (WA, MS, LB, JH), pp. 1554–1559.
DATE-2011-Al-DujailyMXYP #concurrent #detection #network #transitive #using- Run-time deadlock detection in networks-on-chip using coupled transitive closure networks (RAD, TSTM, FX, AY, MP), pp. 497–502.
DATE-2011-AnjamNW #multi- Targeting code diversity with run-time adjustable issue-slots in a chip multiprocessor (FA, MN, SW), pp. 1358–1363.
DATE-2011-BaiDDC #network #program transformation #programming- Simplified programming of faulty sensor networks via code transformation and run-time interval computation (LSB, RPD, PAD, PHC), pp. 88–93.
DATE-2011-HameedFH #3d #adaptation #architecture #manycore- Dynamic thermal management in 3D multi-core architecture through run-time adaptation (FH, MAAF, JH), pp. 299–304.
DATE-2011-HuangRBK #adaptation #workflow- A workflow for runtime adaptive task allocation on heterogeneous MPSoCs (JH, AR, CB, AK), pp. 1119–1134.
DATE-2011-JahnFH #adaptation #architecture #migration #multi #named- CARAT: Context-aware runtime adaptive task migration for multi core architectures (JJ, MAAF, JH), pp. 515–520.
DATE-2011-ShafiqueBAH #configuration management #manycore #resource management- Minority-Game-based resource allocation for run-time reconfigurable multi-core processors (MS, LB, WA, JH), pp. 1261–1266.
DATE-2011-TendulkarPNKNK #communication #hardware- Fine-grain OpenMP runtime support with explicit communication hardware primitives (PT, VP, GN, SGK, DSN, MK), pp. 891–894.
DATE-2011-WinterF #scheduling- Guaranteed service virtual channel allocation in NoCs for run-time task scheduling (MW, GF), pp. 419–424.
HPDC-2011-RaviBAC #framework #gpu- Supporting GPU sharing in cloud environments with a transparent runtime consolidation framework (VTR, MB, GA, STC), pp. 217–228.
ESOP-2011-Mine #c #embedded #fault #parallel #source code #static analysis- Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
CSL-2011-SchnablS #complexity- The Exact Hardness of Deciding Derivational and Runtime Complexity (AS, JGS), pp. 481–495.
ICST-2011-Gonzalez-Sanchez #optimisation #testing- Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems (AGS), pp. 439–442.
ICST-2011-RubanovS #kernel #linux #verification- Runtime Verification of Linux Kernel Modules Based on Call Interception (VVR, EAS), pp. 180–189.
ICST-2011-SaifanDBP #consistency #implementation #mobile- Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems (AAS, JD, JSB, EP), pp. 269–278.
ECSA-2010-Phung-KhacGSBK #architecture #data transfer #distributed #evolution #modelling- Modelling Changes and Data Transfers for Architecture-Based Runtime Evolution of Distributed Applications (APK, JMG, MTS, AB, EK), pp. 392–400.
VLDB-2010-SchadDQ #in the cloud #metric- Runtime Measurements in the Cloud: Observing, Analyzing, and Reducing Variance (JS, JD, JAQR), pp. 460–471.
SCAM-2010-SimpsonB #c #memory management #named #safety- MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime (MSS, RB), pp. 199–208.
WCRE-2010-PerscheidSHGH #analysis #behaviour #online- Immediacy through Interactivity: Online Analysis of Run-time Behavior (MP, BS, RH, FG, MH), pp. 77–86.
RTA-2010-AvanziniM #complexity- Closing the Gap Between Runtime Complexity and Polytime Computability (MA, GM), pp. 33–48.
SEFM-2010-BersaniCFPR #constraints #integer #ltl #smt #specification #verification- SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability (MMB, LC, AF, MP, MR), pp. 244–254.
SEFM-2010-HussainL #ml #named #specification- temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.
SOFTVIS-2010-MyersD #abstraction #design- A map of the heap: revealing design abstractions in runtime structures (CM, DJD), pp. 63–72.
CAiSE-2010-SerralVP #adaptation #behaviour #evolution- Supporting Runtime System Evolution to Adapt to User Behaviour (ES, PV, VP), pp. 378–392.
EDOC-2010-Halle #contract #interface #ltl #monitoring- Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.
EDOC-2010-MosincatBJ #adaptation #automation #evolution- Runtime Adaptability through Automated Model Evolution (ADM, WB, MJ), pp. 217–226.
KR-2010-UroviBSA #multi #towards- Towards Runtime Support for Norm-Governed Multi-Agent Systems (VU, SB, KS, AA).
SEKE-2010-AvilaSCY #comparison #constraints #ocl- Runtime Constraint Checking Approaches for OCL, A Critical Comparison (CA, AS, YC, CY), pp. 393–398.
MoDELS-v2-2010-DenkerRGN #modelling- Modeling Features at Runtime (MD, JR, OG, ON), pp. 138–152.
MoDELS-v2-2010-SongHXCSM #api #metamodelling- Inferring Meta-models for Runtime System Data from the Clients of Management APIs (HS, GH, YX, FC, YS, HM), pp. 168–182.
OOPSLA-2010-McIlroyS #architecture #manycore #named- Hera-JVM: a runtime system for heterogeneous multi-core architectures (RM, JS), pp. 205–222.
OOPSLA-2010-SwaineTDFF #incremental #parallel- Back to the futures: incremental parallelization of existing sequential runtime systems (JS, KT, PAD, RBF, MF), pp. 583–597.
PEPM-2010-RudolphT #bytecode #code generation #named #type safety- Mnemonics: type-safe bytecode generation at run time (JR, PT), pp. 15–24.
SIGAda-2010-RasC - A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller (JR, AMKC), pp. 13–22.
SAC-OOPS-J-2008-PirkelbauerPMS10 #algorithm #concept- Dynamic algorithm selection for runtime concepts (PP, SP, MM, BS), pp. 773–786.
ASE-2010-HalleEBB #fault #model checking #navigation #state machine #web- Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines (SH, TE, CB, TB), pp. 235–244.
ASE-2010-HineSV #enterprise #modelling #named- Reac2o: a runtime for enterprise system models (CMH, JGS, SV), pp. 177–178.
ASE-2010-MelissonMRRS #architecture #component #configuration management #distributed- Reconfigurable run-time support for distributed service component architectures (RM, PM, DR, RR, LS), pp. 171–172.
ICSE-2010-BencomoWSFL #requirements- Requirements reflection: requirements as runtime entities (NB, JW, PS, AF, EL), pp. 199–202.
ICSE-2010-CarzanigaGPP #automation #named- RAW: runtime automatic workarounds (AC, AG, NP, MP), pp. 321–322.
ICSE-2010-LewisW #fault #monitoring #using- Runtime repair of software faults using event-driven monitoring (CL, JW), pp. 275–280.
ICSE-2010-SongHCSM #modelling #representation- SM@RT: representing run-time system data as MOF-compliant models (HS, GH, FC, YS, HM), pp. 303–304.
GPCE-2010-NavasBP #component #embedded #evolution #framework- A component-based run-time evolution infrastructure for resource-constrained embedded systems (JFN, JPB, JP), pp. 73–82.
GPCE-2010-RompfO #approach #code generation #composition #domain-specific language #lightweight #staging- Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (TR, MO), pp. 127–136.
ASPLOS-2010-BerganADCG #compilation #execution #named #parallel #thread- CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.
ASPLOS-2010-HarrisTCU #architecture #multi- Dynamic filtering: multi-purpose architecture support for language runtime systems (TH, ST, AC, OSÜ), pp. 39–52.
ASPLOS-2010-YuanMXTZP #fault #named- SherLog: error diagnosis by connecting clues from run-time logs (DY, HM, WX, LT, YZ, SP), pp. 143–154.
DAC-2010-CochranR #consistency #detection #predict- Consistent runtime thermal prediction and control through workload phase detection (RC, SR), pp. 62–67.
DAC-2010-YeL #modelling #optimisation #parallel #performance #simulation- Parallel program performance modeling for runtime optimization of multi-algorithm circuit simulation (XY, PL), pp. 561–566.
DATE-2010-BraakHKHS #realtime #resource management- Run-time spatial resource management for real-time applications on heterogeneous MPSoCs (TDtB, PKFH, JK, JH, GJMS), pp. 357–362.
DATE-2010-JavaidJHP #agile #estimation #pipes and filters- Rapid runtime estimation methods for pipelined MPSoCs (HJ, AJ, MSH, SP), pp. 363–368.
DATE-2010-KarnerASW #network #simulation #using- Holistic simulation of FlexRay networks by using run-time model switching (MK, EA, CS, RW), pp. 544–549.
DATE-2010-MarianiAVYPSZ #design #framework #industrial #manycore #resource management- An industrial design space exploration framework for supporting run-time resource management on multi-core systems (GM, PA, GV, CYC, GP, CS, VZ), pp. 196–201.
DATE-2010-ShafiqueBH #adaptation #energy #estimation #named #predict #video- enBudget: A Run-Time Adaptive Predictive Energy-Budgeting scheme for energy-aware Motion Estimation in H.264/MPEG-4 AVC video encoder (MS, LB, JH), pp. 1725–1730.
DATE-2010-SigdelTGPB #case study #evaluation #heuristic- Evaluation of runtime task mapping heuristics with rSesame — a case study (KS, MT, CG, ADP, KB), pp. 831–836.
DATE-2010-WenCCL #debugging #named #parallel #source code- RunAssert: A non-intrusive run-time assertion for parallel programs debugging (CNW, SHC, TFC, TJL), pp. 287–290.
HPDC-2010-EkanayakeLZGBQF #named #pipes and filters- Twister: a runtime for iterative MapReduce (JE, HL, BZ, TG, SHB, JQ, GF), pp. 810–818.
HPDC-2010-TeodoroHCF #optimisation- Run-time optimizations for replicated dataflows on heterogeneous environments (GT, TDRH, ÜVÇ, RF), pp. 13–24.
PPoPP-2010-TzannesCBV #adaptation #lazy evaluation- Lazy binary-splitting: a run-time adaptive work-stealing scheduler (AT, GCC, RB, UV), pp. 179–190.
FASE-2010-LehnerM #performance- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.
ICLP-2010-AlbertiGL10 #abduction #constraints #proving- Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (MA, MG, EL), pp. 4–13.
ICST-2010-SantelicesHO #detection #evolution #interactive- Precisely Detecting Runtime Change Interactions for Evolving Software (RAS, MJH, AO), pp. 429–438.
SAT-2010-KrocSS #empirical- An Empirical Study of Optimal Noise and Runtime Distributions in Local Search (LK, AS, BS), pp. 346–351.
WICSA-ECSA-2009-TaylorMO #adaptation #architecture- Architectural styles for runtime software adaptation (RNT, NM, PO), pp. 171–180.
SIGMOD-2009-KaderBMK #named #optimisation- ROX: run-time optimization of XQueries (RAK, PAB, SM, MvK), pp. 615–626.
ICPC-J-2008-DaltonWDH09 #behaviour #embedded #network #tool support #visualisation- Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS (ARD, SKW, SD, JOH), pp. 446–469.
CIAA-J-2008-MatsumotoHT09 #automaton #implementation #pattern matching #performance- A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 717–733.
ICFP-2009-MarlowJS #haskell #manycore- Runtime support for multicore Haskell (SM, SLPJ, SS), pp. 65–78.
CIG-2009-HagelbackJ #experience #game studies #scalability- Measuring player experience on runtime dynamic difficulty scaling in an RTS game (JH, SJJ), pp. 46–52.
HCI-NT-2009-MiyazakiSY #behaviour #distributed #java #using #virtual machine- Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications (TM, TS, FY), pp. 882–889.
HCI-VAD-2009-BreinerGMMZ #adaptation #user interface- Run-Time Adaptation of a Universal User Interface for Ambient Intelligent Production Environments (KB, DG, OM, GM, DZ), pp. 663–672.
SEKE-2009-NusayrC #aspect-oriented #monitoring- Extending AOP to Support Broad Runtime Monitoring Needs (AN, JC), pp. 438–441.
MoDELS-2009-WolfeGP #algorithm #consistency #incremental- An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
SPLC-2009-CetinaHZFP #variability- Strategies for variability transformation at run-time (CC, ØH, XZ, FF, VP), pp. 61–70.
MoDELS-2009-WolfeGP #algorithm #consistency #incremental- An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
OOPSLA-2009-Abi-AntounA #analysis #architecture #consistency #using- Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations (MAA, JA), pp. 321–340.
TOOLS-EUROPE-2009-KloseO #aspect-oriented #classification #framework #monitoring- A Classification Framework for Pointcut Languages in Runtime Monitoring (KK, KO), pp. 289–307.
PLDI-2009-XuAMRS #profiling- Go with the flow: profiling copies to find runtime bloat (G(X, MA, NM, AR, GS), pp. 419–430.
ASE-2009-BurnimJSS #detection #infinity #lightweight #named- Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.
ESEC-FSE-2009-CardelliniCGPM #adaptation #architecture- Qos-driven runtime adaptation of service oriented architectures (VC, EC, VG, FLP, RM), pp. 131–140.
ICSE-2009-EpifaniGMT #adaptation #evolution #parametricity- Model evolution by run-time parameter adaptation (IE, CG, RM, GT), pp. 111–121.
SAC-2009-HalleV #monitoring #streaming #using #web #web service #xml- Runtime monitoring of web service choreographies using streaming XML (SH, RV), pp. 2118–2125.
SAC-2009-MondejarLPUM #aspect-oriented #composition #design #distributed- Designing a distributed AOP runtime composition model (RM, PGL, CP, PU, PM), pp. 539–540.
GPCE-2009-VillazonBAM #adaptation #java- Advanced runtime adaptation for Java (AV, WB, DA, PM), pp. 85–94.
DAC-2009-ShojaeiGBGSH #composition #heuristic #multi- A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management (HS, AHG, TB, MG, SS, RH), pp. 917–922.
DATE-2009-FaruqueEH #adaptation #communication #configuration management- Configurable links for runtime adaptive on-chip communication (MAAF, TE, JH), pp. 256–261.
DATE-2009-FiorinPS #monitoring- MPSoCs run-time monitoring through Networks-on-Chip (LF, GP, CS), pp. 558–561.
DATE-2009-GregertsenS #ada #multi #performance- An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller (KNG, AS), pp. 1572–1575.
DATE-2009-HuynhM #configuration management #embedded #realtime- Runtime reconfiguration of custom instructions for real-time embedded systems (HPH, TM), pp. 1536–1541.
DATE-2009-KimYK #online #scalability- Program phase and runtime distribution-aware online DVFS for combined Vdd/Vbb scaling (JK, SY, CMK), pp. 417–422.
DATE-2009-SabeghiB #approach #configuration management #towards- Toward a runtime system for reconfigurable computers: A virtualization approach (MS, KB), pp. 1576–1579.
DATE-2009-XuVJ - Selective light Vth hopping (SLITH): Bridging the gap between runtime dynamic and leakage (HX, RV, WBJ), pp. 594–597.
HPCA-2009-PowellBEMSY #named #parametricity #using- CAMP: A technique to estimate per-structure power at run-time using a few simple parameters (MDP, AB, JSE, SSM, BRS, SMY), pp. 289–300.
HPDC-2009-GlasnerV #adaptation #predict- Adaptive run-time prediction in heterogeneous environments (CG, JV), pp. 61–62.
HPDC-2009-SonmezYIE #evaluation #predict #queue- Trace-based evaluation of job runtime and queue wait time predictions in grids (OOS, NY, AI, DHJE), pp. 111–120.
PDP-2009-PantJK #multi #named #performance- Phoenix: A Runtime Environment for High Performance Computing on Chip Multiprocessors (AP, HJ, VVK), pp. 119–126.
PDP-2009-ZhaoMLHH #approach #architecture #evolution #graph transformation- A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures (YZ, DM, ML, CH, YH), pp. 203–209.
PPoPP-2009-MaA #compilation #data mining #mining- A compiler and runtime system for enabling data mining applications on gpus (WM, GA), pp. 287–288.
ICLP-2009-MeraLH #framework #testing #verification- Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.
ICST-2009-MurphySK #ml #testing #using- Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.
ISSTA-2009-SinhaSGJKH #exception #fault #java #locality- Fault localization and repair for Java runtime exceptions (SS, HS, CG, SJ, MK, MJH), pp. 153–164.
ICPC-2008-DaltonH #behaviour #tool support #visualisation- A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications (ARD, JOH), pp. 43–52.
ICPC-2008-RothlisbergerGN #ide- Exploiting Runtime Information in the IDE (DR, OG, ON), pp. 63–72.
PASTE-2008-Abi-AntounA #architecture #case study- A field study in static extraction of runtime architectures (MAA, JA), pp. 22–28.
CIAA-2008-MatsumotoHT #automaton #implementation #pattern matching #performance- A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 201–211.
FM-2008-AktugDG #monitoring- Provably Correct Runtime Monitoring (IA, MD, DG), pp. 262–277.
FM-2008-ChalinR #fault #ml #performance #using- JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
Haskell-2008-VieraSL #haskell #parsing #performance #top-down- Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime (MV, SDS, EL), pp. 63–74.
IFL-2008-GrelckP #architecture #implementation #parallel #thread- Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.
SOFTVIS-2008-SundararamanB #c #c++ #interactive #java #named #visualisation- HDPV: interactive, faithful, in-vivo runtime state visualization for C/C++ and Java (JS, GB), pp. 47–56.
EDOC-2008-HalleV #message passing #monitoring #workflow- Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.
ICEIS-ISAS2-2008-PegoraroHDGR #framework #monitoring #web #web service- A Framework for Monitoring and Runtime Recovery of Web Service-Based Applications (RP, RBH, KD, KG, JMR), pp. 201–206.
SEKE-2008-KloukinasSM #distributed #verification- Estimating Event Lifetimes for Distributed Runtime Verification (CK, GS, KM), pp. 117–122.
SEKE-2008-TsigkritisS #dependence #security- Diagnosing Runtime Violations of Security & Dependability Properties (TT, GS), pp. 661–666.
BX-2008-Song1 #architecture- Architecture-Based Runtime System Management (HS), p. 47.
ECMDA-FA-2008-Barbier #state machine #uml- Supporting the UML State Machine Diagramsat Runtime (FB), pp. 338–348.
ECOOP-2008-SomanKD #memory management #multi #named #scalability- MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments (SS, CK, LD), pp. 335–361.
OOPSLA-2008-ArnoldVY #detection #fault #named #performance- QVM: an efficient runtime for detecting defects in deployed systems (MA, MTV, EY), pp. 143–162.
OOPSLA-2008-GopinathanR #analysis #protocol- Enforcing object protocols by combining static and runtime analysis (MG, SKR), pp. 245–260.
TOOLS-EUROPE-2008-LeueSW #scheduling #semantics #uml- An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (SL, AS, WW), pp. 238–257.
FSE-2008-BoddenLH #fault #monitoring #programming- Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.
ICSE-2008-ChenSR #analysis #java #named #predict- jPredictor: a predictive runtime analysis tool for java (FC, TFS, GR), pp. 221–230.
SAC-2008-Al-GahmiC #middleware #towards- Towards a service-based middleware layer for runtime environments (AAG, JEC), pp. 507–511.
SAC-2008-LiQWLW #consistency #diagrams #interactive #java #source code #state machine #uml #verification- UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
SAC-2008-PirkelbauerPMS #c++ #concept #library #standard- Runtime concepts for the C++ standard template library (PP, SP, MM, BS), pp. 171–177.
DAC-2008-BauerSH #embedded #set- Run-time instruction set selection in a transmutable embedded processor (LB, MS, JH), pp. 56–61.
DAC-2008-ChaudhuriGFHD #configuration management #embedded- An 8x8 run-time reconfigurable FPGA embedded in a SoC (SC, SG, FF, PH, JLD), pp. 120–125.
DAC-2008-FaruqueKH #communication #distributed #named- ADAM: run-time agent-based distributed application mapping for on-chip communication (MAAF, RK, JH), pp. 760–765.
DAC-2008-SenOA #multi #predict #verification- Predictive runtime verification of multi-processor SoCs in SystemC (AS, VO, MSA), pp. 948–953.
DATE-2008-BauerSKH #embedded #set- Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set (LB, MS, SK, JH), pp. 752–757.
DATE-2008-HolzenspiesHKS #multi #streaming- Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC) (PKFH, JH, JK, GJMS), pp. 212–217.
DATE-2008-HongYBCEK #bias #scalability- Dynamic Voltage Scaling of Supply and Body Bias Exploiting Software Runtime Distribution (SH, SY, BB, KMC, SKE, TK), pp. 242–247.
DATE-2008-QuSN #configuration management #performance- Improving the Efficiency of Run Time Reconfigurable Devices by Configuration Locking (YQ, JPS, JN), pp. 264–267.
HPCA-2008-ChenMP #constraints #graph #memory management #using #validation- Runtime validation of memory ordering using constraint graph checking (KC, SM, PP), pp. 415–426.
HPDC-2008-DiamosY #execution #named- Harmony: an execution model and runtime for heterogeneous many core systems (GFD, SY), pp. 197–200.
ISMM-2008-PhanSJ #memory management- Runtime support for region-based memory management in Mercury (QP, ZS, GJ), pp. 61–70.
PDP-2008-AlbrechtRKPM #analysis #configuration management #framework #performance #platform- Performance Analysis of Bus-Based Interconnects for a Run-Time Reconfigurable Co-Processor Platform (CA, PR, RK, TP, EM), pp. 200–205.
PDP-2008-HutterM #distributed #java #locality #optimisation- Runtime Locality Optimizations of Distributed Java Applications (CH, TM), pp. 149–156.
PPoPP-2008-ChanZBQQG #named #parallel #scheduling #thread- SuperMatrix: a multithreaded runtime scheduling system for algorithms-by-blocks (EC, FGVZ, PB, ESQO, GQO, RAvdG), pp. 123–132.
PPoPP-2008-HoustonPRKFADH #interface #memory management #multi- A portable runtime interface for multi-level memory hierarchies (MH, JYP, MR, TJK, KF, AA, WJD, PH), pp. 143–152.
ESOP-2008-MatthewsA #exclamation #morphism #parametricity #polymorphism #theorem- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.
SAT-2008-HaimW #estimation #online #satisfiability- Online Estimation of SAT Solving Runtime (SH, TW), pp. 133–138.
TestCom-FATES-2008-Havelund #c #source code #verification- Runtime Verification of C Programs (KH), pp. 7–22.
VMCAI-2008-NguyenKC #logic- Runtime Checking for Separation Logic (HHN, VK, WNC), pp. 203–217.
CBSE-2007-FornasierWG #component #composition #named #programming #using- Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL (PF, JW, IG), pp. 227–241.
CSMR-2007-AoumeurBS #adaptation #component #distributed #incremental #information management #specification #validation- Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems (NA, KB, GS), pp. 123–136.
ICSM-2007-Bergin #adaptation- Runtime Adaptation of Long-Running Applications for Improved Caching (JB), pp. 509–510.
SCAM-2007-BinderHM #bytecode #java #re-engineering #standard- Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (WB, JH, PM), pp. 91–100.
SEFM-2007-CamaraSC #adaptation #behaviour #composition #transaction- Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.
Haskell-2007-GrabmullerK #code generation #haskell #named- Harpy: run-time code generation in haskell (MG, DK), p. 94.
AGTIVE-2007-BoddenV #automaton #monitoring #specification #timeline- Transforming Timeline Specifications into Automata for Runtime Monitoring (EB, HV), pp. 249–264.
SEKE-2007-LiangDS #evolution #monitoring- Evolution and Runtime Monitoring of Software Systems (HL, JSD, JS), pp. 343–348.
MoDELS-2007-PilskalnsWI #debugging #uml #using- Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.
MoDELS-2007-PilskalnsWI #debugging #uml #using- Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.
ECOOP-2007-BoddenHL #monitoring #performance #program analysis #staged- A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring (EB, LJH, OL), pp. 525–549.
OOPSLA-2007-ChenR #framework #named #performance #verification- Mop: an efficient and generic runtime verification framework (FC, GR), pp. 569–588.
PLDI-2007-ElmasQT #java #named #transaction- Goldilocks: a race and transaction-aware java runtime (TE, SQ, ST), pp. 245–255.
ICSE-2007-YuanM #feedback #testing #user interface #using- Using GUI Run-Time State as Feedback to Generate Test Cases (XY, AMM), pp. 396–405.
SAC-2007-Hamid #memory management- Integrating a certified memory management runtime with proof-carrying code (NAH), pp. 1526–1533.
CGO-2007-KotzmannM #analysis #optimisation- Run-Time Support for Optimizations Based on Escape Analysis (TK, HM), pp. 49–60.
DATE-2007-QuSN #configuration management #energy #interactive #scalability #using- Interactive presentation: Using dynamic voltage scaling to reduce the configuration energy of run time reconfigurable devices (YQ, JPS, JN), pp. 147–152.
ISSTA-2007-TombBV #detection #fault #interprocedural #program analysis- Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
QoSA-2006-DuzbayevP #behaviour #predict- Runtime Prediction of Queued Behaviour (ND, IP), pp. 78–94.
SIGMOD-2006-LiuZR #memory management #query- Run-time operator state spilling for memory intensive long-running queries (BL, YZ, EAR), pp. 347–358.
VLDB-2006-WangSLWYDRM #named #optimisation #query #semantics #xml- R-SOX: Runtime Semantic Query Optimization over XML Streams (SW, HS, ML, MW, SY, DD, EAR, MM), pp. 1207–1210.
ICPC-2006-StefikFA #comprehension #debugging #effectiveness #music #using- Layered Program Auralization: Using Music to Increase Runtime Program Comprehension and Debugging Effectiveness (AS, KF, RTA), pp. 89–93.
SCAM-2006-SawinR #algorithm #graph- Estimating the Run-Time Progress of a Call Graph Construction Algorithm (JS, AR), pp. 53–62.
FM-2006-PnueliZ #model checking #verification- PSL Model Checking and Run-Time Verification Via Testers (AP, AZ), pp. 573–586.
SOFTVIS-2006-SingerK #adaptation #visualisation- Visualized adaptive runtime subsystems (JS, CCK), pp. 195–196.
SEKE-2006-StenderKA #multi- Mobility-based Runtime Load Balancing in Multi-Agent Systems (JS, SK, SA), pp. 688–696.
SPLC-2006-WangKHW #personalisation #privacy #web- PLA-based Runtime Dynamism in Support of Privacy-Enhanced Web Personalization (YW, AK, AvdH, JW), pp. 151–162.
ECOOP-2006-Mitchell - The Runtime Structure of Object Ownership (NM), pp. 74–98.
ECOOP-2006-MitchellSS #behaviour #modelling- Modeling Runtime Behavior in Framework-Based Applications (NM, GS, HS), pp. 429–451.
AdaEurope-2006-Cheng #ada #detection #realtime- Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems (JC), pp. 167–178.
AdaEurope-2006-LiWQLYZZ #java #source code #specification #verification- Runtime Verification of Java Programs for Scenario-Based Specifications (XL, LW, XQ, BL, JY, JZ, GZ), pp. 94–105.
PLDI-2006-Adl-TabatabaiLMMSS #compilation #memory management #performance #transaction- Compiler and runtime support for efficient software transactional memory (ARAT, BTL, VM, BRM, BS, TS), pp. 26–37.
PLDI-2006-FeiM #execution #monitoring #named- Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.
CC-2006-GuoWWBOVCA #ambiguity #memory management- Selective Runtime Memory Disambiguation in a Dynamic Binary Translator (BG, YW, CW, MJB, GO, NV, JC, DIA), pp. 65–79.
CGO-2006-CooperD #compilation #graph- Tailoring Graph-coloring Register Allocation For Runtime Compilation (KDC, AD), pp. 39–49.
CGO-2006-NandaLLC #named #using- BIRD: Binary Interpretation using Runtime Disassembly (SN, WL, LCL, TcC), pp. 358–370.
DAC-2006-SinghMPO #nondeterminism- Gain-based technology mapping for minimum runtime leakage under input vector uncertainty (AKS, MM, RP, MO), pp. 522–527.
DAC-2006-ZhuQ #fault tolerance #multi #prototype- Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery (XZ, WQ), pp. 53–56.
DATE-2006-AlimondaACP #approach #energy #optimisation #pipes and filters- A control theoretic approach to run-time energy optimization of pipelined processing in MPSoCs (AA, AA, SC, AP), pp. 876–877.
DATE-2006-PettisRL #automation #operating system #policy- Automatic run-time selection of power policies for operating systems (NP, JR, YHL), pp. 508–513.
DATE-2006-QuSN #configuration management #parallel- A parallel configuration model for reducing the run-time reconfiguration overhead (YQ, JPS, JN), pp. 965–969.
HPDC-2006-YueMSN #adaptation #memory management- Runtime Support for Memory Adaptation in Scientific Applications via Local Disk and Remote Memory (CY, RTM, AS, DSN), pp. 183–194.
HPDC-2006-ZhangHXY #named #physics #scalability- PARM: Physics Aware Runtime Manager for Large-scale Scientific and Engineering Applications (YZ, SH, JX, JY), pp. 363–364.
PDP-2006-ZhangSS #thread- A UPC Runtime System Based on MPI and POSIX Threads (ZZ, JS, SS), pp. 195–202.
PPoPP-2006-SahaAHMH #manycore #memory management #named #performance #transaction- McRT-STM: a high performance software transactional memory system for a multi-core runtime (BS, ARAT, RLH, CCM, BH), pp. 187–197.
PPoPP-2006-WangS #concurrent #detection #fault #performance #source code- Accurate and efficient runtime detection of atomicity errors in concurrent programs (LW, SDS), pp. 137–146.
ESOP-2006-Fruja #dot-net #type safety- Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.
ISSTA-2006-KiviluomaKM #architecture #aspect-oriented #behaviour #monitoring #using- Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects (KK, JK, TM), pp. 181–190.
MBT-2006-CallananGRSTZ #approach #monte carlo #verification- Runtime Verification for High-Confidence Systems: A Monte Carlo Approach (SC, RG, AR, SAS, MRT, EZ), pp. 41–52.
WICSA-2005-JooliaBCG #component #configuration management #framework #performance #platform #specification- Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform (AJ, TVB, GC, ATAG), pp. 131–140.
VISSOFT-2005-SmithM #identification #interactive #java #source code- Identifying Structural Features of Java Programs by Analysing the Interaction of Classes at Runtime (MPS, MM), pp. 108–113.
EDOC-2005-KarastoyanovaHCLB #adaptation- Extending BPEL for Run Time Adaptability (DK, AH, MC, FL, APB), pp. 15–26.
SEKE-2005-MondragonGMS #generative #monitoring #specification- Generating Properties for Runtime Monitoring from Software Specification Patterns (OM, AQG, HM, OS), pp. 267–273.
ECOOP-2005-DaynesC #representation- Sharing the Runtime Representation of Classes Across Class Loaders (LD, GC), pp. 97–120.
OOPSLA-2005-ShankarSBS #analysis- Runtime specialization with optimistic heap analysis (AS, SSS, RB, JES), pp. 327–343.
PLDI-2005-ElmasTQ #concurrent #detection #named #source code #verification- VYRD: verifYing concurrent programs by runtime refinement-violation detection (TE, ST, SQ), pp. 27–37.
ASE-2005-AgarwalSWS #concurrent #detection #using- Optimized run-time race detection and atomicity checking using partial discovered types (RA, AS, LW, SDS), pp. 233–242.
SAC-2005-MilazzoPTU #distributed- Handling run-time updates in distributed applications (MM, GP, ET, GU), pp. 1375–1380.
SAC-2005-MitchellP #metric #using- Using object-level run-time metrics to study coupling between objects (ÁM, JFP), pp. 1456–1462.
GPCE-2005-AktemurJKC #generative #optimisation- Optimizing Marshalling by Run-Time Program Generation (BA, JJ, SNK, LC), pp. 221–236.
GPCE-2005-KaminAM #generative #optimisation- Source-Level Optimization of Run-Time Program Generators (SNK, BA, PM), pp. 293–308.
CC-2005-GapeyevLPS #xml- XML Goes Native: Run-Time Representations for Xtatic (VG, MYL, BCP, AS), pp. 43–58.
CGO-2005-DasLCKYHC #optimisation #performance- Performance of Runtime Optimization on BLAST (AD, JL, HC, JK, PCY, WCH, DyC), pp. 86–96.
CGO-2005-WuEW #code generation #performance- Efficient SIMD Code Generation for Runtime Alignment and Length Conversion (PW, AEE, AW), pp. 153–164.
DATE-2005-AroraRRJ #embedded #monitoring- Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
DATE-2005-LinkV #configuration management- Hotspot Prevention Through Runtime Reconfiguration in Network-On-Chip (GML, NV), pp. 648–649.
DATE-2005-NolletMAM #configuration management #hardware #resource management- Centralized Run-Time Resource Management in a Network-on-Chip Containing Reconfigurable Hardware Tiles (VN, TM, PA, JYM), pp. 234–239.
DATE-2005-ResanoMC #configuration management #hardware #heuristic #hybrid #scheduling- A Hybrid Prefetch Scheduling Heuristic to Minimize at Run-Time the Reconfiguration Overhead of Dynamically Reconfigurable Hardware (JR, DM, FC), pp. 106–111.
HPDC-2005-LangeSD #automation #network- Automatic dynamic run-time optical network reservations (JRL, AIS, PAD), pp. 255–264.
HPDC-2005-SundararajGD #adaptation #performance- Increasing application performance in virtual environments through run-time inference and adaptation (AIS, AG, PAD), pp. 47–58.
HPDC-2005-YangCHP #adaptation #distributed- Autonomic runtime manager for adaptive distributed applications (JY, HC, SH, MP), pp. 69–78.
WRLA-2004-JohnsenOA05 #concurrent- A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls (EBJ, OO, EWA), pp. 375–392.
CBSE-2004-MuskensC #component #multi #predict- Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems (JM, MRVC), pp. 162–177.
SIGMOD-2004-AchesonBBCEFJKRSSVZ #dot-net #sql- Hosting the .NET Runtime in Microsoft SQL Server (AA, MB, JAB, PC, EE, JF, XJ, CK, BR, GS, BS, RV, HZ), pp. 860–865.
CSMR-2004-DucasseLB - High-Level Polymetric Views of Condensed Run-time Information (SD, ML, RB), pp. 309–318.
CSMR-2004-HassounJC #architecture #metric- A Dynamic Runtime Coupling Metric for Meta-Level Architectures (YH, RJ, SC), pp. 339–346.
ICSM-2004-Gustavsson #evolution #problem #process- Strategies for Handling the Activity Problem in Runtime Software Evolution by Reducing Activity (JG), p. 525.
CAiSE-2004-BerkumBM #development #web- A Combined Runtime Environment and Web-Based Development Environment for Web Application Engineering (MvB, SB, AM), pp. 307–321.
CIKM-2004-LuoLLL #data access #fine-grained #named #query #xml- QFilter: fine-grained run-time XML access control via NFA-based query rewriting (BL, DL, WCL, PL), pp. 543–552.
OOPSLA-2004-WeimerN #fault- Finding and preventing run-time error handling mistakes (WW, GCN), pp. 419–431.
LOPSTR-2004-BrasselHHSV #functional #logic programming #profiling #source code- Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.
POPL-2004-YuKS #dot-net #formal method- Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.
SAC-2004-AnconaC #implementation- Implementing the essence of reflection: a reflective run-time environment (MA, WC), pp. 1503–1507.
SAC-2004-DengYWL #flexibility #process #workflow- Enhancement of workflow flexibility by composing activities at run-time (SD, ZY, ZW, HL), pp. 667–673.
DAC-2004-FrancescoMABCM #approach #hardware- An integrated hardware/software approach for run-time scratchpad management (FP, PM, DA, LB, FC, JMM), pp. 238–243.
DAC-2004-GuptaKSS #effectiveness- Selective gate-length biasing for cost-effective runtime leakage control (PG, ABK, PS, DS), pp. 327–330.
DATE-DF-2004-BoschettiSB #architecture #configuration management #image- A Run-Time Reconfigurable Datapath Architecture for Image Processing Applications (MRB, ISS, SB), pp. 242–247.
ESOP-2004-Mine #abstract domain #detection #fault #float #relational- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.
VMCAI-2004-BarringerGHS #rule-based #verification- Rule-Based Runtime Verification (HB, AG, KH, KS), pp. 44–57.
ICSM-2003-Gustavsson #classification #java- A Classification of Unanticipated Runtime Software Changes in Java (JG), pp. 4–12.
IWPC-2003-GschwindOP #comprehension #using- Using Run-Time Data for Program Comprehension (TG, JO, MP), pp. 245–250.
UML-2003-PleumannH #modelling #web- A Model-Driven Runtime Environment for Web Applications (JP, SH), pp. 190–204.
PLDI-2003-StroutCF #composition- Compile-time composition of run-time data and iteration reorderings (MMS, LC, JF), pp. 91–102.
ASE-2003-TurnerGWBHSR #consistency #constraints #diagrams #implementation #modelling #uml #visual notation- Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.
ESEC-FSE-2003-RanL #architecture #mobile- Making sense of runtime architecture for mobile phone software (AR, RL), pp. 367–370.
ESEC-FSE-2003-SenRA #analysis #parallel #safety #source code #thread- Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.
CC-2003-BurrowsFW #source code #type checking- Run-Time Type Checking for Binary Programs (MB, SNF, JLW), pp. 90–105.
CGO-2003-KaminCJ #code generation #java #named- Jumbo: Run-Time Code Generation for Java and Its Applications (SK, LC, AJ), pp. 48–58.
DATE-2003-GericotaASF #configuration management #logic- Run-Time Management of Logic Resources on Reconfigurable Systems (MGG, GRA, MLS, JMF), pp. 10974–10979.
DATE-2003-KandemirZK #parallel- Runtime Code Parallelization for On-Chip Multiprocessors (MTK, WZ, MK), pp. 10510–10515.
DATE-2003-KodaseWS #constraints #embedded #realtime- Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints (SK, SW, KGS), pp. 20170–20175.
LCTES-2003-DhurjatiKAL #garbage collection #memory management #safety- Memory safety without runtime checks or garbage collection (DD, SK, VSA, CL), pp. 69–80.
CBSE-2003-JiaA #feature model #interactive- Run-Time Management of Feature Interactions (YJ, JMA), p. 7.
CBSE-2003-JongeMC #component #predict- Scenario-Based Prediction of Run-time Resource Consumption in Component-Based Software Systems (MdJ, JM, MRVC), p. 4.
ICSM-2002-VandewoudeB #component #embedded #evolution- Run-time Evolution for Embedded Component-Oriented Systems (YV, YB), pp. 242–245.
VISSOFT-2002-SmithM #object-oriented #visualisation- Runtime Visualisation of Object Oriented Software (MPS, MM), p. 81.
ICEIS-2002-KrishnaswamyLZ #data mining #distributed #mining #optimisation #predict- Supporting the Optimisation of Distributed Data Mining by Predicting Application Run Times (SK, SWL, ABZ), pp. 374–381.
ICPR-v2-2002-AnconaCSD #complexity #detection #image #parametricity- Object Detection in Images: Run-Time Complexity and Parameter Selection of Support Vector Machines (NA, GC, ES, AD), pp. 426–429.
KDD-2002-El-RamlySS #approach #behaviour #mining- From run-time behavior to usage scenarios: an interaction-pattern mining approach (MER, ES, PGS), pp. 315–324.
TOOLS-USA-2002-ComptonW - A Run-time System for SCOOP (MC, RW), pp. 119–157.
AdaEurope-2002-DewarHCW #ada- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.
ASIA-PEPM-2002-AffeldtMSY #bytecode- Supporting objects in run-time bytecode specialization (RA, HM, ES, AY), pp. 50–60.
SAC-2002-KrishnaswamyLZ #data mining #estimation #metric #mining #quality- Application run time estimation: a quality of service metric for web-based data mining services (SK, SWL, ABZ), pp. 1153–1159.
DAC-2002-HortaLTP #configuration management #hardware #plugin- Dynamic hardware plugins in an FPGA with partial run-time reconfiguration (ELH, JWL, DET, DBP), pp. 343–348.
DATE-2002-LeeWH #design #implementation #multi #platform- Dynamic Runtime Re-Scheduling Allowing Multiple Implementations of a Task for Platform-Based Designs (TML, WW, JH), pp. 296–301.
DATE-2002-NitschK #embedded #using- The Use of Runtime Configuration Capabilities for Networked Embedded Systems (CN, UK), p. 1093.
HPDC-2002-Plale #data type #memory management- Leveraging Run Time Knowledge about Event Rates to Improve Memory Utilization in Wide Area Data Stream Filtering (BP), pp. 171–178.
SCAM-2001-HorganPW #analysis #java #metric #profiling #source code- Measurement and Analysis of Runtime Profiling Data for Java Programs (JH, JFP, JW), pp. 124–132.
FLOPS-J1-1998-LedererD01 #automation #verification- Automatic Result Verification by Complete Run-Time Checking of Computations (EFAL, RAD), pp. 97–124.
IFL-2001-Minamide #behaviour #type system- Runtime Behavior of Conversion Interpretation of Subtyping (YM), pp. 155–167.
CIKM-2001-RelueWH #generative #performance- Efficient Runtime Generation of Association Rules (RR, XW, HH), pp. 466–473.
AdaEurope-2001-FoulgerK #fault #safety #tool support #using- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.
AdaEurope-2001-Tokar #ada- New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.
PLDI-2001-KennedyS #design #dot-net #implementation- Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.
LCTES-OM-2001-KimH #embedded #hybrid #power management #realtime #scalability- Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor (MK, SH), pp. 11–19.
FASE-2001-LoginovYHR #debugging #type checking- Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.
WCRE-2000-UngC #re-engineering- Dynamic Re-engineering of Binary Code with Run-time Feedbacks (DU, CC), pp. 2–10.
ECOOP-2000-MalabarbaPGBB #java #type safety- Runtime Support for Type-Safe Dynamic Java Classes (SM, RP, JG, ETB, JFB), pp. 337–361.
TOOLS-PACIFIC-2000-SkevoulisJ #detection #fault #invariant #java #source code #static analysis- Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs (SS, XJ), pp. 36–44.
TOOLS-USA-2000-LorenzP #assembly #component- Design-Time Assembly of Runtime Containment Components (DHL, PP), pp. 195–204.
SAC-2000-BougeMNP #architecture #case study #distributed #parallel #thread #using- Using the VI Architecture to Build Distributed, Multithreaded Runtime Systems: A Case Study (LB, JFM, RN, LP), pp. 704–709.
CC-2000-YuR #parallel- Techniques for Reducing the Overhead of Run-Time Parallelization (HY, LR), pp. 232–248.
DAC-2000-LeeS #power management #realtime- Run-time voltage hopping for low-power real-time systems (SL, TS), pp. 806–809.
HPCA-2000-LefurgyPM - Reducing Code Size with Run-Time Decompression (CL, EP, TNM), pp. 218–228.
HPCA-2000-RadhakrishnanVJS #architecture #java- Architectural Issues in Java Runtime Systems (RR, NV, LKJ, AS), pp. 387–398.
HPDC-2000-ChangK #adaptation #automation #distributed- Automatic Configuration and Run-time Adaptation of Distributed Applications (FC, VK), pp. 11–20.
VLDB-1999-FlorescuLSY #data-driven #optimisation- Optimization of Run-time Management of Data Intensive Web-sites (DF, AYL, DS, KY), pp. 627–638.
ECOOP-1999-Kniesel #adaptation #component #type safety- Type-Safe Delegation for Run-Time Component Adaptation (GK), pp. 351–366.
AdaEurope-1999-Canazzi #ada #framework- yaRTI, an Ada 95 HLA Run-Time Infrastructure (DC), pp. 187–198.
AdaEurope-1999-KamradS #ada #implementation- An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch (JMKI, BAS), pp. 26–38.
AdaEurope-1999-RuizG #implementation #low level- Implementing a New Low-Level Tasking Support for the GNAT Runtime System (JFR, JMGB), pp. 298–307.
LOPSTR-1999-Kulas #concept #prolog- Annotations for Prolog — A Concept and Runtime Handling (MK), pp. 234–254.
PEPM-1999-HornofJ #code generation #compilation- Certifying Compilation and Run-Time Code Generation (LH, TJ), pp. 60–74.
PLDI-1999-DingK #performance- Improving Cache Performance in Dynamic Applications through Data and Computation Reorganization at Run Time (CD, KK), pp. 229–241.
PLDI-1999-GrantPMCE #evaluation #optimisation #staged- An Evaluation of Staged Run-Time Optimizations in DyC (BG, MP, MM, CC, SJE), pp. 293–304.
PLDI-1999-MarletCB #for free #incremental #performance- Efficient Incremental Run-Time Specialization for Free (RM, CC, PB), pp. 281–292.
PPDP-1999-DowdSHCJ - Run Time Type Information in Mercury (TD, ZS, FH, TCC, DJ), pp. 224–243.
Best-of-PLDI-1999-GrantPMCE99a #evaluation #optimisation #staged- An evaluation of staged run-time optimizations in DyC (with retrospective) (BG, MP, MM, CC, SJE), pp. 656–669.
SAC-1999-SampleBH #coordination #named- Mars: Runtime Support for Coordinated Applications (NS, CB, MH), pp. 166–174.
CC-1999-PatelR #implementation #parallel- Implementation Issues of Loop-Level Speculative Run-Time Parallelization (DP, LR), pp. 183–197.
DATE-1999-KaulV #clustering #design #latency- Temporal Partitioning combined with Design Space Exploration for Latency Minimization of Run-Time Reconfigured Designs (MK, RV), pp. 202–209.
HPDC-1999-UengSLL #configuration management #distributed #memory management #named- Proteus: A Runtime Reconfigurable Distributed Shared Memory System (JCU, CKS, WHL, CCL), pp. 347–348.
PPoPP-1999-TangSY #execution #memory management #multi #thread- Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines (HT, KS, TY), pp. 107–118.
ICFP-1998-MinamideG #complexity #on the- On the Runtime Complexity of Type-Directed Unboxing (YM, JG), pp. 1–12.
OOPSLA-1998-CartwrightS #java #programming language- Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.
AdaEurope-1998-MilletB #java #migration #virtual machine- Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.
PLDI-1998-WicklineLP #code generation- Run-time Code Generation and Modal-ML (PW, PL, FP), pp. 224–235.
ICSE-1998-BinkleyS #dependence #maintenance #metric #predict #validation- Validation of the Coupling Dependency Metric as a Predictor of Run-Time Failures and Maintenance Measures (ABB, SRS), pp. 452–455.
ICSE-1998-OreizyMT #architecture #evolution- Architecture-Based Runtime Software Evolution (PO, NM, RNT), pp. 177–186.
ASPLOS-1998-Le #execution- An Out-of-Order Execution Technique for Runtime Binary Translators (BCL), pp. 151–158.
DATE-1998-Lin #compilation #concurrent #performance #scheduling #source code- Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling (BL), pp. 211–217.
HPCA-1998-ZhangRT #distributed #hardware #parallel- Hardware for Speculative Run-Time Parallelization in Distributed Shared-Memory Multiprocessors (YZ, LR, JT), pp. 162–173.
ISMM-1998-KakkadJW #compilation- Portable Run-Time Type Description for Conventional Compilers (SVK, MSJ, PRW), pp. 146–153.
ICALP-1997-Dami #fault #reduction- Labelled Reductions, Runtime Errors and Operational Subsumption (LD), pp. 782–793.
ECOOP-1997-EvansD #architecture #distributed #evolution #named #persistent- DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems (HE, PD), pp. 243–275.
PEPM-1997-GrantMPCE #c- Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.
PLILP-1997-Fujinami #automation #code generation #object-oriented- Automatic Run-Time Code Generation in Object-Oriented Languages (NF), pp. 423–424.
HPDC-1997-WeissmanZ #parallel #scheduling- Run-time Support for Scheduling Parallel Applications in Heterogeneous NOWs (JBW, XZ), pp. 347–355.
PDP-1997-MayesB #named #operating system #parallel- Arena — A run-time operating system for parallel applications (KM, JB), pp. 253–258.
OOPSLA-1996-DurhamJ #framework #programming language #visual notation- A Framework for Run-Time Systems and its Visual Programming Language (AMD, REJ), pp. 406–420.
PLDI-1996-LeeL #code generation #ml #optimisation- Optimizing ML with Run-Time Code Generation (PL, ML), pp. 137–148.
POPL-1996-ConselN #approach #c- A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.
Best-of-PLDI-1996-LeeL96a #code generation #ml #optimisation- Optimizing ML with run-time code generation (with retrospective) (PL, ML), pp. 540–553.
SAC-1996-Liu #data type #persistent #using- A persistent runtime system using persistent data structures (ZL), pp. 429–436.
ASPLOS-1996-DwarkadasCZ #distributed #memory management- An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System (SD, ALC, WZ), pp. 186–197.
HPDC-1996-IversonOF #distributed #estimation #execution #statistics- Run-Time Statistical Estimation of Task Execution Times for Heterogeneous Distributed Computing (MAI, FÖ, GJF), pp. 263–270.
HPDC-1996-KaddouraR #adaptation #parallel- Runtime Support for Parallelization of Data-Parallel Applications on Adaptive and Nonuniform Computational Environments (MK, SR), pp. 30–39.
CIKM-1995-SoparkarKJA #database #parallel #source code- Run-Time Parallelization of Sequential Database Programs (NS, PK, HVJ, AA), pp. 74–81.
PLDI-1995-RauchwergerP #parallel #reduction- The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization (LR, DAP), pp. 218–232.
SAS-1995-JagannathanW #analysis #effectiveness- Effective Flow Analysis for Avoiding Run-Time Checks (SJ, AKW), pp. 207–224.
PPoPP-1995-BlumofeJKLRZ #named #parallel #performance #thread- Cilk: An Efficient Multithreaded Runtime System (RDB, CFJ, BCK, CEL, KHR, YZ), pp. 207–216.
LFP-1994-AdityaFH #garbage collection #re-engineering #using- Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction (SA, CHF, JEH), pp. 12–23.
LFP-1994-HuelsbergenLA #data type #thread #using- Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation (LH, JRL, AA), pp. 79–90.
AdaEurope-1994-Moller #ada- Run-Time Check Elimination for Ada 9X (PLM), pp. 11–23.
AdaEurope-1994-SilbergR #ada #certification- FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.
PEPM-1994-LeoneL #code generation #lightweight- Lightweight Run-Time Code Generation (ML, PL), pp. 97–106.
PLDI-1994-HolzleU #feedback #optimisation- Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback (UH, DU), pp. 326–336.
PLILP-1994-HundehegeLX #hybrid #memory management #optimisation #program transformation #semantics- Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages (JBH, WML, UX), pp. 453–454.
TRI-Ada-1994-GieringMB #ada #library- Features of the GNU Ada Runtime Library (EWG, FM, TPB), pp. 93–103.
TRI-Ada-1994-Moller #ada- Run-Time Check Elimination for Ada 9X (PLM), pp. 122–128.
FSE-1994-VandevoordeG #analysis #composition #using- Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity (MTV, JVG), pp. 121–127.
SAC-1994-Bennet #distributed #message passing #parallel #source code- Distributed message routing and run-time support for message-passing parallel programs derived from ordinary programs (TB), pp. 510–514.
ASPLOS-1994-ArgadeCT #monitoring #operating system- A Technique for Monitoring Run-Time Dynamics of an Operating System and a Microprocessor Executing User Applications (PVA, DKC, CT), pp. 122–131.
ICLP-1994-Pedreschi #prolog #proving #source code- A Proof Method for Runtime Properties of Prolog Programs (DP), pp. 584–598.
INTERCHI-1993-SukaviriyaFG #architecture #design #generative #user interface- A second generation user interface design environment: the model and the runtime architecture (PNS, JDF, TG), pp. 375–382.
OOPSLA-1993-BalK #using- Object Distribution in Orca using Compile-Time and Run-Time Techniques (HEB, MFK), pp. 162–177.
OOPSLA-1993-CahillBHS #distributed #persistent #programming- The Amadeus GRT — Generic Runtime Support for Distributed Persistent Programming (VC, SB, CH, GS), pp. 144–161.
AdaEurope-1993-BjornfotALW #ada #distributed #protocol- Distributed Run-Time Systems, a Protocol for Ada (LB, LA, KL, GW), pp. 249–263.
AdaEurope-1993-BurnsWH #ada #modelling #performance #scheduling- The Impact of an Ada Run-Time System’s Performance Characteristics on Scheduling Models (AB, AJW, ADH), pp. 240–248.
PLILP-1993-HogenL #distributed #implementation #stack- Stack Management of Runtime Structures in Distributed Implementations (GH, RL), pp. 416–417.
PPoPP-1993-LeungZ #parallel #performance- Improving the Performance of Runtime Parallelization (STL, JZ), pp. 83–91.
ICLP-1993-TickB #compilation #evaluation #kernel #performance- Performance Evaluation of Monaco Compiler and Runtime Kernel (ET, CB), pp. 757–773.
TOOLS-EUROPE-1992-BuschmannKS #c++ #information management- A Runtime Type Information System for C++ (FB, KK, MS), pp. 265–274.
AdaEurope-1992-GobinTG - Runtime System Support for Data-Oriented Synchronization in Ada-9X (MG, MT, FG), pp. 128–137.
CC-1992-Weber #compilation #component #product line #reuse- Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components (CW), pp. 110–124.
TAV-1991-GuptaS #approach #detection #performance- Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races (RG, MS), pp. 98–111.
TAV-1991-Sankar #algebra #consistency #specification- Run-Time Consistency Checking of Algebraic Specifications (SS), pp. 123–129.
POPL-1990-Rouaix - Safe Run-time Overloading (FR), pp. 355–366.
CLP-1990-JacobsLW90 #logic programming #multi #source code- Multiple Specialization of Logic Programs with Run-Time Test (DJ, AL, WHW), pp. 717–731.
ASPLOS-1989-Mulder - Data Buffering: Run-Time Versus Compile-Time Support (HM), pp. 144–151.
ASPLOS-1989-VegdahlP #implementation- The Run-Time Environment for Screme, A Scheme Implementation on the 88000 (SRV, UFP), pp. 172–182.
SOSP-1989-WeiserDH #approach- The Portable Common Runtime Approach to Interoperability (MW, AJD, CH), pp. 114–122.
PPEALS-1988-GuptaT #parallel- Exploiting Variable Grain Parallelism at Runtime (AG, AT), pp. 212–221.
CAAP-1987-Steffen #abstract interpretation #optimisation- Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation (BS), pp. 52–68.
SIGIR-1980-LeaS #using- An Associative File Store Using Fragments for Run-Time Indexing and Compression (RML, EJS), pp. 280–295.
DAC-1979-ParkeHR - The N.mPc runtime environment (FIP, DCHJ, CWR), pp. 529–536.
POPL-1978-German #automation #fault #proving- Automating Proofs of the Absence of Common Runtime Errors (SMG), pp. 105–118.
DIPL-1976-FischerL #data access- Run-time checking of data access in Pascal-like languages (CNF, RJL), pp. 215–230.