BibSLEIGH — compilation tag

compilation

compilation

Tag #compilation

1181 papers:

POPL-2020-BartheBGHLPT #c #verification: Formal verification of a constant-time preserving C compiler (GB, SB, BG, RH, VL, DP, AT), p. 30.
POPL-2020-BourkeBP #data flow #semantics: Mechanized semantics and verified compilation for a dataflow synchronous language with reset (TB, LB, MP), p. 29.
ASPLOS-2020-AchourR: Noise-Aware Dynamical System Compilation for Analog Devices with Legno (SA, MR), pp. 149–166.
CC-2020-Castro-PerezY #first-order #parallel: Compiling first-order functions to session-typed parallel code (DCP, NY), pp. 143–154.
CC-2020-KurthWFCMGB: Mixed-data-model heterogeneous compilation and OpenMP offloading (AK, KW, BF, AC, AM, TG, LB), pp. 119–131.
CC-2020-VuHG0 #delivery #optimisation: Secure delivery of program properties through optimizing compilation (STV, KH, AdG, AC0), pp. 14–26.
CGO-2020-ChengIBB #jit #morphism: Type freezing: exploiting attribute type monomorphism in tracing JIT compilers (LC, BI, CFBT, CB), pp. 16–29.
CGO-2020-DakkakWH #design #implementation: The design and implementation of the wolfram language compiler (AD, TWJ, WMH), pp. 212–228.
CGO-2020-JavanmardAKPCH #algorithm #divide and conquer #multi #parametricity #programming #recursion #using: Deriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilers (MMJ, ZA, MK, LNP, RC, RJH), pp. 317–329.
CGO-2020-LeonardC #generative #pseudo: Introducing the pseudorandom value generator selection in the compilation toolchain (ML, SC), pp. 256–267.
CGO-2020-LovelessOB #cyber-physical: A performance-optimizing compiler for cyber-physical digital microfluidic biochips (TL, JO, PB), pp. 171–184.
ICFP-2019-0001A #correctness #functional #theorem: The next 700 compiler correctness theorems (functional pearl) (DP0, AA), p. 29.
ICFP-2019-CongOER #continuation: Compiling with continuations, or without? whatever (YC, LO, GME, TR), p. 28.
ICFP-2019-StrydonckPD #linear: Linear capabilities for fully abstract compilation of separation-logic-verified code (TVS, FP, DD), p. 29.
ICML-2019-RahmanJG #network: Look Ma, No Latent Variables: Accurate Cutset Networks via Compilation (TR, SJ, VG), pp. 5311–5320.
OOPSLA-2019-MarcozziTDC #fuzzing #how #matter #question: Compiler fuzzing: how much does it matter? (MM, QT0, AFD, CC), p. 29.
OOPSLA-2019-SharifSHKJSZAMA #information retrieval #named #optimisation: ApproxHPVM: a portable compiler IR for accuracy-aware optimizations (HS, PS, MH, MK, KJ, YS, NZ, VSA, SM, SVA), p. 30.
PLDI-2019-DathathriS0LLMM #named #optimisation: CHET: an optimizing compiler for fully-homomorphic neural-network inferencing (RD, OS, HC0, KL, KEL, SM, MM, TM), pp. 142–156.
PLDI-2019-GopinathGSS #machine learning #modelling: Compiling KB-sized machine learning models to tiny IoT devices (SG, NG, VS, RS0), pp. 79–95.
PLDI-2019-JiangLXZF #concurrent #source code #towards: Towards certified separate compilation for concurrent programs (HJ, HL, SX, JZ, XF), pp. 111–125.
PLDI-2019-LiuMM #consistency #java: Accelerating sequential consistency for Java with speculative compilation (LL, TDM, MM), pp. 16–30.
PLDI-2019-LoowKTMNAF: Verified compilation on a verified processor (AL, RK, YKT, MOM, MN, OA, ACJF), pp. 1041–1053.
POPL-2019-Crary: Fully abstract module compilation (KC), p. 29.
POPL-2019-WangWS #approach #composition #stack: An abstract stack based approach to verified compositional compilation to machine code (YW, PW, ZS), p. 30.
ASE-2019-AhmedSSK #fault #generative: Targeted Example Generation for Compilation Errors (UZA, RS, NS, AK), pp. 327–338.
ASE-2019-ChenWHXZZ #generative: History-Guided Configuration Diversification for Compiler Test-Program Generation (JC, GW, DH, YX, HZ, LZ), pp. 305–316.
ASE-2019-StepanovAB #debugging #how #named: ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler (DS, MA, MAB), pp. 317–326.
ESEC-FSE-2019-ChenHSZHZ #debugging #effectiveness #generative: Compiler bug isolation via effective witness test program generation (JC, JH, PS, LZ, DH, LZ0), pp. 223–234.
ESEC-FSE-2019-MesbahRJGA #fault #learning #named: DeepDelta: learning to repair compilation errors (AM, AR, EJ, NG, EA), pp. 925–936.
ESEC-FSE-2019-WangSW: Mitigating power side channels during compilation (JW, CS, CW0), pp. 590–601.
ESEC-FSE-2019-Zhang0C0Z #empirical #fault #integration #scalability: A large-scale empirical study of compiler errors in continuous integration (CZ, BC0, LC, XP0, WZ), pp. 176–187.
GPCE-2019-ShaikhhaJK #domain-specific language #embedded #generative: Compiler generation for performance-oriented embedded DSLs (short paper) (AS, VJ, CEK), pp. 94–101.
GPCE-2019-StojanovRP #information retrieval: A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions (AS, TR, MP), pp. 34–47.
SLE-2019-Broman #composition #interactive #modelling #self: A vision of miking: interactive programmatic modeling, sound language composition, and self-learning compilation (DB), pp. 55–60.
ASPLOS-2019-MuraliBJCM #adaptation #quantum: Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers (PM, JMB, AJA, FTC, MM), pp. 1015–1029.
ASPLOS-2019-SchkufzaWR #experience #programming: Just-In-Time Compilation for Verilog: A New Technique for Improving the FPGA Programming Experience (ES, MW, CJR), pp. 271–286.
ASPLOS-2019-ShiLGRSHC #quantum: Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers (YS, NL, PG, ZR, DIS, HH, FTC), pp. 1031–1044.
CC-2019-Amarasinghe #algebra: The sparse tensor algebra compiler (keynote) (SPA), p. 1.
CC-2019-BlassP #algorithm #analysis #fixpoint #performance: GPU-accelerated fixpoint algorithms for faster compiler analyses (TB, MP), pp. 122–134.
CC-2019-LiuHWCL0X #concurrent #kernel #named #thread: PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion (YL, LH, MW, HC, FL, XF0, JX), pp. 2–16.
CGO-2019-BaghdadiRRSAZSK #named #performance: Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code (RB, JR, MBR, EDS, AA, YZ, PS, SK, SPA), pp. 193–205.
CGO-2019-Castro-LopezL #deployment #machine learning #modelling #multi: Multi-target Compiler for the Deployment of Machine Learning Models (OCL, IFVL), pp. 280–281.
CGO-2019-ChandrasekharCC #named #open source: IGC: The Open Source Intel Graphics Compiler (AC, GC, PYC, WYC, JG, PG, SHPK, GYL, PM, WP, TR, KT), pp. 254–265.
CGO-2019-KjolstadAKA #algebra: Tensor Algebra Compilation with Workspaces (FK, PA, SK, SPA), pp. 180–192.
CGO-2019-ProkopecDLW #algorithm #incremental: An Optimization-Driven Incremental Inline Substitution Algorithm for Just-in-Time Compilers (AP, GD, DL, TW), pp. 164–179.
ESOP-2019-BessonBDJW #fault: Compiling Sandboxes: Formally Verified Software Fault Isolation (FB, SB, AD, TPJ, PW), pp. 499–524.
ESOP-2019-PatrignaniG #robust: Robustly Safe Compilation (MP, DG0), pp. 469–498.
CAV-2019-BeckerDMT #named #optimisation: Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler (HB, ED, MOM, ZT), pp. 155–173.
ICST-2019-HaririSFMM #mutation testing #representation #source code #testing: Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation (FH, AS, VF, SM, DM), pp. 114–124.
SANER-2018-Gromov #ide: Compilers are sprinters - IDEs are marathoners (keynote) (PG), p. 3.
ICFP-2018-NandiWPBGT #design #functional #programming: Functional programming for compiling and decompiling computer-aided design (CN, JRW, PP, TB, DG, ZT), p. 31.
ICFP-2018-OhoriUM #morphism #optimisation #polymorphism: Finitary polymorphism for optimizing type-directed compilation (AO, KU, HM), p. 29.
CIKM-2018-MenghiniDW #documentation: Compiling Questions into Balanced Quizzes about Documents (CM, JDZ, RW0), pp. 1519–1522.
ICML-2018-Koriche #combinator #game studies #predict: Compiling Combinatorial Prediction Games (FK), pp. 2761–2770.
MoDELS-2018-KusmenkoRSW #c++ #component #embedded #modelling #multi: Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc (EK, BR, SS, MvW), pp. 447–457.
OOPSLA-2018-ChouKA #abstraction #algebra: Format abstraction for sparse tensor algebra compilers (SC, FK, SPA), p. 30.
OOPSLA-2018-GongCS0SWMPVNT #empirical: An empirical study of the effect of source-level loop transformations on compiler stability (ZG, ZC0, JJS, DCW0, ZS, NW, SM, DAP, AVV, AN, JT), p. 29.
AdaEurope-2018-RoyuelaMQP #ada #analysis #parallel: Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP (SR, XM, EQ, LMP), pp. 141–157.
LOPSTR-2018-NysS #deduction: Compiling Control as Offline Partial Deduction (VN, DDS), pp. 115–131.
PLDI-2018-KangKSLPSKCCHY #named: Crellvm: verified credible compilation for LLVM (JK, YK, YS, JL, SP, MDS, YK, SC, JC, CKH, KY), pp. 631–645.
PLDI-2018-KoeplingerFPZHF #named: Spatial: a language and compiler for application accelerators (DK, MF, RP, YZ, SH, RF, TZ, LN, AP, CK, KO), pp. 296–311.
PLDI-2018-Ottoni #jit #php: HHVM JIT: a profile-guided, region-based compiler for PHP and Hack (GO), pp. 151–165.
PPDP-2018-AnnenkovE #contract: Certified Compilation of Financial Contracts (DA, ME), p. 13.
PPDP-2018-PardoGPV #approach: An Internalist Approach to Correct-by-Construction Compilers (AP, EG, MP, MV), p. 12.
ESEC-FSE-2018-BarikFMP #developer #how #problem #question: How should compilers explain problems to developers? (TB, DF, ERMH, CP), pp. 633–643.
SLE-2018-Zaytsev #case study #industrial #testing: An industrial case study in compiler testing (VZ), pp. 97–102.
ASPLOS-2018-JiZC0 #hardware #network: Bridge the Gap between Neural Networks and Neuromorphic Hardware with a Neural Network Compiler (YJ0, YZ, WC, YX0), pp. 448–460.
CC-2018-Barany #difference #optimisation #testing: Finding missed compiler optimizations by differential testing (GB), pp. 82–92.
CC-2018-BrockDXZ #implementation #jit #named: PAYJIT: space-optimal JIT compilation and its practical implementation (JB, CD, XX, YZ), pp. 71–81.
CC-2018-ErtelGAC #performance: Compiling for concise code and efficient I/O (SE, AG, JA, JC), pp. 104–115.
CC-2018-GinsbachCO #analysis #domain-specific language #named: CAnDL: a domain specific language for compiler analysis (PG, LC, MFPO), pp. 151–162.
CC-2018-Heim #design #quantum: Compiler and language design for quantum computing (keynote) (BH), p. 2.
CC-2018-KochMVCF #algorithm #analysis #parallel #towards: Towards a compiler analysis for parallel algorithmic skeletons (TJKEvK, SM, CV, MC, BF), pp. 174–184.
CC-2018-Shen #machine learning: Rethinking compilers in the rise of machine learning and AI (keynote) (XS), p. 1.
CC-2018-ZhaoK0 #bound #framework: A polyhedral compilation framework for loops with dynamic data-dependent bounds (JZ0, MK, AC0), pp. 14–24.
CGO-2018-CurtisGB #cyber-physical: A compiler for cyber-physical digital microfluidic biochips (CC, DTG, PB), pp. 365–377.
CGO-2018-LeopoldsederSWE #optimisation #simulation: Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations (DL, LS, TW, JE, DS, HM), pp. 126–137.
ESOP-2018-DoddsBG #composition #memory management #optimisation #verification: Compositional Verification of Compiler Optimisations on Relaxed Memory (MD, MB, AG), pp. 1027–1055.
ESOP-2018-HupelN #higher-order: A Verified Compiler from Isabelle/HOL to CakeML (LH, TN), pp. 999–1026.
ICPC-2017-HatanoM #industrial #using: Removing code clones from industrial systems using compiler directives (TH, AM), pp. 336–345.
ICPC-2017-HuZLG #architecture #clone detection #detection: Binary code clone detection across architectures and compiling configurations (YH, YZ0, JL, DG), pp. 88–98.
IFM-2017-BaxterC #algebra #bytecode #java #safety: Algebraic Compilation of Safety-Critical Java Bytecode (JB, AC), pp. 161–176.
SEFM-2017-ZhangRHMC #certification #industrial #verification: Focused Certification of an Industrial Compilation and Static Verification Toolchain (ZZ, R, JH, YM, PC), pp. 17–34.
ICFP-2017-AuerbachHMSS #case study #coq #experience #prototype #query #using: Prototyping a query compiler using Coq (experience report) (JSA, MH, LM, AS, JS), p. 15.
ICFP-2017-Elliott17a #category theory: Compiling to categories (CE), p. 27.
ICFP-2017-Mainland #optimisation #protocol #semantics: Better living through operational semantics: an optimizing compiler for radio protocols (GM), p. 26.
ICFP-2017-MidtgaardJKNN: Effect-driven QuickChecking of compilers (JM, MNJ, PK, FN, HRN), p. 23.
ECOOP-2017-PodkopaevLV: Promising Compilation to ARMv8 POP (AP, OL, VV), p. 28.
ECOOP-2017-VollmerSCSK0TN: Compiling Tree Transforms to Operate on Packed Representations (MV0, SS, BC, LS, CK, MK0, STH, RN), p. 29.
ECOOP-2017-ZhengBB #empirical: An Empirical Study on Deoptimization in the Graal Compiler (YZ, LB, WB), p. 30.
OOPSLA-2017-DonaldsonELT #automation #testing: Automated testing of graphics shader compilers (AFD, HE, AL, PT), p. 29.
OOPSLA-2017-KjolstadKCLA #algebra: The tensor algebra compiler (FK, SK, SC, DL, SPA), p. 29.
PEPM-2017-BerezunJ #game studies #partial evaluation #semantics #λ-calculus: Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper) (DB, NDJ), pp. 1–11.
PLDI-2017-BourkeBDLPR: A formally verified compiler for Lustre (TB, LB, PÉD, XL, MP, LR), pp. 586–601.
PLDI-2017-HuangTM #algorithm #markov #modelling #monte carlo #probability: Compiling Markov chain Monte Carlo algorithms for probabilistic modeling (DH0, JBT, GM), pp. 111–125.
PLDI-2017-MaurerDAJ #continuation: Compiling without continuations (LM, PD, ZMA, SLPJ), pp. 482–494.
PLDI-2017-PetrashkoLO #composition #named #performance #program transformation #using: Miniphases: compilation using modular and efficient tree transformations (DP, OL, MO), pp. 201–216.
PLDI-2017-ZhangSS #testing: Skeletal program enumeration for rigorous compiler testing (QZ, CS, ZS), pp. 347–361.
POPL-2017-Leijen #algebra: Type directed compilation of row-typed algebraic effects (DL), pp. 486–499.
ESEC-FSE-2017-0001RS #verification: A compiler and verifier for page access oblivious computation (RS0, SKR, SAS), pp. 649–660.
ICSE-2017-BarikSLHFMP #developer #error message #fault #question: Do developers read compiler error messages? (TB, JS0, KL, EH, JF, ERMH, CP), pp. 575–585.
ICSE-2017-ChenBHXZX #learning #source code #testing: Learning to prioritize test programs for compiler testing (JC0, YB, DH, YX, HZ0, BX), pp. 700–711.
GPCE-2017-GrebeYG #domain-specific language #haskell #using: Rewriting a shallow DSL using a GHC compiler extension (MG, DY, AG), pp. 246–258.
GPCE-2017-MainlandJ #haskell: A Haskell compiler for signal transforms (GM, JJ), pp. 219–232.
CC-2017-WimmerJEW: One compiler: deoptimization to optimized code (CW, VJ, EE, TW), pp. 55–64.
CGO-2017-OgilvieP0L #cost analysis #learning: Minimizing the cost of iterative compilation with active learning (WFO, PP, ZW0, HL), pp. 245–256.
CGO-2017-SathyanathanHT #incremental #optimisation: Incremental whole program optimization and compilation (PWS, WH, THT), pp. 221–232.
CGO-2017-SuLX #approach #automation #generative #performance: Automatic generation of fast BLAS3-GEMM: a portable compiler approach (XS, XL, JX), pp. 122–133.
CAV-2017-AmyRS: Verified Compilation of Space-Efficient Reversible Circuits (MA, MR, KMS), pp. 3–21.
SCAM-2016-AntalHSBFM #legacy: Transforming C++11 Code to C++03 to Support Legacy Compilation Environments (GA, DH, IS, ÁB, RF, JM), pp. 177–186.
SCAM-2016-LossingGI #c #concept #dependence #graph #text-to-text: Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers (NL, PG, FI), pp. 167–176.
FSCD-2016-Ahmed #composition #multi #verification: Compositional Compiler Verification for a Multi-Language World (AA), p. 1.
ICFP-2016-DownenMAJ #calculus: Sequent calculus as a compiler intermediate language (PD, LM, ZMA, SPJ), pp. 74–88.
ICFP-2016-NewBA: Fully abstract compilation via universal embedding (MSN, WJB, AA), pp. 103–116.
ICFP-2016-TanMKFON: A new verified compiler backend for CakeML (YKT, MOM, RK, ACJF, SO, MN), pp. 60–73.
OOPSLA-2016-ChandraGJSSTC #javascript #type inference: Type inference for static compilation of JavaScript (SC, CSG, JBJ, CS, MS, FT, YIC), pp. 410–429.
OOPSLA-2016-PaiP #algorithm #graph #optimisation #throughput: A compiler for throughput optimization of graph algorithms on GPUs (SP, KP), pp. 1–19.
OOPSLA-2016-SunLS #debugging: Finding compiler bugs via live code mutation (CS, VL, ZS), pp. 849–863.
LOPSTR-2016-AntoyJ #functional: A New Functional-Logic Compiler for Curry: Sprite (SA, AJ), pp. 97–113.
PADL-2016-ZhouK: The Picat-SAT Compiler (NFZ, HK), pp. 48–62.
PLDI-2016-TruongBTLMFS #named #network #performance #runtime: Latte: a language, compiler, and runtime for elegant and efficient deep neural networks (LT, RB, ET, HL, CM, AF, TS), pp. 209–223.
POPL-2016-DevriesePP #approximate: Fully-abstract compilation by approximate back-translation (DD, MP, FP), pp. 164–177.
POPL-2016-GrathwohlHRST #named #nondeterminism #streaming #transducer: Kleenex: compiling nondeterministic transducers to deterministic streaming transducers (NBBG, FH, UTR, KAS, SPT), pp. 284–297.
POPL-2016-KangKHDV #lightweight #verification: Lightweight verification of separate compilation (JK, YK, CKH, DD, VV), pp. 178–190.
PPDP-2016-GreweERM #first-order #logic #specification: Exploration of language specifications by compilation to first-order logic (SG, SE, MR, MM), pp. 104–117.
PPDP-2016-Morrisett #challenge #coq: Challenges in compiling Coq (GM), p. 9.
SAS-2016-DengN: Securing a Compiler Transformation (CD, KSN), pp. 170–188.
ICSE-2016-ChenHHXZ0X #comparison #empirical #testing: An empirical comparison of compiler testing techniques (JC0, WH, DH, YX, HZ0, LZ0, BX), pp. 180–190.
ICSE-2016-SunLS #fault: Finding and analyzing compiler warning defects (CS, VL, ZS), pp. 203–213.
SLE-2016-BlagodarovJZ #assembly: Raincode assembler compiler (VB, YJ, VZ), pp. 221–225.
ASPLOS-2016-HasabnisS #approach #assembly #novel #representation: Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers (NH, RS), pp. 311–324.
CC-2016-KoukosEZSKJ #energy #multi #source code: Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs (KK, PE, GZ, VS, SK, AJ), pp. 121–131.
CGO-2016-BagneresZHB #black box: Opening polyhedral compiler's black box (LB, OZ, SH, CB), pp. 128–138.
CGO-2016-SpampinatoP #algebra #linear #matrix: A basic linear algebra compiler for structured matrices (DGS, MP), pp. 117–127.
CGO-2016-WuBBHLPRSWH #named #open source: gpucc: an open-source GPGPU compiler (JW, AB, EB, MH, CL, JAP, BR, RS, XW, RH), pp. 105–116.
ICST-2016-ChenBHXZ0X #approach #testing: Test Case Prioritization for Compilers: A Text-Vector Based Approach (JC0, YB, DH, YX, HZ0, LZ0, BX), pp. 266–277.
SIGMOD-2015-PerelmanR #named #query #worst-case: DunceCap: Compiling Worst-Case Optimal Query Plans (AP, CR), pp. 2075–2076.
SIGMOD-2015-UlrichG #query: The Flatter, the Better: Query Compilation Based on the Flattening Transformation (AU, TG), pp. 1421–1426.
VLDB-2015-CrottyGDKBCZ #architecture #workflow: An Architecture for Compiling UDF-centric Workflows (AC, AG, KD, TK, CB, UÇ, SZ), pp. 1466–1477.
CEFP-2015-Grelck #c #perspective: Single Assignment C (SAC) - The Compilation Technology Perspective (CG), pp. 207–282.
Haskell-2015-Breitner #proving: Formally proving a compiler transformation safe (JB), pp. 35–46.
ICFP-2015-Chlipala #functional #optimisation: An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.
ICFP-2015-NeisHKMDV #higher-order #imperative #named: Pilsner: a compositionally verified compiler for a higher-order imperative language (GN, CKH, JOK, CM, DD, VV), pp. 166–178.
ICFP-2015-RompfA #c #functional #sql: Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.
ICFP-2015-SmolkaEFG #performance: A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.
ICEIS-v1-2015-JuniorS #approach #optimisation #reasoning #set: Finding Good Compiler Optimization Sets — A Case-based Reasoning Approach (NLQJ, AFdS), pp. 504–515.
ECOOP-2015-ShinnarSH #calculus: A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.
OOPSLA-2015-LeSS #debugging #probability: Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.
OOPSLA-2015-ZhengBB #profiling: Accurate profiling in the presence of dynamic compilation (YZ, LB, WB), pp. 433–450.
LOPSTR-2015-AntoyJ: Compiling Collapsing Rules in Certain Constructor Systems (SA, AJ), pp. 57–72.
PADL-2015-CruzR #linear #logic programming #on the #source code: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.
PADL-2015-Hanus #constraints: CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry (MH), pp. 74–89.
PLDI-2015-LidburyLCD #fuzzing #manycore: Many-core compiler fuzzing (CL, AL, NC, AFD), pp. 65–76.
PLDI-2015-MehtaY #optimisation #scalability #source code: Improving compiler scalability: optimizing large programs at small price (SM, PCY), pp. 143–152.
POPL-2015-VafeiadisBCMN #memory management #optimisation #what: Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it (VV, TB, SC, RM, FZN), pp. 209–220.
GTTSE-2015-VandercammenSMR #framework #jit #named #scala: STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation (MV, QS, WDM, CDR), pp. 223–234.
ICSE-v1-2015-PapadakisJHT #detection #effectiveness #empirical #equivalence #performance #scalability: Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique (MP, YJ, MH, YLT), pp. 936–946.
SAC-2015-DabrowskiLP #concurrent #thread: Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.
SAC-2015-DieumegardGKTT #contract: Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
GPCE-2015-MakarovH #multi #named: CLOP: a multi-stage compiler to seamlessly embed heterogeneous code (DM, MH), pp. 109–112.
ASPLOS-2015-HeckeyPJHKBFCM #communication #parallel #quantum: Compiler Management of Communication and Parallelism for Quantum Computation (JH, SP, AJ, AH, DK, KRB, DF, FTC, MM), pp. 445–456.
ASPLOS-2015-NguyenWBFHX #big data #bound #named #runtime: FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications (KN, KW, YB, LF, JH, G(X), pp. 675–690.
CC-2015-SherwanyZN #library #refactoring #scala: A Refactoring Library for Scala Compiler Extensions (AS, NZ, NN), pp. 31–48.
DAC-2015-LiZHLHX #automation #performance #stack: Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DAC-2015-ZhangHXHC #framework #named: CMOST: a system-level FPGA compilation framework (PZ, MH, BX, HH, JC), p. 6.
DATE-2015-HollerKRRK #detection #evaluation: Evaluation of diverse compiling for software-fault detection (AH, NK, TR, KR, CK), pp. 531–536.
DATE-2015-KyrtatasSP #algebra #embedded #linear: A basic linear algebra compiler for embedded processors (NK, DGS, MP), pp. 1054–1059.
DATE-2015-OhYM #android #virtual machine: Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine (HSO, JHY, SMM), pp. 1048–1053.
LCTES-2015-LiuJLT #fault #lightweight #named: Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.
ESOP-2015-EberlHN #probability: A Verified Compiler for Probability Density Functions (ME, JH, TN), pp. 80–104.
FASE-2015-NgoTGG #validation: Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
ICLP-J-2015-AlvianoL #complexity #programming #set: Complexity and compilation of GZ-aggregates in answer set programming (MA, NL), pp. 574–587.
ICLP-J-2015-BlackmoreRE #approach #effectiveness #embedded #logic programming #predict: A logic programming approach to predict effective compiler settings for embedded software (CB, OR, KE), pp. 481–494.
ICLP-J-2015-BogaertsB #approximate #fixpoint #logic programming #source code #using: Knowledge compilation of logic programs using approximation fixpoint theory (BB, GVdB), pp. 464–480.
SAT-2015-BovaCMS #on the: On Compiling CNFs into Structured Deterministic DNNFs (SB, FC, SM, FS), pp. 199–214.
SIGMOD-2014-Sedlar #how: How i learned to stop worrying and love compilers (ES), pp. 1–2.
ICSME-2014-KononenkoZG #question #what: Compiling Clones: What Happens? (OK, CZ, MWG), pp. 481–485.
FLOPS-2014-Bahr #correctness #graph #proving #using: Proving Correctness of Compilers Using Structured Graphs (PB), pp. 221–237.
ILC-2014-Nunes-Harwitt #prolog: From Naïve to Norvig On Deriving a PROLOG Compiler (ANH), p. 70.
VISSOFT-2014-BarikLCM #approach #developer #how #visualisation: How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction (TB, KL, SC, ERMH), pp. 87–96.
ICML-c2-2014-PaigeW #probability #programming language: A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
MoDELS-2014-ChakiE #distributed #modelling #verification: Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
OOPSLA-2014-BosboomRWA #named #programming: StreamJIT: a commensal compiler for high-performance stream programming (JB, SR, WFW, SPA), pp. 177–195.
OOPSLA-2014-KumarH #matlab #named #performance: MIX10: compiling MATLAB to X10 for high performance (VK, LJH), pp. 617–636.
OOPSLA-2014-WangCC #abstraction #verification: Compiler verification meets cross-language linking via data abstraction (PW, SC, AC), pp. 675–690.
HILT-2014-Ball #correctness #logic #research #verification: Correctness via compilation to logic: a decade of verification at microsoft research (TB), pp. 69–70.
LOPSTR-2014-AriasLM #constraints #declarative #logic programming: Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.
LOPSTR-2014-SchreyeNN #deduction: Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction (DDS, VN, CJN), pp. 21–38.
PADL-2014-LakinP #functional #programming language #using: Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
PEPM-2014-Scholz #case study #experience #partial evaluation: Partial evaluation as universal compiler tool: experiences from the SAC Eco system (SBS), pp. 95–96.
PLDI-2014-JagannathanPVPL #refinement: Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.
PLDI-2014-LeAS #equivalence #validation: Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.
PLDI-2014-PhothilimthanaJSTCB #architecture #named #power management: Chlorophyll: synthesis-aided compiler for low-power spatial architectures (PMP, TJ, RS, NT, SC, RB), p. 42.
PLDI-2014-RompfSBLCO #jit #precise: Surgical precision JIT compilers (TR, AKS, KJB, HL, HC, KO), p. 8.
POPL-2014-DarulovaK: Sound compilation of reals (ED, VK), pp. 235–248.
POPL-2014-DissegnaLR #abstract interpretation: Tracing compilation by abstract interpretation (SD, FL, FR), pp. 47–60.
PPDP-2014-KranzS #domain-specific language #functional #integration #legacy #performance: Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.
ASE-2014-UbayashiALLHK #verification: Abstraction-aware verifying compiler for yet another MDD (NU, DA, PL, YNL, SH, YK), pp. 557–562.
GPCE-2014-Asai #using: Compiling a reflective language using MetaOCaml (KA), pp. 113–122.
ASPLOS-2014-DingZZES #complexity #runtime #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.
CC-2014-AulerBHMT #adaptation #crowdsourcing #javascript #jit #performance: Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler (RA, EB, PdH, MM, NT), pp. 218–237.
CC-2014-FranzHKSV #c #named: CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
CC-2014-PrinzSA #process #towards: A First Step towards a Compiler for Business Processes (TMP, NS, WA), pp. 238–243.
CGO-2014-DingEO #architecture #congruence: Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes (SD, JE, SÖ), p. 196.
CGO-2014-Herczeg #backtracking #library: Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support (ZH), p. 306.
CGO-2014-JimboreanKSBK #approach #hardware #scalability: Fix the code. Don’t tweak the hardware: A new compiler approach to Voltage-Frequency scaling (AJ, KK, VS, DBS, SK), p. 262.
CGO-2014-SpampinatoP #algebra #linear: A Basic Linear Algebra Compiler (DGS, MP), p. 23.
DAC-2014-RahimiGLCBG #architecture #collaboration #energy: Energy-Efficient GPGPU Architectures via Collaborative Compilation and Memristive Memory-Based Computing (AR, AG, MALM, KTC, LB, RKG), p. 6.
DATE-2014-RehmanKSH #reliability: Compiler-driven dynamic reliability management for on-chip systems under variabilities (SR, FK, MS, JH), pp. 1–4.
HPDC-2014-LeeV #named #performance #research: OpenARC: open accelerator research compiler for directive-based, efficient heterogeneous computing (SL, JSV), pp. 115–120.
LCTES-2014-ChaudharyFT #named #specification: em-SPADE: a compiler extension for checking rules extracted from processor specifications (SC, SF, LT), pp. 105–114.
LCTES-2014-LezuoPK #named #state machine: CASM: optimized compilation of abstract state machines (RL, PP, AK), pp. 13–22.
LCTES-2014-MartinsNDMC #clustering #optimisation #sequence #using: Exploration of compiler optimization sequences using clustering-based selection (LGAM, RN, ACBD, EM, JMPC), pp. 63–72.
PDP-2014-GrilloRS #evaluation #performance: Performance Evaluation of OpenACC Compilers (LG, RR, FdS), pp. 656–663.
PPoPP-2014-Rubin #question #research #what: Heterogeneous computing: what does it mean for compiler research? (NR), pp. 315–316.
ESOP-2014-BeringerSDA #c: Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.
ESOP-2014-PercontiA #multi #semantics #using #verification: Verifying an Open Compiler Using Multi-language Semantics (JTP, AA), pp. 128–148.
VMCAI-2014-LopesM #optimisation #synthesis: Weakest Precondition Synthesis for Compiler Optimizations (NPL, JM), pp. 203–221.
SIGMOD-2013-BernsteinJPRT #incremental: Incremental mapping compilation in an object-to-relational mapping system (PAB, MJ, JP, GR, JFT), pp. 1269–1280.
VLDB-2013-Viglas #query #sql: Just-in-time compilation for SQL query processing (SV), pp. 1190–1191.
ITiCSE-2013-Rodriguez-CerezoGS #comprehension #concept #education #interactive #simulation: Interactive educational simulations for promoting the comprehension of basic compiler construction concepts (DRC, MGA, JLSR), pp. 28–33.
CSMR-2013-JezekHB #analysis #library: Supplying Compiler’s Static Compatibility Checks by the Analysis of Third-Party Libraries (KJ, LH, PB), pp. 375–378.
TLCA-2013-Peyton-Jones #haskell: Type-Directed Compilation in the Wild: Haskell and Core (SLPJ), p. 1.
Haskell-2013-LiuGPA #haskell #research: The Intel labs Haskell research compiler (HL, NG, LP, TAA), pp. 105–116.
ICFP-2013-KeepD #development #framework: A nanopass framework for commercial compiler development (AWK, RKD), pp. 343–350.
IFL-2013-DayH: Compilation à la Carte (LED, GH), p. 13.
ECOOP-2013-AuerbachBCFR #configuration management #graph #hardware: The Shape of Things to Run — Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime (JSA, DFB, PC, SF, RMR), pp. 679–706.
LOPSTR-2013-AntoyJ #functional #logic: Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.
PEPM-2013-MartinezVP #exclamation #haskell #performance: Just do it while compiling!: fast extensible records in haskell (BM, MV, AP), pp. 77–86.
PLDI-2013-ChenGZWFER #fuzzing: Taming compiler fuzzers (YC, AG, CZ, WKW, XF, EE, JR), pp. 197–208.
PLDI-2013-MorissetPN #formal method #memory management #optimisation #testing: Compiler testing via a theory of sound optimisations in the C11/C++11 memory model (RM, PP, FZN), pp. 187–196.
PLDI-2013-Ragan-KelleyBAPDA #image #locality #named #optimisation #parallel #pipes and filters: Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines (JRK, CB, AA, SP, FD, SPA), pp. 519–530.
POPL-2013-FournetSCDSL #javascript: Fully abstract compilation to JavaScript (CF, NS, JC, PÉD, PYS, BL), pp. 371–384.
POPL-2013-RompfSABJLJOO #data type #optimisation #source code #staging: Optimizing data structures in high-level programs: new directions for extensible compilers based on staging (TR, AKS, NA, KJB, VJ, HL, MJ, KO, MO), pp. 497–510.
SAC-PL-J-2011-DinkelakerEM13 #embedded #incremental #syntax: Incremental concrete syntax for embedded languages with support for separate compilation (TD, ME, MM), pp. 615–632.
ESEC-FSE-2013-HawblitzelLPHGFDW #validation: Will you still compile me tomorrow? static cross-version compiler validation (CH, SKL, KP, HH, SG, LF, DD, SW), pp. 191–201.
ESEC-FSE-2013-SinhaK #flexibility: Compiling mockups to flexible UIs (NS, RK), pp. 312–322.
ASPLOS-2013-TangMWDS #named: ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.
CGO-2013-SuiLX #adaptation #optimisation: Query-directed adaptive heap cloning for optimizing compilers (YS, YL, JX), p. 11.
DAC-2013-NajjarV #perspective: FPGA code accelerators — the compiler perspective (WAN, JRV), p. 6.
DATE-2013-HanCL: Compiling control-intensive loops for CGRAs with state-based full predication (KH, KC, JL), pp. 1579–1582.
DATE-2013-MohanramWI #certification #memory management #named #order #reduction: Mempack: an order of magnitude reduction in the cost, risk, and time for memory compiler certification (KM, MW, SI), pp. 1490–1493.
DATE-2013-XydisPZS #architecture #framework #metamodelling #parametricity #synthesis: A meta-model assisted coprocessor synthesis framework for compiler/architecture parameters customization (SX, GP, VZ, CS), pp. 659–664.
HPCA-2013-FarooqKJ #branch #predict: Store-Load-Branch (SLB) predictor: A compiler assisted branch prediction for data dependent branches (MUF, K, LKJ), pp. 59–70.
LCTES-2013-LiJZHX #performance #power management: Compiler directed write-mode selection for high performance low power volatile PCM (QL, LJ, YZ, YH, CJX), pp. 101–110.
PPoPP-2013-XiangS #concurrent #data type #performance: Compiler aided manual speculation for high performance concurrent data structures (LX, MLS), pp. 47–56.
SOSP-2013-RossbachYCMF #named #runtime: Dandelion: a compiler and runtime for heterogeneous systems (CJR, YY, JC, JPM, DF), pp. 49–68.
ESOP-2013-BudiuGP: The Compiler Forest (MB, JG, GDP), pp. 21–40.
ICLP-J-2013-JansenJJ #induction #prolog: Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.
SAT-2013-RazgonP #clique: Cliquewidth and Knowledge Compilation (IR, JP), pp. 335–350.
VLDB-2012-FinkHO #database #probability: Aggregation in Probabilistic Databases via Knowledge Compilation (RF, LH, DO), pp. 490–501.
SCAM-2012-AftandilianSPK #java #program analysis #tool support #using: Building Useful Program Analysis Tools Using an Extensible Java Compiler (EA, RS, SP, SK), pp. 14–23.
SCAM-2012-YuanJ #named: CAWDOR: Compiler Assisted Worm Defense (JY, RJ), pp. 54–63.
IFM-2012-NgoTGGB #equation #verification: Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
FLOPS-2012-AntoyP #functional #logic: Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.
ICFP-2012-PikeWNG #case study #experience: Experience report: a do-it-yourself high-assurance compiler (LP, NW, SN, AG), pp. 335–340.
ICFP-2012-VytiniotisJM #fault #proving #similarity: Equality proofs and deferred type errors: a compiler pearl (DV, SLPJ, JPM), pp. 341–352.
ECOOP-2012-Odersky: When Compilers Are Mirrors (MO), p. 1.
OOPSLA-2012-CastanosEINNOW #jit #on the #scripting language #static typing: On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages (JGC, DE, KI, PN, TN, TO, PW), pp. 195–212.
OOPSLA-2012-InoueHWN #adaptation #java #jit #multi: Adaptive multi-level compilation in a trace-based Java JIT compiler (HI, HH, PW, TN), pp. 179–194.
OOPSLA-2012-KulkarniC #machine learning #optimisation #problem #using: Mitigating the compiler optimization phase-ordering problem using machine learning (SK, JC), pp. 147–162.
OOPSLA-2012-SreeramP #transaction: Safe compiler-driven transaction checkpointing and recovery (JS, SP), pp. 41–56.
OOPSLA-2012-ZhaoPYQWGOPMET #php: The HipHop compiler for PHP (HZ, IP, MY, XQ, MW, QG, GO, AP, SM, JE, ST), pp. 575–586.
HILT-2012-KanigSD #convergence #named #verification: Hi-Lite: the convergence of compiler technology and program verification (JK, ES, CD), pp. 27–34.
HILT-2012-Kirtchev #implementation #performance #robust: A new robust and efficient implementation of controlled types in the GNAT compiler (HHK), pp. 43–50.
PEPM-2012-Puschel #performance: Compiling math to fast code (MP), pp. 1–2.
PLDI-2012-DubachCRBF #architecture: Compiling a high-level language for GPUs: (via language support for architectures and compilers) (CD, PC, RMR, DFB, SJF), pp. 1–12.
PLDI-2012-KruijfSJ #design #static analysis: Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.
PLDI-2012-LiuZJDK #framework #parallel: A compiler framework for extracting superword level parallelism (JL, YZ, OJ, WD, MTK), pp. 347–358.
PLDI-2012-RegehrCCEEY #c #debugging #reduction #testing: Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
PLDI-2012-SamadiHMLM #adaptation: Adaptive input-aware compilation for graphics engines (MS, AH, MM, JL, SAM), pp. 13–22.
POPL-2012-BattyMOSS #c #c++ #concurrent: Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
POPL-2012-MonsantoFHW #network #programming language #runtime: A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
PPDP-2012-TriossiORF #hardware #parallel: Compiling CHR to parallel hardware (AT, SO, AR, TWF), pp. 173–184.
SAC-PL-J-2009-J-BiggarVG12 #scripting language: A practical solution for achieving language compatibility in scripting language compilers (PB, EdV, DG), pp. 971–989.
ICSE-2012-CookHSS #composition #specification #using #verification: Specification engineering and modular verification using a web-integrated verifying compiler (CTC, HKH, HS, MS), pp. 1379–1382.
SAC-2012-MaggiorePBA #3d #performance #safety: A compilation technique to increase X3D performance and safety (GM, FP, MB, MA), pp. 969–974.
SAC-2012-TinelliCSD #automation #composition #sql #standard: Knowledge compilation for automated Team Composition exploiting standard SQL (ET, SC, EDS, FMD), pp. 1680–1685.
CC-2012-FarooqCJ #branch #predict: Compiler Support for Value-Based Indirect Branch Prediction (MUF, LC, LKJ), pp. 185–199.
CC-2012-ZhaoSAK: Compiler Support for Fine-Grain Software-Only Checkpointing (C(Z, JGS, CA, AK), pp. 200–219.
CGO-2012-KerrDY #kernel: Dynamic compilation of data-parallel kernels for vector processors (AK, GFD, SY), pp. 23–32.
CGO-2012-MannarswamyG #transaction: Reconciling transactional conflicts with compiler’s help (SSM, RG), pp. 53–62.
CGO-2012-MurrayF #automation #set: Compiling for automatically generated instruction set extensions (ACM, BF), pp. 13–22.
CGO-2012-TangMS: Compiling for niceness: mitigating contention for QoS in warehouse scale computers (LT, JM, MLS), pp. 1–12.
DAC-2012-AuerbachBBCFRS #runtime: A compiler and runtime for heterogeneous computing (JSA, DFB, IB, PC, SJF, RMR, SS), pp. 271–276.
DAC-2012-RehmanSH #scheduling: Instruction scheduling for reliability-aware compilation (SR, MS, JH), pp. 1292–1300.
DAC-2012-SartoriK #energy #performance: Compiling for energy efficiency on timing speculative processors (JS, RK), pp. 1301–1308.
DATE-2012-WangH #embedded #optimisation #simulation: Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
LCTES-2012-GerardGPP #array #composition #data flow #memory management #optimisation: A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
ICLP-J-2012-Cervesato #logic programming #source code: An Improved Proof-Theoretic Compilation of Logic Programs (IC), pp. 639–657.
ICLP-J-2012-MetodiC #constraints #finite #satisfiability: Compiling finite domain constraints to SAT with BEE (AM, MC), pp. 465–483.
ICLP-J-2012-MoralesHCH #javascript #lightweight: Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.
VLDB-2011-Neumann #hardware #performance #query: Efficiently Compiling Efficient Query Plans for Modern Hardware (TN0), pp. 539–550.
ITiCSE-2011-LorenzoVP #automation #evaluation: A proposal for automatic evaluation in a compiler construction course (EJL, JV, AP), pp. 308–312.
ITiCSE-2011-Urquiza-FuentesMVR #animation #education: Improving compilers education through symbol tables animations (JUF, FM, JÁVI, MRS), pp. 203–207.
CSMR-2011-CoutoVF #case study #product line #using: Extracting Software Product Lines: A Case Study Using Conditional Compilation (MVC, MTV, EF), pp. 191–200.
FM-2011-Li #logic: Validated Compilation through Logic (GL), pp. 169–183.
RTA-2011-FalkeKS #analysis #c #source code #termination #using: Termination Analysis of C Programs Using Compiler Intermediate Languages (SF, DK, CS), pp. 41–50.
ICFP-2011-GhicaSS #geometry #hardware #recursion #synthesis: Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.
IFL-2011-Schilling #challenge #haskell: Challenges for a Trace-Based Just-In-Time Compiler for Haskell (TS), pp. 51–68.
MoDELS-2011-FlochYGDCRF #modelling #optimisation #question: Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? (AF, TY, CG, SD, BC, SVR, RBF), pp. 608–622.
OOPSLA-2011-KastnerGREOB #metaprogramming #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-Kulkarni #jit #policy: JIT compilation policy for modern machines (PAK), pp. 773–788.
PADL-2011-Hinrichs #interactive #named #web: Plato: A Compiler for Interactive Web Forms (TLH), pp. 54–68.
PLDI-2011-AnselMETCSSBY #independence #self: Language-independent sandboxing of just-in-time compilation and self-modifying code (JA, PM, ÚE, ET, BC, DLS, DS, CB, BY), pp. 355–366.
PLDI-2011-BohmKKFT #parallel #using: Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator (IB, TJKEvK, SCK, BF, NPT), pp. 74–85.
PLDI-2011-MarinoSMMN: A case for an SC-preserving compiler (DM, AS, TDM, MM, SN), pp. 199–210.
PLDI-2011-PrasadAG #automation #execution #matlab #source code: Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors (AP, JA, RG), pp. 152–163.
PLDI-2011-YangCER #c #comprehension #debugging: Finding and understanding bugs in C compilers (XY, YC, EE, JR), pp. 283–294.
POPL-2011-GuoP: The essence of compiling with traces (SyG, JP), pp. 563–574.
POPL-2011-JoishaSBBC #automation #effectiveness #optimisation #parallel #reuse #thread #using: A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code (PGJ, RSS, PB, HJB, DRC), pp. 623–636.
POPL-2011-SevcikVNJS #concurrent: Relaxed-memory concurrency and verified compilation (JS, VV, FZN, SJ, PS), pp. 43–54.
ASE-2011-JustSK #analysis #java #mutation testing #named #performance: MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler (RJ, FS, GMK), pp. 612–615.
GTTSE-2011-Blasband #legacy: Compilation of Legacy Languages in the 21st Century (DB), pp. 1–54.
GPCE-2011-NystromWD #named #runtime #scala: Firepile: run-time compilation for GPUs in scala (NN, DW, KD), pp. 107–116.
LDTA-2011-GiegerichS #analysis: Yield grammar analysis in the Bellman’s GAP compiler (RG, GS), p. 7.
ASPLOS-2011-HoangFJ: Exploring circuit timing-aware language and compilation (GH, RBF, RJ), pp. 345–356.
CC-2011-LameedH #array #jit #matlab #semantics #staged: Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.
CC-2011-SolGPB #testing: Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.
CGO-2011-AnselWCOEA #algorithm: Language and compiler support for auto-tuning variable-accuracy algorithms (JA, YLW, CPC, MO, AE, SPA), pp. 85–96.
CGO-2011-InoueHWN #java #jit: A trace-based Java JIT compiler retrofitted from a method-based compiler (HI, HH, PW, TN), pp. 246–256.
CGO-2011-Leroy #how #question #verification #why: Formally verifying a compiler: Why? How? How far? (XL).
CGO-2011-NewburnSLMGTWDCWGLZ #array #embedded: Intel’s Array Building Blocks: A retargetable, dynamic compiler and embedded language (CJN, BS, ZL, MDM, AMG, SDT, ZGW, ZD, YC, GW, PG, ZL, DZ), pp. 224–235.
CGO-2011-SanchezASPS #using: Using machines to learn method-specific compilation strategies (RNS, JNA, DS, MP, MGS), pp. 257–266.
CGO-2011-Yi #automation #optimisation #programmable: Automated programmable control and parameterization of compiler optimizations (QY), pp. 97–106.
DAC-2011-CheC #embedded #manycore #memory management #source code: Compilation of stream programs onto scratchpad memory based embedded multicore processors through retiming (WC, KSC), pp. 122–127.
DATE-2011-TraulsenAH #c: Compiling SyncCharts to Synchronous C (CT, TA, RvH), pp. 563–566.
DATE-2011-TsengHWFC #black box #library #modelling #power management: Black-box leakage power modeling for cell library and SRAM compiler (CKT, SYH, CCW, SCF, JJC), pp. 637–642.
LCTES-2011-BenvenisteBCP #hybrid: Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
PDP-2011-AldeaFG #concurrent #framework #thread #towards: Towards a Compiler Framework for Thread-Level Speculation (SA, DRLF, AGE), pp. 267–271.
PPoPP-2011-CatanzaroGK #embedded #named #parallel: Copperhead: compiling an embedded data parallel language (BCC, MG, KK), pp. 47–56.
ESOP-2011-FournetP #data flow #security: Compiling Information-Flow Security to Minimal Trusted Computing Bases (CF, JP), pp. 216–235.
ICLP-2011-Eichberg #java #prolog: Compiling Prolog to Idiomatic Java (ME), pp. 84–94.
SAT-2011-GaoYX #case study: Phase Transitions in Knowledge Compilation: An Experimental Study (JG, MY, KX), pp. 364–366.
DocEng-2010-Bagley #lessons learnt: Lessons from the dragon: compiling PDF to machine code (SRB), pp. 65–68.
SIGMOD-2010-MullerTA #named: Glacier: a query-to-hardware compiler (RM, JT, GA), pp. 1159–1162.
VLDB-2010-GrustRS: Avalanche-Safe LINQ Compilation (TG, JR, TS), pp. 162–172.
PASTE-2010-RosenblumMZ: Extracting compiler provenance from program binaries (NER, BPM, XZ), pp. 21–28.
FLOPS-2010-BerardiT #decompiler #normalisation: Internal Normalization, Compilation and Decompilation for System Fbh (SB, MT), pp. 207–223.
Haskell-2010-GroningenNAKP #haskell: Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler (JHGvG, TvN, PA, PWMK, RP), pp. 49–60.
ICFP-2010-McCreightCT #framework #garbage collection: A certified framework for compiling and executing garbage-collected languages (AM, TC, APT), pp. 273–284.
AIIDE-2010-OrkinSR #behaviour #game studies: Behavior Compilation for AI in Games (JO, TS, DKR).
OOPSLA-2010-BebenitaBFLSTV #jit #named: SPUR: a trace-based JIT compiler for CIL (MB, FB, MF, FL, WS, NT, HV), pp. 708–725.
OOPSLA-2010-ChibaIZ #composition: Mostly modular compilation of crosscutting concerns by contextual predicate dispatch (SC, AI, SZ), pp. 539–554.
PLDI-2010-ChenCS #security #verification: Type-preserving compilation of end-to-end verification of security enforcement (JC, RC, NS), pp. 412–423.
PLDI-2010-TatlockL: Bringing extensibility to verified compilers (ZT, SL), pp. 111–121.
PLDI-2010-YangXKZ #memory management #optimisation #parallel: A GPGPU compiler for memory optimization and parallelism management (YY, PX, JK, HZ), pp. 86–97.
POPL-2010-Chlipala #functional: A verified compiler for an impure functional language (AC), pp. 93–106.
POPL-2010-Myreen: Verified just-in-time compiler on x86 (MOM), pp. 107–118.
POPL-2010-TateSL #generative #optimisation #proving: Generating compiler optimizations from proofs (RT, MS, SL), pp. 389–402.
PPDP-2010-Serrano #css #named: HSS: a compiler for cascading style sheets (MS), pp. 109–118.
SIGAda-2010-JemliR #problem #static analysis #using: A methodology for avoiding known compiler problems using static analysis (MJ, JPR), pp. 23–30.
LDTA-J-2007-AkessonEH #attribute grammar #implementation #jastadd #using: Implementation of a Modelica compiler using JastAdd attribute grammars (JÅ, TE, GH), pp. 21–38.
ASPLOS-2010-BerganADCG #execution #named #parallel #runtime #thread: CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.
CC-2010-JockschMSGA #mining: Mining Opportunities for Code Improvement in a Just-In-Time Compiler (AJ, MM, JS, NG, JNA), pp. 10–25.
CGO-2010-ChenVHLRYCZ #hardware: Taming hardware event samples for FDO compilation (DC, NV, RH, SwL, VR, PY, WC, WZ), pp. 42–52.
CGO-2010-HosteGE #automation: Automated just-in-time compiler tuning (KH, AG, LE), pp. 62–72.
CGO-2010-JungMO #framework #hybrid #java #optimisation #platform: Hybrid Java compilation and optimization for digital TV software platform (DHJ, SMM, HSO), pp. 73–81.
CGO-2010-StrattonGMAMHH #fine-grained #manycore #performance #source code #thread: Efficient compilation of fine-grained SPMD-threaded programs for multicore CPUs (JAS, VG, JM, BA, MM, ZH, WmWH), pp. 111–119.
CGO-2010-SusskrautKWSMF #framework #named #parallel: Prospect: a compiler framework for speculative parallelization (MS, TK, SW, US, MM, CF), pp. 131–140.
DAC-2010-BertinGB: Compilation and virtualization in the HiPEAC vision (CB, CG, KDB), pp. 96–101.
DAC-2010-CohenR #embedded #manycore: Processor virtualization and split compilation for heterogeneous multicore embedded systems (AC, ER), pp. 102–107.
DATE-2010-ChePC #manycore #source code: Compilation of stream programs for multicore processors that incorporate scratchpad memories (WC, AP, KSC), pp. 1118–1123.
DATE-2010-GuFP #hardware #scheduling: Path-based scheduling in a hardware compiler (RG, AF, RNP), pp. 1317–1320.
DATE-2010-KrekuTV #automation #generative: Automatic workload generation for system-level exploration based on modified GCC compiler (JK, KT, GV), pp. 369–374.
DATE-2010-ZhangDYMZKCPS #code generation #evaluation: A special-purpose compiler for look-up table and code generation for function evaluation (YZ, LD, PY, SPM, HZ, MTK, CC, NP, XS), pp. 1130–1135.
ISMM-2010-NagarakatteZMZ #c #named #safety: CETS: compiler enforced temporal safety for C (SN, JZ, MMKM, SZ), pp. 31–40.
LCTES-2010-OzturkKIN #multi #reliability: Compiler directed network-on-chip reliability enhancement for chip multiprocessors (ÖÖ, MTK, MJI, SHKN), pp. 85–94.
PDP-2010-CuencaGGQ #analysis #manycore #performance: Analysis of the Influence of the Compiler on Multicore Performance (JC, LPG, DG, MQ), pp. 170–174.
PPoPP-2010-MannarswamyCRS #memory management #performance #transaction: Compiler aided selective lock assignment for improving the performance of software transactional memory (SM, DRC, KR, SS), pp. 37–46.
PPoPP-2010-YangXKZ #optimisation #source code: An optimizing compiler for GPGPU programs with input-data sharing (YY, PX, JK, HZ), pp. 343–344.
ESOP-2010-Lochbihler #java #thread #verification: Verifying a Compiler for Java Threads (AL), pp. 427–447.
VLDB-2009-AhmadK #database #in memory #named #sql: DBToaster: A SQL Compiler for High-Performance Delta Processing in Main-Memory Databases (YA, CK), pp. 1566–1569.
VLDB-2009-MullerTA #query: Streams on Wires — A Query Compiler for FPGAs (RM, JT, GA), pp. 229–240.
CIAA-2009-Prochazka #automaton #generative: Compiler Generator Based on Restarting Automata (JP), pp. 253–257.
Haskell-2009-DijkstraFS #architecture #haskell: The architecture of the Utrecht Haskell compiler (AD, JF, SDS), pp. 93–104.
ICFP-2009-BentonH #correctness: Biorthogonality, step-indexing and compiler correctness (NB, CKH), pp. 97–108.
ICEIS-ISAS-2009-EdgeSPC #policy #specification: Specifying and Compiling High Level Financial Fraud Policies into StreamSQL (MEE, PRFS, OP, MC), pp. 194–199.
TOOLS-EUROPE-2009-BebenitaCGF #object-oriented: Stream-Based Dynamic Compilation for Object-Oriented Languages (MB, MC, AG, MF), pp. 77–95.
PLDI-2009-AnselCWOZEA #algorithm #named: PetaBricks: a language and compiler for algorithmic choice (JA, CPC, YLW, MO, QZ, AE, SPA), pp. 38–49.
PLDI-2009-Oiwa #implementation: Implementation of the memory-safe full ANSI-C compiler (YO), pp. 259–269.
GTTSE-2009-GjosaeterP #education #metamodelling: Teaching Computer Language Handling — From Compiler Theory to Meta-modelling (TG, AP), pp. 446–460.
SAC-2009-BiggarVG #scripting language: A practical solution for scripting language compilers (PB, EdV, DG), pp. 1916–1923.
SAC-2009-VasudevanE #concurrent #manycore: Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore (NV, SAE), pp. 1626–1631.
CC-2009-CampanoniSAC #jit #manycore: Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment (SC, MS, GA, SCR), pp. 220–235.
CC-2009-MyreenSG: Extensible Proof-Producing Compilation (MOM, KS, MJCG), pp. 2–16.
CGO-2009-ChoiLCMM #embedded #manycore #realtime: Stream Compilation for Real-Time Embedded Multicore Systems (YC, YL, NC, SAM, TNM), pp. 210–220.
CGO-2009-LeatherBO #automation #generative #machine learning #optimisation: Automatic Feature Generation for Machine Learning Based Optimizing Compilation (HL, EVB, MFPO), pp. 81–91.
CGO-2009-MoseleyGP #named #optimisation #performance: OptiScope: Performance Accountability for Optimizing Compilers (TM, DG, RP), pp. 254–264.
DATE-2009-OzturkK #execution #memory management #using: Using dynamic compilation for continuing execution under reduced memory availability (ÖÖ, MTK), pp. 1373–1378.
DATE-2009-VecchieTS #execution #imperative: Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.
LCTES-2009-LeatherOW #optimisation #performance: Raced profiles: efficient selection of competing compiler optimizations (HL, MFPO, BW), pp. 50–59.
LCTES-2009-LeeS #fault #optimisation: A compiler optimization to reduce soft errors in register files (JL, AS), pp. 41–49.
PPoPP-2009-HuangEHC #optimisation #source code: Exploiting global optimizations for openmp programs in the openuh compiler (LH, DE, MWH, BMC), pp. 289–290.
PPoPP-2009-LeeME #automation #framework #optimisation: OpenMP to GPGPU: a compiler framework for automatic translation and optimization (SL, SJM, RE), pp. 101–110.
PPoPP-2009-MaA #data mining #mining #runtime: A compiler and runtime system for enabling data mining applications on gpus (WM, GA), pp. 287–288.
ICLP-2009-Sneyers #complexity #constraints #optimisation: Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.
SIGMOD-2008-SereniAM #datalog #optimisation: Adding magic to an optimising datalog compiler (DS, PA, OdM), pp. 553–566.
VLDB-2008-MathisWHH #named #xquery: XTCcmp: XQuery compilation on XTC (CM, AMW, TH, CRFH), pp. 1400–1403.
ITiCSE-2008-DemailleLP #education #set #tool support: A set of tools to teach compiler construction (AD, RL, BP), pp. 68–72.
PASTE-2008-ZaksP #program analysis #validation: Program analysis for compiler validation (AZ, AP), pp. 1–7.
FM-2008-ZaksP #named #program analysis #validation: CoVaC: Compiler Validation by Program Analysis of the Cross-Product (AZ, AP), pp. 35–51.
FLOPS-2008-KoninckSD #optimisation: Optimizing Compilation of CHR with Rule Priorities (LDK, PJS, GJD), pp. 32–47.
ICFP-2008-GuillemetteM #haskell: A type-preserving compiler in Haskell (LJG, SM), pp. 75–86.
ICFP-2008-Ley-WildFA #continuation #self #source code: Compiling self-adjusting programs with continuations (RLW, MF, UAA), pp. 321–334.
ICML-2008-LiangDK: Structure compilation: trading structure for features (PL, HDI, DK), pp. 592–599.
KR-2008-FritzBM: ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.
SPLC-2008-ChaeB #product line: Building a Family of Compilers (WC, MB), pp. 307–316.
OOPSLA-2008-GeorgesEB #evaluation #java #performance: Java performance evaluation through rigorous replay compilation (AG, LE, DB), pp. 367–384.
OOPSLA-2008-KatsBV #bytecode #normalisation: Mixing source and bytecode: a case for compilation by normalization (LCLK, MB, EV), pp. 91–108.
TOOLS-EUROPE-2008-NordioMM #eiffel #source code: Proof-Transforming Compilation of Eiffel Programs (MN, PM, BM), pp. 316–335.
PLDI-2008-ChenHPECCP #object-oriented #optimisation #scalability: Type-preserving compilation for large-scale optimizing object-oriented compilers (JC, CH, FP, ME, JC, DC, PP), pp. 183–192.
SAC-2008-MascarenhasI #lua #performance: Efficient compilation of Lua for the CLR (FM, RI), pp. 217–221.
LDTA-2007-AkessonEH08 #development #jastadd #using: Development of a Modelica Compiler Using JastAdd (JÅ, TE, GH), pp. 117–131.
LDTA-2007-KallebergV08 #model transformation #transformation language: Fusing a Transformation Language with an Open Compiler (KTK, EV), pp. 21–36.
GPCE-2008-GottschlingL #c++ #concept #library #performance #reuse #robust #semantics #using: Integrating semantics and compilation: using c++ concepts to develop robust and efficient reusable libraries (PG, AL), pp. 67–76.
GPCE-2008-MendoncaWCC #feature model #modelling #performance #scalability: Efficient compilation techniques for large scale feature models (MM, AW, KC, DDC), pp. 13–22.
ASPLOS-2008-CoxBCKK #programming: Xoc, an extension-oriented compiler for systems programming (RC, TB, ATC, MFK, EK), pp. 244–254.
CC-2008-BergeronFD #configuration management #hardware #jit #off the shelf: Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs (EB, MF, JPD), pp. 178–192.
CC-2008-Schwartzbach #design #how: Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation (MIS), pp. 1–15.
CC-2008-WangYW #legacy #optimisation #transaction: Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization (CW, VY, YW), pp. 291–306.
CGO-2008-HamptonA #architecture #thread: Compiling for vector-thread architectures (MH, KA), pp. 205–215.
CGO-2008-HosteE #named #optimisation: Cole: compiler optimization level exploration (KH, LE), pp. 165–174.
CGO-2008-Rubin #challenge: Issues and challenges in compiling for graphics processors (NR), p. 2.
CGO-2008-WinkelKS #pipes and filters: Latency-tolerant software pipelining in a production compiler (SW, RK, RS), pp. 104–113.
DAC-2008-ZhouYP #reduction: Compiler-driven register re-assignment for register file power-density and temperature reduction (XZ, CY, PP), pp. 750–753.
DATE-2008-EdwardsVT #concurrent #memory management #message passing #multi #programming #thread: Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads (SAE, NV, OT), pp. 1498–1503.
DATE-2008-JonesBBCO #energy: Instruction Cache Energy Saving Through Compiler Way-Placement (TMJ, SB, BDB, JC, MFPO), pp. 1196–1201.
HPCA-2008-Allen #parallel: Compilers and parallel computing systems (FEA), p. 429.
LCTES-2008-ChoPIDPK #array #data access #layout #optimisation: Compiler driven data layout optimization for regular/irregular array access patterns (DC, SP, II, ND, YP, SK), pp. 41–50.
LCTES-2008-LeeMK #detection #embedded #heuristic #java: Enhanced hot spot detection heuristics for embedded java just-in-time compilers (SWL, SMM, SMK), pp. 13–22.
LCTES-2008-NewtonGCMM #design #embedded #evaluation #source code: Design and evaluation of a compiler for embedded stream programs (RN, LG, MBC, SM, JGM), pp. 131–140.
PPoPP-2008-Allen #parallel: Compilers and parallel computing systems (FEA).
PPoPP-2008-ZhaiWYH #concurrent #optimisation #thread: Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.
ICLP-2008-CiprianoDM #declarative #modelling: Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.
ICLP-2008-JanssenHVC #fuzzy #set #source code: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (JJ, SH, DV, MDC), pp. 362–376.
ICST-2008-RebeloLCS #aspectj #ml: A JML Compiler Based on AspectJ (HR, RMFL, MC, SS), pp. 541–544.
SIGMOD-2007-GrustMRST #code generation #sql #xquery: A SQL: 1999 code generator for the pathfinder xquery compiler (TG, MM, JR, SS, JT), pp. 1162–1164.
SIGMOD-2007-MelnikAB #database: Compiling mappings to bridge applications and databases (SM, AA, PAB), pp. 461–472.
CIAA-2007-Yli-JyraK #parallel: A New Method for Compiling Parallel Replacement Rules (AYJ, KK), pp. 320–321.
RTA-2007-Leroy #optimisation #verification: Formal Verification of an Optimizing Compiler (XL), p. 1.
CEFP-2007-JansenKP: From Interpretation to Compilation (JMJ, PWMK, RP), pp. 286–301.
ICFP-2007-Kennedy #continuation: Compiling with continuations, continued (AK), pp. 177–190.
IFL-2007-DijkstraFS #complexity #haskell: The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity (AD, JF, SDS), pp. 57–74.
IFL-2007-Feeley #c: Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler (MF), pp. 237–253.
ILC-2007-Latendresse #comprehension #lisp #performance: Simple and efficient compilation of list comprehension in common Lisp (ML), p. 12.
VISSOFT-2007-BohnetD07a #comprehension #graph: CGA Call Graph Analyzer — Locating and Understanding Functionality within the Gnu Compiler Collection’s Million Lines of Code (JB, JD), pp. 161–162.
OOPSLA-2007-BuytaertGHAEB #using: Using hpm-sampling to drive dynamic compilation (DB, AG, MH, MA, LE, KDB), pp. 553–568.
OOPSLA-2007-EkmanH #jastadd #java: The jastadd extensible java compiler (TE, GH), pp. 1–18.
AdaEurope-2007-Garcia-RodriguezMG #ada #garbage collection #precise: Incorporating Precise Garbage Collection in an Ada Compiler (FGR, JM, JFG), pp. 235–245.
AdaEurope-2007-WooCJ #approach #representation #testing: An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers (GW, HSC, HJ), pp. 100–113.
PADL-2007-Sarna-StarostaR #constraints #evaluation #performance: Compiling Constraint Handling Rules for Efficient Tabled Evaluation (BSS, CRR), pp. 170–184.
PLDI-2007-Chlipala #assembly #λ-calculus: A certified type-preserving compiler from λ calculus to assembly language (AC), pp. 54–65.
PLDI-2007-LiZYZ #energy #named #network #performance: UCC: update-conscious compilation for energy efficiency in wireless sensor networks (WL, YZ, JY, JZ), pp. 383–393.
POPL-2007-Chen #inheritance #multi: A typed intermediate language for compiling multiple inheritance (JC), pp. 25–30.
PPDP-2007-BentonZ #formal method #semantics #verification: Formalizing and verifying semantic type soundness of a simple compiler (NB, UZ), pp. 1–12.
SAS-2007-ChenWWKC #aspect-oriented #functional: A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.
SIGAda-2007-Dewar #static analysis: The compiler as a static analysis tool (RBKD), pp. 83–88.
SIGAda-2007-NettletonIM #ada #towards: Towards a demonstrably-correct ada compiler (CN, WI, CM), pp. 89–96.
GTTSE-2007-PielMD #model transformation #multi: Model Transformations for the Compilation of Multi-processor Systems-on-Chip (ÉP, PM, JLD), pp. 459–473.
ICSE-2007-Chalin #evolution #semantics #verification: A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler (PC), pp. 23–33.
LDTA-J-2005-Iversen #ml #standard: An action compiler targeting Standard ML (JI), pp. 79–94.
CGO-2007-BarthouDCDJ #composition #kernel #optimisation #using: Loop Optimization using Hierarchical Compilation and Kernel Decomposition (DB, SD, PC, AD, WJ), pp. 170–184.
CGO-2007-CavazosFABOT #optimisation #performance #using: Rapidly Selecting Good Compiler Optimizations using Performance Counters (JC, GF, FVA, EVB, MFPO, OT), pp. 185–197.
CGO-2007-FultonS #java #realtime #source code: Compilation Techniques for Real-Time Java Programs (MF, MGS), pp. 221–231.
CGO-2007-KimJMP: Profile-assisted Compiler Support for Dynamic Predication in Diverge-Merge Processors (HK, JAJ, OM, YNP), pp. 367–378.
CGO-2007-VaswaniTSJ #architecture #empirical #modelling #optimisation: Microarchitecture Sensitive Empirical Models for Compiler Optimizations (KV, MJT, YNS, PJJ), pp. 131–143.
COCV-2007-FangS #bidirectional #generative #java #using: Generating Java Compiler Optimizers Using Bidirectional CTL (LF, MS), pp. 49–63.
DATE-2007-RenterghemDVVQ #development #using: Development of an ASIP enabling flows in ethernet access using a retargetable compilation flow (KVR, PD, DV, JV, XZQ), pp. 1418–1423.
LCTES-2007-ChenTCLYLL #distributed #embedded: Enabling compiler flow for embedded VLIW DSP processors with distributed register files (CKC, LHT, SCC, YJL, YPY, CHL, JKL), pp. 146–148.
LCTES-2007-HongKSMOLC #embedded #java: Java client ahead-of-time compiler for embedded systems (SH, JCK, JWS, SMM, HSO, JL, HKC), pp. 63–72.
LCTES-2007-OBrien #challenge: Issues and challenges in compiling for the CBEA (KMO), p. 134.
PPoPP-2007-KnightPRHEFADH #memory management: Compilation for explicitly managed memory hierarchies (TJK, JYP, MR, MH, ME, KF, AA, WJD, PH), pp. 226–236.
ESOP-2007-LiOS #higher-order #logic #set: Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (GL, SO, KS), pp. 205–219.
FASE-2007-HarelKM #diagrams #multi #named #sequence chart #uml: S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.
CADE-2007-LiS #higher-order #logic: Compilation as Rewriting in Higher Order Logic (GL, KS), pp. 19–34.
ICLP-2007-SilvaC #design #evaluation #framework #implementation: Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System (AFdS, VSC), pp. 410–424.
TestCom-FATES-2007-ZelenovZ #modelling #optimisation #testing: Model-Based Testing of Optimizing Compilers (SVZ, SAZ), pp. 365–377.
ITiCSE-2006-WaiteJJD #design #implementation: Design and implementation of a modern compiler course (WMW, AJ, MHJ, AD), pp. 18–22.
SCAM-2006-WykKBJSR #c #composition #framework #java #tool support: Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (EVW, LK, DB, EJ, AS, PR), p. 161.
CIAA-2006-ConstantM #automaton #constraints #finite: Compiling Linguistic Constraints into Finite State Automata (MC, DM), pp. 242–252.
ICALP-v2-2006-FurukawaKI #performance: An Efficient Compiler from Σ-Protocol to 2-Move Deniable Zero-Knowledge (JF, KK, HI), pp. 46–57.
FM-2006-BlazyDL #c #verification: Formal Verification of a C Compiler Front-End (SB, ZD, XL), pp. 460–475.
SEFM-2006-KanadeSK #framework #optimisation #validation: A PVS Based Framework for Validating Compiler Optimizations (AK, AS, UPK), pp. 108–117.
KR-2006-BesnardH #knowledge base #logic #performance: Knowledgebase Compilation for Efficient Logical Argumentation (PB, AH), pp. 123–133.
OOPSLA-2006-CavazosO #using: Method-specific dynamic compilation using logistic regression (JC, MFPO), pp. 229–240.
OOPSLA-2006-OgataOKKN: Replay compilation: improving debuggability of a just-in-time compiler (KO, TO, KK, HK, TN), pp. 241–252.
PLDI-2006-Adl-TabatabaiLMMSS #memory management #performance #runtime #transaction: Compiler and runtime support for efficient software transactional memory (ARAT, BTL, VM, BRM, BS, TS), pp. 26–37.
POPL-2006-Leroy #certification #programming #proving: Formal certification of a compiler back-end or: programming a compiler with a proof assistant (XL), pp. 42–54.
POPL-2006-MenonGMMSAP #optimisation #representation: A verifiable SSA program representation for aggressive compiler optimization (VM, NG, BRM, AM, TS, ARAT, LP), pp. 397–408.
PPDP-2006-NguyenO #layout #ml #morphism #polymorphism: Compiling ML polymorphism with explicit layout bitmap (HDN, AO), pp. 237–248.
PPDP-2006-Volanschi #confluence #named: Condate: a proto-language at the confluence between checking and compiling (ENV), pp. 225–236.
SAS-2006-BartheGKR #optimisation: Certificate Translation for Optimizing Compilers (GB, BG, CK, TR), pp. 301–317.
SIGAda-2006-ZalilaHP #corba #optimisation: An improved IDL compiler for optimizing CORBA applications (BZ, JH, LP), pp. 21–28.
FSE-2006-MaozH #aspectj #multi: From multi-modal scenarios to code: compiling LSCs into aspectJ (SM, DH), pp. 219–230.
SAC-2006-AgostaCPS #analysis #bytecode #performance: Selective compilation via fast code analysis and bytecode tracing (GA, SCR, PP, MS), pp. 906–911.
SAC-2006-BaloghVVP #model transformation #plugin: Compiling model transformations to EJB3-specific transformer plugins (AB, GV, DV, AP), pp. 1288–1295.
SAC-2006-GiegerichS #challenge #domain-specific language #programming: Challenges in the compilation of a domain specific language for dynamic programming (RG, PS), pp. 1603–1609.
SAC-2006-WuBGRM #development #using: Separation of concerns in compiler development using aspect-orientation (XW, BRB, JGG, SR, MM), pp. 1585–1590.
GPCE-2006-BradyH #interpreter #staged: A verified staged interpreter is a verified compiler (EB, KH), pp. 111–120.
LDTA-2006-RebernakMHP #aspect-oriented #attribute grammar #named: AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars (DR, MM, PRH, MJVP), pp. 37–53.
CC-2006-LiuW #architecture #optimisation #performance #perspective: Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective (JL, YW), pp. 155–169.
CC-2006-LucasFW #tool support: The CGiS Compiler — A Tool Demonstration (PL, NF, RW), pp. 105–108.
CGO-2006-CooperD #graph #runtime: Tailoring Graph-coloring Register Allocation For Runtime Compilation (KDC, AD), pp. 39–49.
CGO-2006-PanE #automation #distributed #effectiveness #optimisation #performance: Fast and Effective Orchestration of Compiler Optimizations for Automatic Performance Tuning (ZP, RE), pp. 319–332.
CGO-2006-SmithGMNYBMB #architecture: Compiling for EDGE Architectures (AS, JG, BAM, NN, BY, DB, KSM, JHB), pp. 185–195.
CGO-2006-SundaresanMRS #case study #experience #java #multi #thread: Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler (VS, DM, PR, MGS), pp. 87–97.
CGO-2006-ZhangZP #optimisation #security: Compiler Optimizations to Reduce Security Overhead (TZ, XZ, SP), pp. 346–357.
DATE-2006-HuangG06a #adaptation #embedded #power management #scalability: Power-aware compilation for embedded processors with dynamic voltage scaling and adaptive body biasing capabilities (PKH, SG), pp. 943–944.
DATE-2006-PanainteBV #configuration management: Compiler-driven FPGA-area allocation for reconfigurable computing (EMP, KB, SV), pp. 369–374.
ISMM-2006-Joisha #garbage collection #optimisation: Compiler optimizations for nondeferred reference-counting garbage collection (PGJ), pp. 150–161.
LCTES-2006-FarfelederKSB #architecture #effectiveness #generative: Effective compiler generation by architecture description (SF, AK, ES, FB), pp. 145–152.
LCTES-2006-ZhangQWZZ #architecture #multi #optimisation: Optimizing compiler for shared-memory multiple SIMD architecture (WZ, XQ, YW, BZ, CZ), pp. 199–208.
LCTES-2006-ZhuangP #analysis #concurrent #effectiveness #network #thread: Effective thread management on network processors with compiler analysis (XZ, SP), pp. 72–82.
PPoPP-2006-LiuTCASRT #named: POSH: a TLS compiler that exploits program structure (WL, JT, LC, WA, KS, JR, JT), pp. 158–167.
ICLP-2006-SchwaigerF #assessment #automation #programming #testing #using: Using Answer Set Programming for the Automatic Compilation of Assessment Tests (PS, BF), pp. 300–314.
ICLP-2006-SilvaC #design #implementation #logic programming #optimisation #programming language: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (AFdS, VSC), pp. 461–462.
IJCAR-2006-Darwiche #evolution #satisfiability: Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation (AD), p. 3.
VMCAI-2006-RossignoliS #detection: Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.
DocEng-2005-GenevesR #policy #streaming #xpath: Compiling XPath for streaming access policy (PG, KHR), pp. 52–54.
ITiCSE-2005-Demaille: Making compiler construction projects relevant to core curriculums (AD), pp. 266–270.
PASTE-2005-PrivatD #object-oriented #performance #static analysis: Link-time static analysis for efficient separate compilation of object-oriented languages (JP, RD), pp. 20–27.
SEFM-2005-LeinenbachPP #code generation #implementation #towards #verification: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes (DL, WJP, EP), pp. 2–12.
SEKE-2005-ChangL #data-driven: Compiler Techniques for Data Driven Languages with Superlinear Speed-up (LHC, ELL), pp. 543–549.
MoDELS-2005-StirewaltR #automation #invariant #maintenance #ocl: Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
MoDELS-2005-StirewaltR #automation #invariant #maintenance #ocl: Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
AdaEurope-2005-MirandaSD #ada #implementation #interface: The Implementation of Ada 2005 Interface Types in the GNAT Compiler (JM, ES, GD), pp. 208–219.
PADL-2005-Ramsey #declarative: Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.
PADL-2005-YangDRS #mobile #model checking #performance #process: A Provably Correct Compiler for Efficient Model Checking of Mobile Processes (PY, YD, CRR, SAS), pp. 113–127.
PLDI-2005-QuinonesMSMGT #framework #slicing #thread: Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.
POPL-2005-AnconaDDZ #bytecode #composition #java #polymorphism: Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.
PPDP-2005-LunaPS #experience #functional: Efficiently compiling a functional language on AMD64: the HiPE experience (DL, MP, KFS), pp. 176–186.
SIGAda-2005-MirandaSK #ada #implementation #interface: The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.
SAC-2005-DebbabiMT #embedded #java #virtual machine: Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors (MD, AM, NT), pp. 874–878.
SAC-2005-Emir: Compiling regular patterns to sequential machines (BE), pp. 1385–1389.
SAC-2005-OgelTF #aspect-oriented #performance: Supporting efficient dynamic aspects through reflection and dynamic compilation (FO, GT, BF), pp. 1351–1356.
SAC-2005-WuRBGM #2d: A two-dimensional separation of concerns for compiler construction (XW, SR, BRB, JGG, MM), pp. 1365–1369.
GPCE-2005-AllanACHKLLMSST #aspectj #named: abc: The AspectBench Compiler for AspectJ (CA, PA, ASC, LJH, SK, JL, OL, OdM, DS, GS, JT), pp. 10–16.
GPCE-2005-ConselLRC #approach #domain-specific language #generative #programming: A Generative Programming Approach to Developing DSL Compilers (CC, FL, LR, PC), pp. 29–46.
GPCE-2005-UbayashiTSMM #aspect-oriented: Model Compiler Construction Based on Aspect-Oriented Mechanisms (NU, TT, SS, YM, SM), pp. 109–124.
LDTA-2005-Iversen #ml #standard: An Action Compiler Targeting Standard ML (JI), pp. 167–188.
CC-2005-Padovani #c++ #using: Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.
CGO-2005-Amarasinghe #multi #question: Multicores from the Compiler’s Perspective: A Blessing or a Curse? (SPA), p. 137.
CGO-2005-DaiZHY #framework #optimisation #using: A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion (XD, AZ, WCH, PCY), pp. 280–290.
CGO-2005-RavindranNDMSMB #power management: Compiler Managed Dynamic Instruction Placement in a Low-Power Code Cache (RAR, PDN, GSD, EDM, RMS, SAM, RBB), pp. 179–190.
CGO-2005-StoodleyS #automation #java: Automatically Reducing Repetitive Synchronization with a Just-in-Time Compiler for Java (MGS, VS), pp. 27–36.
DATE-2005-CengHLAMB #c #modelling #semantics: C Compiler Retargeting Based on Instruction Semantics Models (JC, MH, RL, GA, HM, GB), pp. 1150–1155.
DATE-2005-NaculG #embedded #lightweight #multi #using: Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler (ACN, TG), pp. 742–747.
DATE-2005-RodriguesC #design #framework: An Infrastructure to Functionally Test Designs Generated by Compilers Targeting FPGAs (RR, JMPC), pp. 30–31.
LCTES-2005-CooperGHRSTW #adaptation #named #performance: ACME: adaptive compilation made efficient (KDC, AG, TJH, SWR, DS, LT, TW), pp. 69–77.
LCTES-2005-KandemirCK #memory management: Compiling for memory emergency (MTK, GC, IK), pp. 213–221.
LCTES-2005-ZhangP #migration #performance: Efficient application migration under compiler guidance (KZ, SP), pp. 10–20.
PPoPP-2005-SonCKC #energy #layout #parallel: Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems (SWS, GC, MTK, ANC), pp. 174–185.
PPoPP-2005-SuraFWMLP #consistency #java #performance #source code: Compiler techniques for high performance sequentially consistent java programs (ZS, XF, CLW, SPM, JL, DAP), pp. 2–13.
CAV-2005-BarrettFGHPZ #named #optimisation #validation: TVOC: A Translation Validator for Optimizing Compilers (CWB, YF, BG, YH, AP, LDZ), pp. 291–295.
LICS-2005-JiaSWG #stack: Certifying Compilation for a Language with Stack Allocation (LJ, FS, DW, NG), pp. 407–416.
SAT-2005-MarinovKBZR #declarative #modelling #optimisation: Optimizations for Compiling Declarative Models into Boolean Formulas (DM, SK, SB, LZ, MCR), pp. 187–202.
VMCAI-2005-Hoare #challenge #research #verification: The Verifying Compiler, a Grand Challenge for Computing Research (CARH), p. 78.
ITiCSE-2004-AdamsT #using #xml: Using XML in a compiler course (DRA, CT), pp. 4–6.
ITiCSE-WGR-2004-BoyerC #design #implementation #tool support: ICE™ and ICE/T™: tools to assist in compiler design and implementation (TPB, MC), pp. 55–57.
ICSM-2004-BreechDSP #impact analysis #online: Online Impact Analysis via Dynamic Compilation Technology (BB, AD, SAS, LLP), pp. 453–457.
IFM-2004-MorilloV: A Method for Compiling and Executing Expressive Assertions (FJGM, JMCV), pp. 521–540.
ICFP-2004-RamseyJ #c #framework: The C — compiler infrastructure (NR, SLPJ), p. 1.
ICFP-2004-SarkarWD #education #framework: A nanopass infrastructure for compiler education (DS, OW, RKD), pp. 201–212.
KR-2004-Barrett #hybrid: From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.
KR-2004-Geffner #graph: Planning Graphs and Knowledge Compilation (HG), pp. 662–672.
PADL-2004-MoralesCH #c #prolog #using: Improved Compilation of Prolog to C Using Moded Types and Determinism Information (JFM, MC, MVH), pp. 86–103.
PLDI-2004-DuLLYZN #framework #parallel #source code: A cost-driven compilation framework for speculative parallelization of sequential programs (ZHD, CCL, XFL, CY, QZ, TFN), pp. 71–81.
POPL-2004-Rival: Symbolic transfer function-based approaches to certified compilation (XR), pp. 1–13.
SAC-2004-Lagorio #java #towards: Another step towards a smart compilation manager for Java (GL), pp. 1275–1280.
GPCE-2004-HauserK #execution #graph #process: Compiling Process Graphs into Executable Code (RH, JK), pp. 317–336.
ASPLOS-2004-RabbahSEW: Compiler orchestrated prefetching via speculation and predication (RMR, HS, ME, WFW), pp. 189–198.
CC-2004-KralFLUW: FFT Compiler Techniques (SK, FF, JL, CWU, PW), pp. 217–231.
CC-2004-LhotakLH #framework #ide: Integrating the Soot Compiler Infrastructure into an IDE (JL, OL, LJH), pp. 281–297.
CGO-2004-DingL #reuse: A Compiler Scheme for Reusing Intermediate Computation Results (YD, ZL), pp. 279–290.
CGO-2004-LattnerA #framework #named #program analysis: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation (CL, VSA), pp. 75–88.
CGO-2004-ZhaiCSM #communication #optimisation #thread: Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.
DAC-2004-LyseckyVT: Dynamic FPGA routing for just-in-time FPGA compilation (RLL, FV, SXDT), pp. 954–959.
DATE-DF-2004-VarmaB #embedded #java: Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems (AV, SSB), pp. 161–167.
DATE-v2-2004-HohenauerSKWKLAMBS #c #generative #modelling: A Methodology and Tool Suite for C Compiler Generation from ADL Processor Models (MH, HS, KK, OW, TK, RL, GA, HM, GB, HvS), pp. 1276–1283.
DATE-v2-2004-WanS #multi #simulation: Hierarchical Multi-Dimensional Table Lookup for Model Compiler Based Circuit Simulation (BW, CJRS), pp. 1310–1315.
LCTES-2004-AlmagorCGHRSTW #effectiveness #sequence: Finding effective compilation sequences (LA, KDC, AG, TJH, SWR, DS, LT, TW), pp. 231–239.
LCTES-2004-GuoBN #configuration management #hardware #reuse: Input data reuse in compiling window operations onto reconfigurable hardware (ZG, BB, WAN), pp. 249–256.
LCTES-2004-HiserD #algorithm #memory management #named #performance: EMBARC: an efficient memory bank assignment algorithm for retargetable compilers (JH, JWD), pp. 182–191.
LCTES-2004-LiX #energy #framework: A trace-based binary compilation framework for energy-aware computing (LL, JX), pp. 95–106.
PDP-2004-BulicG #analysis #dependence #multi #performance: Fast Dependence Analysis in a Multimedia Vectorizing Compiler (PB, VG), pp. 176–183.
ICLP-2004-DuckBS #constraints: Compiling Ask Constraints (GJD, MJGdlB, PJS), pp. 105–119.
ICLP-2004-TronconJV #control flow #evaluation #lazy evaluation #performance #query: Fast Query Evaluation with (Lazy) Control Flow Compilation (RT, GJ, HV), pp. 240–253.
ICLP-2004-WakakiI #programming #set: Compiling Prioritized Circumscription into Answer Set Programming (TW, KI), pp. 356–370.
VMCAI-2004-BartheBR #security: Security Types Preserving Compilation: (GB, AB, TR), pp. 2–15.
SIGMOD-2003-IlyasRLGL #query: Estimating Compilation Time of a Query Optimizer (IFI, JR, GML, DG, ETL), pp. 373–384.
IWPC-2003-Klint #comprehension #how #perspective: How Understanding and Restructuring Differ from Compiling — A Rewriting Perspective (PK), pp. 2–12.
SCAM-2003-OlmosV #dynamic typing #static typing #type system: Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave (KO, EV), pp. 141–150.
CIAA-2003-KempeBGGN #finite #named: WFSC — A New Weighted Finite State Compiler (AK, CB, TG, FG, FN), pp. 108–119.
FME-2003-DuranCS #inheritance: A Strategy for Compiling Classes, Inheritance, and Dynamic Binding (AD, AC, AS), pp. 301–320.
ICFP-2003-Levin: Compiling regular patterns (MYL), pp. 65–77.
OOPSLA-2003-IshizakiTKSGIKOKYOOKN #effectiveness #java #optimisation #platform: Effectiveness of cross-platform optimizations for a java just-in-time compiler (KI, MT, KK, TS, OG, TI, AK, KO, MK, TY, TO, TO, HK, TN), pp. 187–204.
PLDI-2003-HsuK #algorithm #cpu #design #energy #evaluation #implementation #reduction: The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction (CHH, UK), pp. 38–48.
PLDI-2003-LernerMC #automation #correctness #optimisation #proving: Automatically proving the correctness of compiler optimizations (SL, TDM, CC), pp. 220–231.
PLDI-2003-LinCHYJNC #analysis #framework #optimisation: A compiler framework for speculative analysis and optimizations (JL, TC, WCH, PCY, RDCJ, TFN, SC), pp. 289–299.
PLDI-2003-StephensonAMO #heuristic #machine learning #optimisation: Meta optimization: improving compiler heuristics with machine learning (MS, SPA, MCM, UMO), pp. 77–90.
PLDI-2003-SuganumaYN #java: A region-based compilation technique for a Java just-in-time compiler (TS, TY, TN), pp. 312–323.
PPDP-2003-HirschowitzLW #call-by #functional #recursion: Compilation of extended recursion in call-by-value functional languages (TH, XL, JBW), pp. 160–171.
ASE-2003-GarridoJ #c #refactoring: Refactoring C with Conditional Compilation (AG, REJ), pp. 323–326.
SAC-2003-CohenNR #fortran #towards: Towards Differentiation-Enabled FORTRAN 95 Compiler Technology (MC, UN, JR), pp. 143–147.
LDTA-J-2001-HedinM #aspect-oriented #jastadd #named: JastAdd — an aspect-oriented compiler construction system (GH, EM), pp. 37–58.
GPCE-2003-Danvy #virtual machine: A Journey from Interpreters to Compilers and Virtual Machines (OD), p. 117.
LDTA-2003-KalinovKPPS #automation #generative #testing: Coverage-driven Automated Compiler Test Suite Generation (AK, AK, AKP, MP, VS), pp. 500–514.
CC-2003-GhoshKKKLLN #design #experience #implementation #optimisation: Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience (SG, AK, RK, DK, WL, CCL, JN), pp. 303–319.
CC-2003-Hoare #challenge #research #verification: The Verifying Compiler: A Grand Challenge for Computing Research (CARH), pp. 262–272.
CC-2003-LeagueST #java #precise: Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.
CC-2003-MasuharaKD #aspect-oriented #optimisation #source code: A Compilation and Optimization Model for Aspect-Oriented Programs (HM, GK, CD), pp. 46–60.
CC-2003-MoreauRV #multi #pattern matching: A Pattern Matching Compiler for Multiple Target Languages (PEM, CR, MV), pp. 61–76.
CC-2003-NystromCM #framework #java #named: Polyglot: An Extensible Compiler Framework for Java (NN, MRC, ACM), pp. 138–152.
CC-2003-Reeuwijk #agile #robust #using: Rapid and Robust Compiler Construction Using Template-Based Metacompilation (KvR), pp. 247–261.
CGO-2003-InagakiKN #architecture #java #scheduling: Integrated Prepass Scheduling for a Java Just-In-Time Compiler on the IA-64 Architecture (TI, HK, TN), pp. 159–168.
CGO-2003-TriantafyllisVVA: Compiler Optimization-Space Exploration (ST, MV, NV, DIA), pp. 204–215.
DATE-2003-ZhangKVID #energy: Compiler Support for Reducing Leakage Energy Consumption (WZ, MTK, NV, MJI, VD), pp. 11146–11147.
LCTES-2003-AbouGhazalehCMMC #embedded #energy #realtime: Energy management for real-time embedded applications with compiler support (NA, BRC, DM, RGM, MC), pp. 284–293.
LCTES-2003-SchultzBCK #embedded #java: Compiling java for low-end embedded systems (UPS, KB, FGC, JLK), pp. 42–50.
PDP-2003-BulicG #analysis #dependence: Practical Dependence Analysis in a SIMD Vectorizing Compiler (PB, VG), pp. 41–48.
PPoPP-2003-ChenHHJL #analysis #architecture #multi #points-to #probability #thread: Compiler support for speculative multithreading architecture with probabilistic points-to analysis (PSC, MYH, YSH, RDCJ, JKL), pp. 25–36.
PPoPP-2003-CoarfaD #fortran: An emerging co-array fortran compiler (CC, YD), p. 2.
PODS-2002-CadoliM #query #synthesis: Knowledge Compilation = Query Rewriting + View Synthesis (MC, TM), pp. 199–208.
ICSM-2002-Arsanjani #architecture #configuration management #towards: Business Compilers: Towards Supporting a Highly Re-Configurable Architectural Style for Service-Oriented Architecture (AA), p. 287.
CIAA-2002-GranaAV #constraints #finite #transducer: Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers (JG, GA, JV), pp. 128–137.
FME-2002-Wildman #proving: A Formal Basis for a Program Compilation Proof Tool (LW), pp. 491–510.
FLOPS-2002-PetterssonSJ #erlang #evaluation #performance: The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation (MP, KFS, EJ), pp. 228–244.
ICFP-2002-SerpetteS #bytecode #performance #virtual machine: Compiling scheme to JVM bytecode: : a performance study (BPS, MS), pp. 259–270.
IFL-2002-LindahlS #float: Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment (TL, KFS), pp. 134–149.
ICPR-v3-2002-BlosteinCZ #diagrams #recognition: Applying Compiler Techniques to Diagram Recognition (DB, JRC, RZ), pp. 123–126.
ECOOP-2002-AnconaLZ #framework #java: A Formal Framework for Java Separate Compilation (DA, GL, EZ), pp. 609–636.
AdaEurope-2002-WardA #ada #hardware: Language Issues of Compiling Ada to Hardware (MW, NCA), pp. 88–99.
ASIA-PEPM-2002-Amarasinghe #architecture: Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures (SPA), p. 70.
ASIA-PEPM-2002-XuK #functional #programming #realtime: Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.
PADL-2002-JohanssonS #erlang #linear: Linear Scan Register Allocation in a High-Performance Erlang Compiler (EJ, KFS), pp. 101–119.
PADL-2002-Liang #higher-order #logic programming: Compiler Construction in Higher Order Logic Programming (CL), pp. 47–63.
PADL-2002-Rhiger #embedded #source code: Compiling Embedded Programs to Byte Code (MR), pp. 120–136.
PEPM-2002-Chambers #staged: Staged compilation (CC), pp. 1–8.
PLDI-2002-AlmasiP #latency #matlab #named: MaJIC: Compiling MATLAB for Speed and Responsiveness (GSA, DAP), pp. 294–303.
PLDI-2002-SoHD #approach #design #hardware #performance: A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems (BS, MWH, PCD), pp. 165–176.
POPL-2002-LaceyJWF #correctness #logic #optimisation #proving: Proving correctness of compiler optimizations by temporal logic (DL, NDJ, EVW, CCF), pp. 283–294.
POPL-2002-PhiliposeCE #automation #staged #towards: Towards automatic construction of staged compilers (MP, CC, SJE), pp. 113–125.
PPDP-2002-AnconaLZ #java: True separate compilation of Java classes (DA, GL, EZ), pp. 189–200.
SAS-2002-VeldhuizenL #optimisation #proving: Guaranteed Optimization: Proving Nullspace Properties of Compilers (TLV, AL), pp. 263–277.
SIGAda-2002-Santhanam #ada #set: The anatomy of an FAA-qualifiable Ada subset compiler (VS), pp. 40–43.
SAC-2002-SinghP #data-driven #distributed #java #optimisation: Compiler optimizations for Java aglets in distributed data intensive applications (AS, SP), pp. 87–92.
ASPLOS-2002-GordonTKLMLLWHMA #architecture: A stream compiler for communication-exposed architectures (MIG, WT, MK, JL, ASM, AAL, CL, JW, HH, DM, SPA), pp. 291–303.
ASPLOS-2002-KimY #algorithm #design #evaluation: Design and evaluation of compiler algorithms for pre-execution (DK, DY), pp. 159–170.
ASPLOS-2002-ZhaiCSM #communication #optimisation #thread: Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.
CC-2002-GaravelLM #using: Compiler Construction Using LOTOS NT (HG, FL, RM), pp. 9–13.
CC-2002-GschwindA #exception #precise #semantics: Precise Exception Semantics in Dynamic Compilation (MG, ERA), pp. 95–110.
CC-2002-HendersonS #c: Compiling Mercury to High-Level C Code (FH, ZS), pp. 197–212.
DATE-2002-HalambiSBDN #performance #reduction #using: An Efficient Compiler Technique for Code Size Reduction Using Reduced Bit-Width ISAs (AH, AS, PB, NDD, AN), pp. 402–408.
DATE-2002-KadayifKVIS #energy #estimation #framework #named #optimisation: EAC: A Compiler Framework for High-Level Energy Estimation and Optimization (IK, MTK, NV, MJI, AS), pp. 436–442.
DATE-2002-ZhaoMB #design #modelling #set #using: Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models (QZ, BM, TB), pp. 1021–1026.
LCTES-SCOPES-2002-LorenzWD #energy: Energy aware compilation for DSPs with SIMD instructions (ML, LW, TD), pp. 94–101.
LCTES-SCOPES-2002-NaikP #constraints: Compiling with code-size constraints (MN, JP), pp. 120–129.
LCTES-SCOPES-2002-NewsomeW #java: Proxy compilation of dynamically loaded Java classes with MoJo (MN, DW), pp. 204–212.
LCTES-SCOPES-2002-PalmLDM #question: When to use a compilation service? (JP, HBL, AD, JEBM), pp. 194–203.
LCTES-SCOPES-2002-SaputraKVIHHK #energy #scalability: Energy-conscious compilation based on voltage scaling (HS, MTK, NV, MJI, JSH, CHH, UK), pp. 2–11.
LCTES-SCOPES-2002-WahlenGNHLM #architecture #case study: Application specific compiler/architecture codesign: a case study (OW, TG, AN, AH, RL, HM), pp. 185–193.
CADE-2002-Strecker #java #verification: Formal Verification of a Java Compiler in Isabelle (MS), pp. 63–77.
SCAM-2001-RebaudengoRVT #generative #text-to-text: A Source-to-Source Compiler for Generating Dependable Software (MR, MSR, MV, MT), pp. 35–44.
CIAA-2001-GranaBA #automaton #finite #scalability: Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries (JG, FMB, MAA), pp. 135–148.
FLOPS-2001-AmatoS #analysis: Abstract Compilation for Sharing Analysis (GA, FS), pp. 311–325.
FLOPS-2001-ChoiLH #functional #java #lazy evaluation #source code #virtual machine: Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine (KC, HiL, TH), pp. 92–107.
IFL-2001-Kreye #array: A Compilation Scheme for a Hierarchy of Array Types (DK), pp. 18–54.
IFL-2001-ScaifeMH #comparative #performance #platform: Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler (NS, GM, SH), pp. 138–154.
OOPSLA-2001-SuganumaYKKN #framework #java #optimisation: A Dynamic Optimization Framework for a Java Just-In-Time Compiler (TS, TY, MK, HK, TN), pp. 180–194.
OOPSLA-2001-Whaley #using: Partial Method Compilation using Dynamic Profile Information (JW), pp. 166–179.
PADL-2001-FlenerHK #constraints #programming: Compiling High-Level Type Constructors in Constraint Programming (PF, BH, ZK), pp. 229–244.
PLDI-2001-SchnarrHL #named: Facile: A Language and Compiler for High-Performance Processor Simulators (ES, MDH, JRL), pp. 321–331.
PLDI-2001-XiongJJP #algorithm #named: SPL: A Language and Compiler for DSP Algorithms (JX, JRJ, RWJ, DAP), pp. 298–308.
POPL-2001-Kandemir #locality: A compiler technique for improving whole-program locality (MTK), pp. 179–192.
SIGAda-2001-Taft #ada #using: Using Ada 95 in a compiler course (STT), pp. 79–80.
LDTA-2001-MoreauRV #pattern matching: Pattern-Matching Compiler (PEM, CR, MV), pp. 161–180.
CC-2001-Engelen #analysis #optimisation #performance: Efficient Symbolic Analysis for Optimizing Compilers (RvE), pp. 118–132.
CC-2001-FrankeO #array #pointer: Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications (BF, MFPO), pp. 69–85.
CC-2001-RuginaR: Design-Driven Compilation (RR, MCR), pp. 150–164.
DAC-2001-BazarganOS #architecture #configuration management #design #physics #scheduling: Integrating Scheduling and Physical Design into a Coherent Compilation Cycle for Reconfigurable Computing Architectures (KB, SO, MS), pp. 635–640.
LCTES-OM-2001-AdveLE #adaptation #distributed: Language and Compiler Support for Adaptive Distributed Applications (VSA, VVL, BE), pp. 238–246.
LCTES-OM-2001-WagnerL #c #design #industrial #network: C Compiler Design for an Industrial Network Processor (JW, RL), pp. 155–164.
ESOP-2001-CadoliS #problem #satisfiability #specification: Compiling Problem Specifications into SAT (MC, AS), pp. 387–401.
TACAS-2001-BergJ #java #ml: The LOOP Compiler for Java and JML (JvdB, BJ), pp. 299–312.
ICLP-2001-HolzbaurBJS #constraints #optimisation: Optimizing Compilation of Constraint Handling Rules (CH, MJGdlB, DJ, PJS), pp. 74–89.
CSMR-2000-JohnstoneSW #assembly #challenge #control flow #what: What Assembly Language Programmers Get Up To: Control Flow Challenges in Reverse Compilation (AJ, ES, TW), pp. 83–92.
ICSM-2000-HuMDL #analysis #c #c++ #execution #symbolic computation #using: C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.
RTA-2000-Moreau: REM (Reduce Elan Machine): Core of the New ELAN Compiler (PEM), pp. 265–269.
ICFP-2000-Crary #type system: Typed compilation of inclusive subtyping (KC), pp. 68–81.
KR-2000-LampertiZ #generative: Generation of Diagnostic Knowledge by Discrete-Event Model Compilation (GL, MZ), pp. 333–344.
ECOOP-2000-OgawaSMMSK #framework #java #jit #named: OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java (HO, KS, SM, FM, YS, YK), pp. 362–387.
OOPSLA-2000-IshizakiKYKN #case study #java: A study of devirtualization techniques for a Java^TM Just-In-Time compiler (KI, MK, TY, HK, TN), pp. 294–310.
OOPSLA-2000-SerranoBMG #java #named: Quicksilver: a quasi-static compiler for Java (MJS, RB, SPM, MG), pp. 66–82.
TOOLS-ASIA-2000-ZhengZYW #concurrent #design #hybrid #java #virtual machine: A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model (WZ, FZ, BY, YW), pp. 18–23.
AdaEurope-2000-FlintD #ada #api #java #using: Using JavaTM APIs with Native Ada Compilers (SF, BD), pp. 41–55.
LOPSTR-2000-BuenoBHMPS #analysis #optimisation: A model for inter-module analysis and optimizing compilation (FB, MJGdlB, MVH, KM, GP, PJS).
LOPSTR-J-2000-BuenoBHMPS #analysis #optimisation: A Model for Inter-module Analysis and Optimizing Compilation (FB, MJGdlB, MVH, KM, GP, PJS), pp. 86–102.
PADL-2000-DiazC #c #prolog: GNU Prolog: Beyond Compiling Prolog to C (DD, PC), pp. 81–92.
PADL-2000-Moreno-NavarroM #how #prolog: How to Incorporate Negation in a Prolog Compiler (JJMN, SMH), pp. 124–140.
PLDI-2000-ColbyLNBPC #java: A certifying compiler for Java (CC, PL, GCN, FB, MP, KC), pp. 95–107.
PLDI-2000-LinP #analysis #memory management: Compiler analysis of irregular memory accesses (YL, DAP), pp. 157–168.
PLDI-2000-Necula #optimisation #validation: Translation validation for an optimizing compiler (GCN), pp. 83–94.
PLDI-2000-StephensonBA #analysis: Bitwidth analysis with application to silicon compilation (MS, JB, SPA), pp. 108–120.
POPL-2000-AbadiFG #authentication: Authentication Primitives and Their Compilation (MA, CF, GG), pp. 302–315.
SAIG-2000-ElliottFM #embedded: Compiling Embedded Languages (CE, SF, OdM), pp. 9–27.
FSE-2000-ButkevichRBY #debugging #protocol #tool support: Compiler and tool support for debugging object protocols (SB, MR, GB, MY), pp. 50–59.
ASPLOS-2000-ChouCEH #protocol #using: Using Meta-level Compilation to Check FLASH Protocol Code (AC, BC, DRE, MH), pp. 59–70.
ASPLOS-2000-ZahirRMH #architecture #design: OS and Compiler Considerations in the Design of the IA-64 Architecture (RZ, JR, DM, DH), pp. 212–221.
CC-2000-Kim #embedded #optimisation: Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor (DHK), pp. 173–188.
CC-2000-LinP #analysis #array #optimisation: Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations (YL, DAP), pp. 202–218.
CC-2000-Thiemann #adaptation #partial evaluation #source code: Compiling Adaptive Programs by Partial Evaluation (PT), pp. 264–278.
DAC-2000-Edwards: Compiling Esterel into sequential code (SAE), pp. 322–327.
DAC-2000-GrunDN #memory management: Memory aware compilation through accurate timing extraction (PG, NDD, AN), pp. 316–321.
DAC-2000-KandemirVIY #optimisation: Influence of compiler optimizations on system power (MTK, NV, MJI, WY), pp. 304–307.
DATE-2000-CatthoorDK #architecture #data transfer #how #memory management #question: How to Solve the Current Memory Access and Data Transfer Bottlenecks: At the Processor Architecture or at the Compiler Level? (FC, NDD, CEK), pp. 426–433.
OSDI-2000-EnglerCCH #using: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (DRE, BC, AC, SH), pp. 1–16.
PDP-2000-BaiardiGMR #evaluation #memory management #parallel: Evaluation of a virtual shared memory machine by the compilation of data parallel loops (FB, DG, PM, LR), pp. 309–316.
ESOP-2000-FisherRR #calculus: A Calculus for Compiling and Linking Classes (KF, JHR, JGR), pp. 135–149.
ESOP-2000-MachkasovaT #calculus: A Calculus for Link-Time Compilation (EM, FAT), pp. 260–274.
TACAS-2000-KamelL #editing #named #visual notation: VIP: A Visual Editor and Compiler for v-Promela (MK, SL), pp. 471–486.
CL-2000-KozenP #algebra #certification #optimisation #testing #using: Certification of Compiler Optimizations Using Kleene Algebra with Tests (DK, MCP), pp. 568–582.
ICSM-1999-JohnstoneSW #assembly #experience: Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C (AJ, ES, TW), pp. 316–325.
ICSM-1999-SellinkV #generative #legacy: Generation of Software Renovation Factories from Compilers (MPAS, CV), pp. 245–255.
WIA-1999-NoordG #finite #natural language #regular expression: An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing (GvN, DG), pp. 122–139.
FM-v2-1999-HainquePBN #composition #named #tool support: Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.
TLCA-1999-Ohori #execution #morphism: A Curry-Howard Isomorphism for Compilation and Program Execution (AO), pp. 280–294.
ICFP-1999-OhoriY #ml #morphism #polymorphism #rank #type inference: Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML (AO, NY), pp. 160–171.
TOOLS-ASIA-1999-GuangWJ #ada #distributed #parallel: Parallel Objects in Distributed Ada95 Compiler and Running System — PDEFA (YG, DW, LJ), pp. 320–325.
TOOLS-EUROPE-1999-ColnetZ #eiffel #optimisation #source code: Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler (DC, OZ), pp. 341–350.
TOOLS-USA-1999-SangalFLL #interactive: Interaction Schemata: Compiling Interactions to Code (NS, EF, KJL, DHL), p. 268–?.
GCSE-1999-MoorPW #aspect-oriented: Aspect-Oriented Compilers (OdM, SLPJ, EVW), pp. 121–133.
PEPM-1999-HornofJ #code generation #runtime: Certifying Compilation and Run-Time Code Generation (LH, TJ), pp. 60–74.
PLDI-1999-Frigo #fourier #performance: A Fast Fourier Transform Compiler (MF), pp. 169–180.
PLDI-1999-StichnothLC #garbage collection #java: Support for Garbage Collection at Every Instruction in a Java Compiler (JMS, GYL, MC), pp. 118–127.
PPDP-1999-HolzbaurF #constraints #prolog: Compiling Constraint Handling Rules into Prolog with Attributed Variables (CH, TWF), pp. 117–133.
Best-of-PLDI-1999-Frigo99a #fourier #performance: A fast Fourier transform compiler (with retrospective) (MF), pp. 642–655.
CC-1999-BrandKO #asf+sdf #memory management: Compilation and Memory Management for ASF+SDF (MvdB, PK, PAO), pp. 198–213.
CC-1999-RiveraT #algorithm #comparison: A Comparison of Compiler Tiling Algorithms (GR, CWT), pp. 168–182.
CC-1999-SaitoSCPN #design: The Design of the PROMIS Compiler (HS, NS, SC, CDP, AN), pp. 214–228.
CC-1999-SariavaS #data type: Data Structure Free Compilation (JS, SDS), pp. 1–16.
CC-1999-Sloane #debugging: Debugging Eli-Generated Compilers With Noosa (AMS), pp. 17–31.
DAC-1999-ZhuL #configuration management #hardware: Hardware Compilation for FPGA-Based Configurable Computing Machines (XZ, BL), pp. 697–702.
DATE-1999-DoboliV #architecture #behaviour #generative #synthesis: A VHDL-AMS Compiler and Architecture Generator for Behavioral Synthesis of Analog Systems (AD, RV), pp. 338–345.
DATE-1999-HalambiGGKDN #architecture #named: EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability (AH, PG, VG, AK, NDD, AN), pp. 485–490.
HPCA-1999-TullsenG #architecture #execution #parallel #thread: Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.
PPoPP-1999-LeePM #algorithm #parallel #source code: Basic Compiler Algorithms for Parallel Programs (JL, DAP, SPM), pp. 1–12.
CADE-1999-NadathurM #automaton #implementation #prolog #λ-calculus: System Description: Teyjus — A Compiler and Abstract Machine Based Implementation of lambda-Prolog (GN, DJM), pp. 287–291.
LICS-1999-DrossopoulouEW #calculus #towards: A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility (SD, SE, DW), pp. 147–156.
ITiCSE-1998-LewisM #comparison #learning: A comparison between novice and experienced compiler users in a learning environment (SL, GM), pp. 157–161.
ITiCSE-1998-ReslerD #education #named #visualisation: VCOCO: a visualisation tool for teaching compilers (RDR, DMD), pp. 199–202.
IWPC-1998-BinkleyDJW #feedback: The Feedback Compiler (DB, BD, BJ, AW), pp. 198–205.
IWPC-1998-SomeL #parsing: Parsing Minimization when Extracting Information from Code in the Presence of Conditional Compilation (SSS, TCL), pp. 118–125.
FM-1998-GoerigkH #correctness #how #implementation: Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct (WG, UH), pp. 122–136.
ICFP-1998-BentonKR #java #ml #standard: Compiling Standard ML to Java Bytecodes (NB, AK, GR), pp. 129–140.
ICFP-1998-Shao: Typed Cross-Module Compilation (ZS), pp. 141–152.
KR-1998-Darwiche #approach: Compiling Devices: A Structure-Based Approach (AD), pp. 156–155.
TOOLS-USA-1998-GagnonH #framework #object-oriented: SableCC, an Object-Oriented Compiler Framework (EMG, LJH), pp. 140–154.
AdaEurope-1998-Tonndorf #ada #case study #experience: Ten Years of Tool Based Ada Compiler Validations. An Experience Report (MT), pp. 176–187.
ALP-PLILP-1998-FeeleyL #erlang: Compiling Erlang to Scheme (MF, ML), pp. 300–317.
ALP-PLILP-1998-MoreauK #commutative #source code: A Compiler for Rewrite Programs in Associative-Commutative Theories (PEM, HK), pp. 230–249.
ALP-PLILP-1998-Wakeling #functional #haskell #java #lazy evaluation #mobile #source code #virtual machine: Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine (DW), pp. 335–352.
LOPSTR-1998-HoarauM #constraints #logic programming #source code #termination: Inferring and Compiling Termination for Constraint Logic Programs (SH, FM), pp. 240–254.
PLDI-1998-Adl-TabatabaiCLPS #code generation #effectiveness #java #performance: Fast, Effective Code Generation in a Just-In-Time Java Compiler (ARAT, MC, GYL, VMP, JMS), pp. 280–290.
PLDI-1998-NeculaL #design #implementation: The Design and Implementation of a Certifying Compiler (GCN, PL), pp. 333–344.
PLDI-1998-PaekHP #array #data access #optimisation: Simplification of Array Access Patterns for Compiler Optimizations (YP, JH, DAP), pp. 60–71.
SAS-1998-Lee #optimisation: Certifying, Optimizing Compilation (PL0), p. 381.
SIGAda-1998-Flint #ada #api #java #using: Using Java APIs with Native Ada Compilers (SF), pp. 193–203.
Best-of-PLDI-1998-NeculaL98a #design #implementation: The design and implementation of a certifying compiler (with retrospective) (GCN, PL), pp. 612–625.
CC-1998-StumpelTK #architecture: VLIW Compilation Techniques for Superscalar Architectures (ES, MT, UK), pp. 234–248.
DAC-1998-HoltmannB #design #protocol #using: Design of a SPDIF Receiver Using Protocol Compiler (UH, PB), pp. 794–799.
DATE-1998-Lin #concurrent #performance #runtime #scheduling #source code: Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling (BL), pp. 211–217.
DATE-1998-Montiel-NelsonASN #design: A Cell and Macrocell Compiler for GaAs VLSI Full-Custom Design (JAMN, VdA, RS, AN), pp. 947–948.
ISMM-1998-ColnetCZ #algorithm: Compiler Support to Customize the Mark and Sweep Algorithm (DC, PC, OZ), pp. 154–165.
ISMM-1998-KakkadJW #runtime: Portable Run-Time Type Description for Conventional Compilers (SVK, MSJ, PRW), pp. 146–153.
ISMM-1998-LaroseF #incremental #performance #quality: A Compacting Incremental Collector and its Performance in a Production Quality Compiler (ML, MF), pp. 1–9.
LCTES-1998-WeissFDFHJJRSS #java: TurboJ, a Java Bytecode-to-Native Compiler (MW, FdF, BD, CF, FH, EAJ, VJ, FR, FS, XS), pp. 119–130.
JICSLP-1998-Cervesato #logic programming: Proof-Theoretic Foundation of Compilation in Logic Programming (IC), pp. 115–129.
JICSLP-1998-MalesiuexRB #prolog: Abstract Compilation of λ-Prolog (FM, OR, PB), pp. 130–144.
JICSLP-1998-Zhou #algorithm #constraints: A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints (NFZ), pp. 70–84.
ICFP-1997-Claessen #graph: Graphs in Compilation (KC), p. 309.
IFL-1997-JunaiduDH #haskell #named: Naira: A Parallel² Haskell Compiler (SBJ, AJTD, KH), pp. 214–230.
IFL-1997-Wakeling #haskell #java #virtual machine: A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.
OOPSLA-1997-ZendraCC #performance: Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler (OZ, DC, SC), pp. 125–141.
PEPM-1997-BeshersF #generative #partial evaluation #performance #using #visualisation: Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation (CB, SF), pp. 107–115.
PEPM-1997-HeldalH #partial evaluation: Partial Evaluation and Separate Compilation (RH, JH), pp. 1–11.
PLDI-1997-EideFFLL #flexibility #named #optimisation: Flick: A Flexible, Optimizing IDL Compiler (EE, KF, BF, JL, GL), pp. 44–56.
PLDI-1997-SperberT #partial evaluation: Two for the Price of One: Composing Partial Evaluation and Compilation (MS, PT), pp. 215–225.
PLDI-1997-TauraY #approach #effectiveness #implementation #multi #performance #thread: Fine-grain Multithreading with Minimal Compiler Support — A Cost Effective Approach to Implementing Efficient Multithreading Languages (KT, AY), pp. 320–333.
PLILP-1997-GiavittoVM #recursion #semantics: Semantics and Compilation of Recursive Sequential Streams in 8½ (JLG, DDV, OM), pp. 207–223.
PLILP-1997-JohanssonJLBM #approach #erlang: A Pragmatic Approach to Compilation of Erlang (EJ, CJ, TL, JB, HM), pp. 419–420.
POPL-1997-PaigeY #data type: High Level Reading and Data Structure Compilation (RP, ZY), pp. 456–469.
SAS-1997-Harrison #abstract interpretation #question: Can Abstract Interpretation Become a Mainstream Compiler Technology? (LH), p. 395.
ASF+SDF-1997-MoreauK #commutative #normalisation: Compilation techniques for associative-commutative normalisation (PEM, HK), p. 11.
PDP-1997-Brandes #fortran #memory management #performance: Compiling high performance fortran for shared memory and shared virtual memory systems (TB), pp. 289–296.
PDP-1997-Fahringer #evaluation: Symbolic expression evaluation to support parallelizing compilers (TF), pp. 173–180.
PPoPP-1997-Coelho #array: Compiling Dynamic Mappings with Array Copies (FC), pp. 168–179.
PPoPP-1997-LuCDRZ #distributed #memory management: Compiler and Software Distributed Shared Memory Support for Irregular Applications (HL, ALC, SD, RR, WZ), pp. 48–56.
PPoPP-1997-Prasanna #parallel: Compilation of Parallel Multimedia Computations — Extending Retiming Theory and Amdahl’s Law (GNSP), pp. 180–192.
TAPSOFT-1997-WellsDMT: A Typed Intermediate Language for Flow-Directed Compilation (JBW, AD, RM, FAT), pp. 757–771.
CADE-1997-RousselM #calculus: Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case (OR, PM), pp. 161–175.
VLDB-1996-Mattos #sql: Supporting Procedural Constructs in SQL Compilers (NMM), p. 581.
RTA-1996-Vittek #nondeterminism #term rewriting: A Compiler for Nondeterministic Term Rewriting Systems (MV), pp. 154–167.
ICFP-1996-RojemoR #profiling #revisited: Lag, Drag, Void and Use — Heap Profiling and Space-Efficient Compilation Revisited (NR, CR), pp. 34–41.
ECOOP-1996-BoylandC #type safety: Type-Safe Compilation of Covariant Specialization: A Practical Case (JB, GC), pp. 3–25.
OOPSLA-1996-Adl-TabatabaiGL #optimisation #reuse: Code Reuse in an Optimizing Compiler (ARAT, TRG, GYL), pp. 51–68.
OOPSLA-1996-DeanDGLC #named #object-oriented #optimisation: Vortex: An Optimizing Compiler for Object-Oriented Languages (JD, GD, DG, VL, CC), pp. 83–100.
PLDI-1996-AuslanderPCEB #effectiveness #performance: Fast, Effective Dynamic Compilation (JA, MP, CC, SJE, BNB), pp. 149–159.
PLDI-1996-RinardD #analysis #commutative #framework: Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers (MCR, PCD), pp. 54–67.
PLDI-1996-RuttenbergGLS #heuristic #pipes and filters: Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler (JCR, GRG, WL, AS), pp. 1–11.
PLDI-1996-SperberT #partial evaluation: Realistic Compilation by Partial Evaluation (MS, PT), pp. 206–214.
PLDI-1996-TarditiMCSHL #ml #named #optimisation: TIL: A Type-Directed Optimizing Compiler for ML (DT, JGM, PC, CAS, RH, PL), pp. 181–192.
PLILP-1996-DanvyV #case study #partial evaluation #semantics: Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (OD, RV), pp. 182–197.
POPL-1996-HooverZ #generative #optimisation: Generating Machine Specific Optimizing Compilers (RH, FKZ), pp. 219–229.
SAS-1996-Paterson #lazy evaluation #using: Compiling Laziness Using Projections (RP), pp. 255–269.
Best-of-PLDI-1996-TarditiMCSHL96a #ml #named #optimisation: TIL: a type-directed, optimizing compiler for ML (with retrospective) (DT, JGM, PC, CAS, RH, PL), pp. 554–567.
CC-1996-Bosch #approach #object-oriented: Delegating Compiler Objects: An Object-Oriented Approach to Crafting Compilers (JB), pp. 326–340.
CC-1996-BoucherF #implementation #paradigm #static analysis: Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.
CC-1996-DavidsonJ #optimisation: Aggressive Loop Unrolling in a Retargetable Optimizing Compiler (JWD, SJ), pp. 59–73.
CC-1996-Pettersson #semantics: A Compiler for Natural Semantics (MP), pp. 177–191.
CC-1996-Waite #question: Compiler Construction: Craftmanship or Engineering? (WMW), pp. 151–159.
DAC-1996-LiemPJ #architecture: Address Calculation for Retargetable Compilation and Exploration of Instruction-Set Architectures (CL, PGP, AAJ), pp. 597–600.
HPDC-1996-BraunCDGG #automation #distributed #implementation #protocol: ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications (TB, IC, CD, FG, LG), pp. 450–459.
ESOP-1996-BergstraDFH #tool support: A Complete Transformational Toolkit for Compilers (JAB, TBD, JF, JH), pp. 92–107.
ESOP-1996-Jones96a #haskell #program transformation: Compiling Haskell by Program Transformation: A Report from the Trenches (SLPJ), pp. 18–44.
ESOP-1996-LiangH #composition #semantics: Modular Denotational Semantics for Compiler Construction (SL, PH), pp. 219–234.
ESOP-1996-PalsbergPL #adaptation #approach #source code: A New Approach to Compiling Adaptive Programs (JP, BPS, KJL), pp. 280–295.
CADE-1996-RousselM: A New Method for Knowledge Compilation: The Achievement by Cycle Search (OR, PM), pp. 493–507.
CADE-1996-SchutzG #generative #performance: Efficient Model Generation through Compilation (HS, TG), pp. 433–447.
JICSLP-1996-KellyMMSY #effectiveness #optimisation: Effectiveness of Optimizing Compilation for CLP(R) (ADK, ADM, KM, PJS, RHCY), pp. 37–51.
FPLE-1995-HilsdaleADF #using: Compiler Construction Using Scheme (EH, JMA, RKD, DPF), pp. 251–267.
FPCA-1995-Rojemo #haskell: Highlights from nhc — a Space-efficient Haskell Compiler (NR), pp. 282–292.
FPCA-1995-Wand #correctness #parallel: Compiler Correctness for Parallel Languages (MW), pp. 120–134.
SEKE-1995-Auguston #programming language: Programming language RIGAL as a compiler writing tool (MA), p. 500.
OOPSLA-1995-MasuharaMAY #concurrent #object-oriented #partial evaluation #using: Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation (HM, SM, KA, AY), pp. 300–315.
OOPSLA-1995-Myers #bidirectional #layout: Bidirectional Object Layout for Separate Compilation (ACM), pp. 124–139.
AdaEurope-1995-Bundgaard #ada: An ANDF Based Ada 95 Compiler System (JB), pp. 81–98.
PLDI-1995-AgrawalSD #distributed #interprocedural #memory management: Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation (GA, JHS, RD), pp. 258–269.
PLDI-1995-LoE #optimisation #parallel #scheduling: Improving Balanced Scheduling with Compiler Optimizations that Increase Instruction-Level Parallelism (JLL, SJE), pp. 151–162.
PLDI-1995-ShaoA #ml #standard #type system: A Type-Based Compiler for Standard ML (ZS, AWA), pp. 116–129.
POPL-1995-HarperM #analysis #morphism #polymorphism #using: Compiling Polymorphism Using Intensional Type Analysis (RH, JGM), pp. 130–141.
SAS-1995-SerranoW #functional #named #optimisation #strict: Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages (MS, PW), pp. 366–381.
SAC-1995-HartensteinS #programming: Combining structural and procedural programming by parallelizing compilation (RWH, KS), pp. 130–134.
SAC-1995-Serrano #analysis #control flow #functional #paradigm: Control flow analysis: a functional languages compilation paradigm (MS), pp. 118–122.
ASF+SDF-1995-KampermanW #self: The New ASF Compiler — An Exercise in Self-Applicability (JFTK, HRW), pp. 271–293.
DAC-1995-ChandnaKBRS #ram: The Aurora RAM Compiler (AC, CDK, RBB, MR, KAS), pp. 261–266.
DAC-1995-FrenchLLO #simulation: A General Method for Compiling Event-Driven Simulations (RSF, MSL, JRL, KO), pp. 151–156.
LCT-RTS-1995-KopetzN #clustering #design #realtime: The Cluster Compiler — A Tool for the Design of Time-Triggered Real-Time Systems (HK, RN), pp. 108–116.
LCT-RTS-1995-Mueller #clustering: Compiler Support for Software-Based Cache Partitioning (FM), pp. 125–133.
PDP-1995-OBoyle #algorithm #locality: A hierarchical locality algorithm for NUMA compilation (MFPO), pp. 106–113.
PPoPP-1995-BordawekarCKKP #parallel #source code: A Model and Compilation Strategy for Out-of-Core Data Parallel Programs (RB, ANC, KK, CK, MHP), pp. 1–10.
PPoPP-1995-Tseng #optimisation: Compiler Optimizations for Eliminating Barrier Synchronization (CWT), pp. 144–155.
TAPSOFT-1995-GuedesHR #generative #object-oriented #prototype #semantics: Object Oriented Semantics Directed Compiler Generation: A Prototype (LCCG, EHH, JLR), pp. 807–808.
ICLP-1995-CarlsonC #constraints #finite: Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
ICLP-1995-CodognetD #c #named #prolog: WAMCC: Compiling Prolog to C (PC, DD), pp. 317–331.
ICLP-1995-KrallB #automaton #incremental #prolog: Incremental Global Compilation of Prolog with the Vienna Abstract Machine (AK, TB), pp. 333–347.
PODS-1994-StuckeyS #constraints #query: Compiling Query Constraints (PJS, SS), pp. 56–67.
LFP-1994-ClingerH #optimisation: λ, the Ultimate Label or a Simple Optimizing Compiler for Scheme (WDC, LTH), pp. 128–139.
KR-1994-Val #database #how: Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation (AdV), pp. 551–561.
SEKE-1994-CheathamFS #evolution #multi: Supporting multiple evolving compilers (TC, AFF, DCS), pp. 241–248.
AdaEurope-1994-Palm #multi: Life*ADA: An APSE Integrating Multiple Compiler (SUP), pp. 204–214.
PLDI-1994-AppelM #ml #standard: Separate Compilation for Standard ML (AWA, DBM), pp. 13–23.
PLDI-1994-EbciogluGKSZ: VLIW Compilation Techniques in a Superscalar Environment (KE, RDG, KCK, GMS, IZ), pp. 36–48.
PLILP-1994-Grivas #constraints #functional #logic #symbolic computation #towards: Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems (GG), pp. 455–456.
PLILP-1994-HamelG #towards: Towards a Provably Correct Compiler for OBJ3 (LHH, JAG), pp. 132–146.
PLILP-1994-Serrano #analysis #control flow #functional #higher-order #using: Using Higher-Order Control Flow Analysis When Compiling Functional Languages (MS), pp. 447–448.
POPL-1994-Leroy: Manifest Types, Modules, and Separate Compilation (XL), pp. 109–122.
TRI-Ada-1994-Dewar: The GNAT Compilation Model (RD), pp. 58–70.
TRI-Ada-1994-GasperoniB: Smart Recompilation and the GNAT Compiler (FG, PB), pp. 104–111.
TRI-Ada-1994-SchonbergB: The GNAT Project: A GNU-Ada 9X Compiler (ES, BB), pp. 48–57.
FSE-1994-BatoryTS #data type #re-engineering #scalability #using: Reengineering a Complex Application Using a Scalable Data Structure Compiler (DSB, JT, MS), pp. 111–120.
SAC-1994-AnconaDC #reuse: Reusing a compiler (MA, GD, AC), pp. 82–87.
SAC-1994-OgataD #multi #thread: Object allocation and dynamic compilation in MultithreadSmalltalk (KO, ND), pp. 452–456.
ASPLOS-1994-CarrMT #locality #optimisation: Compiler Optimizations for Improving Data Locality (SC, KSM, CWT), pp. 252–262.
ASPLOS-1994-HayashiDHKSISIS #architecture #interface: AP1000+: Architectural Support of PUT/GET Interface for Parallelizing Compiler (KH, TD, TH, YK, OS, NI, TS, HI, TS), pp. 196–207.
ASPLOS-1994-SkeppstedtS #algorithm #protocol: Simple Compiler Algorithms to Reduce Ownership Operhead in Cache Coherence Protocols (JS, PS), pp. 286–296.
CC-1994-AltAS: Cosy Compiler Phase Embedding with the CoSy Compiler Model (MA, UA, HvS), pp. 278–293.
CC-1994-BenkerBZ #array #fortran #interface #performance: Processing Array Statements and Procedure Interfaces in the PREPARE High Performance Fortran Compiler (SB, PB, HPZ), pp. 324–338.
CC-1994-GeorgeGR #optimisation: A Portable and Optimizing Back End for the SML/NJ Compiler (LG, FG, JHR), pp. 83–97.
CC-1994-JustianiH #array #c #dependence #optimisation #testing: Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.
CC-1994-MouraW #generative: Action Transformations in the ACTRESS Compiler Generator (HM, DAW), pp. 16–60.
CC-1994-Orbaek #generative #named #optimisation: OASIS: An Optimizing Action-Based Compiler Generator (PØ), pp. 1–15.
CC-1994-RingstromFP #generative #parallel #performance #specification: Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification (JR, PF, MP), pp. 248–262.
CC-1994-SlowikPP: Compiling Nested Loops for Limited Connectivity VLIWs (AS, GP, PP), pp. 143–157.
PDP-1994-AdamsGS #architecture #multi #named: Harp: A Statically Scheduled Multiple-instruction Issue Architecture And Its Compiler (RA, SMG, GBS), pp. 76–81.
ESOP-1994-Fradet #reduction: Compilation of Head and Strong Reduction (PF), pp. 211–224.
ICLP-1994-BoulangerS #abstract interpretation #approach: Compiling Control Revisited: A New Approach based upon Abstract Interpretation (DB, DDS), pp. 699–713.
ICLP-1994-BruscoliDPR #set: Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.
ICLP-1994-Haygood #prolog: Native Code Compilation in SICStus Prolog (RCH), pp. 190–204.
ILPS-1994-MichaylovP #constraints #linear #logic programming #optimisation #source code: Optimizing Compilation of Linear Arithmetic in a Class of Constraint Logic Programs (SM, BP), pp. 586–600.
ILPS-1994-SagonasW #prolog: A Portable Compiler for Integrating HiLog into Prolog Systems (KFS, DSW), p. 682.
FME-1993-RaoPS #development #tool support #verification: Verification Tools in the Development of Provably Correct Compilers (MRKKR, PKP, RKS), pp. 442–461.
FPCA-1993-BondorfP #partial evaluation: Compiling Actions by Partial Evaluation (AB, JP), pp. 308–320.
ICML-1993-Schwalb #network: Compiling Bayesian Networks into Neural Networks (ES), pp. 291–297.
ECOOP-1993-Jezequel #approach #library #parallel #reuse: Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach (JMJ), pp. 384–405.
TOOLS-EUROPE-1993-BergerS #c++ #database #relational #source code: A Compiler To Create Relational Database Schemes From Application Programs Written in C++ (EB, ES), pp. 75–86.
AdaEurope-1993-Tonndorf #ada #performance #validation: An Efficient Compiler Validation Method for Ada 9X (MT), pp. 95–107.
PLDI-1993-FlanaganSDF #continuation: The Essence of Compiling with Continuations (CF, AS, BFD, MF), pp. 237–247.
PLDI-1993-HongG #realtime #source code: Compiling Real-Time Programs into Schedulable Code (SH, RG), pp. 166–176.
PLILP-1993-AltSW #generative #parallel: Generation of Synchronization Code for Parallel Compilers (MA, GS, RW), pp. 420–421.
PLILP-1993-BurnM #analysis #correctness #optimisation #proving #strict: Proving the Correctness of Compiler Optimizations Based on Strictness Analysis (GLB, DLM), pp. 346–364.
TRI-Ada-1993-Brett #ada #implementation #what: Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System (BRB), pp. 277–287.
TRI-Ada-1993-Tonndorf #ada: An Integrated Tool Environment for Ada Compiler Validations (MT), pp. 268–276.
WSA-1993-TalpinJ: Compiling FX on the CM-2 (JPT, PJ), pp. 87–98.
Best-of-PLDI-1993-FlanaganSDF93a #continuation: The essence of compiling with continuations (with retrospective) (CF, AS, BFD, MF), pp. 502–514.
ICLP-1993-TickB #evaluation #kernel #performance #runtime: Performance Evaluation of Monaco Compiler and Runtime Kernel (ET, CB), pp. 757–773.
ILPS-1993-Zhou #on the #parametricity #prolog: On the Direct Parameter Passing Mechanism for Prolog Compilers (NFZ), p. 655.
LFP-1992-MacLachlan #lisp #python: The Python Compiler for CMU Common Lisp (RAM), pp. 235–246.
LFP-1992-Maranget #lazy evaluation #pattern matching: Compiling Lazy Pattern Matching (LM), pp. 21–31.
SEKE-1992-ChunH #approach #knowledge base #query: Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach (JC, LJH), pp. 109–115.
SEKE-1992-HacL #algorithm #distributed #parallel: A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application (AH, RRL), pp. 269–275.
AdaEurope-1992-Do #ada #challenge #integration #platform #reuse: Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms (TND), pp. 230–241.
LOPSTR-1992-Jimenez-MartinMM #lazy evaluation #performance #prolog: Efficient Compilation of Lazy Narrowing into Prolog (JAJM, JMC, JJMN), pp. 253–270.
PEPM-1992-HarnettM #object-oriented #performance #towards: Towards Efficient Compilation of a Dynamic Object-Oriented Language (SH, MM), pp. 82–89.
PLDI-1992-ChenC #parallel #prototype: Prototyping Fortran-90 Compilers for Massively Parallel Machines (MCC, JRC), pp. 94–105.
PLDI-1992-DiwanMH #garbage collection #static typing: Compiler Support for Garbage Collection in a Statically Typed Language (AD, JEBM, RLH), pp. 273–282.
PLDI-1992-GranlundK #branch #c #using: Eliminating Branches using a Superoptimizer and the GNU C Compiler (TG, RK), pp. 341–352.
PLDI-1992-TanL #analysis #data flow #logic programming #source code: Compiling Dataflow Analysis of Logic Programs (JT, IPL), pp. 106–115.
PLDI-1992-WortmanJ #concurrent: A Concurrent Compiler for Modula-2+ (DBW, MDJ), pp. 68–81.
PLILP-1992-KrallB #performance #prolog: Fast Prolog with VAM1p based Prolog Compiler (AK, TB), pp. 245–259.
POPL-1992-Jorgensen #generative #lazy evaluation #partial evaluation: Generating a Compiler for a Lazy Language by Partial Evaluation (JJ), pp. 258–268.
POPL-1992-Ohori #calculus #polymorphism: A Compilation Method for ML-Style Polymorphic Record Calculi (AO), pp. 154–165.
WSA-1992-Saint-James #industrial #partial evaluation: Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines (ESJ), pp. 102–108.
ASPLOS-1992-LiP #normalisation: Access Normalization: Loop Restructuring for NUMA Compilers (WL, KP), pp. 285–295.
ASPLOS-1992-MowryLG #algorithm #design #evaluation: Design and Evaluation of a Compiler Algorithm for Prefetching (TCM, MSL, AG), pp. 62–73.
CC-1992-Andersen #automation #c #generative #partial evaluation: Partial Evaluation of C and Automatic Compiler Generation (LOA), pp. 251–257.
CC-1992-BrownMW #action semantics #generative #named #semantics: Actress: An Action Semantics Directed Compiler Generator (DFB, HM, DAW), pp. 95–109.
CC-1992-ButhBFKLLM #development #implementation: Provably Correct Compiler Development and Implementation (BB, KHB, MF, BvK, YL, HL, MMO), pp. 141–155.
CC-1992-MantsivodaP: Compiling Flang (AM, VP), pp. 297–311.
CC-1992-Pettersson #automaton #finite: A Term Pattern-Match Compiler Inspired by Finite Automata Theory (MP), pp. 258–270.
CC-1992-Samples #data type #implementation #using: Compiler Implementation of ADTs Using Profile Data (ADS), pp. 72–87.
CC-1992-Weber #component #product line #reuse #runtime: Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components (CW), pp. 110–124.
DAC-1992-HuangD #pipes and filters #set #synthesis: High Level Synthesis of Pipelined Instruction Set Processors and Back-End Compilers (IJH, AMD), pp. 135–140.
ESOP-1992-Palsberg #generative: A Provably Correct Compiler Generator (JP), pp. 418–434.
LICS-1992-PfenningH #verification: Compiler Verification in LF (JH, FP), pp. 407–418.
VDME-1991-Blaue #set: A VDM Subset Compiler (CB), pp. 697–698.
VDME-1991-SchmidtH #generative #library: The VDM Domain Compiler: A VDM Class Library Generator (US, HMH), pp. 675–676.
ML-1991-CerboneD #optimisation: Knowledge Compilation to Speed Up Numerical Optimization (GC, TGD), pp. 600–604.
AdaEurope-1991-Curley #ada #approach #benchmark #metric: An Approach To Benchmarking Ada Compilation Systems (TC), pp. 87–108.
PEPM-1991-KhooS #inheritance #partial evaluation #using: Compiling Inheritance using Partial Evaluation (SCK, RSS), pp. 211–222.
PEPM-1991-McNerney #abstract interpretation #correctness #using #verification: Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation (TSM), pp. 106–115.
PEPM-1991-MichaylovP #polymorphism #λ-calculus: Compiling the Polymorphic λ-Calculus (SM, FP), pp. 285–296.
PLDI-1991-BromleyHMS #fortran: Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler (MB, SH, TSM, GLSJ), pp. 145–156.
PLILP-1991-ChenW #abstraction #higher-order #logic programming: Compilation of Predicate Abstractions in Higher-Order Logic Programming (WC, DSW), pp. 287–298.
PLILP-1991-ConselK #generative #prolog #semantics: Semantics-Directed Generation of a Prolog Compiler (CC, SCK), pp. 135–146.
PLILP-1991-Vollmer #case study #experience #logic programming #performance: Experiences with Gentle: Efficient Compiler Construction Based On Logic Programming (JV), pp. 425–426.
POPL-1991-SundareshH #incremental #partial evaluation: Incremental Compilation via Partial Evaluation (RSS, PH), pp. 1–13.
PPoPP-1991-HatcherLJQA #multi: A Production-Quality C* Compiler for Hypercube Multicomputers (PJH, AJL, RRJ, MJQ, RJA), pp. 73–82.
CAAP-1991-KounalisL #commutative #pattern matching: Compilation of Pattern Matching with Associative-Commutative Functions (EK, DL), pp. 57–73.
ICLP-1991-AggounB #overview: Overview of the CHIP Compiler System (AA, NB), pp. 775–789.
ICLP-1991-KorslootT #concurrent #logic programming #programming language: Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages (MK, ET), pp. 457–471.
ICLP-1991-Monin #prolog #using: Real-size Compiler Writing Using Prolog with Arrows (JFM), pp. 188–201.
ISLP-1991-Millroth #logic programming #source code: Reforming Compilation of Logic Programs (HM), pp. 485–499.
IWPTS-1991-Heijnk: Session on TTCN Compilers (RJH), p. 295.
LFP-1990-FeeleyM #parallel #performance #virtual machine: A Parallel Virtual Machine for Efficient Scheme Compilation (MF, JSM), pp. 119–130.
LFP-1990-PuelS #composition #pattern matching: Compiling Pattern Matching by Term Decomposition (LP, AS), pp. 273–281.
LFP-1990-WalinskyB #functional #parallel #programming language: A Functional Programming Language Compiler for Massively Parallel Computers (CW, DB), pp. 131–138.
SEKE-1990-Al-SukairiH #independence #linear #recursion: Query-Independent Compilation of Linear Recursions (AAS, LJH), pp. 177–182.
PLDI-1990-AndersonH #array #haskell: Compilation of Haskell Array Comprehensions for Scientific Computing (SA, PH), pp. 137–149.
PLDI-1990-HenryWF: The University of Washington Illustrating Compiler (RRH, KMW, BF), pp. 223–233.
PLDI-1990-Tseng #array #linear #source code: Compiling Programs for a Linear Systolic Array (PST), pp. 311–321.
PLILP-1990-BowenJP #approach #prototype #specification: An Approach to Verifiable Compiling Specification and Prototyping (JPB, JH, PKP), pp. 45–59.
PLILP-1990-Hanus #logic programming #similarity #source code: Compiling Logic Programs with Equality (MH), pp. 387–400.
PLILP-1990-Muck: Compilation of Narrowing (AM), pp. 16–29.
PLILP-1990-Queinnec #higher-order #lisp: Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.
WAGA-1990-Augusteijn #generative: The Elegant Compiler Generator System (LA), pp. 238–254.
WAGA-1990-KleinK #parallel: Parallel One-Pass Compilation (EK, KK), pp. 76–90.
WAGA-1990-Waite #attribute grammar #using: Use of Attribute Grammars in Compiler Construction (WMW), pp. 255–265.
CC-1990-BeneyB #logic programming #named: STARLET: An Affix-Based Compiler Compiler Designed as a Logic Programming System (JB, JFB), pp. 71–85.
CC-1990-FedeleL: Computer-Aided Building of a Compiler: An Example (CF, OL), pp. 212–214.
CC-1990-GroschE: A Tool Box for Compiler Construction (JG, HE), pp. 106–116.
CC-1990-Kastens #parallel: Compilation for Instruction Parallel Processors (UK), pp. 26–41.
CC-1990-KrohaF #multi #scheduling: A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System (PK, PF), pp. 132–146.
CC-1990-Larcheveque #incremental #lalr #parsing #using: Using an LALR Compiler Compiler to Generate Incremental Parsers (JML), pp. 147–164.
CC-1990-Mossenbock #generative #quality: A Generator for Production Quality Compilers (HM), pp. 42–55.
CC-1990-Sassa #generative #towards: Rie and Jun: Towards the Generation of all Compiler Phases (MS), pp. 56–70.
PPoPP-1990-RamkumarK #implementation #kernel #parallel #prolog: A Chare Kernel Implementation of a Parallel Prolog Compiler (BR, LVK), pp. 99–108.
ESOP-1990-ConselD: From Interpreting to Compiling Binding Times (CC, OD), pp. 88–105.
CADE-1990-LeeH #database #deduction: Substitution-based Compilation of Extended Rules in Deductive Databases (SHL, LJH), pp. 57–71.
CADE-1990-OhlbachH #logic #tutorial: Tutorial on Compilation techniques for Logics (HJO, AH), p. 683.
CLP-1990-Paakki90 #attribute grammar: A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing (JP), pp. 203–217.
CLP-1990-Taylor90 #prolog: LIPS on a MIPS: Results from a Prolog Compiler for a RISC (AT), pp. 174–185.
CLP-1990-VerschaetseSB90 #generative #performance: Generation and Compilation of Efficient Computation Rules (KV, DDS, MB), pp. 700–714.
NACLP-1990-Meier #prolog: Compilation of Compound Terms in Prolog (MM), pp. 63–79.
NACLP-1990-RoyD #analysis #data flow #optimisation #prolog: The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.
SIGMOD-1989-Cohen #database: Compiling Complex Database Transition Triggers (DC), pp. 225–234.
RTA-1989-DauchetD #term rewriting: Compilation of Ground Term Rewriting Systems and Applications (MD, AD), pp. 556–558.
FPCA-1989-Lester #architecture #distributed #named #recursion: Stacklessness: Compiling Recursion for a Distributed Architecture (DRL), pp. 116–128.
FPCA-1989-Traub #approach #clustering #functional #strict: Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages (KRT), pp. 75–88.
ML-1989-Keller #learning #performance: Compiling Learning Vocabulary from a Performance System Description (RMK), pp. 482–495.
SEKE-1989-HanHZ #set: Derivation of Magic Sets by Compilation (JH, LJH, NZ), pp. 164–171.
SEKE-1989-ReynoldsMP #metric #named: PM: A Metrics Driven Plan Compiler (RGR, JIM, SEP), pp. 25–30.
PLDI-1989-BernsteinGGKMNP #optimisation: Spill Code Minimization Techniques for Optimizing Compilers (DB, DQG, MCG, HK, YM, IN, RYP), pp. 258–263.
PLDI-1989-ChambersU #dynamic typing #named #object-oriented #optimisation #programming language: Customization: Optimizing Compiler Technology for SELF, A Dynamically-Typed Object-Oriented Programming Language (CC, DU), pp. 146–160.
PLDI-1989-FarrowS #attribute grammar: A VHDL Compiler Based on Attribute Grammar Methodology (RF, AGS), pp. 120–130.
PLDI-1989-GrossZZ #parallel: Parallel Compilation for a Parallel Machine (TRG, AZ, MZ), pp. 91–100.
PLDI-1989-HwuC #c #source code: Inline Function Expansion for Compiling C Programs (WmWH, PPC), pp. 246–257.
POPL-1989-KelseyH #program transformation: Realistic Compilation by Program Transformation (RK, PH), pp. 281–292.
Best-of-PLDI-1989-ChambersU89a #dynamic typing #object-oriented #optimisation #programming language: A retrospective on: “customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language” (with retrospective) (CC, DU), pp. 295–312.
ASPLOS-1989-CohnGLT #architecture #trade-off #word: Architecture and Compiler Tradeoffs for a Long Instruction Word Microprocessor (RC, TRG, MSL, PST), pp. 2–14.
DAC-1989-Jones #online #performance: Fast Online/Offline Netlist Compilation of Hierarchical Schematics (LGJ), pp. 822–825.
CCIPL-1989-FradetM #functional #λ-calculus: Compilation of Lambda-Calculus into Functional Machine Code (PF, DLM), pp. 155–166.
TAV-1989-Young: Verified Compilation in micro-Gypsy (WDY), pp. 20–26.
PODS-1988-Batory #concept #database: Concepts for a Database System Compiler (DSB), pp. 184–192.
SIGMOD-1988-Naughton #recursion: Compiling Separable Recursions (JFN), pp. 312–319.
VDME-1988-Arthan #ml #prototype #standard: Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.
OOPSLA-1988-JohnsonGZ #named #optimisation #smalltalk: TS: An Optimizing Compiler for Smalltalk (REJ, JOG, LWZ), pp. 18–26.
ALP-1988-Schnoebelen #functional #pattern matching: Refined Compilation of Pattern-Matching for Functional Languages (PS), pp. 233–243.
PLDI-1988-AllenJ #c #parallel: Compiling C for Vectorization, Parallelization, and Inline Expansion (RA, SJ), pp. 241–249.
PLDI-1988-AndrewsHY #design #implementation: Design and Implementation of the UW Illustrated Compiler (KA, RRH, WKY), pp. 105–114.
PLDI-1988-KeutzerW #hardware: Anatomy of a Hardware Compiler (KK, WW), pp. 95–104.
PLDI-1988-PlebanL #automation #imperative #programming language: An Automatically Generated, Realistic Compiler for an Imperative Programming Language (UFP, PL), pp. 222–232.
PLDI-1988-SeshadriWJWYS #analysis #concurrent #semantics: Semantic Analysis in a Concurrent Compiler (VS, DBW, MDJ, SW, CPY, IS), pp. 233–240.
PLDI-1988-WeinerR #prolog: A Piggy-back Compiler For Prolog (JLW, SR), pp. 288–296.
PLILP-1988-Attali #attribute grammar: Compiling TYPOL with Attribute Grammars (IA), pp. 252–272.
PLILP-1988-Hanus #prolog #specification: Formal Specification of a Prolog Compiler (MH), pp. 273–282.
PLILP-1988-Monin #experience #prolog: A Compiler Written in Prolog: The Véda Experience (JFM), pp. 119–131.
POPL-1988-Lam #array #optimisation #source code: Compiler Optimizations for Asynchronous Systolic Array Programs (MSL), pp. 309–318.
CCHSC-1988-Assmann #overview: A Short Review of High Speed Compilation (WA), pp. 1–10.
CCHSC-1988-Kastens #generative #interface #tool support: Abstract Interfaces for Compiler Generating Tools (UK), pp. 103–114.
CCHSC-1988-Penjam #object-oriented: Compiler Construction by Object-Oriented System Nut (JP), pp. 66–80.
CCHSC-1988-Poetzsch-Heffter #implementation #optimisation #specification: Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC (APH), pp. 190–203.
CCHSC-1988-Tarhio #evaluation #generative #lr #parsing: A Compiler Generator for Attributive Evaluation During LR Parsing (JT), pp. 146–159.
DAC-1988-BerkcandL: Analog Compilation Based on Successive Decompositions (EB, MAd, WL), pp. 369–375.
DAC-1988-Composano #design #process: Design Process Model in the Yorktown Silicon Compiler (RC), pp. 489–494.
DAC-1988-Diss: Circuit Compilers don’t have to be Slow (WCD), pp. 622–627.
DAC-1988-Hansen #hardware #logic #simulation: Hardware Logic Simulation by Compilation (CH), pp. 712–716.
DAC-1988-HartleyC: A Digit-Serial Silicon Compiler (RIH, PFC), pp. 646–649.
DAC-1988-OdawaraTHOHO #interface: A Human Machine Interface for Silicon Compilation (GO, MT, KH, OO, TH, MO), pp. 115–120.
PPEALS-1988-AlbertKLS #array #fortran: Compiling Fortran 8x Array Features for the Connection Machine Computer System (EA, KK, JDL, GLSJ), pp. 42–56.
PPEALS-1988-QuinnHJ #multi #source code: Compiling C* Programs for a Hypercube Multicomputer (MJQ, PJH, KCJ), pp. 57–65.
PPEALS-1988-StrammB #algorithm #heuristic: Communication-Sensitive Heuristics and Algorithms for Mapping Compilers (BS, FB), pp. 222–234.
ESOP-1988-JacobsL #logic programming #source code #strict: Compilation of Logic Programs for Restricted And-Parallelism (DJ, AL), pp. 284–297.
ESOP-1988-Takayama #analysis #named #proving: QPC: QJ-based Proof Compiler — Simple Examples and Analysis (YT), pp. 49–63.
CADE-1988-ButlerLO #automaton #performance #program transformation #prolog: Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine (RB, RL, RO), pp. 323–332.
JICSCP-1988-CosciaFLST88 #logic programming: Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment (PC, PF, GL, GS, LT), pp. 359–373.
JICSCP-1988-Hemmendinger88 #semantics: A Compiler and Semantic Analyzer Based on Categorial Grammar (DH), pp. 1474–1489.
JICSCP-1988-KlingerS88 #algorithm #exclamation: A Decision Tree Compilation Algorithm for FCP(!, : , ?) (SK, EYS), pp. 1315–1336.
SIGMOD-1987-NixonCLBMS #case study #experience #implementation #semantics: Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis (BAN, LC, DL, AB, JM, MS), pp. 118–131.
RTA-1987-Kaplan #term rewriting: A Compiler for Conditional Term Rewriting Systems (SK), pp. 25–41.
VDME-1987-Hass #development: Development and Application of a Meta IV Compiler (MH), pp. 118–140.
FPCA-1987-AppelM #ml #standard: A Standard ML compiler (AWA, DBM), pp. 301–324.
POPL-1987-HallW #strict: Compiling Strictness into Streams (CVH, DSW), pp. 132–143.
POPL-1987-LeeP #generative #semantics: A Realistic Compiler Generator Based on High-Level Semantics (PL, UFP), pp. 284–295.
ASPLOS-1987-BushSUH: Compiling Smalltalk-80 to a RISC (WRB, ADS, DU, PNH), pp. 112–116.
ASPLOS-1987-ColwellNOPR #architecture #scheduling: A VLIW Architecture for a Trace Scheduling Compiler (RPC, RPN, JJO, DBP, PKR), pp. 180–192.
ASPLOS-1987-WeissS #case study #pipes and filters: A Study of Scalar Compilation Techniques for Pipelined Supercomputers (SW, JES), pp. 105–109.
DAC-1987-ChenC #design #independence: A Design Rule Independent Cell Compiler (JSJC, DYC), pp. 466–471.
DAC-1987-Elias #case study #generative #layout #re-engineering: A Case Study in Silicon Compilation Software Engineering, HVDEV High Voltage Device Layout Generator (NJE), pp. 82–88.
DAC-1987-JohannsenTM: An Intelligent Compiler Subsystem for a Silicon Compiler (DLJ, SKT, KM), pp. 443–450.
DAC-1987-Kingsley #implementation #state machine: The Implementation of a State Machine Compiler (CK), pp. 580–583.
DAC-1987-SchuckWGK #design #experience #implementation: The ALGIC Silicon Compiler System: Implementation, Design Experience and Results (JS, NW, MG, GK), pp. 370–375.
ICLP-1987-Tamaki87 #prolog: Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages (HT), pp. 376–393.
SLP-1987-SchmidtKGB87 #deduction: Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration (HS, WK, UG, RB), pp. 234–243.
SLP-1987-Takayama87 #prolog #proving #source code: Writing Programs as QJ Proof and Compiling into Prolog Programs (YT), pp. 278–287.
LFP-1986-BrooksPMWBG #design #lisp #optimisation: Design of an Optimizing, Dynamically Retargetable Compiler for Common Lisp (RAB, DBP, JLM, JLW, EB, RPG), pp. 67–87.
LFP-1986-NielsonN #functional #semantics: Semantics Directed Compiling for Functional Languages (HRN, FN), pp. 249–257.
OOPSLA-1986-Atkinson #named #optimisation #smalltalk: Hurricane: An Optimizing Compiler for Smalltalk (RGA), pp. 151–158.
CRAI-1986-Goodenough #ada #testing #theory and practice #validation: Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.
POPL-1986-Chen #parallel: A Parallel Language and its Compilation to Multiprocessor Machines or VLSI (MCC), pp. 131–139.
POPL-1986-JorringS #staging: Compilers and Staging Transformations (UJ, WLS), pp. 86–96.
Best-of-PLDI-1986-KranzKRHPA #named #optimisation: Orbit: an optimizing compiler for scheme (with retrospective) (DAK, RK, JR, PH, JP, NA), pp. 175–191.
DAC-1986-GlesnerSS #named #statistics #verification: SCAT — a new statistical timing verifier in a silicon compiler system (MG, JS, RBS), pp. 220–226.
DAC-1986-JerrayaVJC: Principles of the SYCO compiler (AAJ, PV, RJ, BC), pp. 715–721.
DAC-1986-KrekelbergSSL #automation #layout #synthesis: Automated layout synthesis in the YASC silicon compiler (DEK, ES, GES, LSL), pp. 447–453.
DAC-1986-PutatundaSMC #named: HAPPI: a chip compiler based on double-level-metal technology (RP, DS, SM, JC), pp. 736–743.
DAC-1986-Solworth #named: GENERIC: a silicon compiler support language (JAS), pp. 524–530.
ESOP-1986-DamJ #generative #relational #semantics: Compiler Generation from Relational Semantics (MD, FJ), pp. 1–29.
ESOP-1986-TanakaK #concurrent #prolog #queue: Compiling Extended Concurrent Prolog — Single Queue Compilation (JT, MK), pp. 301–314.
CADE-1986-Stickel #implementation #prolog #proving #theorem proving: A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler (MES), pp. 573–587.
ICLP-1986-BowenBCT86 #design #implementation #incremental #performance #prolog: The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler (KAB, KAB, IC, AKT), pp. 650–656.
ICLP-1986-CodishS86: Compiling OR-parallelism into AND-parallelism (MC, EYS), pp. 283–297.
ICLP-1986-FujitaKTM86 #logic programming #named #programming language #prolog: Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog (MF, SK, HT, TMO), pp. 695–709.
ICLP-1986-Turk86 #optimisation: Compiler Optimizations for the WAM (AKT), pp. 657–662.
SLP-1986-BruynoogheSK86: Compiling Control (MB, DDS, BK), pp. 70–77.
RTA-1985-JonesSS #empirical #generative #partial evaluation: An Experiment in Partial Evaluation: The Generation of a Compiler Generator (NDJ, PS, HS), pp. 124–140.
FPCA-1985-Augustsson85 #pattern matching: Compiling Pattern Matching (LA), pp. 368–381.
POPL-1985-AnantharamanCFM: Compiling Path Expressions into VLSI Circuits (TSA, EMC, MJF, BM), pp. 191–204.
POPL-1985-PollockS #incremental: Incremental Compilation of Locally Optimized Code (LLP, MLS), pp. 152–164.
DAC-1985-AlthoffS #behaviour #modelling: A behavioral modeling system for cell compilers (JCA, RDS), pp. 468–474.
DAC-1985-BlackmanFR: The Silc silicon compiler: language and features (TB, JRF, CR), pp. 232–237.
DAC-1985-FungHK #design #testing: Design for testability in a silicon compilation environment (HSF, SH, RK), pp. 190–196.
DAC-1985-KrekelbergSJ: Yet another silicon compiler (DEK, GES, CSJ), pp. 176–182.
DAC-1985-SteinwegAPN #array: Silicon compilation of gate array bases (RLS, SJA, KP, SN), pp. 435–438.
SOSP-1985-MalkawiP #memory management #policy #source code: Compiler Directed Memory Management Policy For Numerical Programs (MM, JHP), pp. 97–106.
CAAP-1985-ChoppyGK #algebra #lisp #proving #semantics: A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics (CC, GG, SK), pp. 403–415.
SLP-1985-GanzingerH85 #composition #logic programming: Modular Logic Programming of Compilers (HG, MH), pp. 242–253.
SLP-1985-UedaC85 #concurrent #prolog: Concurrent Prolog Compiler on Top of Prolog (KU, TC), pp. 119–126.
LFP-1984-Augustsson #lazy evaluation #ml: A Compiler for Lazy ML (LA), pp. 218–227.
LFP-1984-Cardelli #functional: Compiling a Functional Language (LC), pp. 208–217.
LFP-1984-Clinger #semantics: The Scheme 311 Compiler: An Exercise in Denotational Semantics (WDC), p. 356–?.
POPL-1984-HudakK #combinator #functional: A Combinator-Based Compiler for a Functional Language (PH, DAK), pp. 122–132.
POPL-1984-MilosPL #implementation #pascal #revisited #specification: Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.
SCC-1984-FisherERN #parallel: Parallel processing: a smart compiler and a dumb machine (JAF, JRE, JCR, AN), pp. 37–47.
SCC-1984-Johnsson #evaluation #lazy evaluation #performance: Efficient compilation of lazy evaluation (TJ), pp. 58–69.
SCC-1984-Levy #reuse #type checking #usability: Type checking, separate compilation and reusability (MRL), pp. 285–289.
SCC-1984-Pleban #prototype #semantics #using: Compiler prototyping using formal semantics (UFP), pp. 94–105.
SCC-1984-Powell #optimisation: A portable optimizing compiler for Modula-2 (MLP), pp. 310–319.
SCC-1984-Reiss #approach #incremental: An approach to incremental compilation (SPR), pp. 144–156.
SCC-1984-Robbins #pascal #performance: Engineering a high-capacity Pascal compiler for high performance (DCR), pp. 300–309.
SCC-1984-SchmidtV #automation #multi: A multi-language compiler system with automatically generated codegenerators (US, RV), pp. 202–212.
SCC-1984-SchwartzDB #incremental: Incremental compilation in Magpie (MDS, NMD, VSB), pp. 122–131.
SCC-1984-Touzeau #fortran: A Fortran compiler for the FPS-164 scientific computer (RFT), pp. 48–57.
Best-of-PLDI-1984-FisherERN #parallel: Parallel processing: a smart compiler and a dumb machine (with retrospective) (JAF, JRE, JCR, AN), pp. 112–124.
Best-of-PLDI-1984-Johnsson #evaluation #lazy evaluation #performance: Efficient compilation of lazy evaluation (with retrospective) (TJ), pp. 125–138.
ICSE-1984-ClemmensenO #ada #case study #development #specification: Formal Specification and Development of an Ada Compiler — A VDM Case Study (GBC, ONO), pp. 430–440.
DAC-1984-Gajski: Silicon compilers and expert systems for VLSI (DDG), pp. 86–87.
DAC-1984-LursinsapG #constraints: Cell compilation with constraints (CL, DG), pp. 103–108.
DAC-1984-MartinezN: Methodology for compiler generated silicon structures (AM, SN), pp. 689–691.
DAC-1984-WieclawskiP #layout #network #optimisation: Optimization of negative gate networks realized in weinberger-LIKF layout in a boolean level silicon compiler (AW, MAP), pp. 703–704.
ICALP-1983-Ganzinger #composition #data type #semantics: Modular Compiler Descriptions Based on Abstract Semantic Data Types (HG), pp. 237–249.
Ada-1983-Briggs #ada #design: The Design of AIR and its Application to Ada Separate Compilation (JSB), pp. 60–75.
Ada-1983-Persch #using: The Use of Diana in Compilers, Language Transformers, Formatters and Debuggers (GP), pp. 76–87.
POPL-1983-CunyS #data-driven #execution #source code: Compilation of Data-Driven Programs for Synchronous Execution (JEC, LS), pp. 197–202.
POPL-1983-Wand #combinator: Loops in Combinator-Based Compilers (MW), pp. 190–196.
DAC-1983-EliasW #design: The IC Module Compiler, a VLSI system design aid (NJE, AWW), pp. 46–49.
GG-1982-Hoffmann #generative #graph grammar #modelling: Modelling compiler generation by graph grammars (BH), pp. 159–171.
POPL-1982-Farrow #attribute grammar #experience #grammarware: Experience with an Attribute Grammar-Based Compiler (RF), pp. 95–107.
POPL-1982-Paulson #generative #semantics: A Semantics-Directed Compiler Generator (LCP), pp. 224–233.
SCC-1982-AuslanderH #overview: An Overview of the PL.8 Compiler (MAA, MH), pp. 22–31.
SCC-1982-BodwinBKLP #experience #generative #semantics: Experience with an Experimental Compiler Generator Based on Denotational Semantics (JB, LB, KK, DL, UFP), pp. 216–229.
SCC-1982-BrooksGS #lisp #optimisation: An Optimizing Compiler for Lexically Scoped LISP (RAB, RPG, GLSJ), pp. 261–275.
SCC-1982-GanzingerGMW #generative #semantics: A Truly Generative Semantics-Directed Compiler Generator (HG, RG, UM, RW), pp. 172–184.
SCC-1982-GrissBH #lisp: Current Status of a Portable Lisp Compiler (MLG, EB, ACH), pp. 276–283.
SCC-1982-Kipps #cobol #experience #migration: Experience with Porting Techniques on a COBOL 74 Compiler (IMK), pp. 15–21.
SCC-1982-KoskimiesRS #attribute grammar #using: Compiler Construction Using Attribute Grammars (KK, KJR, MS), pp. 153–159.
SCC-1982-LaLondeR #flexibility: A Flexible Compiler Structure That Allows Dynamic Phase Ordering (WRL, JdR), pp. 134–139.
SCC-1982-Marshall #graph #linear: The Linear Graph Package, a Compiler Building Environment (HZM), pp. 294–300.
SCC-1982-Moor #parallel: An Applicative Compiler for a Parallel Machine (IWM), pp. 284–293.
SCC-1982-RudmikM #performance #scalability #source code: An Efficient Separate Compilation Strategy for Very Large Programs (AR, BGM), pp. 301–307.
SCC-1982-Sethi #aspect-oriented #control flow #semantics: Control Flow Aspects of Semantics Directed Compiling (RS), pp. 245–260.
SCC-1982-Seyfer #case study #experience #testing: Tailoring Testing to a Specific Compiler — Experiences (HKS), pp. 140–152.
Best-of-PLDI-1982-AuslanderH #overview: An overview of the PL.8 compiler (with retrospective) (MAA, MH), pp. 38–48.
ASPLOS-1982-FusaokaH #hardware #implementation: Compiler Chip: A Hardware Implementation of Compiler (AF, MH), pp. 92–95.
ASPLOS-1982-Harbison #architecture #optimisation: An Architectural Alternative to Optimizing Compilers (SPH), pp. 57–65.
ASPLOS-1982-Wiecek #case study #execution #set: A Case Study of VAX-11 Instruction Set Usage for Compiler Execution (CAW), pp. 177–184.
DAC-1982-GrayBR #array #design #using: Designing gate arrays using a silicon compiler (JPG, IB, PSR), pp. 377–383.
POPL-1981-Harrison #optimisation: Position Paper on Optimizing Compilers (WHH), pp. 88–89.
POPL-1981-Johnson #optimisation: Position Paper on Optimizing Compilers (SCJ), pp. 90–91.
POPL-1981-KuckKPLW #dependence #graph #optimisation: Dependence Graphs and Compiler Optimizations (DJK, RHK, DAP, BL, MW), pp. 207–218.
ICALP-1980-Mosses #approach #correctness: A Constructive Approach to Compiler Correctness (PDM), pp. 449–469.
LISP-1980-EmanuelsonH #embedded #lisp #on the: On Compiling Embedded Languages in LISP (PE, AH), pp. 208–215.
LISP-1980-Marti #concurrent #control flow #lisp: Compilation Techniques for a Control-Flow Concurrent LISP System (JM), pp. 203–207.
LISP-1980-MasinterD #lisp #optimisation: Local Optimization in a Compiler for Stack-based LISP Machines (LM, LPD), pp. 223–230.
LISP-1980-Rowan #lisp: A LISP Compiler Producing Compact Code (WR), pp. 216–222.
TFDA-1980-BjornerO #ada #development: The DDC Ada Compiler Development Project (DB, ONO), pp. 1–20.
SDCG-1980-DeRemerJ: Tree-affix dendrogrammars for languages and compilers (FD, RJ), pp. 300–319.
SDCG-1980-Gaudel #data type #specification: Specification of compilers as abstract data type representations (MCG), pp. 140–164.
SDCG-1980-JonesS #generative #semantics: Compiler generation from denotational semantics (NDJ, DAS), pp. 70–93.
SDCG-1980-Mosses #approach #correctness: A constructive approach to compiler correctness (PDM), pp. 189–210.
SDCG-1980-Raiha #case study #experience: Experiences with the compiler writing system HLP (KJR), pp. 350–362.
SDCG-1980-ThatcherWW #proving: More on advice on structuring compilers and proving them correct (JWT, EGW, JBW), pp. 165–188.
SDCG-1980-Turchin #automation #semantics: Semantic definitions in REFAL and the automatic production of compilers (VFT), pp. 441–474.
ICALP-1979-ThatcherWW #proving: More on Advice on Structuring Compilers and Proving Them Correct (JWT, EGW, JBW), pp. 596–615.
SCC-1979-Abrahams #pl-i: The CIMS PL/I compiler (PWA), pp. 107–116.
SCC-1979-BonkowskiGM #migration: Porting the Zed compiler (GBB, WMG, MAM), pp. 92–97.
SCC-1979-CattellNL #code generation #independence: Code generation in a machine-independent compiler (RGGC, JMN, BWL), pp. 65–75.
SCC-1979-Feldman #fortran #implementation #tool support #using: Implementation of a portable Fortran 77 compiler using modern tools (SIF), pp. 98–106.
SCC-1979-HansenSC #multi #pascal: Construction of a transportable, multi-pass compiler for extended Pascal (GJH, GAS, JDC), pp. 117–126.
SCC-1979-LeBlancF #implementation #on the: On implementing separate compilation in block-structured languages (RJL, CNF), pp. 139–143.
SCC-1979-MiltonKR #generative: An all(1) compiler generator (DRM, LWK, BRR), pp. 152–157.
SCC-1979-Pleban #matrix #recursion #using: The use of transition matrices in a recursive-descent compiler (UFP), pp. 144–151.
SCC-1979-RudmikL #code generation #design #optimisation #performance: Compiler design for efficient code generation and program optimization (AR, ESL), pp. 127–138.
Best-of-PLDI-1979-CattellNL #code generation #independence: Code generation in a machine-independent compiler (with retrospective) (RGGC, JMN, BWL), pp. 1–13.
DAC-1979-Gray: Introduction to silicon compilation (JPG), pp. 305–306.
DAC-1979-Johannsen: Bristle Blocks: A silicon compiler (DJ), pp. 310–313.
POPL-1978-GlanvilleG #code generation: A New Method for Compiler Code Generation (RSG, SLG), pp. 231–240.
POPL-1978-GuibasW #evaluation: Compilation and Delayed Evaluation in APL (LJG, DKW), pp. 1–8.
POPL-1978-Haraldsson #lisp: A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp (AH), pp. 195–202.
POPL-1978-Johnson #theory and practice: A Portable Compiler: Theory and Practice (SCJ), pp. 97–104.
ICALP-1977-AhoS #code generation #how #question: How Hard is Compiler Code Generation? (AVA, RS), pp. 1–15.
POPL-1977-Harrison #code generation #optimisation: A New Strategy for Code Generation — The General Purpose Optimizing Compiler (WHH), pp. 29–37.
DIPL-1976-IchbiahF #implementation: Language definition and compilation in LIS and its implementation (JI, GF), pp. 288–297.
ICSE-1976-WilhelmRCGLN #design #evaluation #generative: Design Evaluation of the Compiler Generating System MUGI (RW, KR, JC, HG, WL, RN), pp. 571–576.
POPL-1973-Morris73a #proving: Advice on Structuring Compilers and Proving Them Correct (FLM), pp. 144–152.
POPL-1973-Zosel #approach #parallel: A Parallel Approach to Compilation (MZ), pp. 59–70.
STOC-1969-Blum69a #formal method #programming language #semantics #towards: Towards a Theory of Semantics and Compilers for Programming Languages (EKB), pp. 217–227.
LISP-1963-Levin #algebra #lisp: Algebraic Compiler with LISP (ML), p. 7.
LISP-1963-McCarthy #lisp: The LISP 2 Compiler (JM), p. 8.
LISP-1963-Weizenbaum: Open Ended compilation (JW), p. 12.
LISP-1963-Yates #analysis #lisp #source code #word: LISP. Group Analysis programs. Λ LISP Compiler for a variable word machine (Gamma 30 Scientific) (RY), p. 15.