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

Tag #runtime

661 papers:

PADLPADL-2020-ShivkumarMZ #named #realtime
RTMLton: An SML Runtime for Real-Time Systems (BS, JCM, LZ), pp. 113–130.
ASPLOSASPLOS-2020-LiuBZ #quantum
Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation (JL, GTB, HZ), pp. 1017–1030.
CCCC-2020-LazcanoMJC #multi
Runtime multi-versioning and specialization inside a memoized speculative loop optimizer (RL, DM, EJ, PC), pp. 96–107.
ICSAICSA-2019-ArcelliCPET #architecture #modelling #performance #traceability
Exploiting Architecture/Runtime Model-Driven Traceability for Performance Improvement (DA, VC, DDP, RE, MT0), pp. 81–90.
SCAMSCAM-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.
BXBX-2019-AnjorinYK #adaptation #consistency #user interface
Consistent Runtime Adaptation of User Interfaces (AA, EY, HK), pp. 61–65.
MoDELSMoDELS-2019-BencomoP #learning #modelling #named #ram #using
RaM: Causally-Connected and Requirements-Aware Runtime Models using Bayesian Learning (NB, LHGP), pp. 216–226.
MoDELSMoDELS-2019-BrandG #adaptation #approach #architecture #evaluation #modelling
Modeling Approach and Evaluation Criteria for Adaptable Architectural Runtime Model Instances (TB, HG), pp. 227–232.
MoDELSMoDELS-2019-BurV #estimation #graph #query #towards
Towards WCET Estimation of Graph Queries@Run.time (MB, DV), pp. 233–238.
POPLPOPL-2019-LagoVMY #fault #π-calculus
Intersection types and runtime errors in the pi-calculus (UDL, MdV, DM, AY), p. 29.
ASEASE-2019-SahinAMCE #android #named
RANDR: Record and Replay for Android Applications via Targeted Runtime Instrumentation (OS, AA, HM, AKC, ME), pp. 128–138.
ASEASE-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.
ASPLOSASPLOS-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.
CGOCGO-2019-AgaA #layout #named #stack
Smokestack: Thwarting DOP Attacks with Runtime Stack Layout Randomization (MTA, TMA), pp. 26–36.
CGOCGO-2019-LiL0 #gpu #optimisation
Accelerating GPU Computing at Runtime with Binary Optimization (GL, LL, XF0), pp. 276–277.
CAVCAV-2019-AvniBCHKP #game studies #optimisation
Run-Time Optimization for Learned Controllers Through Quantitative Games (GA, RB, KC, TAH, BK, SP), pp. 630–649.
ICSTICST-2019-LegunsenZHRM #verification
Techniques for Evolution-Aware Runtime Verification (OL, YZ, MHT, GR, DM), pp. 300–311.
ICSAICSA-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.
ICSAICSA-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.
ICSMEICSME-2018-Sulir #comprehension #source code
Integrating Runtime Values with Source Code to Facilitate Program Comprehension (MS), pp. 743–748.
ICSMEICSME-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.
SANERSANER-2018-RabiserGVBG #comparison #framework #monitoring
A comparison framework for runtime monitoring approaches (journal-first abstract) (RR, SG, MV, LB, PG), p. 472.
SEFMSEFM-2018-BabaeeGF #framework #learning #predict #statistics #using #verification
Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning (RB, AG, SF), pp. 205–220.
AIIDEAIIDE-2018-Horswill #embedded #named #satisfiability
CatSAT: A Practical, Embedded, SAT Language for Runtime PCG (IDH), pp. 38–44.
MoDELSMoDELS-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.
AdaEuropeAdaEurope-2018-JaradatP #contract #design #safety #using #verification
Using Safety Contracts to Verify Design Assumptions During Runtime (OJ, SP), pp. 3–18.
PADLPADL-2018-StulovaMH
Exploiting Term Hiding to Reduce Run-Time Checking Overhead (NS, JFM, MVH), pp. 99–115.
PPDPPPDP-2018-KlemenS0MH #performance #source code
Static Performance Guarantees for Programs with Runtime Checks (MK, NS, PLG0, JFM, MVH), p. 13.
ASEASE-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.
SLESLE-2018-TikhonovaSSD #constraints #migration #modelling
Constraint-based run-time state migration for live modeling (UT, JS, TvdS, TD), pp. 108–120.
CASECASE-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.
CGOCGO-2018-ShenSLL #named #profiling
CUDAAdvisor: LLVM-based runtime profiling for modern GPUs (DS, SLS, AL, XL0), pp. 214–227.
FASEFASE-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.
TAPTAP-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.
SEFMSEFM-2017-SantosR #constraints #on the #workflow
On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows (DRdS, SR), pp. 203–218.
ECMFAECMFA-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.
AdaEuropeAdaEurope-2017-CarlettoV #benchmark #comparative #metric #named
Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime (PC, TV), pp. 18–33.
PLDIPLDI-2017-EizenbergPPMD #analysis #named #source code
BARRACUDA: binary-level analysis of runtime RAces in CUDA programs (AE, YP, TP, WM, JD), pp. 126–140.
POPLPOPL-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.
CAVCAV-2017-BasinKZ #data type #verification
Runtime Verification of Temporal Properties over Out-of-Order Data Streams (DAB, FK, EZ), pp. 356–376.
CAVCAV-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.
ICSTICST-2017-Gyori0PM #linear #metric #performance
Efficient Incrementalized Runtime Checking of Linear Measures on Lists (AG, PG0, EP, PM), pp. 310–320.
ICSTICST-2017-SunRJB #android #named #using #verification #weaving
ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving (HS, AR, OJ, WB), pp. 532–539.
ICTSSICTSS-2017-RenardRF #game studies #named
GREP: Games for the Runtime Enforcement of Properties (MR, AR, YF), pp. 259–275.
CBSECBSE-2016-SantosA #component #named
VISCTE: Runtime Exploration of Component-Based Systems (ALS, IA), pp. 91–96.
CSEETCSEET-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.
ICPRICPR-2016-GabrE #detection
Enhancing the runtime of JUDOCA detector (MG, RE), pp. 669–674.
MoDELSMoDELS-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.
MoDELSMoDELS-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.
PEPMPEPM-2016-BrandveinL #query
Removing runtime overhead for optimized object queries (JB, YAL), pp. 73–84.
PLDIPLDI-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.
PPDPPPDP-2016-StulovaMH #static analysis
Reducing the overhead of assertion run-time checks via static analysis (NS, JFM, MVH), pp. 90–103.
ASEASE-2016-Cito #developer #development
Developer targeted analytics: supporting software development decisions with runtime information (JC), pp. 892–895.
ASEASE-2016-GuSMLS #automation #fault #synthesis
Automatic runtime recovery via error handler synthesis (TG, CS, XM, JL, ZS), pp. 684–695.
FSEFSE-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.
SLESLE-2016-PerezGC #evaluation #rule-based
Runtime support for rule-based access-control evaluation through model-transformation (SMP, JG, JC), pp. 57–69.
SLESLE-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.
ASPLOSASPLOS-2016-MaasA0K #coordination #distributed #named
Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications (MM, KA, TH0, JK), pp. 457–471.
ASPLOSASPLOS-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.
CCCC-2016-ZhangBB #dependence #parallel
Relaxed dependence tracking for parallel runtime support (MZ, SB, MDB), pp. 45–55.
CAVCAV-2016-NgoLJ #modelling #named #probability #verification
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models (VCN, AL, VJ), pp. 84–91.
ICSTICST-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.
IJCARIJCAR-2016-FrohnNHBG #bound #integer #source code
Lower Runtime Bounds for Integer Programs (FF, MN, JH, MB, JG), pp. 550–567.
CBSECBSE-2015-NandiMO #component #contract #probability #realtime
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
FMFM-2015-AhrendtCPS #specification #verification
A Specification Language for Static and Runtime Verification of Data and Control Properties (WA, JMC, GJP, GS), pp. 108–125.
FMFM-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.
FMFM-2015-DuLT #independence #ltl #monitoring #policy
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.
RTARTA-2015-FrohnGHAS #bound #complexity
Inferring Lower Bounds for Runtime Complexity (FF, JG, JH, CA, TS), pp. 334–349.
SEFMSEFM-2015-ColomboDF #verification
Investigating Instrumentation Techniques for ESB Runtime Verification (CC, GD, AF), pp. 99–107.
HaskellHaskell-2015-McDonellCGN #code generation #type safety
Type-safe runtime code generation: accelerate to LLVM (TLM, MMTC, VG, RRN), pp. 201–212.
CAiSECAiSE-2015-WeilerGS #detection #performance #twitter
Run-Time and Task-Based Performance of Event Detection Techniques for Twitter (AW, MG, MHS), pp. 35–49.
SEKESEKE-2015-XiangQB #flexibility #java #verification
Flexible and Extensible Runtime Verification for Java (CX, ZQ, WB), pp. 595–600.
MoDELSMoDELS-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.
MoDELSMoDELS-2015-KrikavaRS #framework #modelling #resource management #towards
Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.
MoDELSMoDELS-2015-SzvetitsZ #modelling #reuse
Reusable event types for models at runtime to support the examination of runtime phenomena (MS, UZ), pp. 4–13.
OnwardOnward-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.
OOPSLAOOPSLA-2015-AlvesGDLGRP #ambiguity #pointer
Runtime pointer disambiguation (PA, FG, JD, AL, TG, FR, FMQP), pp. 589–606.
OOPSLAOOPSLA-2015-LeeBZZVG #assessment #float #named
RAIVE: runtime assessment of floating-point instability by vectorization (WCL, TB, YZ, XZ, KV, RG), pp. 623–638.
AdaEuropeAdaEurope-2015-NelissenPP #architecture #monitoring #novel #performance
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.
PLDIPLDI-2015-EmaniO #approach
Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments (MKE, MFPO), pp. 499–508.
POPLPOPL-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.
ASEASE-2015-VierhauserRGT #monitoring
The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems (MV, RR, PG, JTP), pp. 777–782.
ICSEICSE-v2-2015-RaudjarvG #android
JRebel.Android: Runtime Class- and Resource Reloading for Android (RR, ARG), pp. 741–744.
SACSAC-2015-AbeywickramaSL #adaptation #monitoring #visualisation
Monitoring and visualizing adaptation of autonomic systems at runtime (DBA, NBS, ML), pp. 1857–1860.
SACSAC-2015-Ahn #architecture #object-oriented #re-engineering
Reconstruction of runtime software architecture for object-oriented systems (HA), pp. 1668–1669.
SACSAC-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.
SACSAC-2015-CharafeddineEFJ #component
Runtime enforcement for component-based systems (HC, KEH, YF, MJ), pp. 1789–1796.
SACSAC-2015-MilewiczVTQP #c #source code
Runtime checking C programs (RM, RV, JT, DQ, PP), pp. 2107–2114.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2015-XuLWZ #automation #power management
Automated OS-level Device Runtime Power Management (CX, FXL, YW, LZ), pp. 239–252.
CASECASE-2015-SunWWL #data-driven #energy
Data driven production runtime energy control of manufacturing systems (ZS, DW, LW, LL), pp. 243–248.
CCCC-2015-AckermannRMS #java #optimisation
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
DACDAC-2015-TodmanSL #configuration management #design #monitoring #verification
In-circuit temporal monitors for runtime verification of reconfigurable designs (TT, SS, WL), p. 6.
DACDAC-2015-YunPB #adaptation #named #parallel #self #thread
HARS: a heterogeneity-aware runtime system for self-adaptive multithreaded applications (JY, JP, WB), p. 6.
DATEDATE-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.
DATEDATE-2015-HuriauxCS #design
Design flow and run-time management for compressed FPGA configurations (CH, AC, OS), pp. 1551–1554.
DATEDATE-2015-SkalickySLF #framework #hardware
A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
HPCAHPCA-2015-LoCIS #monitoring #using
Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.
HPDCHPDC-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.
PDPPDP-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.
PDPPDP-2015-SelvaMMF #adaptation #monitoring #streaming
A Monitoring System for Runtime Adaptations of Streaming Applications (MS, LM, KM, SF), pp. 27–34.
PPoPPPPoPP-2015-AmerLWBM #thread
MPI+Threads: runtime contention and remedies (AA, HL, YW, PB, SM), pp. 239–248.
PPoPPPPoPP-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.
TACASTACAS-2015-BloemKKW #synthesis
Shield Synthesis: — Runtime Enforcement for Reactive Systems (RB, BK, RK, CW), pp. 533–548.
TACASTACAS-2015-CiniF #ltl #proving #verification
An LTL Proof System for Runtime Verification (CC, AF), pp. 581–595.
TACASTACAS-2015-RegerCR #monitoring #named
MarQ: Monitoring at Runtime with QEA (GR, HCC, DER), pp. 596–610.
ICLPICLP-J-2015-StulovaMH
Practical run-time checking via unobtrusive property caching (NS, JFM, MVH), pp. 726–741.
ISSTAISSTA-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.
CBSECBSE-2014-BenedittoW #configuration management #using
Using a model to generate reconfiguration plans at runtime (MEMDB, CMLW), pp. 65–74.
CBSECBSE-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.
CBSECBSE-2014-Porter #adaptation #component #composition #fine-grained
Runtime modularity in complex structures: a component model for fine grained runtime adaptation (BP), pp. 29–34.
ECSAECSA-2014-HorcasPF #policy #security
Runtime Enforcement of Dynamic Security Policies (JMH, MP, LF), pp. 340–356.
WICSAWICSA-2014-BaresiGM #consistency #evolution #process
Consistent Runtime Evolution of Service-Based Business Processes (LB, SG, VPLM), pp. 77–86.
WICSAWICSA-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.
ITiCSEITiCSE-2014-StrieweG14a #using
Code reading exercises using run time traces (MS, MG), p. 346.
SANERCSMR-WCRE-2014-Bos #lightweight #reverse engineering
Lightweight runtime reverse engineering of binary file format variants (JvdB), pp. 367–370.
FMFM-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.
IFMIFM-2014-FathabadiSB #manycore #modelling #process
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
SFMSFM-2014-BoerG #monitoring
Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.
CHICHI-2014-DixonLF #implementation
Pixel-based methods for widget state and style in a runtime implementation of sliding widgets (MED, GL, JAF), pp. 2231–2240.
CAiSECAiSE-2014-MurguzurCTS #process #staged
Context-Aware Staged Configuration of Process Variants@Runtime (AM, XDC, ST, GS), pp. 241–255.
EDOCEDOC-2014-PourmirzaDG #collaboration
Switching Parties in a Collaboration at Run-Time (SP, RMD, PWPJG), pp. 136–141.
ICEISICEIS-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.
SEKESEKE-2014-CheMLC #network #online #protocol #testing
Testing Network Protocols: formally, at runtime and online (XC, SM, JL, ARC), pp. 90–93.
SEKESEKE-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.
SEKESEKE-2014-NassarJSB #energy #generative #java #realtime
Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications (MN, JJ, IS, MBB), pp. 592–597.
SEKESEKE-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.
SIGIRSIGIR-2014-TangJY #optimisation #ranking
Cache-conscious runtime optimization for ranking ensembles (XT, XJ, TY), pp. 1123–1126.
ECOOPECOOP-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.
AdaEuropeAdaEurope-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.
PEPMPEPM-2014-Fahndrich #ide #lessons learnt
Lessons from a web-based IDE and runtime (MF), pp. 1–2.
PLDIPLDI-2014-DeVitoRFAH #generative #using
First-class runtime generation of high-performance types using exotypes (ZD, DR, MF, AA, PH), p. 11.
PLDIPLDI-2014-LongSR #automation #fault
Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.
RERE-2014-TsigkanosPMGN #adaptation #requirements #security
Engineering topology aware adaptive security: Preventing requirements violations at runtime (CT, LP, CM, CG, BN), pp. 203–212.
ASEASE-2014-LiC #validation
Symbolic state validation through runtime data (YL, SCC), pp. 187–198.
ASEASE-2014-RomanoE #library #memory management #named
symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.
ASEASE-2014-Schneider14a #fault #modelling
Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
ICSEICSE-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.
SACSAC-2014-Al-RefaiCF #modelling #using
Using models to dynamically refactor runtime code (MAR, WC, RBF), pp. 1108–1113.
SACSAC-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.
SACSAC-2014-PinisettyFJM
Runtime enforcement of regular timed properties (SP, YF, TJ, HM), pp. 1279–1286.
SACSAC-2014-SahuR #clustering
Creating heterogeneity at run time by dynamic cache and bandwidth partitioning schemes (AS, SR), pp. 872–879.
GPCEGPCE-2014-KaminGAXYC #multi #optimisation
Optimization by runtime specialization for sparse matrix-vector multiplication (SK, MJG, BA, DX, BY, ZC), pp. 93–102.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2014-SantosRSW #mobile #using
Using ARM trustzone to build a trusted language runtime for mobile applications (NS, HR, SS, AW), pp. 67–80.
DACDAC-2014-ChenWLXY #optimisation
Run-Time Technique for Simultaneous Aging and Power Optimization in GPGPUs (XC, YW, YL, YX, HY), p. 6.
DACDAC-2014-CuiMSW #detection #hardware #synthesis
High-Level Synthesis for Run-Time Hardware Trojan Detection and Recovery (XC, KM, LS, KW), p. 6.
DACDAC-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.
DACDAC-2014-LeeL #embedded
Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DATEDATE-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.
DATEDATE-2014-LeeF #framework #named #realtime #scheduling
GPU-EvR: Run-time event based real-time scheduling framework on GPGPU platform (HL, MAAF), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-WildermannGT #distributed #multi #resource management
Multi-objective distributed run-time resource management for many-cores (SW, MG, JT), pp. 1–6.
HPCAHPCA-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.
HPCAHPCA-2014-PugsleyCWCSJLCB #evaluation
Sandbox Prefetching: Safe run-time evaluation of aggressive prefetchers (SHP, ZC, CW, PfC, RLS, AJ, SLL, KC, RB), pp. 626–637.
PDPPDP-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.
PDPPDP-2014-SeccoUPT #message passing #parallel
Message Passing on InfiniBand RDMA for Parallel Run-Time Supports (AS, IU, GPP, MT), pp. 130–137.
PPoPPPPoPP-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.
ESOPESOP-2014-KothaACESB #bound #parallel
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.
TACASTACAS-2014-BrockschmidtEFFG #analysis #complexity #integer #source code
Alternating Runtime and Size Complexity Analysis of Integer Programs (MB, FE, SF, CF, JG), pp. 140–155.
TACASTACAS-2014-ReinbacherRS #health #realtime
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems (TR, KYR, JS), pp. 357–372.
CAVCAV-2014-ChowdhuryJGD #monitoring #policy #privacy
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (OC, LJ, DG, AD), pp. 131–149.
ICSTICST-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.
ISSTAISSTA-2014-ZhangW #concurrent #parallel #thread
Runtime prevention of concurrency related type-state violations in multithreaded applications (LZ, CW), pp. 1–12.
TAPTAP-2014-KosmatovS #analysis #tutorial
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
ECSAECSA-2013-PascualPF #architecture #variability
Run-Time Support to Manage Architectural Variability Specified with CVL (GGP, MP, LF), pp. 282–298.
VLDBVLDB-2013-PopescuBEA #named #predict #scalability #towards
PREDIcT: Towards Predicting the Runtime of Large Scale Iterative Analytics (ADP, AB, VE, AA), pp. 1678–1689.
ITiCSEITiCSE-2013-EganM #c #fault
Reducing novice C programmers’ frustration through improved runtime error checking (MHE, CM), p. 322.
SEFMSEFM-2013-BoerGW #verification
Run-Time Verification of Coboxes (FSdB, SdG, PYHW), pp. 259–273.
SEFMSEFM-2013-WonischSW #monitoring
Zero Overhead Runtime Monitoring (DW, AS, HW), pp. 244–258.
SEKESEKE-2013-CarmoCML #adaptation #monitoring #self
Runtime Monitoring and Auditing of Self-Adaptive Systems (DHC, STC, LGPM, OL), pp. 731–736.
SEKESEKE-2013-KalayciS #adaptation #framework #multi #workflow
Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations (SK, SMS), pp. 709–714.
SEKESEKE-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.
ECMFAECMFA-2013-PatzinaPPM #generative #modelling #monitoring
Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.
MODELSMoDELS-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.
MODELSMoDELS-2013-ZhangCZWY0L #modelling
Runtime Model Based Management of Diverse Cloud Resources (XZ, XC, YZ, YW, WY, GH, QL), pp. 572–588.
HILTHILT-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.
PLDIPLDI-2013-GaoSBMBL #smarttech #using
Using managed runtime systems to tolerate holes in wearable memories (TG, KS, SMB, KSM, DB, JRL), pp. 297–308.
PPDPPPDP-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.
REER-BR-2013-Mylopoulos #design #modelling #requirements
Requirements Models at Design and Runtime (JM).
ASEASE-2013-MeredithR #parametricity #performance #string #verification
Efficient parametric runtime verification with deterministic string rewriting (POM, GR), pp. 70–80.
ASEASE-2013-ZhangCW #concurrent #data type #named
Round-up: Runtime checking quasi linearizability of concurrent data structures (LZ, AC, CW), pp. 4–14.
ESEC-FSEESEC-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-FSEESEC-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.
ICSEICSE-2013-CarzanigaGMPP #automation
Automatic recovery from runtime failures (AC, AG, AM, NP, MP), pp. 782–791.
SACSAC-2013-AktasG #assessment #authentication #control flow #platform
Run-time control flow authentication: an assessment on contemporary x86 platforms (EA, KG), pp. 1859–1866.
SACSAC-2013-GiustoP #adaptation #consistency
Disciplined structured communications with consistent runtime adaptation (CDG, JAP), pp. 1913–1918.
SACSAC-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.
CGOCGO-2013-AnantpurG #dependence #execution
Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.
CGOCGO-2013-HuangJBJA #automation #parallel #using
Automatically exploiting cross-invocation parallelism using runtime information (JH, TBJ, SRB, NPJ, DIA), p. 11.
DACDAC-2013-AlleMD #analysis #dependence #pipes and filters #synthesis
Runtime dependency analysis for loop pipelining in high-level synthesis (MA, AM, SD), p. 10.
DACDAC-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.
DACDAC-2013-LiSARHP #adaptation #embedded #fault #named
RASTER: runtime adaptive spatial/temporal error resiliency for embedded processors (TL, MS, JAA, SR, JH, SP), p. 7.
DACDAC-2013-QuanP #algorithm
A scenario-based run-time task mapping algorithm for MPSoCs (WQ, ADP), p. 6.
DATEDATE-2013-AhmadyanKV #algorithm #incremental #using #verification
Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm (SNA, JAK, SV), pp. 21–26.
DATEDATE-2013-FirouziKTN #analysis
Incorporating the impacts of workload-dependent runtime variations into timing analysis (FF, SK, MBT, SRN), pp. 1022–1025.
DATEDATE-2013-KimJC #estimation #mobile
Runtime power estimation of mobile AMOLED displays (DK, WJ, HC), pp. 61–64.
DATEDATE-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.
HPDCHPDC-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.
PPoPPPPoPP-2013-CarvalhoC #memory management #transaction
Runtime elision of transactional barriers for captured memory (FMC, JPC), pp. 303–304.
SOSPSOSP-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.
SOSPSOSP-2013-RossbachYCMF #compilation #named
Dandelion: a compiler and runtime for heterogeneous systems (CJR, YY, JC, JPM, DF), pp. 49–68.
FASEFASE-2013-LasseterC #design pattern #invariant
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks (JL, JC), pp. 163–178.
TACASTACAS-2013-GrigoreDPT #automaton #verification
Runtime Verification Based on Register Automata (RG, DD, RLP, NT), pp. 260–276.
ICLPICLP-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.
ISSTAISSTA-2013-LuoR #named #parallel #source code #thread
EnforceMOP: a runtime property enforcement system for multithreaded programs (QL, GR), pp. 156–166.
WICSA-ECSAWICSA-ECSA-2012-NewmanK #architecture #embedded #resource management
A Runtime Resource-aware Architecture for Service-oriented Embedded Systems (PN, GK), pp. 61–70.
VLDBVLDB-2012-Jacques-SilvaGWWK #adaptation
Building User-defined Runtime Adaptation Routines for Stream Processing Applications (GJS, BG, RW, KLW, VK), pp. 1826–1837.
CSMRCSMR-2012-HamannVGK #monitoring
Abstract Runtime Monitoring with USE (LH, LV, MG, MK), pp. 549–552.
WCREWCRE-2012-AmmarA #diagrams #empirical #evaluation
Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks (NA, MAA), pp. 367–376.
WCREWCRE-2012-EspinhaZG #comprehension
Understanding the Runtime Topology of Service-Oriented Systems (TE, AZ, HGG), pp. 187–196.
FMFM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #towards
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
IFMIFM-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.
SEFMSEFM-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.
SFMSFM-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.
EDOCEDOC-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.
EDOCEDOC-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.
ICEISICEIS-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.
ECMFAECMFA-2012-HamannHG #monitoring #ocl #protocol #state machine
OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.
MODELSMoDELS-2012-AlferezP #evolution #modelling
Dynamic Evolution of Context-Aware Systems with Models at Runtime (GHA, VP), pp. 70–86.
MODELSMoDELS-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.
MODELSMoDELS-2012-RamirezCBS #nondeterminism
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
OnwardOnward-2012-TaeumelSH #programming
The VIVIDE programming environment: connecting run-time information with programmers’ system knowledge (MT, BS, RH), pp. 117–126.
OOPSLAOOPSLA-2012-StricklandTFF
Chaperones and impersonators: run-time support for reasonable interposition (TSS, STH, RBF, MF), pp. 943–962.
TOOLSTOOLS-EUROPE-2012-LangrTDD #c++
Fake Run-Time Selection of Template Arguments in C++ (DL, PT, TD, JPD), pp. 140–154.
HILTHILT-2012-EilersK #adaptation
Adapting ACATS for use with run-time checks suppressed (DE, TK), pp. 97–102.
POPLPOPL-2012-MonsantoFHW #compilation #network #programming language
A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
RERE-2012-SalehiePOAN #adaptation #security
Requirements-driven adaptive security: Protecting variable assets at runtime (MS, LP, IO, RA, BN), pp. 111–120.
RERE-2012-WelshB #adaptation #evaluation #modelling #requirements #self
Run-time model evaluation for requirements model-driven self-adaptation (KW, NB), pp. 329–330.
ASEASE-2012-NoureddineBRS #energy #monitoring
Runtime monitoring of software energy hotspots (AN, AB, RR, LS), pp. 160–169.
ICSEICSE-2012-GhezziMS #component #monitoring
Runtime monitoring of component changes with Spy@Runtime (CG, AM, MS), pp. 1403–1406.
ICSEICSE-2012-JinMLR #framework #monitoring #named #parametricity #performance
JavaMOP: Efficient parametric runtime monitoring framework (DJ, POM, CL, GR), pp. 1427–1430.
SLESLE-2012-CuadradoGL
The Program Is the Model: Enabling Transformations@run.time (JSC, EG, JdL), pp. 104–123.
CASECASE-2012-MerzFV #automation #distributed #industrial
Dynamic redeployment of control software in distributed industrial automation systems during runtime (MM, TF, BVH), pp. 863–868.
CCCC-2012-StreitHZH #adaptation #named #online #parallel
Sambamba: A Runtime System for Online Adaptive Parallelization (KS, CH, AZ, SH), pp. 240–243.
CGOCGO-2012-ZhangGHLMA #fault tolerance
Runtime asynchronous fault tolerance via speculation (YZ, SG, JH, JWL, SAM, DIA), pp. 145–154.
DACDAC-2012-0001AG #memory management #realtime
Run-time power-down strategies for real-time SDRAM memory controllers (KC, BA, KG), pp. 988–993.
DACDAC-2012-AuerbachBBCFRS #compilation
A compiler and runtime for heterogeneous computing (JSA, DFB, IB, PC, SJF, RMR, SS), pp. 271–276.
DACDAC-2012-HuangCBK #consistency #embedded #realtime
Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
DACDAC-2012-LoS #analysis #execution #monitoring #parallel #worst-case
Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DATEDATE-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.
DATEDATE-2012-HameedBH #adaptation #architecture #manycore
Dynamic cache management in multi-core architectures through run-time adaptation (FH, LB, JH), pp. 485–490.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2012-WangRR #energy
Run-time power-gating in caches of GPUs for leakage energy savings (YW, SR, NR), pp. 300–303.
DATEDATE-2012-WangTLG
Runtime power estimator calibration for high-performance microprocessors (HW, SXDT, XL, AG), pp. 352–357.
HPDCHPDC-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.
PDPPDP-2012-HadjidoukasLD #independence #library #parallel #platform
A Runtime Library for Platform-Independent Task Parallelism (PEH, EL, VVD), pp. 229–236.
TACASTACAS-2012-HamlenJS #aspect-oriented #certification #monitoring
Aspect-Oriented Runtime Monitor Certification (KWH, MJ, MS), pp. 126–140.
CAVCAV-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.
ICSTICST-2012-CalvarTH #framework #monitoring
A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
ICTSSICTSS-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.
ECSAECSA-2011-CasanovaSGA #architecture #fault
Architecture-Based Run-Time Fault Diagnosis (PC, BRS, DG, RA), pp. 261–277.
ECSAECSA-2011-MassowHH #architecture #component #configuration management #performance #simulation
Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures (RvM, AvH, WH), pp. 43–58.
ECSAECSA-2011-PurhonenS #adaptation #performance
Runtime Performance Management of Information Broker-Based Adaptive Applications (AP, SS), pp. 203–206.
WICSAWICSA-2011-NewmanK #embedded #framework
A Runtime Resource-Management Framework for Embedded Service-Oriented Systems (PN, GK), pp. 123–126.
PODSPODS-2011-BenediktGS
Determining relevance of accesses at runtime (MB, GG, PS), pp. 211–222.
ITiCSEITiCSE-2011-StrieweG11a #automation #programming #using
Using run time traces in automated programming tutoring (MS, MG), pp. 303–307.
CSMRCSMR-2011-AmouiDET #adaptation #evolution #towards
Software Evolution towards Model-Centric Runtime Adaptivity (MA, MD, JE, LT), pp. 89–92.
WCREWCRE-2011-OlszakRJ #java
Meta-Level Runtime Feature Awareness for Java (AO, MR, BNJ), pp. 271–274.
ICALPICALP-v2-2011-BrazdilKKV #analysis #bound #probability #recursion #source code
Runtime Analysis of Probabilistic Programs with Unbounded Recursion (TB, SK, AK, IHV), pp. 319–331.
FMFM-2011-BonakdarpourNF #verification
Sampling-Based Runtime Verification (BB, SN, SF), pp. 88–102.
SEFMSEFM-2011-FalconeJNBB #component #verification
Runtime Verification of Component-Based Systems (YF, MJ, THN, MB, SB), pp. 204–220.
ICFPICFP-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.
AIIDEAIIDE-2011-Botea
Ultra-Fast Optimal Pathfinding without Runtime Search (AB).
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
VISSOFTVISSOFT-2011-ChoudhuryR #behaviour #memory management #visualisation
Abstract visualization of runtime memory behavior (ANMIC, PR), pp. 1–8.
KEODKEOD-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.
SEKESEKE-2011-DengLSW #api #constraints #specification #verification
Specification and Runtime Verification of API Constraints on Interacting Objects (FD, HL, JS, QW), pp. 101–106.
ECMFAECMFA-2011-LudwigFBC #design #variability
Integrating Design and Runtime Variability Support into a System ADL (ML, NF, JPB, JC), pp. 270–281.
MODELSMoDELS-2011-SongHCZSSM #incremental #modelling #qvt
Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
OOPSLAOOPSLA-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.
PADLPADL-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.
PEPMPEPM-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.
PLDIPLDI-2011-BurnimENS #correctness #named #nondeterminism #parallel #specification
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (JB, TE, GCN, KS), pp. 401–414.
RERE-2011-WelshSB #nondeterminism
Run-time resolution of uncertainty (KW, PS, NB), pp. 355–356.
ASEASE-2011-WelshSB #requirements #towards
Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.
ASEASE-2011-ZhangMPL #monitoring #predict
Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
ESEC-FSEESEC-FSE-2011-Bodden #approach #monitoring
Stateful breakpoints: a practical approach to defining parameterized runtime monitors (EB), pp. 492–495.
ESEC-FSEESEC-FSE-2011-Filieri #verification
QoS verification and model tuning @ runtime (AF), pp. 408–411.
ICSEICSE-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.
ICSEICSE-2011-FilieriGT #model checking #performance #probability
Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.
SACSAC-2011-KontogiannisWM #clustering #comprehension #reduction
Event clustering for log reduction and run time system understanding (KK, AW, SM), pp. 191–192.
GPCEGPCE-2011-NystromWD #compilation #named #scala
Firepile: run-time compilation for GPUs in scala (NN, DW, KD), pp. 107–116.
GPCEGPCE-2011-SteckLS #modelling
Model-driven engineering and run-time model-usage in service robotics (AS, AL, CS), pp. 73–82.
CGOCGO-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.
CGOCGO-2011-HertzbergO #automation #parallel
Runtime automatic speculative parallelization (BH, KO), pp. 64–73.
DACDAC-2011-Hazelwood #adaptation #embedded
Process-level virtualization for runtime adaptation of embedded software (KMH), pp. 895–900.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-AnjamNW #multi
Targeting code diversity with run-time adjustable issue-slots in a chip multiprocessor (FA, MN, SW), pp. 1358–1363.
DATEDATE-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.
DATEDATE-2011-HameedFH #3d #adaptation #architecture #manycore
Dynamic thermal management in 3D multi-core architecture through run-time adaptation (FH, MAAF, JH), pp. 299–304.
DATEDATE-2011-HuangRBK #adaptation #workflow
A workflow for runtime adaptive task allocation on heterogeneous MPSoCs (JH, AR, CB, AK), pp. 1119–1134.
DATEDATE-2011-JahnFH #adaptation #architecture #migration #multi #named
CARAT: Context-aware runtime adaptive task migration for multi core architectures (JJ, MAAF, JH), pp. 515–520.
DATEDATE-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.
DATEDATE-2011-TendulkarPNKNK #communication #hardware
Fine-grain OpenMP runtime support with explicit communication hardware primitives (PT, VP, GN, SGK, DSN, MK), pp. 891–894.
DATEDATE-2011-WinterF #scheduling
Guaranteed service virtual channel allocation in NoCs for run-time task scheduling (MW, GF), pp. 419–424.
HPDCHPDC-2011-RaviBAC #framework #gpu
Supporting GPU sharing in cloud environments with a transparent runtime consolidation framework (VTR, MB, GA, STC), pp. 217–228.
ESOPESOP-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.
CSLCSL-2011-SchnablS #complexity
The Exact Hardness of Deciding Derivational and Runtime Complexity (AS, JGS), pp. 481–495.
ICSTICST-2011-Gonzalez-Sanchez #optimisation #testing
Cost Optimizations in Runtime Testing and Diagnosis of Systems of Systems (AGS), pp. 439–442.
ICSTICST-2011-RubanovS #kernel #linux #verification
Runtime Verification of Linux Kernel Modules Based on Call Interception (VVR, EAS), pp. 180–189.
ICSTICST-2011-SaifanDBP #consistency #implementation #mobile
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems (AAS, JD, JSB, EP), pp. 269–278.
ECSAECSA-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.
VLDBVLDB-2010-SchadDQ #in the cloud #metric
Runtime Measurements in the Cloud: Observing, Analyzing, and Reducing Variance (JS, JD, JAQR), pp. 460–471.
SCAMSCAM-2010-SimpsonB #c #memory management #named #safety
MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime (MSS, RB), pp. 199–208.
WCREWCRE-2010-PerscheidSHGH #analysis #behaviour #online
Immediacy through Interactivity: Online Analysis of Run-time Behavior (MP, BS, RH, FG, MH), pp. 77–86.
RTARTA-2010-AvanziniM #complexity
Closing the Gap Between Runtime Complexity and Polytime Computability (MA, GM), pp. 33–48.
SEFMSEFM-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.
SEFMSEFM-2010-HussainL #ml #named #specification
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.
SOFTVISSOFTVIS-2010-MyersD #abstraction #design
A map of the heap: revealing design abstractions in runtime structures (CM, DJD), pp. 63–72.
CAiSECAiSE-2010-SerralVP #adaptation #behaviour #evolution
Supporting Runtime System Evolution to Adapt to User Behaviour (ES, PV, VP), pp. 378–392.
EDOCEDOC-2010-Halle #contract #interface #ltl #monitoring
Cooperative Runtime Monitoring of LTL Interface Contracts (SH), pp. 227–236.
EDOCEDOC-2010-MosincatBJ #adaptation #automation #evolution
Runtime Adaptability through Automated Model Evolution (ADM, WB, MJ), pp. 217–226.
KRKR-2010-UroviBSA #multi #towards
Towards Runtime Support for Norm-Governed Multi-Agent Systems (VU, SB, KS, AA).
SEKESEKE-2010-AvilaSCY #comparison #constraints #ocl
Runtime Constraint Checking Approaches for OCL, A Critical Comparison (CA, AS, YC, CY), pp. 393–398.
MODELSMoDELS-v2-2010-DenkerRGN #modelling
Modeling Features at Runtime (MD, JR, OG, ON), pp. 138–152.
MODELSMoDELS-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.
OOPSLAOOPSLA-2010-McIlroyS #architecture #manycore #named
Hera-JVM: a runtime system for heterogeneous multi-core architectures (RM, JS), pp. 205–222.
OOPSLAOOPSLA-2010-SwaineTDFF #incremental #parallel
Back to the futures: incremental parallelization of existing sequential runtime systems (JS, KT, PAD, RBF, MF), pp. 583–597.
PEPMPEPM-2010-RudolphT #bytecode #code generation #named #type safety
Mnemonics: type-safe bytecode generation at run time (JR, PT), pp. 15–24.
AdaSIGAda-2010-RasC
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller (JR, AMKC), pp. 13–22.
SACSAC-OOPS-J-2008-PirkelbauerPMS10 #algorithm #concept
Dynamic algorithm selection for runtime concepts (PP, SP, MM, BS), pp. 773–786.
ASEASE-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.
ASEASE-2010-HineSV #enterprise #modelling #named
Reac2o: a runtime for enterprise system models (CMH, JGS, SV), pp. 177–178.
ASEASE-2010-MelissonMRRS #architecture #component #configuration management #distributed
Reconfigurable run-time support for distributed service component architectures (RM, PM, DR, RR, LS), pp. 171–172.
ICSEICSE-2010-BencomoWSFL #requirements
Requirements reflection: requirements as runtime entities (NB, JW, PS, AF, EL), pp. 199–202.
ICSEICSE-2010-CarzanigaGPP #automation #named
RAW: runtime automatic workarounds (AC, AG, NP, MP), pp. 321–322.
ICSEICSE-2010-LewisW #fault #monitoring #using
Runtime repair of software faults using event-driven monitoring (CL, JW), pp. 275–280.
ICSEICSE-2010-SongHCSM #modelling #representation
SM@RT: representing run-time system data as MOF-compliant models (HS, GH, FC, YS, HM), pp. 303–304.
GPCEGPCE-2010-NavasBP #component #embedded #evolution #framework
A component-based run-time evolution infrastructure for resource-constrained embedded systems (JFN, JPB, JP), pp. 73–82.
GPCEGPCE-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.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2010-HarrisTCU #architecture #multi
Dynamic filtering: multi-purpose architecture support for language runtime systems (TH, ST, AC, OSÜ), pp. 39–52.
ASPLOSASPLOS-2010-YuanMXTZP #fault #named
SherLog: error diagnosis by connecting clues from run-time logs (DY, HM, WX, LT, YZ, SP), pp. 143–154.
DACDAC-2010-CochranR #consistency #detection #predict
Consistent runtime thermal prediction and control through workload phase detection (RC, SR), pp. 62–67.
DACDAC-2010-YeL #modelling #optimisation #parallel #performance #simulation
Parallel program performance modeling for runtime optimization of multi-algorithm circuit simulation (XY, PL), pp. 561–566.
DATEDATE-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.
DATEDATE-2010-JavaidJHP #agile #estimation #pipes and filters
Rapid runtime estimation methods for pipelined MPSoCs (HJ, AJ, MSH, SP), pp. 363–368.
DATEDATE-2010-KarnerASW #network #simulation #using
Holistic simulation of FlexRay networks by using run-time model switching (MK, EA, CS, RW), pp. 544–549.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
HPDCHPDC-2010-EkanayakeLZGBQF #named #pipes and filters
Twister: a runtime for iterative MapReduce (JE, HL, BZ, TG, SHB, JQ, GF), pp. 810–818.
HPDCHPDC-2010-TeodoroHCF #optimisation
Run-time optimizations for replicated dataflows on heterogeneous environments (GT, TDRH, ÜVÇ, RF), pp. 13–24.
PPoPPPPoPP-2010-TzannesCBV #adaptation #lazy evaluation
Lazy binary-splitting: a run-time adaptive work-stealing scheduler (AT, GCC, RB, UV), pp. 179–190.
FASEFASE-2010-LehnerM #performance
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups (HL, PM), pp. 338–352.
ICLPICLP-2010-AlbertiGL10 #abduction #constraints #proving
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (MA, MG, EL), pp. 4–13.
ICSTICST-2010-SantelicesHO #detection #evolution #interactive
Precisely Detecting Runtime Change Interactions for Evolving Software (RAS, MJH, AO), pp. 429–438.
ICSTSAT-2010-KrocSS #empirical
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search (LK, AS, BS), pp. 346–351.
WICSA-ECSAWICSA-ECSA-2009-TaylorMO #adaptation #architecture
Architectural styles for runtime software adaptation (RNT, NM, PO), pp. 171–180.
SIGMODSIGMOD-2009-KaderBMK #named #optimisation
ROX: run-time optimization of XQueries (RAK, PAB, SM, MvK), pp. 615–626.
ICPCICPC-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.
CIAACIAA-J-2008-MatsumotoHT09 #automaton #implementation #pattern matching #performance
A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 717–733.
ICFPICFP-2009-MarlowJS #haskell #manycore
Runtime support for multicore Haskell (SM, SLPJ, SS), pp. 65–78.
CoGCIG-2009-HagelbackJ #experience #game studies #scalability
Measuring player experience on runtime dynamic difficulty scaling in an RTS game (JH, SJJ), pp. 46–52.
HCIHCI-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.
HCIHCI-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.
SEKESEKE-2009-NusayrC #aspect-oriented #monitoring
Extending AOP to Support Broad Runtime Monitoring Needs (AN, JC), pp. 438–441.
MODELSMoDELS-2009-WolfeGP #algorithm #consistency #incremental
An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
SPLCSPLC-2009-CetinaHZFP #variability
Strategies for variability transformation at run-time (CC, ØH, XZ, FF, VP), pp. 61–70.
MODELSMoDELS-2009-WolfeGP #algorithm #consistency #incremental
An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
OOPSLAOOPSLA-2009-Abi-AntounA #analysis #architecture #consistency #using
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations (MAA, JA), pp. 321–340.
TOOLSTOOLS-EUROPE-2009-KloseO #aspect-oriented #classification #framework #monitoring
A Classification Framework for Pointcut Languages in Runtime Monitoring (KK, KO), pp. 289–307.
PLDIPLDI-2009-XuAMRS #profiling
Go with the flow: profiling copies to find runtime bloat (G(X, MA, NM, AR, GS), pp. 419–430.
ASEASE-2009-BurnimJSS #detection #infinity #lightweight #named
Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.
ESEC-FSEESEC-FSE-2009-CardelliniCGPM #adaptation #architecture
Qos-driven runtime adaptation of service oriented architectures (VC, EC, VG, FLP, RM), pp. 131–140.
ICSEICSE-2009-EpifaniGMT #adaptation #evolution #parametricity
Model evolution by run-time parameter adaptation (IE, CG, RM, GT), pp. 111–121.
SACSAC-2009-HalleV #monitoring #streaming #using #web #web service #xml
Runtime monitoring of web service choreographies using streaming XML (SH, RV), pp. 2118–2125.
SACSAC-2009-MondejarLPUM #aspect-oriented #composition #design #distributed
Designing a distributed AOP runtime composition model (RM, PGL, CP, PU, PM), pp. 539–540.
GPCEGPCE-2009-VillazonBAM #adaptation #java
Advanced runtime adaptation for Java (AV, WB, DA, PM), pp. 85–94.
DACDAC-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.
DATEDATE-2009-FaruqueEH #adaptation #communication #configuration management
Configurable links for runtime adaptive on-chip communication (MAAF, TE, JH), pp. 256–261.
DATEDATE-2009-FiorinPS #monitoring
MPSoCs run-time monitoring through Networks-on-Chip (LF, GP, CS), pp. 558–561.
DATEDATE-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.
DATEDATE-2009-HuynhM #configuration management #embedded #realtime
Runtime reconfiguration of custom instructions for real-time embedded systems (HPH, TM), pp. 1536–1541.
DATEDATE-2009-KimYK #online #scalability
Program phase and runtime distribution-aware online DVFS for combined Vdd/Vbb scaling (JK, SY, CMK), pp. 417–422.
DATEDATE-2009-SabeghiB #approach #configuration management #towards
Toward a runtime system for reconfigurable computers: A virtualization approach (MS, KB), pp. 1576–1579.
DATEDATE-2009-XuVJ
Selective light Vth hopping (SLITH): Bridging the gap between runtime dynamic and leakage (HX, RV, WBJ), pp. 594–597.
HPCAHPCA-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.
HPDCHPDC-2009-GlasnerV #adaptation #predict
Adaptive run-time prediction in heterogeneous environments (CG, JV), pp. 61–62.
HPDCHPDC-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.
PDPPDP-2009-PantJK #multi #named #performance
Phoenix: A Runtime Environment for High Performance Computing on Chip Multiprocessors (AP, HJ, VVK), pp. 119–126.
PDPPDP-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.
PPoPPPPoPP-2009-MaA #compilation #data mining #mining
A compiler and runtime system for enabling data mining applications on gpus (WM, GA), pp. 287–288.
ICLPICLP-2009-MeraLH #framework #testing #verification
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.
ICSTICST-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.
ISSTAISSTA-2009-SinhaSGJKH #exception #fault #java #locality
Fault localization and repair for Java runtime exceptions (SS, HS, CG, SJ, MK, MJH), pp. 153–164.
ICPCICPC-2008-DaltonH #behaviour #tool support #visualisation
A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications (ARD, JOH), pp. 43–52.
ICPCICPC-2008-RothlisbergerGN #ide
Exploiting Runtime Information in the IDE (DR, OG, ON), pp. 63–72.
PASTEPASTE-2008-Abi-AntounA #architecture #case study
A field study in static extraction of runtime architectures (MAA, JA), pp. 22–28.
CIAACIAA-2008-MatsumotoHT #automaton #implementation #pattern matching #performance
A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 201–211.
FMFM-2008-AktugDG #monitoring
Provably Correct Runtime Monitoring (IA, MD, DG), pp. 262–277.
FMFM-2008-ChalinR #fault #ml #performance #using
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.
HaskellHaskell-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.
IFLIFL-2008-GrelckP #architecture #implementation #parallel #thread
Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.
SOFTVISSOFTVIS-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.
EDOCEDOC-2008-HalleV #message passing #monitoring #workflow
Runtime Monitoring of Message-Based Workflows with Data (SH, RV), pp. 63–72.
ICEISICEIS-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.
SEKESEKE-2008-KloukinasSM #distributed #verification
Estimating Event Lifetimes for Distributed Runtime Verification (CK, GS, KM), pp. 117–122.
SEKESEKE-2008-TsigkritisS #dependence #security
Diagnosing Runtime Violations of Security & Dependability Properties (TT, GS), pp. 661–666.
BXBX-2008-Song1 #architecture
Architecture-Based Runtime System Management (HS), p. 47.
ECMFAECMDA-FA-2008-Barbier #state machine #uml
Supporting the UML State Machine Diagramsat Runtime (FB), pp. 338–348.
ECOOPECOOP-2008-SomanKD #memory management #multi #named #scalability
MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments (SS, CK, LD), pp. 335–361.
OOPSLAOOPSLA-2008-ArnoldVY #detection #fault #named #performance
QVM: an efficient runtime for detecting defects in deployed systems (MA, MTV, EY), pp. 143–162.
OOPSLAOOPSLA-2008-GopinathanR #analysis #protocol
Enforcing object protocols by combining static and runtime analysis (MG, SKR), pp. 245–260.
TOOLSTOOLS-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.
FSEFSE-2008-BoddenLH #fault #monitoring #programming
Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.
ICSEICSE-2008-ChenSR #analysis #java #named #predict
jPredictor: a predictive runtime analysis tool for java (FC, TFS, GR), pp. 221–230.
SACSAC-2008-Al-GahmiC #middleware #towards
Towards a service-based middleware layer for runtime environments (AAG, JEC), pp. 507–511.
SACSAC-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.
SACSAC-2008-PirkelbauerPMS #c++ #concept #library #standard
Runtime concepts for the C++ standard template library (PP, SP, MM, BS), pp. 171–177.
DACDAC-2008-BauerSH #embedded #set
Run-time instruction set selection in a transmutable embedded processor (LB, MS, JH), pp. 56–61.
DACDAC-2008-ChaudhuriGFHD #configuration management #embedded
An 8x8 run-time reconfigurable FPGA embedded in a SoC (SC, SG, FF, PH, JLD), pp. 120–125.
DACDAC-2008-FaruqueKH #communication #distributed #named
ADAM: run-time agent-based distributed application mapping for on-chip communication (MAAF, RK, JH), pp. 760–765.
DACDAC-2008-SenOA #multi #predict #verification
Predictive runtime verification of multi-processor SoCs in SystemC (AS, VO, MSA), pp. 948–953.
DATEDATE-2008-BauerSKH #embedded #set
Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set (LB, MS, SK, JH), pp. 752–757.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2008-QuSN #configuration management #performance
Improving the Efficiency of Run Time Reconfigurable Devices by Configuration Locking (YQ, JPS, JN), pp. 264–267.
HPCAHPCA-2008-ChenMP #constraints #graph #memory management #using #validation
Runtime validation of memory ordering using constraint graph checking (KC, SM, PP), pp. 415–426.
HPDCHPDC-2008-DiamosY #execution #named
Harmony: an execution model and runtime for heterogeneous many core systems (GFD, SY), pp. 197–200.
ISMMISMM-2008-PhanSJ #memory management
Runtime support for region-based memory management in Mercury (QP, ZS, GJ), pp. 61–70.
PDPPDP-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.
PDPPDP-2008-HutterM #distributed #java #locality #optimisation
Runtime Locality Optimizations of Distributed Java Applications (CH, TM), pp. 149–156.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
ESOPESOP-2008-MatthewsA #exclamation #morphism #parametricity #polymorphism #theorem
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.
ICSTSAT-2008-HaimW #estimation #online #satisfiability
Online Estimation of SAT Solving Runtime (SH, TW), pp. 133–138.
FATESTestCom-FATES-2008-Havelund #c #source code #verification
Runtime Verification of C Programs (KH), pp. 7–22.
VMCAIVMCAI-2008-NguyenKC #logic
Runtime Checking for Separation Logic (HHN, VK, WNC), pp. 203–217.
CBSECBSE-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.
CSMRCSMR-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.
ICSMEICSM-2007-Bergin #adaptation
Runtime Adaptation of Long-Running Applications for Improved Caching (JB), pp. 509–510.
SCAMSCAM-2007-BinderHM #bytecode #java #re-engineering #standard
Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (WB, JH, PM), pp. 91–100.
SEFMSEFM-2007-CamaraSC #adaptation #behaviour #composition #transaction
Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.
HaskellHaskell-2007-GrabmullerK #code generation #haskell #named
Harpy: run-time code generation in haskell (MG, DK), p. 94.
AGTIVEAGTIVE-2007-BoddenV #automaton #monitoring #specification #timeline
Transforming Timeline Specifications into Automata for Runtime Monitoring (EB, HV), pp. 249–264.
SEKESEKE-2007-LiangDS #evolution #monitoring
Evolution and Runtime Monitoring of Software Systems (HL, JSD, JS), pp. 343–348.
MODELSMoDELS-2007-PilskalnsWI #debugging #uml #using
Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.
MODELSMoDELS-2007-PilskalnsWI #debugging #uml #using
Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.
ECOOPECOOP-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.
OOPSLAOOPSLA-2007-ChenR #framework #named #performance #verification
Mop: an efficient and generic runtime verification framework (FC, GR), pp. 569–588.
PLDIPLDI-2007-ElmasQT #java #named #transaction
Goldilocks: a race and transaction-aware java runtime (TE, SQ, ST), pp. 245–255.
ICSEICSE-2007-YuanM #feedback #testing #user interface #using
Using GUI Run-Time State as Feedback to Generate Test Cases (XY, AMM), pp. 396–405.
SACSAC-2007-Hamid #memory management
Integrating a certified memory management runtime with proof-carrying code (NAH), pp. 1526–1533.
CGOCGO-2007-KotzmannM #analysis #optimisation
Run-Time Support for Optimizations Based on Escape Analysis (TK, HM), pp. 49–60.
DATEDATE-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.
ISSTAISSTA-2007-TombBV #detection #fault #interprocedural #program analysis
Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
QoSAQoSA-2006-DuzbayevP #behaviour #predict
Runtime Prediction of Queued Behaviour (ND, IP), pp. 78–94.
SIGMODSIGMOD-2006-LiuZR #memory management #query
Run-time operator state spilling for memory intensive long-running queries (BL, YZ, EAR), pp. 347–358.
VLDBVLDB-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.
ICPCICPC-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.
SCAMSCAM-2006-SawinR #algorithm #graph
Estimating the Run-Time Progress of a Call Graph Construction Algorithm (JS, AR), pp. 53–62.
FMFM-2006-PnueliZ #model checking #verification
PSL Model Checking and Run-Time Verification Via Testers (AP, AZ), pp. 573–586.
SOFTVISSOFTVIS-2006-SingerK #adaptation #visualisation
Visualized adaptive runtime subsystems (JS, CCK), pp. 195–196.
SEKESEKE-2006-StenderKA #multi
Mobility-based Runtime Load Balancing in Multi-Agent Systems (JS, SK, SA), pp. 688–696.
SPLCSPLC-2006-WangKHW #personalisation #privacy #web
PLA-based Runtime Dynamism in Support of Privacy-Enhanced Web Personalization (YW, AK, AvdH, JW), pp. 151–162.
ECOOPECOOP-2006-Mitchell
The Runtime Structure of Object Ownership (NM), pp. 74–98.
ECOOPECOOP-2006-MitchellSS #behaviour #modelling
Modeling Runtime Behavior in Framework-Based Applications (NM, GS, HS), pp. 429–451.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-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.
PLDIPLDI-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.
PLDIPLDI-2006-FeiM #execution #monitoring #named
Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.
CCCC-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.
CGOCGO-2006-CooperD #compilation #graph
Tailoring Graph-coloring Register Allocation For Runtime Compilation (KDC, AD), pp. 39–49.
CGOCGO-2006-NandaLLC #named #using
BIRD: Binary Interpretation using Runtime Disassembly (SN, WL, LCL, TcC), pp. 358–370.
DACDAC-2006-SinghMPO #nondeterminism
Gain-based technology mapping for minimum runtime leakage under input vector uncertainty (AKS, MM, RP, MO), pp. 522–527.
DACDAC-2006-ZhuQ #fault tolerance #multi #prototype
Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery (XZ, WQ), pp. 53–56.
DATEDATE-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.
DATEDATE-2006-PettisRL #automation #operating system #policy
Automatic run-time selection of power policies for operating systems (NP, JR, YHL), pp. 508–513.
DATEDATE-2006-QuSN #configuration management #parallel
A parallel configuration model for reducing the run-time reconfiguration overhead (YQ, JPS, JN), pp. 965–969.
HPDCHPDC-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.
HPDCHPDC-2006-ZhangHXY #named #physics #scalability
PARM: Physics Aware Runtime Manager for Large-scale Scientific and Engineering Applications (YZ, SH, JX, JY), pp. 363–364.
PDPPDP-2006-ZhangSS #thread
A UPC Runtime System Based on MPI and POSIX Threads (ZZ, JS, SS), pp. 195–202.
PPoPPPPoPP-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.
PPoPPPPoPP-2006-WangS #concurrent #detection #fault #performance #source code
Accurate and efficient runtime detection of atomicity errors in concurrent programs (LW, SDS), pp. 137–146.
ESOPESOP-2006-Fruja #dot-net #type safety
Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.
ISSTAISSTA-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.
MBTMBT-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.
WICSAWICSA-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.
VISSOFTVISSOFT-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.
EDOCEDOC-2005-KarastoyanovaHCLB #adaptation
Extending BPEL for Run Time Adaptability (DK, AH, MC, FL, APB), pp. 15–26.
SEKESEKE-2005-MondragonGMS #generative #monitoring #specification
Generating Properties for Runtime Monitoring from Software Specification Patterns (OM, AQG, HM, OS), pp. 267–273.
ECOOPECOOP-2005-DaynesC #representation
Sharing the Runtime Representation of Classes Across Class Loaders (LD, GC), pp. 97–120.
OOPSLAOOPSLA-2005-ShankarSBS #analysis
Runtime specialization with optimistic heap analysis (AS, SSS, RB, JES), pp. 327–343.
PLDIPLDI-2005-ElmasTQ #concurrent #detection #named #source code #verification
VYRD: verifYing concurrent programs by runtime refinement-violation detection (TE, ST, SQ), pp. 27–37.
ASEASE-2005-AgarwalSWS #concurrent #detection #using
Optimized run-time race detection and atomicity checking using partial discovered types (RA, AS, LW, SDS), pp. 233–242.
SACSAC-2005-MilazzoPTU #distributed
Handling run-time updates in distributed applications (MM, GP, ET, GU), pp. 1375–1380.
SACSAC-2005-MitchellP #metric #using
Using object-level run-time metrics to study coupling between objects (ÁM, JFP), pp. 1456–1462.
GPCEGPCE-2005-AktemurJKC #generative #optimisation
Optimizing Marshalling by Run-Time Program Generation (BA, JJ, SNK, LC), pp. 221–236.
GPCEGPCE-2005-KaminAM #generative #optimisation
Source-Level Optimization of Run-Time Program Generators (SNK, BA, PM), pp. 293–308.
CCCC-2005-GapeyevLPS #xml
XML Goes Native: Run-Time Representations for Xtatic (VG, MYL, BCP, AS), pp. 43–58.
CGOCGO-2005-DasLCKYHC #optimisation #performance
Performance of Runtime Optimization on BLAST (AD, JL, HC, JK, PCY, WCH, DyC), pp. 86–96.
CGOCGO-2005-WuEW #code generation #performance
Efficient SIMD Code Generation for Runtime Alignment and Length Conversion (PW, AEE, AW), pp. 153–164.
DATEDATE-2005-AroraRRJ #embedded #monitoring
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
DATEDATE-2005-LinkV #configuration management
Hotspot Prevention Through Runtime Reconfiguration in Network-On-Chip (GML, NV), pp. 648–649.
DATEDATE-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.
DATEDATE-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.
HPDCHPDC-2005-LangeSD #automation #network
Automatic dynamic run-time optical network reservations (JRL, AIS, PAD), pp. 255–264.
HPDCHPDC-2005-SundararajGD #adaptation #performance
Increasing application performance in virtual environments through run-time inference and adaptation (AIS, AG, PAD), pp. 47–58.
HPDCHPDC-2005-YangCHP #adaptation #distributed
Autonomic runtime manager for adaptive distributed applications (JY, HC, SH, MP), pp. 69–78.
WRLAWRLA-2004-JohnsenOA05 #concurrent
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls (EBJ, OO, EWA), pp. 375–392.
CBSECBSE-2004-MuskensC #component #multi #predict
Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems (JM, MRVC), pp. 162–177.
SIGMODSIGMOD-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.
CSMRCSMR-2004-DucasseLB
High-Level Polymetric Views of Condensed Run-time Information (SD, ML, RB), pp. 309–318.
CSMRCSMR-2004-HassounJC #architecture #metric
A Dynamic Runtime Coupling Metric for Meta-Level Architectures (YH, RJ, SC), pp. 339–346.
ICSMEICSM-2004-Gustavsson #evolution #problem #process
Strategies for Handling the Activity Problem in Runtime Software Evolution by Reducing Activity (JG), p. 525.
CAiSECAiSE-2004-BerkumBM #development #web
A Combined Runtime Environment and Web-Based Development Environment for Web Application Engineering (MvB, SB, AM), pp. 307–321.
CIKMCIKM-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.
OOPSLAOOPSLA-2004-WeimerN #fault
Finding and preventing run-time error handling mistakes (WW, GCN), pp. 419–431.
LOPSTRLOPSTR-2004-BrasselHHSV #functional #logic programming #profiling #source code
Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.
POPLPOPL-2004-YuKS #dot-net #formal method
Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.
SACSAC-2004-AnconaC #implementation
Implementing the essence of reflection: a reflective run-time environment (MA, WC), pp. 1503–1507.
SACSAC-2004-DengYWL #flexibility #process #workflow
Enhancement of workflow flexibility by composing activities at run-time (SD, ZY, ZW, HL), pp. 667–673.
DACDAC-2004-FrancescoMABCM #approach #hardware
An integrated hardware/software approach for run-time scratchpad management (FP, PM, DA, LB, FC, JMM), pp. 238–243.
DACDAC-2004-GuptaKSS #effectiveness
Selective gate-length biasing for cost-effective runtime leakage control (PG, ABK, PS, DS), pp. 327–330.
DATEDATE-DF-2004-BoschettiSB #architecture #configuration management #image
A Run-Time Reconfigurable Datapath Architecture for Image Processing Applications (MRB, ISS, SB), pp. 242–247.
ESOPESOP-2004-Mine #abstract domain #detection #fault #float #relational
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.
VMCAIVMCAI-2004-BarringerGHS #rule-based #verification
Rule-Based Runtime Verification (HB, AG, KH, KS), pp. 44–57.
ICSMEICSM-2003-Gustavsson #classification #java
A Classification of Unanticipated Runtime Software Changes in Java (JG), pp. 4–12.
IWPCIWPC-2003-GschwindOP #comprehension #using
Using Run-Time Data for Program Comprehension (TG, JO, MP), pp. 245–250.
UMLUML-2003-PleumannH #modelling #web
A Model-Driven Runtime Environment for Web Applications (JP, SH), pp. 190–204.
PLDIPLDI-2003-StroutCF #composition
Compile-time composition of run-time data and iteration reorderings (MMS, LC, JF), pp. 91–102.
ASEASE-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-FSEESEC-FSE-2003-RanL #architecture #mobile
Making sense of runtime architecture for mobile phone software (AR, RL), pp. 367–370.
ESEC-FSEESEC-FSE-2003-SenRA #analysis #parallel #safety #source code #thread
Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.
CCCC-2003-BurrowsFW #source code #type checking
Run-Time Type Checking for Binary Programs (MB, SNF, JLW), pp. 90–105.
CGOCGO-2003-KaminCJ #code generation #java #named
Jumbo: Run-Time Code Generation for Java and Its Applications (SK, LC, AJ), pp. 48–58.
DATEDATE-2003-GericotaASF #configuration management #logic
Run-Time Management of Logic Resources on Reconfigurable Systems (MGG, GRA, MLS, JMF), pp. 10974–10979.
DATEDATE-2003-KandemirZK #parallel
Runtime Code Parallelization for On-Chip Multiprocessors (MTK, WZ, MK), pp. 10510–10515.
DATEDATE-2003-KodaseWS #constraints #embedded #realtime
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints (SK, SW, KGS), pp. 20170–20175.
LCTESLCTES-2003-DhurjatiKAL #garbage collection #memory management #safety
Memory safety without runtime checks or garbage collection (DD, SK, VSA, CL), pp. 69–80.
CBSECBSE-2003-JiaA #feature model #interactive
Run-Time Management of Feature Interactions (YJ, JMA), p. 7.
CBSECBSE-2003-JongeMC #component #predict
Scenario-Based Prediction of Run-time Resource Consumption in Component-Based Software Systems (MdJ, JM, MRVC), p. 4.
ICSMEICSM-2002-VandewoudeB #component #embedded #evolution
Run-time Evolution for Embedded Component-Oriented Systems (YV, YB), pp. 242–245.
VISSOFTVISSOFT-2002-SmithM #object-oriented #visualisation
Runtime Visualisation of Object Oriented Software (MPS, MM), p. 81.
ICEISICEIS-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.
ICPRICPR-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.
KDDKDD-2002-El-RamlySS #approach #behaviour #mining
From run-time behavior to usage scenarios: an interaction-pattern mining approach (MER, ES, PGS), pp. 315–324.
TOOLSTOOLS-USA-2002-ComptonW
A Run-time System for SCOOP (MC, RW), pp. 119–157.
AdaEuropeAdaEurope-2002-DewarHCW #ada
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.
PEPMASIA-PEPM-2002-AffeldtMSY #bytecode
Supporting objects in run-time bytecode specialization (RA, HM, ES, AY), pp. 50–60.
SACSAC-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.
DACDAC-2002-HortaLTP #configuration management #hardware #plugin
Dynamic hardware plugins in an FPGA with partial run-time reconfiguration (ELH, JWL, DET, DBP), pp. 343–348.
DATEDATE-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.
DATEDATE-2002-NitschK #embedded #using
The Use of Runtime Configuration Capabilities for Networked Embedded Systems (CN, UK), p. 1093.
HPDCHPDC-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.
SCAMSCAM-2001-HorganPW #analysis #java #metric #profiling #source code
Measurement and Analysis of Runtime Profiling Data for Java Programs (JH, JFP, JW), pp. 124–132.
FLOPSFLOPS-J1-1998-LedererD01 #automation #verification
Automatic Result Verification by Complete Run-Time Checking of Computations (EFAL, RAD), pp. 97–124.
IFLIFL-2001-Minamide #behaviour #type system
Runtime Behavior of Conversion Interpretation of Subtyping (YM), pp. 155–167.
CIKMCIKM-2001-RelueWH #generative #performance
Efficient Runtime Generation of Association Rules (RR, XW, HH), pp. 466–473.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-2001-Tokar #ada
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.
PLDIPLDI-2001-KennedyS #design #dot-net #implementation
Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.
LCTESLCTES-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.
FASEFASE-2001-LoginovYHR #debugging #type checking
Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.
WCREWCRE-2000-UngC #re-engineering
Dynamic Re-engineering of Binary Code with Run-time Feedbacks (DU, CC), pp. 2–10.
ECOOPECOOP-2000-MalabarbaPGBB #java #type safety
Runtime Support for Type-Safe Dynamic Java Classes (SM, RP, JG, ETB, JFB), pp. 337–361.
TOOLSTOOLS-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.
TOOLSTOOLS-USA-2000-LorenzP #assembly #component
Design-Time Assembly of Runtime Containment Components (DHL, PP), pp. 195–204.
SACSAC-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.
CCCC-2000-YuR #parallel
Techniques for Reducing the Overhead of Run-Time Parallelization (HY, LR), pp. 232–248.
DACDAC-2000-LeeS #power management #realtime
Run-time voltage hopping for low-power real-time systems (SL, TS), pp. 806–809.
HPCAHPCA-2000-LefurgyPM
Reducing Code Size with Run-Time Decompression (CL, EP, TNM), pp. 218–228.
HPCAHPCA-2000-RadhakrishnanVJS #architecture #java
Architectural Issues in Java Runtime Systems (RR, NV, LKJ, AS), pp. 387–398.
HPDCHPDC-2000-ChangK #adaptation #automation #distributed
Automatic Configuration and Run-time Adaptation of Distributed Applications (FC, VK), pp. 11–20.
VLDBVLDB-1999-FlorescuLSY #data-driven #optimisation
Optimization of Run-time Management of Data Intensive Web-sites (DF, AYL, DS, KY), pp. 627–638.
ECOOPECOOP-1999-Kniesel #adaptation #component #type safety
Type-Safe Delegation for Run-Time Component Adaptation (GK), pp. 351–366.
AdaEuropeAdaEurope-1999-Canazzi #ada #framework
yaRTI, an Ada 95 HLA Run-Time Infrastructure (DC), pp. 187–198.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-1999-RuizG #implementation #low level
Implementing a New Low-Level Tasking Support for the GNAT Runtime System (JFR, JMGB), pp. 298–307.
LOPSTRLOPSTR-1999-Kulas #concept #prolog
Annotations for Prolog — A Concept and Runtime Handling (MK), pp. 234–254.
PEPMPEPM-1999-HornofJ #code generation #compilation
Certifying Compilation and Run-Time Code Generation (LH, TJ), pp. 60–74.
PLDIPLDI-1999-DingK #performance
Improving Cache Performance in Dynamic Applications through Data and Computation Reorganization at Run Time (CD, KK), pp. 229–241.
PLDIPLDI-1999-GrantPMCE #evaluation #optimisation #staged
An Evaluation of Staged Run-Time Optimizations in DyC (BG, MP, MM, CC, SJE), pp. 293–304.
PLDIPLDI-1999-MarletCB #for free #incremental #performance
Efficient Incremental Run-Time Specialization for Free (RM, CC, PB), pp. 281–292.
PPDPPPDP-1999-DowdSHCJ
Run Time Type Information in Mercury (TD, ZS, FH, TCC, DJ), pp. 224–243.
PLDIBest-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.
SACSAC-1999-SampleBH #coordination #named
Mars: Runtime Support for Coordinated Applications (NS, CB, MH), pp. 166–174.
CCCC-1999-PatelR #implementation #parallel
Implementation Issues of Loop-Level Speculative Run-Time Parallelization (DP, LR), pp. 183–197.
DATEDATE-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.
HPDCHPDC-1999-UengSLL #configuration management #distributed #memory management #named
Proteus: A Runtime Reconfigurable Distributed Shared Memory System (JCU, CKS, WHL, CCL), pp. 347–348.
PPoPPPPoPP-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.
ICFPICFP-1998-MinamideG #complexity #on the
On the Runtime Complexity of Type-Directed Unboxing (YM, JG), pp. 1–12.
OOPSLAOOPSLA-1998-CartwrightS #java #programming language
Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.
AdaEuropeAdaEurope-1998-MilletB #java #migration #virtual machine
Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.
PLDIPLDI-1998-WicklineLP #code generation
Run-time Code Generation and Modal-ML (PW, PL, FP), pp. 224–235.
ICSEICSE-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.
ICSEICSE-1998-OreizyMT #architecture #evolution
Architecture-Based Runtime Software Evolution (PO, NM, RNT), pp. 177–186.
ASPLOSASPLOS-1998-Le #execution
An Out-of-Order Execution Technique for Runtime Binary Translators (BCL), pp. 151–158.
DATEDATE-1998-Lin #compilation #concurrent #performance #scheduling #source code
Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling (BL), pp. 211–217.
HPCAHPCA-1998-ZhangRT #distributed #hardware #parallel
Hardware for Speculative Run-Time Parallelization in Distributed Shared-Memory Multiprocessors (YZ, LR, JT), pp. 162–173.
ISMMISMM-1998-KakkadJW #compilation
Portable Run-Time Type Description for Conventional Compilers (SVK, MSJ, PRW), pp. 146–153.
ICALPICALP-1997-Dami #fault #reduction
Labelled Reductions, Runtime Errors and Operational Subsumption (LD), pp. 782–793.
ECOOPECOOP-1997-EvansD #architecture #distributed #evolution #named #persistent
DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems (HE, PD), pp. 243–275.
PEPMPEPM-1997-GrantMPCE #c
Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.
PPDPPLILP-1997-Fujinami #automation #code generation #object-oriented
Automatic Run-Time Code Generation in Object-Oriented Languages (NF), pp. 423–424.
HPDCHPDC-1997-WeissmanZ #parallel #scheduling
Run-time Support for Scheduling Parallel Applications in Heterogeneous NOWs (JBW, XZ), pp. 347–355.
PDPPDP-1997-MayesB #named #operating system #parallel
Arena — A run-time operating system for parallel applications (KM, JB), pp. 253–258.
OOPSLAOOPSLA-1996-DurhamJ #framework #programming language #visual notation
A Framework for Run-Time Systems and its Visual Programming Language (AMD, REJ), pp. 406–420.
PLDIPLDI-1996-LeeL #code generation #ml #optimisation
Optimizing ML with Run-Time Code Generation (PL, ML), pp. 137–148.
POPLPOPL-1996-ConselN #approach #c
A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.
PLDIBest-of-PLDI-1996-LeeL96a #code generation #ml #optimisation
Optimizing ML with run-time code generation (with retrospective) (PL, ML), pp. 540–553.
SACSAC-1996-Liu #data type #persistent #using
A persistent runtime system using persistent data structures (ZL), pp. 429–436.
ASPLOSASPLOS-1996-DwarkadasCZ #distributed #memory management
An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System (SD, ALC, WZ), pp. 186–197.
HPDCHPDC-1996-IversonOF #distributed #estimation #execution #statistics
Run-Time Statistical Estimation of Task Execution Times for Heterogeneous Distributed Computing (MAI, , GJF), pp. 263–270.
HPDCHPDC-1996-KaddouraR #adaptation #parallel
Runtime Support for Parallelization of Data-Parallel Applications on Adaptive and Nonuniform Computational Environments (MK, SR), pp. 30–39.
CIKMCIKM-1995-SoparkarKJA #database #parallel #source code
Run-Time Parallelization of Sequential Database Programs (NS, PK, HVJ, AA), pp. 74–81.
PLDIPLDI-1995-RauchwergerP #parallel #reduction
The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization (LR, DAP), pp. 218–232.
SASSAS-1995-JagannathanW #analysis #effectiveness
Effective Flow Analysis for Avoiding Run-Time Checks (SJ, AKW), pp. 207–224.
PPoPPPPoPP-1995-BlumofeJKLRZ #named #parallel #performance #thread
Cilk: An Efficient Multithreaded Runtime System (RDB, CFJ, BCK, CEL, KHR, YZ), pp. 207–216.
LISPLFP-1994-AdityaFH #garbage collection #re-engineering #using
Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction (SA, CHF, JEH), pp. 12–23.
LISPLFP-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.
AdaEuropeAdaEurope-1994-Moller #ada
Run-Time Check Elimination for Ada 9X (PLM), pp. 11–23.
AdaEuropeAdaEurope-1994-SilbergR #ada #certification
FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.
PEPMPEPM-1994-LeoneL #code generation #lightweight
Lightweight Run-Time Code Generation (ML, PL), pp. 97–106.
PLDIPLDI-1994-HolzleU #feedback #optimisation
Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback (UH, DU), pp. 326–336.
PPDPPLILP-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.
AdaTRI-Ada-1994-GieringMB #ada #library
Features of the GNU Ada Runtime Library (EWG, FM, TPB), pp. 93–103.
AdaTRI-Ada-1994-Moller #ada
Run-Time Check Elimination for Ada 9X (PLM), pp. 122–128.
FSEFSE-1994-VandevoordeG #analysis #composition #using
Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity (MTV, JVG), pp. 121–127.
SACSAC-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.
ASPLOSASPLOS-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.
ICLPICLP-1994-Pedreschi #prolog #proving #source code
A Proof Method for Runtime Properties of Prolog Programs (DP), pp. 584–598.
CHIINTERCHI-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.
OOPSLAOOPSLA-1993-BalK #using
Object Distribution in Orca using Compile-Time and Run-Time Techniques (HEB, MFK), pp. 162–177.
OOPSLAOOPSLA-1993-CahillBHS #distributed #persistent #programming
The Amadeus GRT — Generic Runtime Support for Distributed Persistent Programming (VC, SB, CH, GS), pp. 144–161.
AdaEuropeAdaEurope-1993-BjornfotALW #ada #distributed #protocol
Distributed Run-Time Systems, a Protocol for Ada (LB, LA, KL, GW), pp. 249–263.
AdaEuropeAdaEurope-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.
PPDPPLILP-1993-HogenL #distributed #implementation #stack
Stack Management of Runtime Structures in Distributed Implementations (GH, RL), pp. 416–417.
PPoPPPPoPP-1993-LeungZ #parallel #performance
Improving the Performance of Runtime Parallelization (STL, JZ), pp. 83–91.
ICLPICLP-1993-TickB #compilation #evaluation #kernel #performance
Performance Evaluation of Monaco Compiler and Runtime Kernel (ET, CB), pp. 757–773.
TOOLSTOOLS-EUROPE-1992-BuschmannKS #c++ #information management
A Runtime Type Information System for C++ (FB, KK, MS), pp. 265–274.
AdaEuropeAdaEurope-1992-GobinTG
Runtime System Support for Data-Oriented Synchronization in Ada-9X (MG, MT, FG), pp. 128–137.
CCCC-1992-Weber #compilation #component #product line #reuse
Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components (CW), pp. 110–124.
ISSTATAV-1991-GuptaS #approach #detection #performance
Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races (RG, MS), pp. 98–111.
ISSTATAV-1991-Sankar #algebra #consistency #specification
Run-Time Consistency Checking of Algebraic Specifications (SS), pp. 123–129.
POPLPOPL-1990-Rouaix
Safe Run-time Overloading (FR), pp. 355–366.
ICLPCLP-1990-JacobsLW90 #logic programming #multi #source code
Multiple Specialization of Logic Programs with Run-Time Test (DJ, AL, WHW), pp. 717–731.
ASPLOSASPLOS-1989-Mulder
Data Buffering: Run-Time Versus Compile-Time Support (HM), pp. 144–151.
ASPLOSASPLOS-1989-VegdahlP #implementation
The Run-Time Environment for Screme, A Scheme Implementation on the 88000 (SRV, UFP), pp. 172–182.
SOSPSOSP-1989-WeiserDH #approach
The Portable Common Runtime Approach to Interoperability (MW, AJD, CH), pp. 114–122.
PPoPPPPEALS-1988-GuptaT #parallel
Exploiting Variable Grain Parallelism at Runtime (AG, AT), pp. 212–221.
TAPSOFTCAAP-1987-Steffen #abstract interpretation #optimisation
Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation (BS), pp. 52–68.
SIGIRSIGIR-1980-LeaS #using
An Associative File Store Using Fragments for Run-Time Indexing and Compression (RML, EJS), pp. 280–295.
DACDAC-1979-ParkeHR
The N.mPc runtime environment (FIP, DCHJ, CWR), pp. 529–536.
POPLPOPL-1978-German #automation #fault #proving
Automating Proofs of the Absence of Common Runtime Errors (SMG), pp. 105–118.
AdaDIPL-1976-FischerL #data access
Run-time checking of data access in Pascal-like languages (CNF, RJL), pp. 215–230.

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