Tag #staged
46 papers:
OOPSLA-2019-WeiCR #composition #metaprogramming #performance #program analysis- Staged abstract interpreters: fast and modular whole-program analysis via meta-programming (GW, YC, TR), p. 32.
- ICFP-2017-Yallop #programming
- Staged generic programming (JY), p. 29.
GPCE-2017-ParreauxSK #approach #optimisation- Quoted staged rewriting: a practical approach to library-defined optimizations (LP, AS, CEK), pp. 131–145.
SPLC-2015-DudderRH #composition #design #type safety #using- Synthesizing type-safe compositions in feature oriented software designs using staged composition (BD, JR, GTH), pp. 398–401.
ESEC-FSE-2015-LongR #program repair #synthesis- Staged program repair with condition synthesis (FL, MR), pp. 166–178.
- GPCE-2015-ScherrC #domain-specific language #embedded
- Almost first-class language embedding: taming staged embedded DSLs (MS, SC), pp. 21–30.
CC-2015-AllenSK #analysis #points-to #scalability- Staged Points-to Analysis for Large Code Bases (NA, BS, PK), pp. 131–150.
CAiSE-2014-MurguzurCTS #process #runtime- Context-Aware Staged Configuration of Process Variants@Runtime (AM, XDC, ST, GS), pp. 241–255.
CIKM-2014-YuanWYC #big data #database #grid #scalability- Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 1–10.
- OOPSLA-2014-JonnalageddaCSRO #combinator #parsing #performance
- Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.
ESOP-2014-DudderMR #composition #synthesis- Staged Composition Synthesis (BD, MM, JR), pp. 67–86.
- GPCE-2013-ChapinSSW #named #network #programming
- Scalaness/nesT: type specialized staged programming for sensor networks (PCC, CS, SFS, MW), pp. 135–144.
- SPLC-2012-Elsner #tool support
- Light-weight tool support for staged product derivation (CE), pp. 146–155.
SAC-2012-SiddiquiK #execution #symbolic computation- Staged symbolic execution (JHS, SK), pp. 1339–1346.
HPCA-2012-ChatterjeeMBDJ - Staged Reads: Mitigating the impact of DRAM writes on DRAM reads (NC, NM, RB, AD, NPJ), pp. 41–52.
- ESOP-2012-Rhiger
- Staged Computation with Staged Lexical Scope (MR), pp. 559–578.
- CC-2011-LameedH #array #compilation #jit #matlab #semantics
- Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.
FSE-2010-SinhaW #concurrent #program analysis- Staged concurrent program analysis (NS, CW), pp. 47–56.
PLDI-2009-ChughMJL #data flow #javascript- Staged information flow for javascript (RC, JAM, RJ, SL), pp. 50–62.
ICFP-2008-MainlandMW #functional #named #network #programming- Flask: staged functional programming for sensor networks (GM, GM, MW), pp. 335–346.
PEPM-2008-KameyamaKS - Closing the stage: from staged code to typed closures (YK, OK, CcS), pp. 147–157.
ECSA-2007-PereiraHK #architecture #distributed #multimodal- A Distributed Staged Architecture for Multimodal Applications (ACP, FH, KK), pp. 195–206.
ECOOP-2007-BoddenHL #monitoring #performance #program analysis #runtime- A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring (EB, LJH, OL), pp. 525–549.
SOSP-2007-CrameriKKBZ #deployment #testing- Staged deployment in mirage, an integrated software upgrade testing and distribution system (OC, NK, DK, RB, WZ), pp. 221–236.
POPL-2006-OlinskyLR #composition #implementation #specification- Staged allocation: a compositional technique for specifying and implementing procedure calling conventions (RO, CL, NR), pp. 409–421.
- GPCE-2006-BradyH #compilation #interpreter
- A verified staged interpreter is a verified compiler (EB, KH), pp. 111–120.
- SPLC-2004-CzarneckiHE #feature model #modelling #using
- Staged Configuration Using Feature Models (KC, SH, UWE), pp. 266–283.
CGO-2004-JoshiBZ #optimisation #profiling- Targeted Path Profiling: Lower Overhead Path Profiling for Staged Dynamic Optimization Systems (RJ, MDB, CBZ), pp. 239–250.
- GPCE-2003-TahaJ
- Staged Notational Definitions (WT, PJ), pp. 97–116.
- GPCE-2003-WangM #on the
- On Stage Ordering in Staged Computation (ZW, RRM), pp. 77–96.
- ICFP-2002-PasalicTS
- Tagless staged interpreters for typed languages (EP, WT, TS), pp. 218–229.
ICEIS-2002-AshB #enterprise #implementation #network- Staged Implementation of E-Business Networks through ERP (CGA, JMB), pp. 877–884.
- PEPM-2002-Chambers #compilation
- Staged compilation (CC), pp. 1–8.
- POPL-2002-PhiliposeCE #automation #compilation #towards
- Towards automatic construction of staged compilers (MP, CC, SJE), pp. 113–125.
WCRE-2001-MiecznikowskiH #encapsulation #java #using- Decompiling Java Using Staged Encapsulation (JM, LJH), pp. 368–374.
- ICFP-2001-NanevskiBH #automation #generative #geometry
- Automatic Generation of Staged Geometric Predicates (AN, GEB, RH), pp. 217–228.
- SAIG-2001-HarrisonS #adaptation
- Dynamically Adaptable Software with Metacomputations in a Staged Language (WLH, TS), pp. 163–182.
- PEPM-2000-Pfenning #logic #on the
- On the Logical Foundations of Staged Computation (FP), p. 33.
- SAIG-2000-Pfenning #reasoning
- Reasoning about Staged Computation (FP), pp. 5–6.
- PLDI-1999-GrantPMCE #evaluation #optimisation #runtime
- An Evaluation of Staged Run-Time Optimizations in DyC (BG, MP, MM, CC, SJE), pp. 293–304.
- Best-of-PLDI-1999-GrantPMCE99a #evaluation #optimisation #runtime
- An evaluation of staged run-time optimizations in DyC (with retrospective) (BG, MP, MM, CC, SJE), pp. 656–669.
AFP-1998-Sheard98 #ml #programming language #using- Using MetaML: A Staged Programming Language (TS), pp. 207–239.
CHI-1998-ChinR #collaboration #design #evolution #learning- Progressive Design: Staged Evolution of Scenarios in the Design of a Collaborative Science Learning Environment (GCJ, MBR), pp. 611–618.
- POPL-1998-ShieldsSJ #dynamic typing #type inference #type system
- Dynamic Typing as Staged Type Inference (MS, TS, SLPJ), pp. 289–302.
- POPL-1996-DaviesP #analysis
- A Modal Analysis of Staged Computation (RD, FP), pp. 258–270.
SIGIR-1992-CooperGD #probability #retrieval- Probabilistic Retrieval Based on Staged Logistic Regression (WSC, FCG, DPD), pp. 198–210.
