Tag #metaprogramming
157 papers:
POPL-2020-ChangBTB #dependent type #type system- Dependent type systems as macros (SC, MB, MT, WJB), p. 29.
AIIDE-2019-XuKZHLS #learning- Macro Action Selection with Deep Reinforcement Learning in StarCraft (SX, HK, ZZ, RH, YL, HS), pp. 94–99.
CoG-2019-ChenL #game studies #learning- Macro and Micro Reinforcement Learning for Playing Nine-ball Pool (YC, YL), pp. 1–4.
OOPSLA-2019-WeiCR #composition #performance #program analysis #staged- Staged abstract interpreters: fast and modular whole-program analysis via meta-programming (GW, YC, TR), p. 32.
ESOP-2019-MartinezADGHHNP #automation #proving #smt- Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms (GM, DA, VD, NG, CH, CH, MN, ZP, CPC, JP, TR, AR, NS), pp. 30–59.
ICPR-2018-BoudraYB #identification #statistics- Plant identification from bark: A texture description based on Statistical Macro Binary Pattern (SB, IY, AB), pp. 1530–1535.
GPCE-2018-Binsbergen #generative- Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) (LTvB), pp. 168–174.
- GPCE-2018-StuckiBO #multi #unification
- A practical unification of multi-stage programming and macros (NS, AB, MO), pp. 14–27.
- GPCE-2018-SusungiRCCT #optimisation
- Meta-programming for cross-domain tensor optimizations (AS, NAR, AC, JC, CT), pp. 79–92.
CGO-2018-DavisSO #data flow #graph- Transforming loop chains via macro dataflow graphs (ECD, MMS, CO), pp. 265–277.
SANER-2017-DurieuxCSM #exception #generative #null #pointer #using- Dynamic patch generation for null pointer exceptions using metaprogramming (TD, BC, LS, MM), pp. 349–358.
- ICFP-2017-EbnerURAM #framework #verification
- A metaprogramming framework for formal verification (GE, SU0, JR, JA, LdM), p. 29.
ECOOP-2017-BergerTU #generative #modelling- Modelling Homogeneous Generative Meta-Programming (MB, LT, CU), p. 23.
- POPL-2017-ChangKG #type system
- Type systems as macros (SC, AK, BG), pp. 694–705.
PPDP-2017-LaforgueR #ml #pattern matching- Copattern matching and first-class observations in OCaml, with a macro (PL, YRG), pp. 97–108.
- GPCE-2017-Al-KofahiKK
- Four languages and lots of macros: analyzing autotools build systems (JMAK, SK, CK), pp. 176–186.
SLE-2017-LiF #debugging- Debugging with domain-specific events via macros (XL, MF), pp. 91–102.
CASE-2017-WangWQL #constraints #network #social- From micro to macro: Propagated constraints in social networks (CW, YW, TQ, HL), pp. 1534–1539.
ECMFA-2016-ScheidgenEM #api #case study #library #metamodelling #rest- Metamodeling vs Metaprogramming: A Case Study on Developing Client Libraries for REST APIs (MS, SE, FM), pp. 205–216.
- ESOP-2016-SchusterDF #named #refactoring
- Macrofication: Refactoring by Reverse Macro Expansion (CS, TD, CF), pp. 644–671.
DUXU-DD-2015-Liang #industrial #on the #online- On Chinese Online P2P Lender’s Model Building on the Macro, Micro and Industry Level (QL), pp. 315–327.
ICML-2015-NarayanPA - α-β Divergences Discover Micro and Macro Structures in Data (KSN, AP, PA), pp. 796–804.
PLDI-2015-BowmanMSD - Profile-guided meta-programming (WJB, SM, VSA, RKD), pp. 403–412.
- PLDI-2015-MarrSD #performance #protocol
- Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises (SM, CS, SD), pp. 545–554.
- POPL-2015-GiacobazziLR #analysis
- Analyzing Program Analyses (RG, FL, FR), pp. 261–273.
SAC-2015-LopezR #analysis- Meta-programming with well-typed code analysis (ML, GDR), pp. 2119–2121.
- SAC-2015-OmarWA #composition #syntax
- Composable and hygienic typed syntax macros (CO, CW, JA), pp. 1986–1991.
- GPCE-2015-YamaguchiC #scala
- Inverse macro in Scala (HY, SC), pp. 85–94.
DATE-2015-WeiDLW - A universal macro block mapping scheme for arithmetic circuits (XW, YD, TKL, YLW), pp. 1629–1634.
- CSMR-WCRE-2014-RooverS #development #library #tool support #using
- Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.
ILC-2014-WakitaHS #framework #implementation #javascript- Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.
- HCI-TMT-2014-SzklannySWCW #interface #named #performance
- SyncBox — Synchronizer and Interface for High-Speed Macro Photography (KS, AS, PW, SC, AW), pp. 652–661.
KDD-2014-ZhouWHY #data-driven- From micro to macro: data driven phenotyping by densification of longitudinal electronic medical records (JZ, FW, JH, JY), pp. 135–144.
PEPM-2014-MiaoS #java- Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.
FSE-2014-OverbeyBH #c #refactoring- A foundation for refactoring C with macros (JLO, FB, MH), pp. 75–85.
- GPCE-2014-ShiodaIS #domain-specific language #embedded #library #named
- LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming (MS, HI, SS), pp. 63–72.
DAC-2014-ChenHCCW - Routability-Driven Blockage-Aware Macro Placement (YFC, CCH, CHC, YWC, CJW), p. 6.
CEFP-2013-PorkolabSS #c++ #domain-specific language- DSL in C++ Template Metaprogram (ZP, ÁS, IS), pp. 76–114.
ICFP-2013-Chlipala #generative #hoare #logic #verification- The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.
- ICFP-2013-DevrieseP
- Typed syntactic meta-programming (DD, FP), pp. 73–86.
- DUXU-WM-2013-SauckenML #approach #case study #design #experience #how #user interface
- How to Design Experiences: Macro UX versus Micro UX Approach (CvS, IM, UL), pp. 130–139.
TOOLS-EUROPE-J-2012-LilisS13 #approach #debugging #fault- An Integrated Approach to Source Level Debugging and Compile Error Reporting in Metaprograms (YL, AS), pp. 1–26.
- PPDP-2013-KennedyBJD #assembly #coq #named #question
- Coq: the world’s best macro assembler? (AK, NB, JBJ, PÉD), pp. 13–24.
ICSM-2012-KumarSS12a - The demacrofier (AK, AS, BS), pp. 658–661.
- ICFP-2012-Mainland #haskell
- Explicitly heterogeneous metaprogramming with MetaHaskell (GM), pp. 311–322.
- ECOOP-2012-LeeGHM #named
- Marco: Safe, Expressive Macros for Any Language (BL, RG, MH, KSM), pp. 589–613.
- TOOLS-EUROPE-2012-LilisS #debugging #fault #precise
- Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
- PEPM-2012-Berger #specification #verification
- Specification and verification of meta-programs (MB), pp. 3–4.
- PEPM-2012-HirzelG #using
- Streams that compose using macros that oblige (MH, BG), pp. 141–150.
- DATE-2012-DimitrakopoulosK #multi #network
- Dynamic-priority arbiter and multiplexer soft macros for on-chip networks switches (GD, EK), pp. 542–545.
PDP-2012-AldinucciADTK #data flow #manycore #parallel- Parallel Patterns + Macro Data Flow for Multi-core Programming (MA, LA, MD, MT, PK), pp. 27–36.
- ICSM-2011-Roover #detection #logic #object-oriented #source code
- A logic meta-programming foundation for example-driven pattern detection in object-oriented programs (CDR), pp. 556–561.
WCRE-2011-JaafarGHA #case study- An Exploratory Study of Macro Co-changes (FJ, YGG, SH, GA), pp. 325–334.
FDG-2011-CooperKMLBBFPp #analysis #social- Analysis of social gameplay macros in the Foldit cookbook (SC, FK, IM, HL, JB, DB, JF, ZP, Fp), pp. 9–14.
- OOPSLA-2011-KastnerGREOB #compilation #parsing #variability
- Variability-aware parsing in the presence of lexical macros and conditional compilation (CK, PGG, TR, SE, KO, TB), pp. 805–824.
- OOPSLA-2011-PalmerS #difference #java
- Backstage Java: making a difference in metaprogramming (ZP, SFS), pp. 939–958.
- DATE-2011-KangD #classification #gpu #scalability
- Scalable packet classification via GPU metaprogramming (KK, YSD), pp. 871–874.
SCAM-2010-Borok-NagyMMPP #c++ #visualisation- Visualization of C++ Template Metaprograms (ZBN, VM, JM, NP, ZP), pp. 167–176.
- ICFP-2010-CulpepperF
- Fortifying macros (RC, MF), pp. 235–246.
- OOPSLA-2010-KloseO #composition #logic
- Modular logic metaprogramming (KK, KO), pp. 484–503.
- PLDI-2010-Chlipala #named #static typing
- Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.
- PPDP-2010-SnowBN #approach #logic programming
- A meta-programming approach to realizing dependently typed logic programming (ZS, DB, GN), pp. 187–198.
- GPCE-J-2007-CulpepperF10 #debugging
- Debugging hygienic macros (RC, MF), pp. 496–515.
- GPCE-2010-MiaoS #incremental
- Incremental type-checking for type-reflective metaprograms (WM, JGS), pp. 167–176.
- SLE-2010-KatsKV #ambiguity #interactive #source code #syntax
- Interactive Disambiguation of Meta Programs with Concrete Object Syntax (LCLK, KTK, EV), pp. 327–336.
- DATE-2010-KlemmF #c++ #embedded #using
- Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
- CEFP-2009-Porkolab #c++ #functional
- Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.
- CIG-2009-MalikD #behaviour #coordination #multi #testing #using
- Improving testing of multi-unit computer players for unwanted behavior using coordination macros (AM, JD), pp. 355–362.
KDIR-2009-WohrerZDB #composition #data mining #mining #optimisation #towards- Unboxing Data Mining Via Decomposition in Operators — Towards Macro Optimization and Distribution (AW, YZ, EuHD, PB), pp. 243–248.
ASE-2009-SaebjoernsenJQS #c #preprocessor #validation- Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
GTTSE-2009-KlintSV #rascal- EASY Meta-programming with Rascal (PK, TvdS, JJV), pp. 222–289.
- GPCE-2009-GarciaL #towards
- Toward foundations for type-reflective metaprogramming (RG, AL), pp. 25–34.
- DAC-2009-ChaoYHLC #fault #modelling
- Fault models for embedded-DRAM macros (MCTC, HYY, RFH, SCL, CYC), pp. 714–719.
ECSA-2008-DamaseviciusST #component #design #diagrams #feature model #generative #ontology #using- Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques (RD, VS, JT), pp. 338–341.
CIAA-2008-InabaHM #multi #transducer- Multi-Return Macro Tree Transducers (KI, HH, SM), pp. 102–111.
- PPDP-2008-ThiemannN #context-free grammar
- Macros for context-free grammars (PT, MN), pp. 120–130.
- FSE-2008-KoesnandarERHSS #using #web
- Using assertions to help end-user programmers create dependable web macros (AK, SGE, GR, LH, CS, KTS), pp. 124–134.
- ESOP-2008-HermanW #formal method
- A Theory of Hygienic Macros (DH, MW), pp. 48–62.
- ECOOP-2007-ReppyT
- Metaprogramming with Traits (JHR, AT), pp. 373–398.
ICSE-2007-KarailaS #case study #experience #industrial #visual notation- Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language — An Industrial Experience Report (MK, TS), pp. 571–580.
- GPCE-2007-CulpepperF #debugging
- Debugging macros (RC, MF), pp. 135–144.
- GPCE-2007-TrujilloAD #generative
- Generative metaprogramming (ST, MA, OD), pp. 105–114.
- DAC-2007-ChenYCHL #algorithm #design #named
- MP-trees: A Packing-Based Macro Placement Algorithm for Mixed-Size Designs (TCC, PHY, YWC, FJH, DL), pp. 447–452.
- ICSM-2006-YaoMKB #automation #c #program transformation #source code
- C Macro Handling in Automated Source Code Transformation Systems (BY, WM, SK, RB), pp. 68–69.
- SCAM-2006-JacobsL #c #semantics
- SMART C: A Semantic Macro Replacement Translator for C (MJ, ECL), pp. 95–106.
- PEPM-2006-Veldhuizen #trade-off
- Tradeoffs in metaprogramming (TLV), pp. 150–159.
- GPCE-2006-PorkolabMS #c++ #debugging
- Debugging C++ template metaprograms (ZP, JM, ÁS), pp. 255–264.
- GPCE-2006-ShiCX #distributed
- Distributed meta-programming (RS, CC, HX), pp. 243–248.
ICLP-2006-BaralDT #composition #set #using- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming (CB, JD, HT), pp. 376–390.
PODS-2005-ManethBPS #transducer #type checking #xml- XML type checking with macro tree transducers (SM, AB, TP, HS), pp. 283–294.
- GTTSE-2005-PorkolabZ #c++ #composition #problem
- A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.
- GPCE-2005-BravenboerVVV #ambiguity #source code #syntax #type system
- Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax (MB, RV, JJV, EV), pp. 157–172.
IWPC-2004-MennieC - Giving Meaning to Macros (CAM, CLAC), pp. 79–88.
SEKE-2004-JarzabekSZZ #analysis #case study- Analysis of meta-programs: a case study (SJ, RS, HZ, ZS), pp. 68–73.
- GPCE-2004-CulpepperF
- Taming Macros (RC, MF), pp. 225–243.
- GPCE-2004-PasalicL
- Meta-programming with Typed Object-Language Representations (EP, NL), pp. 136–167.
- DATE-v1-2004-BeniniIMM #design #memory management
- Block-Enabled Memory Macros: Design Space Exploration and Application-Specific Tuning (LB, AI, AM, EM), pp. 698–699.
CSMR-2003-TourweM #identification #logic #refactoring #using- Identifying Refactoring Opportunities Using Logic Meta Programming (TT, TM), pp. 91–100.
- ICFP-2003-ChenX #representation
- Meta-programming through typeful code representation (CC, HX), pp. 275–286.
ESEC-FSE-2003-JarzabekS #adaptation #composition- Eliminating redundancies with a “composition with adaptation” meta-programming technique (SJ, SL), pp. 237–246.
- GPCE-2003-Dincklage
- Making Patterns Explicit with Metaprogramming (DvD), pp. 287–306.
- GPCE-2003-ZolyomiPK #c++ #type system
- An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.
- ICFP-2002-Flatt #composition #question
- Composable and compilable macros: : you want it when? (MF), pp. 72–83.
- ICFP-2002-Nanevski
- Meta-programming with names and necessity (AN), pp. 206–217.
- ICPR-v4-2002-HoogsCK #3d #classification #using
- Classification of 3D Macro Texture Using Perceptual Observables (AH, RC, RK), pp. 113–117.
- PEPM-2002-BrabrandS #syntax
- Growing languages with metamorphic syntax macros (CB, MIS), pp. 31–40.
- GPCE-2002-BrichauMV #composition #logic
- Building Composable Aspect-Specific Languages with Logic Metaprogramming (JB, KM, KDV), pp. 110–127.
- GPCE-2002-Kiselyov
- Macros That Compose: Systematic Macro Programming (OK), pp. 202–217.
- GPCE-2002-Visser #syntax
- Meta-programming with Concrete Object Syntax (EV), pp. 299–315.
- ICFP-2001-GanzST #generative #multi #type safety
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (SEG, AS, WT), pp. 74–85.
- GCSE-2001-AttardiC
- Reflection Support by Means of Template Metaprogramming (GA, AC), pp. 118–127.
- SAIG-2001-FerrariMP #named
- MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.
- SAIG-2001-Sheard #challenge #research
- Accomplishments and Research Challenges in Meta-programming (TS), pp. 2–44.
- TOOLS-EUROPE-2000-AssmannBG
- Meta-Programming Grey-Box Connectors (UA, HB, TG), pp. 300–311.
- GCSE-2000-LudwigH #in the large
- Metaprogramming in the Large (AL, DH), pp. 178–187.
- POPL-2000-Bawden
- First-Class Macros have Types (AB), pp. 133–141.
- GCSE-1999-KrishnamurthiFD #generative #reuse
- From Macros to Reusable Generative Programming (SK, MF, BFD), pp. 105–120.
FoSSaCS-1999-Maneth #string #transducer- String Languages Generated by Total Deterministic Macro Tree Transducers (SM), pp. 258–272.
- TOOLS-PACIFIC-1998-Chiba #object-oriented
- Macro Processing in Object-Oriented Languages (SC), pp. 113–126.
- PDP-1998-ArtiagaMBN #case study #experience #implementation #multi
- Experiences on implementing PARMACS macros to run the SPLASH-2 suite on multiprocessors (EA, XM, YB, NN), pp. 64–69.
- ICFP-1997-Lassila #code generation #confluence #context-sensitive grammar #functional #optimisation
- A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence (EL), p. 315.
- EDTC-1997-KaalK #generative #testing
- Compact structural test generation for analog macros (VK, HGK), pp. 581–587.
- SEKE-1995-Ait-AmeurBGPP #specification
- Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.
LOPSTR-1994-Hill - A Module System for Meta-Programming (PMH), pp. 395–409.
CAV-1994-Hungar #model checking #process- Model Checking of macro Processes (HH), pp. 169–181.
- PLDI-1993-WeiseC #programmable #syntax
- Programmable Syntax Macros (DW, RFC), pp. 156–165.
- PLILP-1993-LimS #approach #constraints #logic programming
- A Conservative Approach to Meta-Programming in Constraint Logic Programming (PL, JS), pp. 44–59.
- DAC-1993-LiaoDWC #network #polynomial #using
- S-Parameter Based Macro Model of Distributed-Lumped Networks Using Exponentially Decayed Polynomial Function (HL, WWMD, RW, FYC), pp. 726–731.
- ICLP-1993-LeviR #formal method
- A Formalization of Metaprogramming for real (GL, DR), pp. 354–373.
- LFP-1992-BoveA #calculus #confluence #evaluation
- A Confluent Calculus of Macro Expansion and Evaluation (AB, LA), pp. 278–287.
- JICSLP-1992-MartensS #semantics
- A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming (BM, DDS), pp. 511–525.
- JICSLP-1992-Sato
- Meta-Programming through a Truth Predicate (TS), pp. 526–540.
- POPL-1991-ClingerR
- Macros That Work (WDC, JR), pp. 155–162.
WSA-1991-QueinnecP #composition #evaluation #lisp- A Proposal for a Modular Lisp with Macros and Dynamic Evaluation (CQ, JAP), pp. 1–8.
- ICLP-1991-ChengRS #prolog
- Higher Level Meta Programming in Qu-Prolog 3: 0 (ASKC, PJR, JS), pp. 285–298.
- DAC-1990-UptonSS #design #standard
- Integrated Placement for Mixed Macro Cell and Standard Cell Designs (MU, KS, SS), pp. 32–35.
- NACLP-1990-LimS #constraints
- Meta Programming as Constraint Programming (PL, PJS), pp. 416–430.
AS-1989-Krieg-Bruckner #algebra #development #specification- Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development (BKB), pp. 36–59.
LICS-1989-Pfenning #logic #named- Elf: A Language for Logic Definition and Verified Metaprogramming (FP), pp. 313–322.
- NACLP-1989-HeintzeMSY #on the
- On Meta-Programming in CLR(R) (NH, SM, PJS, RHCY), pp. 52–66.
- DAC-1988-ChakravertiC #algorithm #array
- Routing Algorithm for Gate Array Macro Cells (AC, MJC), pp. 658–662.
- DAC-1988-Sechen #using
- Chip-Planning, Placement, and Global Routing of Macro/Custom Cell Integrated Circuits Using Simulated Annealing (CS), pp. 73–80.
- JICSCP-1988-Abramson88 #approach #aspect-oriented #definite clause grammar
- Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming (HA), pp. 233–248.
- JICSCP-1988-KondohC88 #prolog
- Macro Processing in Prolog (SiK, TC), pp. 466–480.
VDME-1987-Bjorner #development #graph- The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments (DB), pp. 77–96.
- OOPSLA-1987-GrimshawL #data flow #named #object-oriented
- Mentat: An Object-Oriented Macro Data Flow System (ASG, JWSL), pp. 35–47.
- POPL-1987-KohlbeckerW #named #specification
- Macro-by-Example: Deriving Syntactic Transformations from their Specifications (EEK, MW), pp. 77–84.
- LFP-1986-DybvigFH
- Expansion-Passing Style: Beyond Conventional Macros (RKD, DPF, CTH), pp. 143–150.
- LFP-1986-KohlbeckerFFD
- Hygienic Macro Expansion (EEK, DPF, MF, BFD), pp. 151–161.
CRAI-1986-Bjorner #development #formal method #graph #towards- Project Graphs and Meta-Programs. Towards a Theory of Software Development (DB), pp. 117–152.
- DAC-1986-FrisonG #editing #layout #named
- MADMACS: a new VLSI layout macro editor (PF, EG), pp. 654–658.
STOC-1986-ColeV #algorithm #design #parallel- Deterministic coin tossing and accelerating cascades: micro and macro techniques for designing parallel algorithms (RC, UV), pp. 206–219.
- DAC-1985-TeraiHK #array #standard
- A routing procedure for mixed array of custom macros and standard cells (HT, MH, TK), pp. 503–508.
- DAC-1984-KrieteN #design #parametricity
- A VLSI design methodology based on parametric macro cells (RAK, RKN), pp. 686–688.
- STOC-1978-StorerS
- The Macro Model for Data Compression (JAS, TGS), pp. 30–39.
ICALP-1977-Engelfriet - Macro Grammars, Lindenmayer Systems and Other Copying Devices (JE), pp. 221–229.
- LISP-1963-Hart #lisp
- Macro Instructions for LISP (TH), p. 4.
