BibSLEIGH — compil stem

Used together with:

optim (131)
program (118)
languag (105)
time (102)
base (87)

Stem compil$ (all stems)

1191 papers:

DAC-2015-LiZHLHX #automation #compilation #performance #stack: Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DAC-2015-ZhangHXHC #compilation #framework #named: CMOST: a system-level FPGA compilation framework (PZ, MH, BX, HH, JC), p. 6.
DATE-2015-HollerKRRK #compilation #detection #evaluation: Evaluation of diverse compiling for software-fault detection (AH, NK, TR, KR, CK), pp. 531–536.
DATE-2015-KyrtatasSP #algebra #compilation #embedded #linear: A basic linear algebra compiler for embedded processors (NK, DGS, MP), pp. 1054–1059.
DATE-2015-OhYM #android #compilation #virtual machine: Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine (HSO, JHY, SMM), pp. 1048–1053.
DATE-2015-ThomasFCG #hardware: Transparent linking of compiled software and synthesized hardware (DBT, STF, GAC, DRG), pp. 1084–1089.
SIGMOD-2015-PerelmanR #compilation #named #query #worst-case: DunceCap: Compiling Worst-Case Optimal Query Plans (AP, CR), pp. 2075–2076.
SIGMOD-2015-UlrichG #compilation #query: The Flatter, the Better: Query Compilation Based on the Flattening Transformation (AU, TG), pp. 1421–1426.
VLDB-2015-CrottyGDKBCZ #architecture #compilation #workflow: An Architecture for Compiling UDF-centric Workflows (AC, AG, KD, TK, CB, UÇ, SZ), pp. 1466–1477.
ESOP-2015-EberlHN #compilation #probability: A Verified Compiler for Probability Density Functions (ME, JH, TN), pp. 80–104.
FASE-2015-NgoTGG #compilation #validation: Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
PLDI-2015-KoBS #named: LaminarIR: compile-time queues for structured streams (YK, BB, BS), pp. 121–130.
PLDI-2015-LidburyLCD #compilation #fuzzing #manycore: Many-core compiler fuzzing (CL, AL, NC, AFD), pp. 65–76.
PLDI-2015-MehtaY #compilation #optimisation #scalability #source code: Improving compiler scalability: optimizing large programs at small price (SM, PCY), pp. 143–152.
ICFP-2015-Chlipala #compilation #functional #optimisation: An optimizing compiler for a purely functional web-application language (AC), pp. 10–21.
ICFP-2015-NeisHKMDV #compilation #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 #compilation #functional #sql: Functional pearl: a SQL to C compiler in 500 lines of code (TR, NA), pp. 2–9.
ICFP-2015-SmolkaEFG #compilation #performance: A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.
ICEIS-v1-2015-JuniorS #approach #compilation #optimisation #reasoning #set: Finding Good Compiler Optimization Sets — A Case-based Reasoning Approach (NLQJ, AFdS), pp. 504–515.
ECOOP-2015-ShinnarSH #calculus #compilation: A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.
OOPSLA-2015-LeSS #compilation #debugging #probability: Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.
OOPSLA-2015-MarrD #partial evaluation #self: Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters (SM, SD), pp. 821–839.
OOPSLA-2015-ZhengBB #compilation #profiling: Accurate profiling in the presence of dynamic compilation (YZ, LB, WB), pp. 433–450.
GPCE-2015-MakarovH #compilation #multi #named: CLOP: a multi-stage compiler to seamlessly embed heterogeneous code (DM, MH), pp. 109–112.
PADL-2015-CruzR #compilation #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 #compilation #constraints: CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry (MH), pp. 74–89.
POPL-2015-VafeiadisBCMN #compilation #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.
SAC-2015-DabrowskiLP #compilation #concurrent #thread: Nested atomic sections with thread escape: compilation (FD, FL, TP), pp. 2099–2106.
SAC-2015-DieumegardGKTT #compilation #contract: Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
ICSE-v1-2015-PapadakisJHT #compilation #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.
ASPLOS-2015-HeckeyPJHKBFCM #communication #compilation #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 #compilation #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 #compilation #library #refactoring #scala: A Refactoring Library for Scala Compiler Extensions (AS, NZ, NN), pp. 31–48.
LCTES-2015-LiuJLT #compilation #fault #lightweight #named: Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.
ICLP-J-2015-AlvianoL #compilation #complexity #programming #set: Complexity and compilation of GZ-aggregates in answer set programming (MA, NL), pp. 574–587.
ICLP-J-2015-BlackmoreRE #approach #compilation #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 #compilation #fixpoint #logic programming #source code #using: Knowledge compilation of logic programs using approximation fixpoint theory (BB, GVdB), pp. 464–480.
SAT-2015-BovaCMS #compilation #on the: On Compiling CNFs into Structured Deterministic DNNFs (SB, FC, SM, FS), pp. 199–214.
ASE-2014-UbayashiALLHK #compilation #verification: Abstraction-aware verifying compiler for yet another MDD (NU, DA, PL, YNL, SH, YK), pp. 557–562.
DAC-2014-RahimiGLCBG #architecture #collaboration #compilation #energy: Energy-Efficient GPGPU Architectures via Collaborative Compilation and Memristive Memory-Based Computing (AR, AG, MALM, KTC, LB, RKG), p. 6.
DATE-2014-RehmanKSH #compilation #reliability: Compiler-driven dynamic reliability management for on-chip systems under variabilities (SR, FK, MS, JH), pp. 1–4.
SIGMOD-2014-Sedlar #compilation #how: How i learned to stop worrying and love compilers (ES), pp. 1–2.
ESOP-2014-BeringerSDA #c #compilation: Verified Compilation for Shared-Memory C (LB, GS, RD, AWA), pp. 107–127.
ESOP-2014-PercontiA #compilation #multi #semantics #using #verification: Verifying an Open Compiler Using Multi-language Semantics (JTP, AA), pp. 128–148.
ICSME-2014-KononenkoZG #compilation #question #what: Compiling Clones: What Happens? (OK, CZ, MWG), pp. 481–485.
SCAM-2014-TliliFBDH #scalability #security #verification: Scalable Security Verification of Software at Compile Time (ST, JMF, AB, BD, SH), pp. 115–124.
PEPM-2014-MiaoS #java #metaprogramming: Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.
PEPM-2014-Scholz #case study #compilation #experience #partial evaluation: Partial evaluation as universal compiler tool: experiences from the SAC Eco system (SBS), pp. 95–96.
PLDI-2014-JagannathanPVPL #compilation #refinement: Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.
PLDI-2014-LeAS #compilation #equivalence #validation: Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.
PLDI-2014-PhothilimthanaJSTCB #architecture #compilation #named #power management: Chlorophyll: synthesis-aided compiler for low-power spatial architectures (PMP, TJ, RS, NT, SC, RB), p. 42.
PLDI-2014-RompfSBLCO #compilation #jit #precise: Surgical precision JIT compilers (TR, AKS, KJB, HL, HC, KO), p. 8.
PLDI-2014-TavarageriKS #detection #fault #memory management: Compiler-assisted detection of transient memory errors (ST, SK, PS), p. 24.
FLOPS-2014-Bahr #compilation #correctness #graph #proving #using: Proving Correctness of Compilers Using Structured Graphs (PB), pp. 221–237.
ILC-2014-Nunes-Harwitt #compilation #prolog: From Naïve to Norvig On Deriving a PROLOG Compiler (ANH), p. 70.
VISSOFT-2014-BarikLCM #approach #compilation #developer #how #visualisation: How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction (TB, KL, SC, ERMH), pp. 87–96.
HILT-2014-Ball #compilation #correctness #logic #research #verification: Correctness via compilation to logic: a decade of verification at microsoft research (TB), pp. 69–70.
ICML-c2-2014-PaigeW #compilation #probability #programming language: A Compilation Target for Probabilistic Programming Languages (BP, FW), pp. 1935–1943.
MoDELS-2014-ChakiE #compilation #distributed #modelling #verification: Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
MoDELS-2014-ChakiE #compilation #distributed #modelling #verification: Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
OOPSLA-2014-BosboomRWA #compilation #named #programming: StreamJIT: a commensal compiler for high-performance stream programming (JB, SR, WFW, SPA), pp. 177–195.
OOPSLA-2014-KumarH #compilation #matlab #named #performance: MIX10: compiling MATLAB to X10 for high performance (VK, LJH), pp. 617–636.
OOPSLA-2014-WangCC #abstraction #compilation #verification: Compiler verification meets cross-language linking via data abstraction (PW, SC, AC), pp. 675–690.
GPCE-2014-Asai #compilation #using: Compiling a reflective language using MetaOCaml (KA), pp. 113–122.
LOPSTR-2014-AriasLM #compilation #constraints #declarative #logic programming: Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.
LOPSTR-2014-SchreyeNN #compilation #deduction: Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction (DDS, VN, CJN), pp. 21–38.
PPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy #performance: Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.
PADL-2014-LakinP #compilation #functional #programming language #using: Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.
POPL-2014-DarulovaK #compilation: Sound compilation of reals (ED, VK), pp. 235–248.
POPL-2014-DissegnaLR #abstract interpretation #compilation: Tracing compilation by abstract interpretation (SD, FL, FR), pp. 47–60.
ASPLOS-2014-DingZZES #compilation #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.
ASPLOS-2014-SchulteDHFW #energy #optimisation: Post-compiler software optimization for reducing energy (EMS, JD, SH, SF, WW), pp. 639–652.
CC-2014-AulerBHMT #adaptation #compilation #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 #compilation #named: CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
CC-2014-PrinzSA #compilation #process #towards: A First Step towards a Compiler for Business Processes (TMP, NS, WA), pp. 238–243.
CGO-2014-DingEO #architecture #compilation #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 #compilation #library: Extending the PCRE Library with Static Backtracking Based Just-in-Time Compilation Support (ZH), p. 306.
CGO-2014-JimboreanKSBK #approach #compilation #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-NagarakatteMZ #named #pointer: WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking (SN, MMKM, SZ), p. 175.
CGO-2014-SpampinatoP #algebra #compilation #linear: A Basic Linear Algebra Compiler (DGS, MP), p. 23.
HPCA-2014-TsengT #named #thread: CDTT: Compiler-generated data-triggered threads (HWT, DMT), pp. 650–661.
HPDC-2014-LeeV #compilation #named #performance #research: OpenARC: open accelerator research compiler for directive-based, efficient heterogeneous computing (SL, JSV), pp. 115–120.
LCTES-2014-ChaudharyFT #compilation #named #specification: em-SPADE: a compiler extension for checking rules extracted from processor specifications (SC, SF, LT), pp. 105–114.
LCTES-2014-LezuoPK #compilation #named #state machine: CASM: optimized compilation of abstract state machines (RL, PP, AK), pp. 13–22.
LCTES-2014-MartinsNDMC #clustering #compilation #optimisation #sequence #using: Exploration of compiler optimization sequences using clustering-based selection (LGAM, RN, ACBD, EM, JMPC), pp. 63–72.
PPoPP-2014-Rubin #compilation #question #research #what: Heterogeneous computing: what does it mean for compiler research? (NR), pp. 315–316.
VMCAI-2014-LopesM #compilation #optimisation #synthesis: Weakest Precondition Synthesis for Compiler Optimizations (NPL, JM), pp. 203–221.
DAC-2013-AgostaBMP #analysis: Compiler-based side channel vulnerability analysis and optimized countermeasures application (GA, AB, MM, GP), p. 6.
DAC-2013-NajjarV #compilation #perspective: FPGA code accelerators — the compiler perspective (WAN, JRV), p. 6.
DAC-2013-RahimiBG #architecture: Aging-aware compiler-directed VLIW assignment for GPGPU architectures (AR, LB, RKG), p. 6.
DAC-2013-WagstaffGFT #architecture #partial evaluation #set: Early partial evaluation in a JIT-compiled, retargetable instruction set simulator generated from a high-level architecture description (HW, MG, BF, NPT), p. 6.
DATE-2013-HanCL #compilation: Compiling control-intensive loops for CGRAs with state-based full predication (KH, KC, JL), pp. 1579–1582.
DATE-2013-LuMS #embedded #performance #simulation: Fast cache simulation for host-compiled simulation of embedded software (KL, DMG, US), pp. 637–642.
DATE-2013-MohanramWI #certification #compilation #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 #compilation #framework #metamodelling #parametricity #synthesis: A meta-model assisted coprocessor synthesis framework for compiler/architecture parameters customization (SX, GP, VZ, CS), pp. 659–664.
DocEng-2013-PinkneyBB #readability: No need to justify your choice: pre-compiling line breaks to improve eBook readability (AJP, SRB, DFB), pp. 237–240.
SIGMOD-2013-BernsteinJPRT #compilation #incremental: Incremental mapping compilation in an object-to-relational mapping system (PAB, MJ, JP, GR, JFT), pp. 1269–1280.
VLDB-2013-Viglas #compilation #query #sql: Just-in-time compilation for SQL query processing (SV), pp. 1190–1191.
ITiCSE-2013-Rodriguez-CerezoGS #compilation #comprehension #concept #education #interactive #simulation: Interactive educational simulations for promoting the comprehension of basic compiler construction concepts (DRC, MGA, JLSR), pp. 28–33.
ESOP-2013-BudiuGP #compilation: The Compiler Forest (MB, JG, GDP), pp. 21–40.
CSMR-2013-JezekHB #analysis #compilation #library: Supplying Compiler’s Static Compatibility Checks by the Analysis of Third-Party Libraries (KJ, LH, PB), pp. 375–378.
PEPM-2013-MartinezVP #compilation #exclamation #haskell #performance: Just do it while compiling!: fast extensible records in haskell (BM, MV, AP), pp. 77–86.
PLDI-2013-ChenGZWFER #compilation #fuzzing: Taming compiler fuzzers (YC, AG, CZ, WKW, XF, EE, JR), pp. 197–208.
PLDI-2013-MorissetPN #compilation #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 #compilation #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.
ICFP-2013-KeepD #compilation #development #framework: A nanopass framework for commercial compiler development (AWK, RKD), pp. 343–350.
IFL-2013-DayH #compilation: Compilation à la Carte (LED, GH), p. 13.
TOOLS-EUROPE-J-2012-LilisS13 #approach #debugging #fault #metaprogramming: An Integrated Approach to Source Level Debugging and Compile Error Reporting in Metaprograms (YL, AS), pp. 1–26.
ECOOP-2013-AuerbachBCFR #compilation #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.
ECOOP-2013-SujeethRBLCPWPJOO #composition #domain-specific language #reuse: Composition and Reuse with Compiled Domain-Specific Languages (AKS, TR, KJB, HL, HC, VP, MW, AP, VJ, MO, KO), pp. 52–78.
LOPSTR-2013-AntoyJ #compilation #functional #logic: Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.
POPL-2013-FournetSCDSL #compilation #javascript: Fully abstract compilation to JavaScript (CF, NS, JC, PÉD, PYS, BL), pp. 371–384.
POPL-2013-RompfSABJLJOO #compilation #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 #compilation #embedded #incremental #syntax: Incremental concrete syntax for embedded languages with support for separate compilation (TD, ME, MM), pp. 615–632.
ESEC-FSE-2013-HawblitzelLPHGFDW #compilation #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 #compilation #flexibility: Compiling mockups to flexible UIs (NS, RK), pp. 312–322.
ASPLOS-2013-TangMWDS #compilation #named: ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.
CC-2013-KempfVP #identification #parallel: Compiler-Guided Identification of Critical Sections in Parallel Code (SK, RV, MP), pp. 204–223.
CGO-2013-SuiLX #adaptation #compilation #optimisation: Query-directed adaptive heap cloning for optimizing compilers (YS, YL, JX), p. 11.
HPCA-2013-FarooqKJ #branch #compilation #predict: Store-Load-Branch (SLB) predictor: A compiler assisted branch prediction for data dependent branches (MUF, K, LKJ), pp. 59–70.
LCTES-2013-LiJZHX #compilation #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 #compilation #concurrent #data type #performance: Compiler aided manual speculation for high performance concurrent data structures (LX, MLS), pp. 47–56.
SOSP-2013-RossbachYCMF #compilation #named #runtime: Dandelion: a compiler and runtime for heterogeneous systems (CJR, YY, JC, JPM, DF), pp. 49–68.
ICLP-J-2013-CostaV #named: BigYAP: Exo-compilation meets UDI (VSC, DV), pp. 799–813.
ICLP-J-2013-JansenJJ #compilation #induction #prolog: Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.
SAT-2013-RazgonP #clique #compilation: Cliquewidth and Knowledge Compilation (IR, JP), pp. 335–350.
TLCA-2013-Peyton-Jones #compilation #haskell: Type-Directed Compilation in the Wild: Haskell and Core (SLPJ), p. 1.
DAC-2012-AuerbachBBCFRS #compilation #runtime: A compiler and runtime for heterogeneous computing (JSA, DFB, IB, PC, SJF, RMR, SS), pp. 271–276.
DAC-2012-RehmanSH #compilation #scheduling: Instruction scheduling for reliability-aware compilation (SR, MS, JH), pp. 1292–1300.
DAC-2012-SartoriK #compilation #energy #performance: Compiling for energy efficiency on timing speculative processors (JS, RK), pp. 1301–1308.
DATE-2012-TanLXTC #branch #energy #predict #stack: Energy-efficient branch prediction with Compiler-guided History Stack (MT, XL, ZX, DT, XC), pp. 449–454.
DATE-2012-WangH #compilation #embedded #optimisation #simulation: Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
VLDB-2012-FinkHO #compilation #database #probability: Aggregation in Probabilistic Databases via Knowledge Compilation (RF, LH, DO), pp. 490–501.
ICPC-2012-Zhang #product line: Extraction and improvement of conditionally compiled product line code (BZ), pp. 257–258.
SCAM-2012-AftandilianSPK #compilation #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 #compilation #named: CAWDOR: Compiler Assisted Worm Defense (JY, RJ), pp. 54–63.
PEPM-2012-Puschel #compilation #performance: Compiling math to fast code (MP), pp. 1–2.
PLDI-2012-DubachCRBF #architecture #compilation: 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 #compilation #design #static analysis: Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.
PLDI-2012-LiuZJDK #compilation #framework #parallel: A compiler framework for extracting superword level parallelism (JL, YZ, OJ, WD, MTK), pp. 347–358.
PLDI-2012-RegehrCCEEY #c #compilation #debugging #reduction #testing: Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
PLDI-2012-SamadiHMLM #adaptation #compilation: Adaptive input-aware compilation for graphics engines (MS, AH, MM, JL, SAM), pp. 13–22.
FLOPS-2012-AntoyP #compilation #functional #logic: Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.
IFM-2012-NgoTGGB #compilation #equation #verification: Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
ICFP-2012-PikeWNG #case study #compilation #experience: Experience report: a do-it-yourself high-assurance compiler (LP, NW, SN, AG), pp. 335–340.
ICFP-2012-VytiniotisJM #compilation #fault #proving #similarity: Equality proofs and deferred type errors: a compiler pearl (DV, SLPJ, JPM), pp. 341–352.
HILT-2012-KanigSD #compilation #convergence #named #verification: Hi-Lite: the convergence of compiler technology and program verification (JK, ES, CD), pp. 27–34.
HILT-2012-Kirtchev #compilation #implementation #performance #robust: A new robust and efficient implementation of controlled types in the GNAT compiler (HHK), pp. 43–50.
ECMFA-2012-VarroAS #pattern matching #unification: Unification of Compiled and Interpreter-Based Pattern Matching Techniques (GV, AA, AS), pp. 368–383.
ECOOP-2012-Odersky #compilation: When Compilers Are Mirrors (MO), p. 1.
OOPSLA-2012-CastanosEINNOW #compilation #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 #compilation #java #jit #multi: Adaptive multi-level compilation in a trace-based Java JIT compiler (HI, HH, PW, TN), pp. 179–194.
OOPSLA-2012-KulkarniC #compilation #machine learning #optimisation #problem #using: Mitigating the compiler optimization phase-ordering problem using machine learning (SK, JC), pp. 147–162.
OOPSLA-2012-SreeramP #compilation #transaction: Safe compiler-driven transaction checkpointing and recovery (JS, SP), pp. 41–56.
OOPSLA-2012-ZhaoPYQWGOPMET #compilation #php: The HipHop compiler for PHP (HZ, IP, MY, XQ, MW, QG, GO, AP, SM, JE, ST), pp. 575–586.
TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise: Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
PPDP-2012-TriossiORF #compilation #hardware #parallel: Compiling CHR to parallel hardware (AT, SO, AR, TWF), pp. 173–184.
POPL-2012-BattyMOSS #c #c++ #compilation #concurrent: Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
POPL-2012-MonsantoFHW #compilation #network #programming language #runtime: A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
SAC-PL-J-2009-J-BiggarVG12 #compilation #scripting language: A practical solution for achieving language compatibility in scripting language compilers (PB, EdV, DG), pp. 971–989.
SAC-2012-JeonC #javascript #jit #reuse: Reuse of JIT compiled code in JavaScript engine (SJ, JC), pp. 1840–1842.
SAC-2012-MaggiorePBA #3d #compilation #performance #safety: A compilation technique to increase X3D performance and safety (GM, FP, MB, MA), pp. 969–974.
SAC-2012-TinelliCSD #automation #compilation #composition #sql #standard: Knowledge compilation for automated Team Composition exploiting standard SQL (ET, SC, EDS, FMD), pp. 1680–1685.
ICSE-2012-CookHSS #compilation #composition #specification #using #verification: Specification engineering and modular verification using a web-integrated verifying compiler (CTC, HKH, HS, MS), pp. 1379–1382.
CC-2012-FarooqCJ #branch #compilation #predict: Compiler Support for Value-Based Indirect Branch Prediction (MUF, LC, LKJ), pp. 185–199.
CC-2012-ZhaoSAK #compilation: Compiler Support for Fine-Grain Software-Only Checkpointing (C(Z, JGS, CA, AK), pp. 200–219.
CGO-2012-KerrDY #compilation #kernel: Dynamic compilation of data-parallel kernels for vector processors (AK, GFD, SY), pp. 23–32.
CGO-2012-MannarswamyG #compilation #transaction: Reconciling transactional conflicts with compiler’s help (SSM, RG), pp. 53–62.
CGO-2012-MurrayF #automation #compilation #set: Compiling for automatically generated instruction set extensions (ACM, BF), pp. 13–22.
CGO-2012-TangMS #compilation: Compiling for niceness: mitigating contention for QoS in warehouse scale computers (LT, JM, MLS), pp. 1–12.
LCTES-2012-GerardGPP #array #compilation #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.
LCTES-2012-LiZXH #embedded #hybrid: Compiler-assisted preferred caching for embedded systems with STT-RAM based hybrid cache (QL, MZ, CJX, YH), pp. 109–118.
ICLP-J-2012-Cervesato #compilation #logic programming #source code: An Improved Proof-Theoretic Compilation of Logic Programs (IC), pp. 639–657.
ICLP-J-2012-MetodiC #compilation #constraints #finite #satisfiability: Compiling finite domain constraints to SAT with BEE (AM, MC), pp. 465–483.
ICLP-J-2012-MoralesHCH #compilation #javascript #lightweight: Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.
ISSTA-2012-YuL #approach #data flow #dependence #named #parallel #profiling: Multi-slicing: a compiler-supported parallel approach to data dependence profiling (HY, ZL), pp. 23–33.
ASE-2011-JustSK #analysis #compilation #java #mutation testing #named #performance: MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler (RJ, FS, GMK), pp. 612–615.
DAC-2011-CheC #compilation #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-RazaghiG #development #embedded #manycore #realtime: Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
DATE-2011-TraulsenAH #c #compilation: Compiling SyncCharts to Synchronous C (CT, TA, RvH), pp. 563–566.
DATE-2011-TsengHWFC #black box #compilation #library #modelling #power management: Black-box leakage power modeling for cell library and SRAM compiler (CKT, SYH, CCW, SCF, JJC), pp. 637–642.
VLDB-2011-Neumann #compilation #hardware #performance #query: Efficiently Compiling Efficient Query Plans for Modern Hardware (TN0), pp. 539–550.
ITiCSE-2011-LorenzoVP #automation #compilation #evaluation: A proposal for automatic evaluation in a compiler construction course (EJL, JV, AP), pp. 308–312.
ITiCSE-2011-Urquiza-FuentesMVR #animation #compilation #education: Improving compilers education through symbol tables animations (JUF, FM, JÁVI, MRS), pp. 203–207.
ESOP-2011-FournetP #compilation #data flow #security: Compiling Information-Flow Security to Minimal Trusted Computing Bases (CF, JP), pp. 216–235.
CSMR-2011-CoutoVF #case study #compilation #product line #using: Extracting Software Product Lines: A Case Study Using Conditional Compilation (MVC, MTV, EF), pp. 191–200.
PLDI-2011-AnselMETCSSBY #compilation #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 #compilation #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 #compilation: A case for an SC-preserving compiler (DM, AS, TDM, MM, SN), pp. 199–210.
PLDI-2011-PrasadAG #automation #compilation #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 #compilation #comprehension #debugging: Finding and understanding bugs in C compilers (XY, YC, EE, JR), pp. 283–294.
FM-2011-Li #compilation #logic: Validated Compilation through Logic (GL), pp. 169–183.
ICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis: Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.
IFL-2011-Schilling #challenge #compilation #haskell: Challenges for a Trace-Based Just-In-Time Compiler for Haskell (TS), pp. 51–68.
MoDELS-2011-FlochYGDCRF #compilation #modelling #optimisation #question: Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? (AF, TY, CG, SD, BC, SVR, RBF), pp. 608–622.
MoDELS-2011-FlochYGDCRF #compilation #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 #compilation #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 #compilation #jit #policy: JIT compilation policy for modern machines (PAK), pp. 773–788.
GPCE-2011-NystromWD #compilation #named #runtime #scala: Firepile: run-time compilation for GPUs in scala (NN, DW, KD), pp. 107–116.
PADL-2011-Hinrichs #compilation #interactive #named #web: Plato: A Compiler for Interactive Web Forms (TLH), pp. 54–68.
POPL-2011-GuoP #compilation: The essence of compiling with traces (SyG, JP), pp. 563–574.
POPL-2011-JoishaSBBC #automation #compilation #effectiveness #optimisation #parallel #reuse #thread: 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 #compilation #concurrent: Relaxed-memory concurrency and verified compilation (JS, VV, FZN, SJ, PS), pp. 43–54.
GTTSE-2011-Blasband #compilation #legacy: Compilation of Legacy Languages in the 21st Century (DB), pp. 1–54.
LDTA-2011-GiegerichS #analysis #compilation: Yield grammar analysis in the Bellman’s GAP compiler (RG, GS), p. 7.
ASPLOS-2011-HoangFJ #compilation: Exploring circuit timing-aware language and compilation (GH, RBF, RJ), pp. 345–356.
CC-2011-LameedH #array #compilation #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 #compilation #testing: Dynamic Elimination of Overflow Tests in a Trace Compiler (RS, CG, FMQP, MAdSB), pp. 2–21.
CGO-2011-AnselWCOEA #algorithm #compilation: Language and compiler support for auto-tuning variable-accuracy algorithms (JA, YLW, CPC, MO, AE, SPA), pp. 85–96.
CGO-2011-InoueHWN #compilation #java #jit: A trace-based Java JIT compiler retrofitted from a method-based compiler (HI, HH, PW, TN), pp. 246–256.
CGO-2011-Leroy #compilation #how #question #verification #why: Formally verifying a compiler: Why? How? How far? (XL).
CGO-2011-NewburnSLMGTWDCWGLZ #array #compilation #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 #compilation #using: Using machines to learn method-specific compilation strategies (RNS, JNA, DS, MP, MGS), pp. 257–266.
CGO-2011-Yi #automation #compilation #optimisation #programmable: Automated programmable control and parameterization of compiler optimizations (QY), pp. 97–106.
LCTES-2011-BenvenisteBCP #compilation #hybrid: Divide and recycle: types and compilation for a hybrid synchronous language (AB, TB, BC, MP), pp. 61–70.
LCTES-2011-GrayA #api #architecture #embedded #manycore: Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation (IG, NCA), pp. 51–60.
PPoPP-2011-CatanzaroGK #compilation #embedded #named #parallel: Copperhead: compiling an embedded data parallel language (BCC, MG, KK), pp. 47–56.
ICLP-2011-Eichberg #compilation #java #prolog: Compiling Prolog to Idiomatic Java (ME), pp. 84–94.
RTA-2011-FalkeKS #analysis #c #compilation #source code #termination #using: Termination Analysis of C Programs Using Compiler Intermediate Languages (SF, DK, CS), pp. 41–50.
SAT-2011-GaoYX #case study #compilation: Phase Transitions in Knowledge Compilation: An Experimental Study (JG, MY, KX), pp. 364–366.
DAC-2010-BertinGB #compilation: Compilation and virtualization in the HiPEAC vision (CB, CG, KDB), pp. 96–101.
DAC-2010-CohenR #compilation #embedded #manycore: Processor virtualization and split compilation for heterogeneous multicore embedded systems (AC, ER), pp. 102–107.
DATE-2010-ChePC #compilation #manycore #source code: Compilation of stream programs for multicore processors that incorporate scratchpad memories (WC, AP, KSC), pp. 1118–1123.
DATE-2010-GuFP #compilation #hardware #scheduling: Path-based scheduling in a hardware compiler (RG, AF, RNP), pp. 1317–1320.
DATE-2010-KrekuTV #automation #compilation #generative: Automatic workload generation for system-level exploration based on modified GCC compiler (JK, KT, GV), pp. 369–374.
DATE-2010-ZhangDYMZKCPS #code generation #compilation #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.
DocEng-2010-Bagley #compilation #lessons learnt: Lessons from the dragon: compiling PDF to machine code (SRB), pp. 65–68.
SIGMOD-2010-MullerTA #compilation #named: Glacier: a query-to-hardware compiler (RM, JT, GA), pp. 1159–1162.
VLDB-2010-GrustRS #compilation: Avalanche-Safe LINQ Compilation (TG, JR, TS), pp. 162–172.
ESOP-2010-Lochbihler #compilation #java #thread #verification: Verifying a Compiler for Java Threads (AL), pp. 427–447.
PASTE-2010-RosenblumMZ #compilation: Extracting compiler provenance from program binaries (NER, BPM, XZ), pp. 21–28.
PLDI-2010-ChenCS #compilation #security #verification: Type-preserving compilation of end-to-end verification of security enforcement (JC, RC, NS), pp. 412–423.
PLDI-2010-TatlockL #compilation: Bringing extensibility to verified compilers (ZT, SL), pp. 111–121.
PLDI-2010-YangXKZ #compilation #memory management #optimisation #parallel: A GPGPU compiler for memory optimization and parallelism management (YY, PX, JK, HZ), pp. 86–97.
FLOPS-2010-BerardiT #compilation #decompiler #normalisation: Internal Normalization, Compilation and Decompilation for System Fbh (SB, MT), pp. 207–223.
ICFP-2010-McCreightCT #compilation #framework #garbage collection: A certified framework for compiling and executing garbage-collected languages (AM, TC, APT), pp. 273–284.
SIGAda-2010-JemliR #compilation #problem #static analysis #using: A methodology for avoiding known compiler problems using static analysis (MJ, JPR), pp. 23–30.
OOPSLA-2010-BebenitaBFLSTV #compilation #jit #named: SPUR: a trace-based JIT compiler for CIL (MB, FB, MF, FL, WS, NT, HV), pp. 708–725.
OOPSLA-2010-ChibaIZ #compilation #composition: Mostly modular compilation of crosscutting concerns by contextual predicate dispatch (SC, AI, SZ), pp. 539–554.
GPCE-2010-PorkolabS #domain-specific language #generative #integration #library #parsing: Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.
GPCE-2010-RompfO #approach #code generation #composition #domain-specific language #lightweight #runtime #staging: Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (TR, MO), pp. 127–136.
PPDP-2010-Serrano #compilation #css #named: HSS: a compiler for cascading style sheets (MS), pp. 109–118.
POPL-2010-Chlipala #compilation #functional: A verified compiler for an impure functional language (AC), pp. 93–106.
POPL-2010-Myreen #compilation: Verified just-in-time compiler on x86 (MOM), pp. 107–118.
POPL-2010-TateSL #compilation #generative #optimisation #proving: Generating compiler optimizations from proofs (RT, MS, SL), pp. 389–402.
LDTA-J-2007-AkessonEH #attribute grammar #compilation #implementation #jastadd #using: Implementation of a Modelica compiler using JastAdd attribute grammars (JÅ, TE, GH), pp. 21–38.
ASPLOS-2010-BerganADCG #compilation #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 #compilation #mining: Mining Opportunities for Code Improvement in a Just-In-Time Compiler (AJ, MM, JS, NG, JNA), pp. 10–25.
CGO-2010-ChenVHLRYCZ #compilation #hardware: Taming hardware event samples for FDO compilation (DC, NV, RH, SwL, VR, PY, WC, WZ), pp. 42–52.
CGO-2010-HosteGE #automation #compilation: Automated just-in-time compiler tuning (KH, AG, LE), pp. 62–72.
CGO-2010-JungMO #compilation #framework #hybrid #java #optimisation: Hybrid Java compilation and optimization for digital TV software platform (DHJ, SMM, HSO), pp. 73–81.
CGO-2010-StrattonGMAMHH #compilation #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 #compilation #framework #named #parallel: Prospect: a compiler framework for speculative parallelization (MS, TK, SW, US, MM, CF), pp. 131–140.
ISMM-2010-NagarakatteZMZ #c #compilation #named #safety: CETS: compiler enforced temporal safety for C (SN, JZ, MMKM, SZ), pp. 31–40.
LCTES-2010-OzturkKIN #compilation #multi #reliability: Compiler directed network-on-chip reliability enhancement for chip multiprocessors (ÖÖ, MTK, MJI, SHKN), pp. 85–94.
PPoPP-2010-MannarswamyCRS #compilation #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 #compilation #optimisation #source code: An optimizing compiler for GPGPU programs with input-data sharing (YY, PX, JK, HZ), pp. 343–344.
DAC-2009-WangH #approach #embedded #performance #simulation: An efficient approach for system-level timing simulation of compiler-optimized embedded software (ZW, AH), pp. 220–225.
DATE-2009-OzturkK #compilation #execution #memory management #using: Using dynamic compilation for continuing execution under reduced memory availability (ÖÖ, MTK), pp. 1373–1378.
DATE-2009-PelcatMAN #architecture #manycore #scalability: Scalable compile-time scheduler for multi-core architectures (MP, PM, SA, JFN), pp. 1552–1555.
DATE-2009-VecchieTS #compilation #execution #imperative: Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.
VLDB-2009-AhmadK #compilation #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 #compilation #query: Streams on Wires — A Query Compiler for FPGAs (RM, JT, GA), pp. 229–240.
PLDI-2009-AnselCWOZEA #algorithm #compilation #named: PetaBricks: a language and compiler for algorithmic choice (JA, CPC, YLW, MO, QZ, AE, SPA), pp. 38–49.
PLDI-2009-Oiwa #compilation #implementation: Implementation of the memory-safe full ANSI-C compiler (YO), pp. 259–269.
CIAA-2009-Prochazka #automaton #compilation #generative: Compiler Generator Based on Restarting Automata (JP), pp. 253–257.
ICFP-2009-BentonH #compilation #correctness: Biorthogonality, step-indexing and compiler correctness (NB, CKH), pp. 97–108.
ICEIS-ISAS-2009-EdgeSPC #compilation #policy #specification: Specifying and Compiling High Level Financial Fraud Policies into StreamSQL (MEE, PRFS, OP, MC), pp. 194–199.
RecSys-2009-HadzicO #dependence #functional: Uncovering functional dependencies in MDD-compiled product catalogues (TH, BO), pp. 377–380.
TOOLS-EUROPE-2009-BebenitaCGF #compilation #object-oriented: Stream-Based Dynamic Compilation for Object-Oriented Languages (MB, MC, AG, MF), pp. 77–95.
SAC-2009-BiggarVG #compilation #scripting language: A practical solution for scripting language compilers (PB, EdV, DG), pp. 1916–1923.
SAC-2009-VasudevanE #compilation #concurrent #manycore: Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore (NV, SAE), pp. 1626–1631.
GTTSE-2009-GjosaeterP #compilation #education #metamodelling: Teaching Computer Language Handling — From Compiler Theory to Meta-modelling (TG, AP), pp. 446–460.
CC-2009-CampanoniSAC #compilation #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 #compilation: Extensible Proof-Producing Compilation (MOM, KS, MJCG), pp. 2–16.
CC-2009-VasudevanTDE #analysis #concurrent #source code: Compile-Time Analysis and Specialization of Clocks in Concurrent Programs (NV, OT, JD, SAE), pp. 48–62.
CGO-2009-ChoiLCMM #compilation #embedded #manycore #realtime: Stream Compilation for Real-Time Embedded Multicore Systems (YC, YL, NC, SAM, TNM), pp. 210–220.
CGO-2009-LeatherBO #automation #compilation #generative #machine learning #optimisation: Automatic Feature Generation for Machine Learning Based Optimizing Compilation (HL, EVB, MFPO), pp. 81–91.
CGO-2009-MoseleyGP #compilation #named #optimisation #performance: OptiScope: Performance Accountability for Optimizing Compilers (TM, DG, RP), pp. 254–264.
LCTES-2009-LeatherOW #compilation #optimisation #performance: Raced profiles: efficient selection of competing compiler optimizations (HL, MFPO, BW), pp. 50–59.
LCTES-2009-LeeS #compilation #fault #optimisation: A compiler optimization to reduce soft errors in register files (JL, AS), pp. 41–49.
PPoPP-2009-BaskaranVBRRS #effectiveness #manycore #parallel #scheduling: Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors (MMB, NV, UB, JR, AR, PS), pp. 219–228.
PPoPP-2009-HuangEHC #compilation #optimisation #source code: Exploiting global optimizations for openmp programs in the openuh compiler (LH, DE, MWH, BMC), pp. 289–290.
PPoPP-2009-LeeME #automation #compilation #framework #optimisation: OpenMP to GPGPU: a compiler framework for automatic translation and optimization (SL, SJM, RE), pp. 101–110.
PPoPP-2009-MaA #compilation #data mining #mining #runtime: A compiler and runtime system for enabling data mining applications on gpus (WM, GA), pp. 287–288.
PPoPP-2009-SonKKC #multi: A compiler-directed data prefetching scheme for chip multiprocessors (SWS, MTK, MK, DRC), pp. 209–218.
ICLP-2009-Sneyers #compilation #complexity #constraints #optimisation: Optimizing Compilation and Computational Complexity of Constraint Handling Rules (JS), pp. 494–498.
DAC-2008-ZhouYP #compilation #reduction: Compiler-driven register re-assignment for register file power-density and temperature reduction (XZ, CY, PP), pp. 750–753.
DATE-2008-EdwardsVT #compilation #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 #compilation #energy: Instruction Cache Energy Saving Through Compiler Way-Placement (TMJ, SB, BDB, JC, MFPO), pp. 1196–1201.
SIGMOD-2008-SereniAM #compilation #datalog #optimisation: Adding magic to an optimising datalog compiler (DS, PA, OdM), pp. 553–566.
VLDB-2008-MathisWHH #compilation #named #xquery: XTCcmp: XQuery compilation on XTC (CM, AMW, TH, CRFH), pp. 1400–1403.
ITiCSE-2008-DemailleLP #compilation #education #set #tool support: A set of tools to teach compiler construction (AD, RL, BP), pp. 68–72.
PASTE-2008-ZaksP #compilation #program analysis #validation: Program analysis for compiler validation (AZ, AP), pp. 1–7.
PLDI-2008-ChenHPECCP #compilation #object-oriented #optimisation #scalability: Type-preserving compilation for large-scale optimizing object-oriented compilers (JC, CH, FP, ME, JC, DC, PP), pp. 183–192.
FLOPS-2008-KoninckSD #compilation #optimisation: Optimizing Compilation of CHR with Rule Priorities (LDK, PJS, GJD), pp. 32–47.
FM-2008-ZaksP #compilation #named #program analysis #validation: CoVaC: Compiler Validation by Program Analysis of the Cross-Product (AZ, AP), pp. 35–51.
ICFP-2008-GuillemetteM #compilation #haskell: A type-preserving compiler in Haskell (LJG, SM), pp. 75–86.
ICFP-2008-Ley-WildFA #compilation #continuation #self #source code: Compiling self-adjusting programs with continuations (RLW, MF, UAA), pp. 321–334.
ICGT-2008-Horvath #approach #graph transformation #towards #verification: Towards a Two Layered Verification Approach for Compiled Graph Transformation (ÁH), pp. 499–501.
ICML-2008-LiangDK #compilation: Structure compilation: trading structure for features (PL, HDI, DK), pp. 592–599.
KR-2008-FritzBM #compilation: ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.
OOPSLA-2008-GeorgesEB #compilation #evaluation #java #performance: Java performance evaluation through rigorous replay compilation (AG, LE, DB), pp. 367–384.
OOPSLA-2008-KatsBV #bytecode #compilation #normalisation: Mixing source and bytecode: a case for compilation by normalization (LCLK, MB, EV), pp. 91–108.
TOOLS-EUROPE-2008-NordioMM #compilation #eiffel #source code: Proof-Transforming Compilation of Eiffel Programs (MN, PM, BM), pp. 316–335.
TOOLS-EUROPE-2008-SteimannES #fault #testing #towards: Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors (FS, TEE, MS), pp. 60–79.
GPCE-2008-GottschlingL #c++ #compilation #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 #compilation #feature model #modelling #performance #scalability: Efficient compilation techniques for large scale feature models (MM, AW, KC, DDC), pp. 13–22.
SAC-2008-MascarenhasI #compilation #lua #performance: Efficient compilation of Lua for the CLR (FM, RI), pp. 217–221.
LDTA-2007-AkessonEH08 #compilation #development #jastadd #using: Development of a Modelica Compiler Using JastAdd (JÅ, TE, GH), pp. 117–131.
LDTA-2007-KallebergV08 #compilation #model transformation: Fusing a Transformation Language with an Open Compiler (KTK, EV), pp. 21–36.
SPLC-2008-ChaeB #compilation #product line: Building a Family of Compilers (WC, MB), pp. 307–316.
ASPLOS-2008-CoxBCKK #compilation #programming: Xoc, an extension-oriented compiler for systems programming (RC, TB, ATC, MFK, EK), pp. 244–254.
CC-2008-BergeronFD #compilation #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-ProkopskiV #safety #virtual machine: Compiler-Guaranteed Safety in Code-Copying Virtual Machines (GBP, CV), pp. 163–177.
CC-2008-Schwartzbach #compilation #design #how: Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation (MIS), pp. 1–15.
CC-2008-WangYW #compilation #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 #compilation #thread: Compiling for vector-thread architectures (MH, KA), pp. 205–215.
CGO-2008-HosteE #compilation #named #optimisation: Cole: compiler optimization level exploration (KH, LE), pp. 165–174.
CGO-2008-Rubin #challenge #compilation: Issues and challenges in compiling for graphics processors (NR), p. 2.
CGO-2008-WinkelKS #compilation #pipes and filters: Latency-tolerant software pipelining in a production compiler (SW, RK, RS), pp. 104–113.
HPCA-2008-Allen #compilation #parallel: Compilers and parallel computing systems (FEA), p. 429.
LCTES-2008-ChoPIDPK #array #compilation #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 #compilation #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 #compilation #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 #compilation #parallel: Compilers and parallel computing systems (FEA).
PPoPP-2008-BronevetskyMPRM #incremental: Compiler-enhanced incremental checkpointing for OpenMP applications (GB, DM, KP, RR, SAM), pp. 275–276.
PPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation #thread: Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.
ICLP-2008-CiprianoDM #compilation #declarative #modelling: Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.
ICLP-2008-JanssenHVC #compilation #fuzzy #set #source code: Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (JJ, SH, DV, MDC), pp. 362–376.
ICST-2008-RebeloLCS #aspectj #compilation #ml: A JML Compiler Based on AspectJ (HR, RMFL, MC, SS), pp. 541–544.
ASE-2007-Abi-AntounA #execution #object-oriented #source code #tool support: Tool support for the compile-time execution structure of object-oriented programs with ownership annotations (MAA, JA), pp. 543–544.
DATE-2007-HuangG #energy #optimisation #performance #realtime #scalability: Efficient and scalable compiler-directed energy optimization for realtime applications (PKH, SG), pp. 785–790.
DATE-2007-RenterghemDVVQ #compilation #development #using: Development of an ASIP enabling flows in ethernet access using a retargetable compilation flow (KVR, PD, DV, JV, XZQ), pp. 1418–1423.
SIGMOD-2007-GrustMRST #code generation #compilation #sql #xquery: A SQL: 1999 code generator for the pathfinder xquery compiler (TG, MM, JR, SS, JT), pp. 1162–1164.
SIGMOD-2007-MelnikAB #compilation #database: Compiling mappings to bridge applications and databases (SM, AA, PAB), pp. 461–472.
ESOP-2007-LiOS #compilation #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 #compilation #diagrams #multi #named #sequence chart #uml: S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.
PLDI-2007-Chlipala #assembly #compilation #λ-calculus: A certified type-preserving compiler from λ calculus to assembly language (AC), pp. 54–65.
PLDI-2007-LiZYZ #compilation #energy #named #network #performance: UCC: update-conscious compilation for energy efficiency in wireless sensor networks (WL, YZ, JY, JZ), pp. 383–393.
SAS-2007-ChenWWKC #aspect-oriented #compilation #functional: A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.
CIAA-2007-Yli-JyraK #compilation #parallel: A New Method for Compiling Parallel Replacement Rules (AYJ, KK), pp. 320–321.
CEFP-2007-JansenKP #compilation: From Interpretation to Compilation (JMJ, PWMK, RP), pp. 286–301.
ICFP-2007-Kennedy #compilation #continuation: Compiling with continuations, continued (AK), pp. 177–190.
IFL-2007-DijkstraFS #compilation #complexity #haskell: The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity (AD, JF, SDS), pp. 57–74.
IFL-2007-Feeley #c #compilation: Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler (MF), pp. 237–253.
IFL-2007-Kleeblatt #dependent type #using: Checking Dependent Types Using Compiled Code (DK), pp. 165–182.
ILC-2007-Latendresse #compilation #comprehension #lisp #performance: Simple and efficient compilation of list comprehension in common Lisp (ML), p. 12.
VISSOFT-2007-BohnetD07a #compilation #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.
AdaEurope-2007-Garcia-RodriguezMG #ada #compilation #garbage collection #precise: Incorporating Precise Garbage Collection in an Ada Compiler (FGR, JM, JFG), pp. 235–245.
AdaEurope-2007-WooCJ #approach #compilation #representation #testing: An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers (GW, HSC, HJ), pp. 100–113.
SIGAda-2007-Dewar #compilation #static analysis: The compiler as a static analysis tool (RBKD), pp. 83–88.
SIGAda-2007-Maurer #ada #proving #using: Using mathematics to improve ada compiled code, part 2: the proof (WDM), pp. 11–26.
SIGAda-2007-NettletonIM #ada #compilation #towards: Towards a demonstrably-correct ada compiler (CN, WI, CM), pp. 89–96.
OOPSLA-2007-BuytaertGHAEB #compilation #using: Using hpm-sampling to drive dynamic compilation (DB, AG, MH, MA, LE, KDB), pp. 553–568.
OOPSLA-2007-EkmanH #compilation #jastadd #java: The jastadd extensible java compiler (TE, GH), pp. 1–18.
PPDP-2007-BentonZ #compilation #formal method #semantics #verification: Formalizing and verifying semantic type soundness of a simple compiler (NB, UZ), pp. 1–12.
PADL-2007-Sarna-StarostaR #compilation #constraints #evaluation #performance: Compiling Constraint Handling Rules for Efficient Tabled Evaluation (BSS, CRR), pp. 170–184.
POPL-2007-Chen #compilation #inheritance #multi: A typed intermediate language for compiling multiple inheritance (JC), pp. 25–30.
GTTSE-2007-PielMD #compilation #model transformation #multi: Model Transformations for the Compilation of Multi-processor Systems-on-Chip (ÉP, PM, JLD), pp. 459–473.
ICSE-2007-Chalin #compilation #evolution #semantics #verification: A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler (PC), pp. 23–33.
LDTA-J-2005-Iversen #compilation #ml #standard: An action compiler targeting Standard ML (JI), pp. 79–94.
CGO-2007-BarthouDCDJ #compilation #composition #kernel #optimisation #using: Loop Optimization using Hierarchical Compilation and Kernel Decomposition (DB, SD, PC, AD, WJ), pp. 170–184.
CGO-2007-CavazosFABOT #compilation #optimisation #performance #using: Rapidly Selecting Good Compiler Optimizations using Performance Counters (JC, GF, FVA, EVB, MFPO, OT), pp. 185–197.
CGO-2007-FultonS #compilation #java #realtime #source code: Compilation Techniques for Real-Time Java Programs (MF, MGS), pp. 221–231.
CGO-2007-KimJMP #compilation: Profile-assisted Compiler Support for Dynamic Predication in Diverge-Merge Processors (HK, JAJ, OM, YNP), pp. 367–378.
CGO-2007-OzturkCKK #latency #problem: Compiler-Directed Variable Latency Aware SPM Management to CopeWith Timing Problems (ÖÖ, GC, MTK, MK), pp. 232–243.
CGO-2007-VaswaniTSJ #architecture #compilation #empirical #modelling #optimisation: Microarchitecture Sensitive Empirical Models for Compiler Optimizations (KV, MJT, YNS, PJJ), pp. 131–143.
CGO-2007-WangKWY #detection #fault #multi #thread: Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection (CW, HSK, YW, VY), pp. 244–258.
COCV-2007-BloemGJPPW #hardware: Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.
COCV-2007-FangS #bidirectional #compilation #generative #java #using: Generating Java Compiler Optimizers Using Bidirectional CTL (LF, MS), pp. 49–63.
ISMM-2007-CheremR: Uniqueness inference for compile-time object deallocation (SC, RR), pp. 117–128.
LCTES-2007-ChenLK #multi: Compiler-directed application mapping for NoC based chip multiprocessors (GC, FL, MTK), pp. 155–157.
LCTES-2007-ChenTCLYLL #compilation #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 #compilation #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 #compilation: Issues and challenges in compiling for the CBEA (KMO), p. 134.
LCTES-2007-RavindranCM #power management: Compiler-managed partitioned data caches for low power (RAR, MLC, SAM), pp. 237–247.
PPoPP-2007-KnightPRHEFADH #compilation #memory management: Compilation for explicitly managed memory hierarchies (TJK, JYP, MR, MH, ME, KF, AA, WJD, PH), pp. 226–236.
CADE-2007-LiS #compilation #higher-order #logic: Compilation as Rewriting in Higher Order Logic (GL, KS), pp. 19–34.
ICLP-2007-SilvaC #compilation #design #evaluation #framework #implementation: Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System (AFdS, VSC), pp. 410–424.
RTA-2007-Leroy #compilation #optimisation #verification: Formal Verification of an Optimizing Compiler (XL), p. 1.
TestCom-FATES-2007-ZelenovZ #compilation #modelling #optimisation #testing: Model-Based Testing of Optimizing Compilers (SVZ, SAZ), pp. 365–377.
ASE-2006-Volanschi #approach: A Portable Compiler-Integrated Approach to Permanent Checking (ENV), pp. 103–112.
DATE-2006-DErricoQ #approach: Constructing portable compiled instruction-set simulators: an ADL-driven approach (JD, WQ), pp. 112–117.
DATE-2006-HuangG06a #adaptation #compilation #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 #compilation #configuration management: Compiler-driven FPGA-area allocation for reconfigurable computing (EMP, KB, SV), pp. 369–374.
ITiCSE-2006-WaiteJJD #compilation #design #implementation: Design and implementation of a modern compiler course (WMW, AJ, MHJ, AD), pp. 18–22.
MSR-2006-RoblesGMA #evolution #mining #scalability: Mining large software compilations over time: another perspective of software evolution (GR, JMGB, MM, JJA), pp. 3–9.
SCAM-2006-WykKBJSR #c #compilation #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.
PLDI-2006-Adl-TabatabaiLMMSS #compilation #memory management #performance #runtime #transaction: Compiler and runtime support for efficient software transactional memory (ARAT, BTL, VM, BRM, BS, TS), pp. 26–37.
PLDI-2006-ChenLKI #energy #scalability: Reducing NoC energy consumption through compiler-directed channel voltage scaling (GC, FL, MTK, MJI), pp. 193–203.
SAS-2006-BartheGKR #compilation #optimisation: Certificate Translation for Optimizing Compilers (GB, BG, CK, TR), pp. 301–317.
CIAA-2006-ConstantM #automaton #compilation #constraints #finite: Compiling Linguistic Constraints into Finite State Automata (MC, DM), pp. 242–252.
CIAA-2006-Thurston #automaton #parsing #regular expression: Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression (ADT), pp. 285–286.
ICALP-v2-2006-FurukawaKI #compilation #performance: An Efficient Compiler from Σ-Protocol to 2-Move Deniable Zero-Knowledge (JF, KK, HI), pp. 46–57.
FM-2006-BlazyDL #c #compilation #verification: Formal Verification of a C Compiler Front-End (SB, ZD, XL), pp. 460–475.
SEFM-2006-KanadeSK #compilation #framework #optimisation #validation: A PVS Based Framework for Validating Compiler Optimizations (AK, AS, UPK), pp. 108–117.
AdaEurope-2006-Maurer #ada #using: Using Mathematics to Improve Ada Compiled Code (WDM), pp. 191–202.
SIGAda-2006-ZalilaHP #compilation #corba #optimisation: An improved IDL compiler for optimizing CORBA applications (BZ, JH, LP), pp. 21–28.
KR-2006-BesnardH #compilation #knowledge base #logic #performance: Knowledgebase Compilation for Efficient Logical Argumentation (PB, AH), pp. 123–133.
KR-2006-BonetG #heuristic #using: Heuristics for Planning with Penalties and Rewards using Compiled Knowledge (BB, HG), pp. 452–462.
OOPSLA-2006-CavazosO #compilation #using: Method-specific dynamic compilation using logistic regression (JC, MFPO), pp. 229–240.
OOPSLA-2006-OgataOKKN #compilation: Replay compilation: improving debuggability of a just-in-time compiler (KO, TO, KK, HK, TN), pp. 241–252.
GPCE-2006-BradyH #compilation #interpreter #staged: A verified staged interpreter is a verified compiler (EB, KH), pp. 111–120.
PPDP-2006-NguyenO #compilation #layout #ml #morphism #polymorphism: Compiling ML polymorphism with explicit layout bitmap (HDN, AO), pp. 237–248.
PPDP-2006-Volanschi #compilation #confluence #named: Condate: a proto-language at the confluence between checking and compiling (ENV), pp. 225–236.
POPL-2006-ChenLK #network: Compiler-directed channel allocation for saving power in on-chip networks (GC, FL, MTK), pp. 194–205.
POPL-2006-Leroy #certification #compilation #programming #proving: Formal certification of a compiler back-end or: programming a compiler with a proof assistant (XL), pp. 42–54.
POPL-2006-MenonGMMSAP #compilation #optimisation #representation: A verifiable SSA program representation for aggressive compiler optimization (VM, NG, BRM, AM, TS, ARAT, LP), pp. 397–408.
SAC-2006-AgostaCPS #analysis #bytecode #compilation #performance: Selective compilation via fast code analysis and bytecode tracing (GA, SCR, PP, MS), pp. 906–911.
SAC-2006-BaloghVVP #compilation #model transformation #plugin: Compiling model transformations to EJB3-specific transformer plugins (AB, GV, DV, AP), pp. 1288–1295.
SAC-2006-GiegerichS #challenge #compilation #domain-specific language #programming: Challenges in the compilation of a domain specific language for dynamic programming (RG, PS), pp. 1603–1609.
SAC-2006-WuBGRM #compilation #development #using: Separation of concerns in compiler development using aspect-orientation (XW, BRB, JGG, SR, MM), pp. 1585–1590.
FSE-2006-MaozH #aspectj #compilation #multi: From multi-modal scenarios to code: compiling LSCs into aspectJ (SM, DH), pp. 219–230.
LDTA-2006-RebernakMHP #aspect-oriented #attribute grammar #compilation #named: AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars (DR, MM, PRH, MJVP), pp. 37–53.
CC-2006-LiuW #architecture #compilation #optimisation #performance #perspective: Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations’ Perspective (JL, YW), pp. 155–169.
CC-2006-LucasFW #compilation #tool support: The CGiS Compiler — A Tool Demonstration (PL, NF, RW), pp. 105–108.
CGO-2006-ChuM #clustering #multi: Compiler-directed Data Partitioning for Multicluster Processors (MLC, SAM), pp. 208–220.
CGO-2006-CooperD #compilation #graph #runtime: Tailoring Graph-coloring Register Allocation For Runtime Compilation (KDC, AD), pp. 39–49.
CGO-2006-PanE #automation #compilation #distributed #effectiveness #optimisation #performance: Fast and Effective Orchestration of Compiler Optimizations for Automatic Performance Tuning (ZP, RE), pp. 319–332.
CGO-2006-SmithGMNYBMB #architecture #compilation: Compiling for EDGE Architectures (AS, JG, BAM, NN, BY, DB, KSM, JHB), pp. 185–195.
CGO-2006-SonCK #approach #locality #power management: A Compiler-Guided Approach for Reducing Disk Power Consumption by Exploiting Disk Access Locality (SWS, GC, MTK), pp. 256–268.
CGO-2006-SundaresanMRS #case study #compilation #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 #compilation #optimisation #security: Compiler Optimizations to Reduce Security Overhead (TZ, XZ, SP), pp. 346–357.
ISMM-2006-CheremR: Compile-time deallocation of individual objects (SC, RR), pp. 138–149.
ISMM-2006-Joisha #compilation #garbage collection #optimisation: Compiler optimizations for nondeferred reference-counting garbage collection (PGJ), pp. 150–161.
LCTES-2006-FarfelederKSB #architecture #compilation #effectiveness #generative: Effective compiler generation by architecture description (SF, AK, ES, FB), pp. 145–152.
LCTES-2006-MutyamLNKI #functional: Compiler-directed thermal management for VLIW functional units (MM, FL, NV, MTK, MJI), pp. 163–172.
LCTES-2006-ZhangQWZZ #architecture #compilation #multi #optimisation: Optimizing compiler for shared-memory multiple SIMD architecture (WZ, XQ, YW, BZ, CZ), pp. 199–208.
LCTES-2006-ZhuangP #analysis #compilation #concurrent #effectiveness #network #thread: Effective thread management on network processors with compiler analysis (XZ, SP), pp. 72–82.
PPoPP-2006-LiuTCASRT #compilation #named: POSH: a TLS compiler that exploits program structure (WL, JT, LC, WA, KS, JR, JT), pp. 158–167.
ICLP-2006-SchwaigerF #assessment #automation #compilation #programming #testing #using: Using Answer Set Programming for the Automatic Compilation of Assessment Tests (PS, BF), pp. 300–314.
ICLP-2006-SilvaC #compilation #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 #compilation #evolution #satisfiability: Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation (AD), p. 3.
VMCAI-2006-RossignoliS #compilation #detection: Detecting Non-cyclicity by Abstract Compilation into Boolean Functions (SR, FS), pp. 95–110.
DATE-2005-AbsarC #approach #array: Compiler-Based Approach for Exploiting Scratch-Pad in Presence of Irregular Array Access (MJA, FC), pp. 1162–1167.
DATE-2005-CengHLAMB #c #compilation #modelling #semantics: C Compiler Retargeting Based on Instruction Semantics Models (JC, MH, RL, GA, HM, GB), pp. 1150–1155.
DATE-2005-HuLDKVI #detection #fault: Compiler-Directed Instruction Duplication for Soft Error Detection (JSH, FL, VD, MTK, NV, MJI), pp. 1056–1057.
DATE-2005-NaculG #compilation #embedded #lightweight #multi #using: Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler (ACN, TG), pp. 742–747.
DATE-2005-RodriguesC #compilation #design #framework: An Infrastructure to Functionally Test Designs Generated by Compilers Targeting FPGAs (RR, JMPC), pp. 30–31.
DATE-2005-ShrivastavaDNE #embedded #framework #named: PBExplore: A Framework for Compiler-in-the-Loop Exploration of Partial Bypassing in Embedded Processors (AS, NDD, AN, EE), pp. 1264–1269.
DocEng-2005-GenevesR #compilation #policy #streaming #xpath: Compiling XPath for streaming access policy (PG, KHR), pp. 52–54.
ITiCSE-2005-Demaille #compilation: Making compiler construction projects relevant to core curriculums (AD), pp. 266–270.
PASTE-2005-PrivatD #compilation #object-oriented #performance #static analysis: Link-time static analysis for efficient separate compilation of object-oriented languages (JP, RD), pp. 20–27.
PLDI-2005-ChenLLLLLJ #named #network #performance #programming: Shangri-La: achieving high performance from compiled network applications while enabling ease of programming (MKC, XFL, RL, JHL, LL, TL, RJ), pp. 224–236.
PLDI-2005-QuinonesMSMGT #compilation #framework #slicing #thread: Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.
SEFM-2005-LeinenbachPP #code generation #compilation #implementation #towards #verification: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes (DL, WJP, EP), pp. 2–12.
AdaEurope-2005-MirandaSD #ada #compilation #implementation #interface: The Implementation of Ada 2005 Interface Types in the GNAT Compiler (JM, ES, GD), pp. 208–219.
AdaEurope-2005-RogersW #ada #fault tolerance #using: The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 (PR, AJW), pp. 236–247.
SIGAda-2005-MirandaSK #ada #compilation #implementation #interface: The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.
SEKE-2005-ChangL #compilation #data-driven: Compiler Techniques for Data Driven Languages with Superlinear Speed-up (LHC, ELL), pp. 543–549.
MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl: Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl: Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
GPCE-2005-AllanACHKLLMSST #aspectj #compilation #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 #compilation #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 #compilation: Model Compiler Construction Based on Aspect-Oriented Mechanisms (NU, TT, SS, YM, SM), pp. 109–124.
PPDP-2005-LunaPS #compilation #experience #functional: Efficiently compiling a functional language on AMD64: the HiPE experience (DL, MP, KFS), pp. 176–186.
PADL-2005-Ramsey #compilation #declarative: Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.
PADL-2005-YangDRS #compilation #mobile #model checking #performance #process: A Provably Correct Compiler for Efficient Model Checking of Mobile Processes (PY, YD, CRR, SAS), pp. 113–127.
POPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism: Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.
SAC-2005-DebbabiMT #compilation #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 #compilation: Compiling regular patterns to sequential machines (BE), pp. 1385–1389.
SAC-2005-OgelTF #aspect-oriented #compilation #performance: Supporting efficient dynamic aspects through reflection and dynamic compilation (FO, GT, BF), pp. 1351–1356.
SAC-2005-WuRBGM #2d #compilation: A two-dimensional separation of concerns for compiler construction (XW, SR, BRB, JGG, MM), pp. 1365–1369.
ICSE-2005-McClureK #sql: SQL DOM: compile time checking of dynamic SQL statements (RAM, IHK), pp. 88–96.
LDTA-2005-GrigorenkoST #named #visual notation: COCOVILA — Compiler-Compiler for Visual Languages (PG, AS, ET), pp. 137–142.
LDTA-2005-Iversen #compilation #ml #standard: An Action Compiler Targeting Standard ML (JI), pp. 167–188.
CC-2005-LiCKB #approach #security: A Compiler-Based Approach to Data Security (FL, GC, MTK, RRB), pp. 188–203.
CC-2005-Padovani #c++ #compilation #using: Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.
CGO-2005-Amarasinghe #compilation #multi #question: Multicores from the Compiler’s Perspective: A Blessing or a Curse? (SPA), p. 137.
CGO-2005-DaiZHY #compilation #framework #optimisation #using: A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion (XD, AZ, WCH, PCY), pp. 280–290.
CGO-2005-NandivadaD #concurrent: Compile-Time Concurrent Marking Write Barrier Removal (VKN, DD), pp. 37–48.
CGO-2005-RavindranNDMSMB #compilation #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 #compilation #java: Automatically Reducing Repetitive Synchronization with a Just-in-Time Compiler for Java (MGS, VS), pp. 27–36.
LCTES-2005-CooperGHRSTW #adaptation #compilation #named #performance: ACME: adaptive compilation made efficient (KDC, AG, TJH, SWR, DS, LT, TW), pp. 69–77.
LCTES-2005-KandemirCK #compilation #memory management: Compiling for memory emergency (MTK, GC, IK), pp. 213–221.
LCTES-2005-ZhangP #compilation #migration #performance: Efficient application migration under compiler guidance (KZ, SP), pp. 10–20.
PPoPP-2005-SonCKC #compilation #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 #compilation #consistency #java #performance #source code: Compiler techniques for high performance sequentially consistent java programs (ZS, XF, CLW, SPM, JL, DAP), pp. 2–13.
SAT-J-2004-BenedettiB05 #incremental: Incremental Compilation-to-SAT Procedures (MB, SB), pp. 46–58.
CAV-2005-BarrettFGHPZ #compilation #named #optimisation #validation: TVOC: A Translation Validator for Optimizing Compilers (CWB, YF, BG, YH, AP, LDZ), pp. 291–295.
LICS-2005-JiaSWG #compilation #stack: Certifying Compilation for a Language with Stack Allocation (LJ, FS, DW, NG), pp. 407–416.
SAT-2005-MarinovKBZR #compilation #declarative #modelling #optimisation: Optimizations for Compiling Declarative Models into Boolean Formulas (DM, SK, SB, LZ, MCR), pp. 187–202.
VMCAI-2005-Hoare #challenge #compilation #research #verification: The Verifying Compiler, a Grand Challenge for Computing Research (CARH), p. 78.
DAC-2004-LyseckyVT #compilation: Dynamic FPGA routing for just-in-time FPGA compilation (RLL, FV, SXDT), pp. 954–959.
DATE-DF-2004-VarmaB #compilation #embedded #java: Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems (AV, SSB), pp. 161–167.
DATE-v1-2004-RanjanVASVG #modelling #performance #synthesis #using: Fast, Layout-Inclusive Analog Circuit Synthesis using Pre-Compiled Parasitic-Aware Symbolic Performance Models (MR, WV, AA, HS, RV, GGEG), pp. 604–609.
DATE-v2-2004-HohenauerSKWKLAMBS #c #compilation #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 #compilation #multi #simulation: Hierarchical Multi-Dimensional Table Lookup for Model Compiler Based Circuit Simulation (BW, CJRS), pp. 1310–1315.
ITiCSE-2004-AdamsT #compilation #using #xml: Using XML in a compiler course (DRA, CT), pp. 4–6.
ITiCSE-WGR-2004-BoyerC #compilation #design #implementation #tool support: ICE™ and ICE/T™: tools to assist in compiler design and implementation (TPB, MC), pp. 55–57.
ICSM-2004-BreechDSP #compilation #impact analysis #online: Online Impact Analysis via Dynamic Compilation Technology (BB, AD, SAS, LLP), pp. 453–457.
ICSM-2004-TeohW #source code #tool support: Tools for Extracting Software Structure from Compiled Programs (HST, DBW), p. 526.
PLDI-2004-DuLLYZN #compilation #framework #parallel #source code: A cost-driven compilation framework for speculative parallelization of sequential programs (ZHD, CCL, XFL, CY, QZ, TFN), pp. 71–81.
IFM-2004-MorilloV #compilation: A Method for Compiling and Executing Expressive Assertions (FJGM, JMCV), pp. 521–540.
SEFM-2004-NaiyongJ #co-evolution #design #hardware #modelling #specification: Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language (NJ, JH), pp. 132–141.
AFP-2004-PlasmeijerW04 #functional: A Functional Shell That Operates on Typed and Compiled Applications (RP, AvW), pp. 245–272.
ICFP-2004-RamseyJ #c #compilation #framework: The C — compiler infrastructure (NR, SLPJ), p. 1.
ICFP-2004-SarkarWD #compilation #education #framework: A nanopass infrastructure for compiler education (DS, OW, RKD), pp. 201–212.
AdaEurope-2004-RogersW #ada #named: OpenAda: Compile-Time Reflection for Ada 95 (PR, AJW), pp. 166–177.
KR-2004-Barrett #compilation #hybrid: From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.
KR-2004-Geffner #compilation #graph: Planning Graphs and Knowledge Compilation (HG), pp. 662–672.
GPCE-2004-HauserK #compilation #execution #graph #process: Compiling Process Graphs into Executable Code (RH, JK), pp. 317–336.
PADL-2004-MoralesCH #c #compilation #prolog #using: Improved Compilation of Prolog to C Using Moded Types and Determinism Information (JFM, MC, MVH), pp. 86–103.
POPL-2004-Rival #compilation: Symbolic transfer function-based approaches to certified compilation (XR), pp. 1–13.
SAC-2004-Lagorio #compilation #java #towards: Another step towards a smart compilation manager for Java (GL), pp. 1275–1280.
ASPLOS-2004-RabbahSEW #compilation: Compiler orchestrated prefetching via speculation and predication (RMR, HS, ME, WFW), pp. 189–198.
CC-2004-KralFLUW #compilation: FFT Compiler Techniques (SK, FF, JL, CWU, PW), pp. 217–231.
CC-2004-LhotakLH #compilation #framework #ide: Integrating the Soot Compiler Infrastructure into an IDE (JL, OL, LJH), pp. 281–297.
CGO-2004-DingL #compilation #reuse: A Compiler Scheme for Reusing Intermediate Computation Results (YD, ZL), pp. 279–290.
CGO-2004-LattnerA #compilation #framework #named #program analysis: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation (CL, VSA), pp. 75–88.
CGO-2004-ZhaiCSM #communication #compilation #optimisation #thread: Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads (AZ, CBC, JGS, TCM), pp. 39–52.
LCTES-2004-AlmagorCGHRSTW #compilation #effectiveness #sequence: Finding effective compilation sequences (LA, KDC, AG, TJH, SWR, DS, LT, TW), pp. 231–239.
LCTES-2004-GuoBN #compilation #configuration management #hardware #reuse: Input data reuse in compiling window operations onto reconfigurable hardware (ZG, BB, WAN), pp. 249–256.
LCTES-2004-HiserD #algorithm #compilation #memory management #named #performance: EMBARC: an efficient memory bank assignment algorithm for retargetable compilers (JH, JWD), pp. 182–191.
LCTES-2004-LiX #compilation #energy #framework: A trace-based binary compilation framework for energy-aware computing (LL, JX), pp. 95–106.
ICLP-2004-DuckBS #compilation #constraints: Compiling Ask Constraints (GJD, MJGdlB, PJS), pp. 105–119.
ICLP-2004-TronconJV #compilation #control flow #evaluation #lazy evaluation #performance #query: Fast Query Evaluation with (Lazy) Control Flow Compilation (RT, GJ, HV), pp. 240–253.
ICLP-2004-WakakiI #compilation #programming #set: Compiling Prioritized Circumscription into Answer Set Programming (TW, KI), pp. 356–370.
SAT-2004-BenedettiB #incremental: Incremental Compilation-to-SAT Procedures (MB, SB), pp. 205–213.
VMCAI-2004-BartheBR #compilation #security: Security Types Preserving Compilation: (Extended Abstract) (GB, AB, TR), pp. 2–15.
VMCAI-2004-XiaH #c #source code: Certifying Temporal Properties for Compiled C Programs (SX, JH), pp. 161–174.
ASE-2003-GarridoJ #c #compilation #refactoring: Refactoring C with Conditional Compilation (AG, REJ), pp. 323–326.
DAC-2003-ReshadiMD #flexibility #performance #set #simulation: Instruction set compiled simulation: a technique for fast and flexible instruction set simulation (MR, PM, NDD), pp. 758–763.
DAC-2003-SoDH #behaviour #design #synthesis #tool support #using: Using estimates from behavioral synthesis tools in compiler-directed design space exploration (BS, PCD, MWH), pp. 514–519.
DAC-2003-ZieglerHD #communication #pipes and filters: Compiler-generated communication for pipelined FPGA applications (HEZ, MWH, PCD), pp. 610–615.
DATE-2003-PillaiJ #clustering #scheduling: Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines: Predication, Speculation and Modulo Scheduling (SP, MFJ), pp. 10422–10427.
DATE-2003-ZhangKVID #compilation #energy: Compiler Support for Reducing Leakage Energy Consumption (WZ, MTK, NV, MJI, VD), pp. 11146–11147.
SIGMOD-2003-IlyasRLGL #compilation #query: Estimating Compilation Time of a Query Optimizer (IFI, JR, GML, DG, ETL), pp. 373–384.
IWPC-2003-Klint #compilation #comprehension #how #perspective: How Understanding and Restructuring Differ from Compiling — A Rewriting Perspective (PK), pp. 2–12.
SCAM-2003-OlmosV #compilation #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.
PLDI-2003-HsuK #algorithm #compilation #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 #compilation #correctness #optimisation #proving: Automatically proving the correctness of compiler optimizations (SL, TDM, CC), pp. 220–231.
PLDI-2003-LinCHYJNC #analysis #compilation #framework #optimisation: A compiler framework for speculative analysis and optimizations (JL, TC, WCH, PCY, RDCJ, TFN, SC), pp. 289–299.
PLDI-2003-StephensonAMO #compilation #heuristic #machine learning #optimisation: Meta optimization: improving compiler heuristics with machine learning (MS, SPA, MCM, UMO), pp. 77–90.
PLDI-2003-StroutCF #composition #runtime: Compile-time composition of run-time data and iteration reorderings (MMS, LC, JF), pp. 91–102.
PLDI-2003-SuganumaYN #compilation #java: A region-based compilation technique for a Java just-in-time compiler (TS, TY, TN), pp. 312–323.
PLDI-2003-XieMM #scalability: Compile-time dynamic voltage scaling settings: opportunities and limits (FX, MM, SM), pp. 49–62.
SAS-2003-ShahamYKS #memory management #safety: Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management (RS, EY, EKK, SS), pp. 483–503.
CIAA-2003-KempeBGGN #compilation #finite #named: WFSC — A New Weighted Finite State Compiler (AK, CB, TG, FG, FN), pp. 108–119.
FME-2003-DuranCS #compilation #inheritance: A Strategy for Compiling Classes, Inheritance, and Dynamic Binding (AD, AC, AS), pp. 301–320.
ICFP-2003-Levin #compilation: Compiling regular patterns (MYL), pp. 65–77.
IFL-2003-WeeldenP #functional: A Functional Shell That Dynamically Combines Compiled Code (AvW, RP), pp. 36–52.
OOPSLA-2003-IshizakiTKSGIKOKYOOKN #compilation #effectiveness #java #optimisation: 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.
GPCE-2003-Danvy #compilation #virtual machine: A Journey from Interpreters to Compilers and Virtual Machines (OD), p. 117.
PPDP-2003-HirschowitzLW #call-by #compilation #functional #recursion: Compilation of extended recursion in call-by-value functional languages (TH, XL, JBW), pp. 160–171.
SAC-2003-CohenNR #compilation #fortran #towards: Towards Differentiation-Enabled FORTRAN 95 Compiler Technology (MC, UN, JR), pp. 143–147.
LDTA-J-2001-HedinM #aspect-oriented #compilation #jastadd #named: JastAdd — an aspect-oriented compiler construction system (GH, EM), pp. 37–58.
LDTA-2003-KalinovKPPS #automation #compilation #generative #testing: Coverage-driven Automated Compiler Test Suite Generation (AK, AK, AKP, MP, VS), pp. 500–514.
CC-2003-GhoshKKKLLN #compilation #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 #compilation #research #verification: The Verifying Compiler: A Grand Challenge for Computing Research (CARH), pp. 262–272.
CC-2003-LeagueST #compilation #java #precise: Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.
CC-2003-MasuharaKD #aspect-oriented #compilation #optimisation #source code: A Compilation and Optimization Model for Aspect-Oriented Programs (HM, GK, CD), pp. 46–60.
CC-2003-MoreauRV #compilation #multi #pattern matching: A Pattern Matching Compiler for Multiple Target Languages (PEM, CR, MV), pp. 61–76.
CC-2003-NystromCM #compilation #framework #java #named: Polyglot: An Extensible Compiler Framework for Java (NN, MRC, ACM), pp. 138–152.
CC-2003-Reeuwijk #agile #compilation #robust #using: Rapid and Robust Compiler Construction Using Template-Based Metacompilation (KvR), pp. 247–261.
CGO-2003-InagakiKN #architecture #compilation #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 #compilation: Compiler Optimization-Space Exploration (ST, MV, NV, DIA), pp. 204–215.
LCTES-2003-AbouGhazalehCMMC #compilation #embedded #energy #realtime: Energy management for real-time embedded applications with compiler support (NA, BRC, DM, RGM, MC), pp. 284–293.
LCTES-2003-SchultzBCK #compilation #embedded #java: Compiling java for low-end embedded systems (UPS, KB, FGC, JLK), pp. 42–50.
PPoPP-2003-ChenHHJL #analysis #architecture #compilation #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 #compilation #fortran: An emerging co-array fortran compiler (CC, YD), p. 2.
PPoPP-2003-KarwandeYL #clustering #communication #named #prototype: CC-MPI: a compiled communication capable MPI prototype for ethernet switched clusters (AK, XY, DKL), p. 3.
PPoPP-2003-KarwandeYL03a #clustering #communication #named #prototype: CC-MPI: a compiled communication capable MPI prototype for ethernet switched clusters (AK, XY, DKL), pp. 95–106.
DAC-2002-KandemirC #design #memory management: Compiler-directed scratch pad memory hierarchy design and management (MTK, ANC), pp. 628–633.
DAC-2002-LeeP #analysis #design #embedded #performance #simulation: Timed compiled-code simulation of embedded software for performance analysis of SOC design (JYL, ICP), pp. 293–298.
DATE-2002-HalambiSBDN #compilation #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 #compilation #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-Kandemir #approach #reuse: A Compiler-Based Approach for Improving Intra-Iteration Data Reuse (MTK), pp. 984–990.
DATE-2002-ZhaoMB #compilation #design #modelling #set #using: Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models (QZ, BM, TB), pp. 1021–1026.
PODS-2002-CadoliM #compilation #query #synthesis: Knowledge Compilation = Query Rewriting + View Synthesis (MC, TM), pp. 199–208.
ICSM-2002-Arsanjani #architecture #compilation #configuration management #towards: Business Compilers: Towards Supporting a Highly Re-Configurable Architectural Style for Service-Oriented Architecture (AA), p. 287.
PASTE-2002-TikirHL #debugging: Recompilation for debugging support in a JIT-compiler (MMT, JKH, GYL), pp. 10–17.
ASIA-PEPM-2002-Amarasinghe #architecture #compilation: Defying the speed of light: : a spatially-aware compiler for wire-exposed architectures (SPA), p. 70.
ASIA-PEPM-2002-XuK #compilation #functional #programming #realtime: Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.
PEPM-2002-Chambers #compilation #staged: Staged compilation (CC), pp. 1–8.
PLDI-2002-AlmasiP #compilation #latency #matlab #named: MaJIC: Compiling MATLAB for Speed and Responsiveness (GSA, DAP), pp. 294–303.
PLDI-2002-SoHD #approach #compilation #design #hardware #performance: A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems (BS, MWH, PCD), pp. 165–176.
SAS-2002-VeldhuizenL #compilation #optimisation #proving: Guaranteed Optimization: Proving Nullspace Properties of Compilers (TLV, AL), pp. 263–277.
FLOPS-2002-PetterssonSJ #compilation #erlang #evaluation #performance: The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation (MP, KFS, EJ), pp. 228–244.
CIAA-2002-GranaAV #compilation #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 #compilation #proving: A Formal Basis for a Program Compilation Proof Tool (LW), pp. 491–510.
ICFP-2002-Flatt #composition #metaprogramming #question: Composable and compilable macros: : you want it when? (MF), pp. 72–83.
ICFP-2002-GregoireL #implementation #reduction: A compiled implementation of strong reduction (BG, XL), pp. 235–246.
ICFP-2002-SerpetteS #bytecode #compilation #performance #virtual machine: Compiling scheme to JVM bytecode: : a performance study (BPS, MS), pp. 259–270.
IFL-2002-LindahlS #compilation #float: Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment (TL, KFS), pp. 134–149.
AdaEurope-2002-WardA #ada #compilation #hardware: Language Issues of Compiling Ada to Hardware (MW, NCA), pp. 88–99.
SIGAda-2002-Santhanam #ada #compilation #set: The anatomy of an FAA-qualifiable Ada subset compiler (VS), pp. 40–43.
ICPR-v3-2002-BlosteinCZ #compilation #diagrams #recognition: Applying Compiler Techniques to Diagram Recognition (DB, JRC, RZ), pp. 123–126.
ECOOP-2002-AnconaLZ #compilation #framework #java: A Formal Framework for Java Separate Compilation (DA, GL, EZ), pp. 609–636.
PPDP-2002-AnconaLZ #compilation #java: True separate compilation of Java classes (DA, GL, EZ), pp. 189–200.
PADL-2002-JohanssonS #compilation #erlang #linear: Linear Scan Register Allocation in a High-Performance Erlang Compiler (EJ, KFS), pp. 101–119.
PADL-2002-Liang #compilation #higher-order #logic programming: Compiler Construction in Higher Order Logic Programming (CL), pp. 47–63.
PADL-2002-Rhiger #compilation #embedded #source code: Compiling Embedded Programs to Byte Code (MR), pp. 120–136.
POPL-2002-LaceyJWF #compilation #correctness #logic #optimisation #proving: Proving correctness of compiler optimizations by temporal logic (DL, NDJ, EVW, CCF), pp. 283–294.
POPL-2002-PhiliposeCE #automation #compilation #staged #towards: Towards automatic construction of staged compilers (MP, CC, SJE), pp. 113–125.
SAC-2002-SinghP #compilation #data-driven #distributed #java #optimisation: Compiler optimizations for Java aglets in distributed data intensive applications (AS, SP), pp. 87–92.
ASPLOS-2002-GordonTKLMLLWHMA #architecture #compilation: 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 #compilation #design #evaluation: Design and evaluation of compiler algorithms for pre-execution (DK, DY), pp. 159–170.
ASPLOS-2002-ZhaiCSM #communication #compilation #optimisation #thread: Compiler optimization of scalar value communication between speculative threads (AZ, CBC, JGS, TCM), pp. 171–183.
CC-2002-GaravelLM #compilation #using: Compiler Construction Using LOTOS NT (HG, FL, RM), pp. 9–13.
CC-2002-GschwindA #compilation #exception #precise #semantics: Precise Exception Semantics in Dynamic Compilation (MG, ERA), pp. 95–110.
CC-2002-HendersonS #c #compilation: Compiling Mercury to High-Level C Code (FH, ZS), pp. 197–212.
LCTES-SCOPES-2002-HuKVISZ #morphism #polymorphism: Compiler-directed cache polymorphism (JSH, MTK, NV, MJI, HS, WZ), pp. 165–174.
LCTES-SCOPES-2002-LorenzWD #compilation #energy: Energy aware compilation for DSPs with SIMD instructions (ML, LW, TD), pp. 94–101.
LCTES-SCOPES-2002-NaikP #compilation #constraints: Compiling with code-size constraints (MN, JP), pp. 120–129.
LCTES-SCOPES-2002-NewsomeW #compilation #java: Proxy compilation of dynamically loaded Java classes with MoJo (MN, DW), pp. 204–212.
LCTES-SCOPES-2002-PalmLDM #compilation #question: When to use a compilation service? (JP, HBL, AD, JEBM), pp. 194–203.
LCTES-SCOPES-2002-SaputraKVIHHK #compilation #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 #compilation: Application specific compiler/architecture codesign: a case study (OW, TG, AN, AH, RL, HM), pp. 185–193.
CADE-2002-Strecker #compilation #java #verification: Formal Verification of a Java Compiler in Isabelle (MS), pp. 63–77.
DAC-2001-BazarganOS #architecture #compilation #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.
ESOP-2001-CadoliS #compilation #problem #satisfiability #specification: Compiling Problem Specifications into SAT (MC, AS), pp. 387–401.
ESOP-2001-KatsumataO #decompiler #low level: Proof-Directed De-compilation of Low-Level Code (SyK, AO), pp. 352–366.
TACAS-2001-BergJ #compilation #java #ml: The LOOP Compiler for Java and JML (JvdB, BJ), pp. 299–312.
SCAM-2001-RebaudengoRVT #compilation #generative #text-to-text: A Source-to-Source Compiler for Generating Dependable Software (MR, MSR, MV, MT), pp. 35–44.
PLDI-2001-SchnarrHL #compilation #named: Facile: A Language and Compiler for High-Performance Processor Simulators (ES, MDH, JRL), pp. 321–331.
PLDI-2001-XiongJJP #algorithm #compilation #named: SPL: A Language and Compiler for DSP Algorithms (JX, JRJ, RWJ, DAP), pp. 298–308.
FLOPS-2001-AmatoS #analysis #compilation: Abstract Compilation for Sharing Analysis (GA, FS), pp. 311–325.
FLOPS-2001-ChoiLH #compilation #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.
CIAA-2001-GranaBA #automaton #compilation #finite #scalability: Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries (JG, FMB, MAA), pp. 135–148.
IFL-2001-Kreye #array #compilation: A Compilation Scheme for a Hierarchy of Array Types (DK), pp. 18–54.
IFL-2001-ScaifeMH #comparative #compilation #performance: Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler (NS, GM, SH), pp. 138–154.
SIGAda-2001-Taft #ada #compilation #using: Using Ada 95 in a compiler course (STT), pp. 79–80.
OOPSLA-2001-SuganumaYKKN #compilation #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 #compilation #using: Partial Method Compilation using Dynamic Profile Information (JW), pp. 166–179.
PADL-2001-FlenerHK #compilation #constraints #programming: Compiling High-Level Type Constructors in Constraint Programming (PF, BH, ZK), pp. 229–244.
POPL-2001-Kandemir #compilation #locality: A compiler technique for improving whole-program locality (MTK), pp. 179–192.
LDTA-2001-MoreauRV #compilation #pattern matching: Pattern-Matching Compiler (PEM, CR, MV), pp. 161–180.
CC-2001-Engelen #analysis #compilation #optimisation #performance: Efficient Symbolic Analysis for Optimizing Compilers (RvE), pp. 118–132.
CC-2001-FrankeO #array #compilation #pointer: Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications (BF, MFPO), pp. 69–85.
CC-2001-RuginaR #compilation: Design-Driven Compilation (RR, MCR), pp. 150–164.
LCTES-OM-2001-AdveLE #adaptation #compilation #distributed: Language and Compiler Support for Adaptive Distributed Applications (VSA, VVL, BE), pp. 238–246.
LCTES-OM-2001-WagnerL #c #compilation #design #industrial #network: C Compiler Design for an Industrial Network Processor (JW, RL), pp. 155–164.
ICLP-2001-HolzbaurBJS #compilation #constraints #optimisation: Optimizing Compilation of Constraint Handling Rules (CH, MJGdlB, DJ, PJS), pp. 74–89.
ICLP-2001-MazurRJB #aspect-oriented #garbage collection: Practical Aspects for a Working Compile Time Garbage Collection System for Mercury (NM, PR, GJ, MB), pp. 105–119.
DAC-2000-CortadellaKLMMPWS #embedded #generative #scheduling: Task generation and compile-time scheduling for mixed data-control embedded software (JC, AK, LL, MM, SM, CP, YW, ALSV), pp. 489–494.
DAC-2000-Edwards #compilation: Compiling Esterel into sequential code (SAE), pp. 322–327.
DAC-2000-GrunDN #compilation #memory management: Memory aware compilation through accurate timing extraction (PG, NDD, AN), pp. 316–321.
DAC-2000-KandemirVIY #compilation #optimisation: Influence of compiler optimizations on system power (MTK, NV, MJI, WY), pp. 304–307.
DATE-2000-CatthoorDK #architecture #compilation #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.
DATE-2000-PeesHM #using: Retargeting of Compiled Simulators for Digital Signal Processors Using a Machine Description Language (SP, AH, HM), pp. 669–673.
ESOP-2000-ElgaardMS #c #debugging #source code: Compile-Time Debugging of C Programs Working on Trees (JE, AM, MIS), pp. 119–134.
ESOP-2000-FisherRR #calculus #compilation: A Calculus for Compiling and Linking Classes (KF, JHR, JGR), pp. 135–149.
ESOP-2000-MachkasovaT #calculus #compilation: A Calculus for Link-Time Compilation (EM, FAT), pp. 260–274.
TACAS-2000-KamelL #compilation #editing #named #visual notation: VIP: A Visual Editor and Compiler for v-Promela (MK, SL), pp. 471–486.
CSMR-2000-JohnstoneSW #assembly #challenge #compilation #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++ #compilation #execution #symbolic computation #using: C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.
PLDI-2000-ColbyLNBPC #compilation #java: A certifying compiler for Java (CC, PL, GCN, FB, MP, KC), pp. 95–107.
PLDI-2000-LinP #analysis #compilation #memory management: Compiler analysis of irregular memory accesses (YL, DAP), pp. 157–168.
PLDI-2000-Necula #compilation #optimisation #validation: Translation validation for an optimizing compiler (GCN), pp. 83–94.
PLDI-2000-StephensonBA #analysis #compilation: Bitwidth analysis with application to silicon compilation (MS, JB, SPA), pp. 108–120.
ICFP-2000-Crary #compilation #type system: Typed compilation of inclusive subtyping (KC), pp. 68–81.
AdaEurope-2000-FlintD #ada #api #compilation #java #using: Using JavaTM APIs with Native Ada Compilers (SF, BD), pp. 41–55.
KR-2000-LampertiZ #compilation #generative: Generation of Diagnostic Knowledge by Discrete-Event Model Compilation (GL, MZ), pp. 333–344.
ECOOP-2000-OgawaSMMSK #compilation #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 #compilation #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 #compilation #java #named: Quicksilver: a quasi-static compiler for Java (MJS, RB, SPM, MG), pp. 66–82.
TOOLS-ASIA-2000-ZhengZYW #compilation #concurrent #design #hybrid #java #virtual machine: A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model (WZ, FZ, BY, YW), pp. 18–23.
LOPSTR-2000-BuenoBHMPS #analysis #compilation #optimisation: A model for inter-module analysis and optimizing compilation (FB, MJGdlB, MVH, KM, GP, PJS).
LOPSTR-J-2000-BuenoBHMPS #analysis #compilation #optimisation: A Model for Inter-module Analysis and Optimizing Compilation (FB, MJGdlB, MVH, KM, GP, PJS), pp. 86–102.
SAIG-2000-ElliottFM #compilation #embedded: Compiling Embedded Languages (CE, SF, OdM), pp. 9–27.
PADL-2000-DiazC #c #compilation #prolog: GNU Prolog: Beyond Compiling Prolog to C (DD, PC), pp. 81–92.
PADL-2000-MarinoM #functional #logic programming #source code #static analysis #using: Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), pp. 63–80.
PADL-2000-Moreno-NavarroM #compilation #how #prolog: How to Incorporate Negation in a Prolog Compiler (JJMN, SMH), pp. 124–140.
POPL-2000-AbadiFG #authentication #compilation: Authentication Primitives and Their Compilation (MA, CF, GG), pp. 302–315.
FSE-2000-ButkevichRBY #compilation #debugging #protocol #tool support: Compiler and tool support for debugging object protocols (SB, MR, GB, MY), pp. 50–59.
ASPLOS-2000-ChouCEH #compilation #protocol #using: Using Meta-level Compilation to Check FLASH Protocol Code (AC, BC, DRE, MH), pp. 59–70.
ASPLOS-2000-ConnorsHCH #hardware #reuse: Hardware Support for Dynamic Management of Compiler-Directed Computation Reuse (DAC, HCH, BCC, WmWH), pp. 222–233.
ASPLOS-2000-ZahirRMH #architecture #compilation #design: OS and Compiler Considerations in the Design of the IA-64 Architecture (RZ, JR, DM, DH), pp. 212–221.
CC-2000-Kim #compilation #embedded #optimisation: Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor (DHK), pp. 173–188.
CC-2000-LinP #analysis #array #compilation #optimisation: Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations (YL, DAP), pp. 202–218.
CC-2000-Thiemann #adaptation #compilation #partial evaluation #source code: Compiling Adaptive Programs by Partial Evaluation (PT), pp. 264–278.
OSDI-2000-BrownM #memory management #physics #using: Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently (ADB, TCM), pp. 31–44.
OSDI-2000-EnglerCCH #compilation #using: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (DRE, BC, AC, SH), pp. 1–16.
CL-2000-KozenP #algebra #certification #compilation #optimisation #testing #using: Certification of Compiler Optimizations Using Kleene Algebra with Tests (DK, MCP), pp. 568–582.
RTA-2000-Moreau #compilation: REM (Reduce Elan Machine): Core of the New ELAN Compiler (PEM), pp. 265–269.
DAC-1999-ZhuL #compilation #configuration management #hardware: Hardware Compilation for FPGA-Based Configurable Computing Machines (XZ, BL), pp. 697–702.
DATE-1999-DoboliV #architecture #behaviour #compilation #generative #synthesis: A VHDL-AMS Compiler and Architecture Generator for Behavioral Synthesis of Analog Systems (AD, RV), pp. 338–345.
DATE-1999-HalambiGGKDN #architecture #compilation #named: EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability (AH, PG, VG, AK, NDD, AN), pp. 485–490.
ICSM-1999-JohnstoneSW #assembly #compilation #experience: Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C (AJ, ES, TW), pp. 316–325.
ICSM-1999-SellinkV #compilation #generative #legacy: Generation of Software Renovation Factories from Compilers (MPAS, CV), pp. 245–255.
PEPM-1999-HornofJ #code generation #compilation #runtime: Certifying Compilation and Run-Time Code Generation (LH, TJ), pp. 60–74.
PLDI-1999-Frigo #compilation #fourier #performance: A Fast Fourier Transform Compiler (MF), pp. 169–180.
PLDI-1999-StichnothLC #compilation #garbage collection #java: Support for Garbage Collection at Every Instruction in a Java Compiler (JMS, GYL, MC), pp. 118–127.
Best-of-PLDI-1999-Frigo99a #compilation #fourier #performance: A fast Fourier transform compiler (with retrospective) (MF), pp. 642–655.
WIA-1999-NoordG #compilation #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 #compilation #composition #named #tool support: Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.
ICFP-1999-OhoriY #compilation #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 #compilation #distributed #parallel: Parallel Objects in Distributed Ada95 Compiler and Running System — PDEFA (YG, DW, LJ), pp. 320–325.
TOOLS-EUROPE-1999-ColnetZ #compilation #eiffel #optimisation #source code: Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler (DC, OZ), pp. 341–350.
TOOLS-USA-1999-SangalFLL #compilation #interactive: Interaction Schemata: Compiling Interactions to Code (NS, EF, KJL, DHL), p. 268–?.
GCSE-1999-MoorPW #aspect-oriented #compilation: Aspect-Oriented Compilers (OdM, SLPJ, EVW), pp. 121–133.
PPDP-1999-HolzbaurF #compilation #constraints #prolog: Compiling Constraint Handling Rules into Prolog with Attributed Variables (CH, TWF), pp. 117–133.
CC-1999-BrandKO #asf+sdf #compilation #memory management: Compilation and Memory Management for ASF+SDF (MvdB, PK, PAO), pp. 198–213.
CC-1999-RiveraT #algorithm #comparison #compilation: A Comparison of Compiler Tiling Algorithms (GR, CWT), pp. 168–182.
CC-1999-SaitoSCPN #compilation #design: The Design of the PROMIS Compiler (HS, NS, SC, CDP, AN), pp. 214–228.
CC-1999-SariavaS #compilation #data type: Data Structure Free Compilation (JS, SDS), pp. 1–16.
CC-1999-Sloane #compilation #debugging: Debugging Eli-Generated Compilers With Noosa (AMS), pp. 17–31.
HPCA-1999-TullsenG #architecture #compilation #execution #parallel #thread: Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.
PPoPP-1999-LeePM #algorithm #compilation #parallel #source code: Basic Compiler Algorithms for Parallel Programs (JL, DAP, SPM), pp. 1–12.
PPoPP-1999-TangSY #execution #memory management #multi #runtime #thread: Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines (HT, KS, TY), pp. 107–118.
CADE-1999-NadathurM #automaton #compilation #implementation #prolog #λ-calculus: System Description: Teyjus — A Compiler and Abstract Machine Based Implementation of lambda-Prolog (GN, DJM), pp. 287–291.
ICLP-1999-MarinoM #functional #logic programming #source code #static analysis #using: Using Static Analysis to Compile Non-sequential Functional Logic Programs (JM, JJMN), p. 614.
LICS-1999-DrossopoulouEW #calculus #compilation #towards: A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility (SD, SE, DW), pp. 147–156.
TLCA-1999-Ohori #compilation #execution #morphism: A Curry-Howard Isomorphism for Compilation and Program Execution (AO), pp. 280–294.
DAC-1998-HoltmannB #compilation #design #protocol #using: Design of a SPDIF Receiver Using Protocol Compiler (UH, PB), pp. 794–799.
DATE-1998-Lin #compilation #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 #compilation #design: A Cell and Macrocell Compiler for GaAs VLSI Full-Custom Design (JAMN, VdA, RS, AN), pp. 947–948.
ITiCSE-1998-LewisM #comparison #compilation #learning: A comparison between novice and experienced compiler users in a learning environment (SL, GM), pp. 157–161.
ITiCSE-1998-ReslerD #compilation #education #named #visualisation: VCOCO: a visualisation tool for teaching compilers (RDR, DMD), pp. 199–202.
IWPC-1998-BinkleyDJW #compilation #feedback: The Feedback Compiler (DB, BD, BJ, AW), pp. 198–205.
IWPC-1998-SomeL #compilation #parsing: Parsing Minimization when Extracting Information from Code in the Presence of Conditional Compilation (SSS, TCL), pp. 118–125.
PLDI-1998-Adl-TabatabaiCLPS #code generation #compilation #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 #compilation #design #implementation: The Design and Implementation of a Certifying Compiler (GCN, PL), pp. 333–344.
PLDI-1998-PaekHP #array #compilation #data access #optimisation: Simplification of Array Access Patterns for Compiler Optimizations (YP, JH, DAP), pp. 60–71.
SAS-1998-Lee #compilation #optimisation: Certifying, Optimizing Compilation (Abstract) (PL0), p. 381.
Best-of-PLDI-1998-NeculaL98a #compilation #design #implementation: The design and implementation of a certifying compiler (with retrospective) (GCN, PL), pp. 612–625.
FM-1998-GoerigkH #compilation #correctness #how #implementation: Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct (WG, UH), pp. 122–136.
ICFP-1998-BentonKR #compilation #java #ml #standard: Compiling Standard ML to Java Bytecodes (NB, AK, GR), pp. 129–140.
ICFP-1998-Shao #compilation: Typed Cross-Module Compilation (ZS), pp. 141–152.
AdaEurope-1998-Tonndorf #ada #case study #compilation #experience: Ten Years of Tool Based Ada Compiler Validations. An Experience Report (MT), pp. 176–187.
SIGAda-1998-Flint #ada #api #compilation #java #using: Using Java APIs with Native Ada Compilers (SF), pp. 193–203.
KR-1998-Darwiche #approach #compilation: Compiling Devices: A Structure-Based Approach (AD), pp. 156–155.
KR-1998-Liberatore #on the #reasoning: On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.
TOOLS-ASIA-1998-Jarvi #c++ #recursion: Compile Time Recursive Objects in C++ (JJ), pp. 66–77.
TOOLS-USA-1998-GagnonH #compilation #framework #object-oriented: SableCC, an Object-Oriented Compiler Framework (EMG, LJH), pp. 140–154.
ALP-PLILP-1998-FeeleyL #compilation #erlang: Compiling Erlang to Scheme (MF, ML), pp. 300–317.
ALP-PLILP-1998-MoreauK #commutative #compilation #source code: A Compiler for Rewrite Programs in Associative-Commutative Theories (PEM, HK), pp. 230–249.
ALP-PLILP-1998-Wakeling #compilation #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 #compilation #constraints #logic programming #source code #termination: Inferring and Compiling Termination for Constraint Logic Programs (SH, FM), pp. 240–254.
ASPLOS-1998-CooperH #memory management: Compiler-Controlled Memory (KDC, TJH), pp. 2–11.
CC-1998-StumpelTK #architecture #compilation: VLIW Compilation Techniques for Superscalar Architectures (ES, MT, UK), pp. 234–248.
ISMM-1998-ColnetCZ #algorithm #compilation: Compiler Support to Customize the Mark and Sweep Algorithm (DC, PC, OZ), pp. 154–165.
ISMM-1998-KakkadJW #compilation #runtime: Portable Run-Time Type Description for Conventional Compilers (SVK, MSJ, PRW), pp. 146–153.
ISMM-1998-LaroseF #compilation #incremental #performance #quality: A Compacting Incremental Collector and its Performance in a Production Quality Compiler (ML, MF), pp. 1–9.
LCTES-1998-WeissFDFHJJRSS #compilation #java: TurboJ, a Java Bytecode-to-Native Compiler (MW, FdF, BD, CF, FH, EAJ, VJ, FR, FS, XS), pp. 119–130.
JICSLP-1998-Cervesato #compilation #logic programming: Proof-Theoretic Foundation of Compilation in Logic Programming (IC), pp. 115–129.
JICSLP-1998-MalesiuexRB #compilation #prolog: Abstract Compilation of λ-Prolog (FM, OR, PB), pp. 130–144.
JICSLP-1998-Zhou #algorithm #compilation #constraints: A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints (NFZ), pp. 70–84.
PEPM-1997-BeshersF #compilation #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 #compilation #partial evaluation: Partial Evaluation and Separate Compilation (RH, JH), pp. 1–11.
PLDI-1997-EideFFLL #compilation #flexibility #named #optimisation: Flick: A Flexible, Optimizing IDL Compiler (EE, KF, BF, JL, GL), pp. 44–56.
PLDI-1997-SperberT #compilation #partial evaluation: Two for the Price of One: Composing Partial Evaluation and Compilation (MS, PT), pp. 215–225.
PLDI-1997-TauraY #approach #compilation #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.
SAS-1997-Harrison #abstract interpretation #compilation: Can Abstract Interpretation Become a Mainstream Compiler Technology? (Abstract) (LH), p. 395.
SAS-1997-Ryder #analysis: Practical Compile-Time Analysis (BGR), pp. 406–412.
ICFP-1997-Claessen #compilation #graph: Graphs in Compilation (KC), p. 309.
IFL-1997-JunaiduDH #compilation #haskell #named: Naira: A Parallel² Haskell Compiler (SBJ, AJTD, KH), pp. 214–230.
IFL-1997-Wakeling #compilation #haskell #java #virtual machine: A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.
OOPSLA-1997-ZendraCC #compilation #performance: Efficient Dynamic Dispatch without Virtual Function Tables: The SmallEiffel Compiler (OZ, DC, SC), pp. 125–141.
PLILP-1997-GiavittoVM #compilation #recursion #semantics: Semantics and Compilation of Recursive Sequential Streams in 8½ (JLG, DDV, OM), pp. 207–223.
PLILP-1997-JohanssonJLBM #approach #compilation #erlang: A Pragmatic Approach to Compilation of Erlang (EJ, CJ, TL, JB, HM), pp. 419–420.
POPL-1997-PaigeY #compilation #data type: High Level Reading and Data Structure Compilation (RP, ZY), pp. 456–469.
ASF+SDF-1997-MoreauK #commutative #compilation #normalisation: Compilation techniques for associative-commutative normalisation (PEM, HK), p. 11.
HPCA-1997-AugustCGH #architecture #branch #predict: Architectural Support for Compiler-Synthesized Dynamic Branch Prediction Strategies: Rationale and Initial Results (DIA, DAC, JCG, WmWH), pp. 84–93.
PPoPP-1997-Coelho #array #compilation: Compiling Dynamic Mappings with Array Copies (FC), pp. 168–179.
PPoPP-1997-LuCDRZ #compilation #distributed #memory management: Compiler and Software Distributed Shared Memory Support for Irregular Applications (HL, ALC, SD, RR, WZ), pp. 48–56.
PPoPP-1997-Prasanna #compilation #parallel: Compilation of Parallel Multimedia Computations — Extending Retiming Theory and Amdahl’s Law (GNSP), pp. 180–192.
CADE-1997-RousselM #calculus #compilation: Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case (OR, PM), pp. 161–175.
ICLP-1997-PontelliGPF #automation #parallel #prolog #source code: Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism (EP, GG, FP, AF), pp. 108–122.
DAC-1996-LiemPJ #architecture #compilation: Address Calculation for Retargetable Compilation and Exploration of Instruction-Set Architectures (CL, PGP, AAJ), pp. 597–600.
DAC-1996-ZivojnovicM: Compiled HW/SW Co-Simulation (VZ, HM), pp. 690–695.
VLDB-1996-Mattos #compilation #sql: Supporting Procedural Constructs in SQL Compilers (NMM), p. 581.
ESOP-1996-BergstraDFH #compilation #tool support: A Complete Transformational Toolkit for Compilers (JAB, TBD, JF, JH), pp. 92–107.
ESOP-1996-Jones96a #compilation #haskell #program transformation: Compiling Haskell by Program Transformation: A Report from the Trenches (SLPJ), pp. 18–44.
ESOP-1996-LiangH #compilation #composition #semantics: Modular Denotational Semantics for Compiler Construction (SL, PH), pp. 219–234.
ESOP-1996-PalsbergPL #adaptation #approach #compilation #source code: A New Approach to Compiling Adaptive Programs (JP, BPS, KJL), pp. 280–295.
PLDI-1996-AuslanderPCEB #compilation #effectiveness #performance: Fast, Effective Dynamic Compilation (JA, MP, CC, SJE, BNB), pp. 149–159.
PLDI-1996-RinardD #analysis #commutative #compilation #framework: Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers (MCR, PCD), pp. 54–67.
PLDI-1996-RuttenbergGLS #compilation #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 #compilation #partial evaluation: Realistic Compilation by Partial Evaluation (MS, PT), pp. 206–214.
PLDI-1996-TarditiMCSHL #compilation #ml #named #optimisation: TIL: A Type-Directed Optimizing Compiler for ML (DT, JGM, PC, CAS, RH, PL), pp. 181–192.
SAS-1996-Paterson #compilation #lazy evaluation #using: Compiling Laziness Using Projections (RP), pp. 255–269.
Best-of-PLDI-1996-TarditiMCSHL96a #compilation #ml #named #optimisation: TIL: a type-directed, optimizing compiler for ML (with retrospective) (DT, JGM, PC, CAS, RH, PL), pp. 554–567.
ICFP-1996-RojemoR #compilation #profiling #revisited: Lag, Drag, Void and Use — Heap Profiling and Space-Efficient Compilation Revisited (NR, CR), pp. 34–41.
ECOOP-1996-BoylandC #compilation #type safety: Type-Safe Compilation of Covariant Specialization: A Practical Case (JB, GC), pp. 3–25.
OOPSLA-1996-Adl-TabatabaiGL #compilation #optimisation #reuse: Code Reuse in an Optimizing Compiler (ARAT, TRG, GYL), pp. 51–68.
OOPSLA-1996-DeanDGLC #compilation #named #object-oriented #optimisation: Vortex: An Optimizing Compiler for Object-Oriented Languages (JD, GD, DG, VL, CC), pp. 83–100.
PLILP-1996-DanvyV #case study #compilation #partial evaluation #semantics: Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (OD, RV), pp. 182–197.
POPL-1996-HooverZ #compilation #generative #optimisation: Generating Machine Specific Optimizing Compilers (RH, FKZ), pp. 219–229.
ASPLOS-1996-BugnionAMRL #multi: Compiler-Directed Page Coloring for Multiprocessors (EB, JAMA, TCM, MR, MSL), pp. 244–255.
ASPLOS-1996-DwarkadasCZ #distributed #memory management #runtime: An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System (SD, ALC, WZ), pp. 186–197.
ASPLOS-1996-LukM #data type #recursion: Compiler-Based Prefetching for Recursive Data Structures (CKL, TCM), pp. 222–233.
CC-1996-Bosch #approach #compilation #object-oriented: Delegating Compiler Objects: An Object-Oriented Approach to Crafting Compilers (JB), pp. 326–340.
CC-1996-BoucherF #compilation #implementation #paradigm #static analysis: Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.
CC-1996-DavidsonJ #compilation #optimisation: Aggressive Loop Unrolling in a Retargetable Optimizing Compiler (JWD, SJ), pp. 59–73.
CC-1996-Pettersson #compilation #semantics: A Compiler for Natural Semantics (MP), pp. 177–191.
CC-1996-Waite #compilation #question: Compiler Construction: Craftmanship or Engineering? (WMW), pp. 151–159.
HPDC-1996-BraunCDGG #automation #compilation #distributed #implementation #protocol: ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications (TB, IC, CD, FG, LG), pp. 450–459.
CADE-1996-RousselM #compilation: A New Method for Knowledge Compilation: The Achievement by Cycle Search (OR, PM), pp. 493–507.
CADE-1996-SchutzG #compilation #generative #performance: Efficient Model Generation through Compilation (HS, TG), pp. 433–447.
JICSLP-1996-KellyMMSY #compilation #effectiveness #optimisation: Effectiveness of Optimizing Compilation for CLP(R) (ADK, ADM, KM, PJS, RHCY), pp. 37–51.
JICSLP-1996-TamuraK #compilation #linear #logic programming #programming language #resource management: Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract) (NT, YK), p. 545.
RTA-1996-Vittek #compilation #nondeterminism #term rewriting: A Compiler for Nondeterministic Term Rewriting Systems (MV), pp. 154–167.
DAC-1995-ChandnaKBRS #compilation #ram: The Aurora RAM Compiler (AC, CDK, RBB, MR, KAS), pp. 261–266.
DAC-1995-FrenchLLO #compilation #simulation: A General Method for Compiling Event-Driven Simulations (RSF, MSL, JRL, KO), pp. 151–156.
FPLE-1995-HilsdaleADF #compilation #using: Compiler Construction Using Scheme (EH, JMA, RKD, DPF), pp. 251–267.
PLDI-1995-AgrawalSD #compilation #distributed #interprocedural #memory management: Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation (GA, JHS, RD), pp. 258–269.
PLDI-1995-LoE #compilation #optimisation #parallel #scheduling: Improving Balanced Scheduling with Compiler Optimizations that Increase Instruction-Level Parallelism (JLL, SJE), pp. 151–162.
PLDI-1995-ShaoA #compilation #ml #standard #type system: A Type-Based Compiler for Standard ML (ZS, AWA), pp. 116–129.
SAS-1995-SerranoW #compilation #functional #named #optimisation #strict: Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages (MS, PW), pp. 366–381.
FPCA-1995-Rojemo #compilation #haskell: Highlights from nhc — a Space-efficient Haskell Compiler (NR), pp. 282–292.
FPCA-1995-Wand #compilation #correctness #parallel: Compiler Correctness for Parallel Languages (MW), pp. 120–134.
AdaEurope-1995-Bundgaard #ada #compilation: An ANDF Based Ada 95 Compiler System (JB), pp. 81–98.
SEKE-1995-Auguston #compilation #programming language: Programming language RIGAL as a compiler writing tool (MA), p. 500.
OOPSLA-1995-MasuharaMAY #compilation #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 #compilation #layout: Bidirectional Object Layout for Separate Compilation (ACM), pp. 124–139.
PLILP-1995-Mohnen #data type #garbage collection #performance: Efficient Compile-Time Garbage Collection for Arbitrary Data Structures (MM), pp. 241–258.
POPL-1995-HarperM #analysis #compilation #morphism #polymorphism #using: Compiling Polymorphism Using Intensional Type Analysis (RH, JGM), pp. 130–141.
SAC-1995-HartensteinS #compilation #programming: Combining structural and procedural programming by parallelizing compilation (RWH, KS), pp. 130–134.
SAC-1995-Serrano #analysis #compilation #control flow #functional #paradigm: Control flow analysis: a functional languages compilation paradigm (MS), pp. 118–122.
ASF+SDF-1995-KampermanW #compilation #self: The New ASF Compiler — An Exercise in Self-Applicability (JFTK, HRW), pp. 271–293.
HPCA-1995-CappelloG #communication #network #performance #towards: Toward High Communication Performance through Compiled Communications on a Circuit Switched Interconnection Network (FC, CG), pp. 44–53.
IWMM-1995-Hamilton #functional #garbage collection #lazy evaluation: Compile-Time Garbage Collection for Lazy Functional Languages (GWH), pp. 119–144.
LCT-RTS-1995-KopetzN #clustering #compilation #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 #compilation: Compiler Support for Software-Based Cache Partitioning (FM), pp. 125–133.
PPoPP-1995-BordawekarCKKP #compilation #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-JeremiassenE #data transformation #memory management #multi: Reducing False Sharing on Shared Memory Multiprocessors through Compile Time Data Transformations (TEJ, SJE), pp. 179–188.
PPoPP-1995-Tseng #compilation #optimisation: Compiler Optimizations for Eliminating Barrier Synchronization (CWT), pp. 144–155.
ICLP-1995-CarlsonC #compilation #constraints #finite: Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
ICLP-1995-CodognetD #c #compilation #named #prolog: WAMCC: Compiling Prolog to C (PC, DD), pp. 317–331.
ICLP-1995-KrallB #automaton #compilation #incremental #prolog: Incremental Global Compilation of Prolog with the Vienna Abstract Machine (AK, TB), pp. 333–347.
PODS-1994-StuckeyS #compilation #constraints #query: Compiling Query Constraints (PJS, SS), pp. 56–67.
ESOP-1994-Fradet #compilation #reduction: Compilation of Head and Strong Reduction (PF), pp. 211–224.
PLDI-1994-AppelM #compilation #ml #standard: Separate Compilation for Standard ML (AWA, DBM), pp. 13–23.
PLDI-1994-EbciogluGKSZ #compilation: VLIW Compilation Techniques in a Superscalar Environment (KE, RDG, KCK, GMS, IZ), pp. 36–48.
PLDI-1994-Wang #performance #precise #predict: Precise Compile-Time Performance Prediction for Superscalar-Based Computers (KYW), pp. 73–84.
SAS-1994-Yi #detection #exception #ml #source code #standard: Compile-time Detection of Uncaught Exceptions in Standard ML Programs (KY), pp. 238–254.
LFP-1994-ClingerH #compilation #optimisation: λ, the Ultimate Label or a Simple Optimizing Compiler for Scheme (WDC, LTH), pp. 128–139.
AdaEurope-1994-Palm #compilation #multi: Life*ADA: An APSE Integrating Multiple Compiler (SUP), pp. 204–214.
TRI-Ada-1994-Dewar #compilation: The GNAT Compilation Model (RD), pp. 58–70.
TRI-Ada-1994-GasperoniB #compilation: Smart Recompilation and the GNAT Compiler (FG, PB), pp. 104–111.
TRI-Ada-1994-SchonbergB #compilation: The GNAT Project: A GNU-Ada 9X Compiler (ES, BB), pp. 48–57.
KR-1994-Val #compilation #database #how: Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation (AdV), pp. 551–561.
SEKE-1994-CheathamFS #compilation #evolution #multi: Supporting multiple evolving compilers (TC, AFF, DCS), pp. 241–248.
PLILP-1994-Grivas #compilation #constraints #functional #logic #symbolic computation #towards: Towards a Constraint Functional Logic Compiler for Symbolic Computation Systems (GG), pp. 455–456.
PLILP-1994-HamelG #compilation #towards: Towards a Provably Correct Compiler for OBJ3 (LHH, JAG), pp. 132–146.
PLILP-1994-Serrano #analysis #compilation #control flow #functional #higher-order #using: Using Higher-Order Control Flow Analysis When Compiling Functional Languages (MS), pp. 447–448.
POPL-1994-Leroy #compilation: Manifest Types, Modules, and Separate Compilation (XL), pp. 109–122.
SAC-1994-AnconaDC #compilation #reuse: Reusing a compiler (MA, GD, AC), pp. 82–87.
SAC-1994-OgataD #compilation #multi #thread: Object allocation and dynamic compilation in MultithreadSmalltalk (KO, ND), pp. 452–456.
FSE-1994-BatoryTS #compilation #data type #re-engineering #scalability #using: Reengineering a Complex Application Using a Scalable Data Structure Compiler (DSB, JT, MS), pp. 111–120.
ASPLOS-1994-CarrMT #compilation #locality #optimisation: Compiler Optimizations for Improving Data Locality (SC, KSM, CWT), pp. 252–262.
ASPLOS-1994-HayashiDHKSISIS #architecture #compilation #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 #compilation #protocol: Simple Compiler Algorithms to Reduce Ownership Operhead in Cache Coherence Protocols (JS, PS), pp. 286–296.
CC-1994-AltAS #compilation: Cosy Compiler Phase Embedding with the CoSy Compiler Model (MA, UA, HvS), pp. 278–293.
CC-1994-BenkerBZ #array #compilation #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 #compilation #optimisation: A Portable and Optimizing Back End for the SML/NJ Compiler (LG, FG, JHR), pp. 83–97.
CC-1994-JustianiH #array #c #compilation #dependence #optimisation #testing: Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler (J, LJH), pp. 309–323.
CC-1994-MendlsonPS #optimisation: Compile Time Instruction Cache Optimizations (AM, SSP, RS), pp. 404–418.
CC-1994-MouraW #compilation #generative: Action Transformations in the ACTRESS Compiler Generator (HM, DAW), pp. 16–60.
CC-1994-Orbaek #compilation #generative #named #optimisation: OASIS: An Optimizing Action-Based Compiler Generator (PØ), pp. 1–15.
CC-1994-RingstromFP #compilation #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 #compilation: Compiling Nested Loops for Limited Connectivity VLIWs (AS, GP, PP), pp. 143–157.
ICLP-1994-BoulangerS #abstract interpretation #approach #compilation: Compiling Control Revisited: A New Approach based upon Abstract Interpretation (DB, DDS), pp. 699–713.
ICLP-1994-BruscoliDPR #compilation #set: Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.
ICLP-1994-Haygood #compilation #prolog: Native Code Compilation in SICStus Prolog (RCH), pp. 190–204.
ILPS-1994-MichaylovP #compilation #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 #compilation #prolog: A Portable Compiler for Integrating HiLog into Prolog Systems (KFS, DSW), p. 682.
PLDI-1993-FlanaganSDF #compilation #continuation: The Essence of Compiling with Continuations (CF, AS, BFD, MF), pp. 237–247.
PLDI-1993-HongG #compilation #realtime #source code: Compiling Real-Time Programs into Schedulable Code (SH, RG), pp. 166–176.
WSA-1993-TalpinJ #compilation: Compiling FX on the CM-2 (JPT, PJ), pp. 87–98.
Best-of-PLDI-1993-FlanaganSDF93a #compilation #continuation: The essence of compiling with continuations (with retrospective) (CF, AS, BFD, MF), pp. 502–514.
FME-1993-RaoPS #compilation #development #tool support #verification: Verification Tools in the Development of Provably Correct Compilers (MRKKR, PKP, RKS), pp. 442–461.
FPCA-1993-AdityaC #polymorphism #re-engineering: Compiler-directed Type Reconstruction for Polymorphic Languages (SA, AC), pp. 74–82.
FPCA-1993-BondorfP #compilation #partial evaluation: Compiling Actions by Partial Evaluation (AB, JP), pp. 308–320.
FPCA-1993-Hicks #case study #experience: Experiences with Compiler-Directed Storage Reclamation (JH), pp. 95–105.
AdaEurope-1993-Tonndorf #ada #compilation #performance #validation: An Efficient Compiler Validation Method for Ada 9X (MT), pp. 95–107.
TRI-Ada-1993-Brett #ada #compilation #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-FergusonW #ada #framework #independence #syntax: Platform Independent Translations for a Compilable Ada Abstract Syntax (WDF, JKW), pp. 312–322.
TRI-Ada-1993-Tonndorf #ada #compilation: An Integrated Tool Environment for Ada Compiler Validations (MT), pp. 268–276.
ICML-1993-Schwalb #compilation #network: Compiling Bayesian Networks into Neural Networks (ES), pp. 291–297.
ECOOP-1993-Jezequel #approach #compilation #library #parallel #reuse: Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach (JMJ), pp. 384–405.
OOPSLA-1993-BalK #runtime #using: Object Distribution in Orca using Compile-Time and Run-Time Techniques (HEB, MFK), pp. 162–177.
TOOLS-EUROPE-1993-BergerS #c++ #compilation #database #relational #source code: A Compiler To Create Relational Database Schemes From Application Programs Written in C++ (EB, ES), pp. 75–86.
PLILP-1993-AltSW #compilation #generative #parallel: Generation of Synchronization Code for Parallel Compilers (MA, GS, RW), pp. 420–421.
PLILP-1993-BurnM #analysis #compilation #correctness #optimisation #proving #strict: Proving the Correctness of Compiler Optimizations Based on Strictness Analysis (GLB, DLM), pp. 346–364.
PLILP-1993-Kagedal #analysis #prolog: Improvements in Compile-Time Analysis for Ground Prolog (AK), pp. 92–107.
PPoPP-1993-BalaFC #optimisation #representation: Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization (VB, JF, LC), pp. 139–148.
ICLP-1993-TickB #compilation #evaluation #kernel #performance #runtime: Performance Evaluation of Monaco Compiler and Runtime Kernel (ET, CB), pp. 757–773.
ICLP-1993-YangBDCW #performance: Performance of the Compiler-Based Andorra-I System (RY, TB, IdCD, VSC, DHDW), pp. 150–166.
ILPS-1993-Zhou #compilation #on the #parametricity #prolog: On the Direct Parameter Passing Mechanism for Prolog Compilers (NFZ), p. 655.
DAC-1992-HuangD #compilation #pipes and filters #set #synthesis: High Level Synthesis of Pipelined Instruction Set Processors and Back-End Compilers (IJH, AMD), pp. 135–140.
DAC-1992-LeeM #logic #multi #simulation: Two New Techniques for Compiled Multi-Delay Logic Simulation (YSL, PMM), pp. 420–423.
DAC-1992-LeeR #analysis #evaluation #linear #named #using: AWEsymbolic: Compiled Analysis of Linear(ized) Circuits using Asymptotic Waveform Evaluation (JYL, RAR), pp. 213–218.
HT-ECHT-1992-Caloini #approach #hypermedia #modelling: Matching Hypertext Models to Hypertext Systems: A Compilative Approach (AC), pp. 91–101.
ESOP-1992-BernsteinRS #proving #safety: Proving Safety of Speculative Load Instructions at Compile Time (DB, MR, SS), pp. 56–72.
ESOP-1992-Palsberg #compilation #generative: A Provably Correct Compiler Generator (JP), pp. 418–434.
PEPM-1992-HarnettM #compilation #object-oriented #performance #towards: Towards Efficient Compilation of a Dynamic Object-Oriented Language (SH, MM), pp. 82–89.
PLDI-1992-ChenC #compilation #parallel #prototype: Prototyping Fortran-90 Compilers for Massively Parallel Machines (MCC, JRC), pp. 94–105.
PLDI-1992-DiwanMH #compilation #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 #compilation #using: Eliminating Branches using a Superoptimizer and the GNU C Compiler (TG, RK), pp. 341–352.
PLDI-1992-TanL #analysis #compilation #data flow #logic programming #source code: Compiling Dataflow Analysis of Logic Programs (JT, IPL), pp. 106–115.
PLDI-1992-WortmanJ #compilation #concurrent: A Concurrent Compiler for Modula-2+ (DBW, MDJ), pp. 68–81.
WSA-1992-Saint-James #compilation #industrial #partial evaluation: Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines (ESJ), pp. 102–108.
LFP-1992-MacLachlan #compilation #lisp #python: The Python Compiler for CMU Common Lisp (RAM), pp. 235–246.
LFP-1992-Maranget #compilation #lazy evaluation #pattern matching: Compiling Lazy Pattern Matching (LM), pp. 21–31.
AdaEurope-1992-Do #ada #challenge #compilation #integration #reuse: Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms (TND), pp. 230–241.
SEKE-1992-ChunH #approach #compilation #knowledge base #query: Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach (JC, LJH), pp. 109–115.
SEKE-1992-HacL #algorithm #compilation #distributed #parallel: A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application (AH, RRL), pp. 269–275.
LOPSTR-1992-Jimenez-MartinMM #compilation #lazy evaluation #performance #prolog: Efficient Compilation of Lazy Narrowing into Prolog (JAJM, JMC, JJMN), pp. 253–270.
PLILP-1992-KrallB #compilation #performance #prolog: Fast Prolog with VAM1p based Prolog Compiler (AK, TB), pp. 245–259.
PLILP-1992-Muck #automaton #functional #logic programming #named #source code: CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs (AM), pp. 341–354.
POPL-1992-ChowH #analysis #memory management #parallel #source code: Compile-Time Analysis of Parallel Programs that Share Memory (JHC, WLHI), pp. 130–141.
POPL-1992-Jorgensen #compilation #generative #lazy evaluation #partial evaluation: Generating a Compiler for a Lazy Language by Partial Evaluation (JJ), pp. 258–268.
POPL-1992-Ohori #calculus #compilation #polymorphism: A Compilation Method for ML-Style Polymorphic Record Calculi (AO), pp. 154–165.
ASPLOS-1992-LiP #compilation #normalisation: Access Normalization: Loop Restructuring for NUMA Compilers (WL, KP), pp. 285–295.
ASPLOS-1992-MowryLG #algorithm #compilation #design #evaluation: Design and Evaluation of a Compiler Algorithm for Prefetching (TCM, MSL, AG), pp. 62–73.
CC-1992-Andersen #automation #c #compilation #generative #partial evaluation: Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract) (LOA), pp. 251–257.
CC-1992-BrownMW #action semantics #compilation #generative #named #semantics: Actress: An Action Semantics Directed Compiler Generator (DFB, HM, DAW), pp. 95–109.
CC-1992-ButhBFKLLM #compilation #development #implementation: Provably Correct Compiler Development and Implementation (BB, KHB, MF, BvK, YL, HL, MMO), pp. 141–155.
CC-1992-Knopp #analysis #lisp #parallel #performance: Improving the Performance of Parallel LISP by Compile Time Analysis (JK), pp. 271–277.
CC-1992-MantsivodaP #compilation: Compiling Flang (AM, VP), pp. 297–311.
CC-1992-Pettersson #automaton #compilation #finite: A Term Pattern-Match Compiler Inspired by Finite Automata Theory (MP), pp. 258–270.
CC-1992-Samples #compilation #data type #implementation #using: Compiler Implementation of ADTs Using Profile Data (ADS), pp. 72–87.
CC-1992-VitekHU #analysis #object-oriented #source code: Compile-Time Analysis of Object-Oriented Programs (JV, RNH, JSU), pp. 236–250.
CC-1992-Weber #compilation #component #product line #reuse #runtime: Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components (CW), pp. 110–124.
IWMM-1992-DuvvuruSTSHZ #concurrent #logic programming #source code: A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs (SD, RS, ET, AVSS, LH, XZ), pp. 264–276.
LICS-1992-PfenningH #compilation #verification: Compiler Verification in LF (JH, FP), pp. 407–418.
DAC-1991-AuWS #automation #generative #simulation: Automatic Generation of Compiled Simulations through Program Specialization (WYA, DW, SS), pp. 205–210.
PEPM-1991-KhooS #compilation #inheritance #partial evaluation #using: Compiling Inheritance using Partial Evaluation (SCK, RSS), pp. 211–222.
PEPM-1991-McNerney #abstract interpretation #compilation #correctness #using #verification: Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation (TSM), pp. 106–115.
PEPM-1991-MichaylovP #compilation #polymorphism #λ-calculus: Compiling the Polymorphic λ-Calculus (SM, FP), pp. 285–296.
PLDI-1991-BromleyHMS #compilation #fortran: Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler (MB, SH, TSM, GLSJ), pp. 145–156.
VDME-1991-1-Blaue #compilation #set: A VDM Subset Compiler (CB), pp. 697–698.
VDME-1991-1-SchmidtH #compilation #generative #library: The VDM Domain Compiler: A VDM Class Library Generator (US, HMH), pp. 675–676.
FPCA-1991-SchauserCE #parallel #thread: Compiler-Controlled Multithreading for Lenient Parallel Languages (KES, DEC, TvE), pp. 50–72.
AdaEurope-1991-Curley #ada #approach #benchmark #compilation #metric: An Approach To Benchmarking Ada Compilation Systems (TC), pp. 87–108.
ML-1991-CerboneD #compilation #optimisation: Knowledge Compilation to Speed Up Numerical Optimization (GC, TGD), pp. 600–604.
PLILP-1991-ChenW #abstraction #compilation #higher-order #logic programming: Compilation of Predicate Abstractions in Higher-Order Logic Programming (WC, DSW), pp. 287–298.
PLILP-1991-ConselK #compilation #generative #prolog #semantics: Semantics-Directed Generation of a Prolog Compiler (CC, SCK), pp. 135–146.
PLILP-1991-Vollmer #case study #compilation #experience #logic programming #performance: Experiences with Gentle: Efficient Compiler Construction Based On Logic Programming (JV), pp. 425–426.
POPL-1991-SundareshH #compilation #incremental #partial evaluation: Incremental Compilation via Partial Evaluation (RSS, PH), pp. 1–13.
ASPLOS-1991-CullerSSEW #automaton #hardware #parallel #thread: Fine-Grain Parallelism with Minimal Hardware Support: A Compiler-Controlled Threaded Abstract Machine (DEC, AS, KES, TvE, JW), pp. 164–175.
PPoPP-1991-HatcherLJQA #compilation #multi: A Production-Quality C* Compiler for Hypercube Multicomputers (PJH, AJL, RRJ, MJQ, RJA), pp. 73–82.
ICLP-1991-AggounB #bibliography #compilation: Overview of the CHIP Compiler System (AA, NB), pp. 775–789.
ICLP-1991-KorslootT #compilation #concurrent #logic programming #programming language: Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages (MK, ET), pp. 457–471.
ICLP-1991-Monin #compilation #prolog #using: Real-size Compiler Writing Using Prolog with Arrows (JFM), pp. 188–201.
ISLP-1991-FosterW #analysis #reuse: Copy Avoidance through Compile-Time Analysis and Local Reuse (ITF, WHW), pp. 455–469.
ISLP-1991-JorgensenMM #optimisation: Some Global Compile-Time Optimizations for CLP(R) (NJ, KM, SM), pp. 420–434.
ISLP-1991-Millroth #compilation #logic programming #source code: Reforming Compilation of Logic Programs (HM), pp. 485–499.
IWPTS-1991-Heijnk #compilation: Session on TTCN Compilers (RJH), p. 295.
DAC-1990-MaurerW #simulation: Techniques for Unit-Delay Compiled Simulation (PMM, ZW), pp. 480–484.
DAC-1990-WangM #logic #named #simulation: LECSIM: A Levelized Event Driven Compiled Logic Simulation (ZW, PMM), pp. 491–496.
ESOP-1990-ConselD #compilation: From Interpreting to Compiling Binding Times (CC, OD), pp. 88–105.
ESOP-1990-JensenM #analysis #garbage collection: A Backwards Analysis for Compile-time Garbage Collection (TPJ, TÆM), pp. 227–239.
PLDI-1990-AndersonH #array #compilation #haskell: Compilation of Haskell Array Comprehensions for Scientific Computing (SA, PH), pp. 137–149.
PLDI-1990-HenryWF #compilation: The University of Washington Illustrating Compiler (RRH, KMW, BF), pp. 223–233.
PLDI-1990-Tseng #array #compilation #linear #source code: Compiling Programs for a Linear Systolic Array (PST), pp. 311–321.
LFP-1990-FeeleyM #compilation #parallel #performance #virtual machine: A Parallel Virtual Machine for Efficient Scheme Compilation (MF, JSM), pp. 119–130.
LFP-1990-PuelS #compilation #composition #pattern matching: Compiling Pattern Matching by Term Decomposition (LP, AS), pp. 273–281.
LFP-1990-WalinskyB #compilation #functional #parallel #programming language: A Functional Programming Language Compiler for Massively Parallel Computers (CW, DB), pp. 131–138.
SEKE-1990-Al-SukairiH #compilation #independence #linear #recursion: Query-Independent Compilation of Linear Recursions (AAS, LJH), pp. 177–182.
PLILP-1990-BowenJP #approach #compilation #prototype #specification: An Approach to Verifiable Compiling Specification and Prototyping (JPB, JH, PKP), pp. 45–59.
PLILP-1990-Hanus #compilation #logic programming #similarity #source code: Compiling Logic Programs with Equality (MH), pp. 387–400.
PLILP-1990-Muck #compilation: Compilation of Narrowing (AM), pp. 16–29.
PLILP-1990-Queinnec #compilation #higher-order #lisp: Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.
WAGA-1990-Augusteijn #compilation #generative: The Elegant Compiler Generator System (LA), pp. 238–254.
WAGA-1990-KleinK #compilation #parallel: Parallel One-Pass Compilation (EK, KK), pp. 76–90.
WAGA-1990-Waite #attribute grammar #compilation: Use of Attribute Grammars in Compiler Construction (WMW), pp. 255–265.
CC-1990-BeneyB #compilation #logic programming #named: STARLET: An Affix-Based Compiler Compiler Designed as a Logic Programming System (JB, JFB), pp. 71–85.
CC-1990-FedeleL #compilation: Computer-Aided Building of a Compiler: An Example (Abstract) (CF, OL), pp. 212–214.
CC-1990-GroschE #compilation: A Tool Box for Compiler Construction (JG, HE), pp. 106–116.
CC-1990-Kastens #compilation #parallel: Compilation for Instruction Parallel Processors (UK), pp. 26–41.
CC-1990-KrohaF #compilation #multi #scheduling: A Compiler with Scheduling for a Specialized Synchronous Multiprocessor System (PK, PF), pp. 132–146.
CC-1990-Larcheveque #compilation #incremental #lalr #parsing #using: Using an LALR Compiler Compiler to Generate Incremental Parsers (JML), pp. 147–164.
CC-1990-Mossenbock #compilation #generative #quality: A Generator for Production Quality Compilers (HM), pp. 42–55.
CC-1990-Sassa #compilation #generative #towards: Rie and Jun: Towards the Generation of all Compiler Phases (MS), pp. 56–70.
PPoPP-1990-RamkumarK #compilation #implementation #kernel #parallel #prolog: A Chare Kernel Implementation of a Parallel Prolog Compiler (BR, LVK), pp. 99–108.
CADE-1990-LeeH #compilation #database #deduction: Substitution-based Compilation of Extended Rules in Deductive Databases (SHL, LJH), pp. 57–71.
CADE-1990-OhlbachH #compilation #logic #tutorial: Tutorial on Compilation techniques for Logics (HJO, AH), p. 683.
CLP-1990-MulkersWB90 #analysis #data type: Analysis of Shared Data Structures for Compile-Time Garbage (AM, WHW, MB), pp. 747–762.
CLP-1990-MuthukumarH90 #automation #definite clause grammar #independence #logic programming #parallel #source code: The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism (KM, MVH), pp. 221–236.
CLP-1990-Paakki90 #attribute grammar #compilation: A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing (JP), pp. 203–217.
CLP-1990-Taylor90 #compilation #prolog: LIPS on a MIPS: Results from a Prolog Compiler for a RISC (AT), pp. 174–185.
CLP-1990-VerschaetseSB90 #compilation #generative #performance: Generation and Compilation of Efficient Computation Rules (KV, DDS, MB), pp. 700–714.
NACLP-1990-Meier #compilation #prolog: Compilation of Compound Terms in Prolog (MM), pp. 63–79.
NACLP-1990-RoyD #analysis #compilation #data flow #optimisation #prolog: The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler (PVR, AMD), pp. 501–515.
DAC-1989-Jones #compilation #online #performance: Fast Online/Offline Netlist Compilation of Hierarchical Schematics (LGJ), pp. 822–825.
SIGMOD-1989-Cohen #compilation #database: Compiling Complex Database Transition Triggers (DC), pp. 225–234.
PLDI-1989-BernsteinGGKMNP #compilation #optimisation: Spill Code Minimization Techniques for Optimizing Compilers (DB, DQG, MCG, HK, YM, IN, RYP), pp. 258–263.
PLDI-1989-ChambersU #compilation #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 #compilation: A VHDL Compiler Based on Attribute Grammar Methodology (RF, AGS), pp. 120–130.
PLDI-1989-GrossZZ #compilation #parallel: Parallel Compilation for a Parallel Machine (TRG, AZ, MZ), pp. 91–100.
PLDI-1989-HwuC #c #compilation #source code: Inline Function Expansion for Compiling C Programs (WmWH, PPC), pp. 246–257.
Best-of-PLDI-1989-ChambersU89a #compilation #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.
FPCA-1989-Lester #architecture #compilation #distributed #named #recursion: Stacklessness: Compiling Recursion for a Distributed Architecture (DRL), pp. 116–128.
FPCA-1989-Peterson: Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time (JP), pp. 89–99.
FPCA-1989-Traub #approach #clustering #compilation #functional #strict: Compilation as Partitioning: A New Approach to Compiling Non-Strict Functional Languages (KRT), pp. 75–88.
ML-1989-Keller #compilation #learning #performance: Compiling Learning Vocabulary from a Performance System Description (RMK), pp. 482–495.
SEKE-1989-HanHZ #compilation #set: Derivation of Magic Sets by Compilation (JH, LJH, NZ), pp. 164–171.
SEKE-1989-ReynoldsMP #compilation #metric #named: PM: A Metrics Driven Plan Compiler (RGR, JIM, SEP), pp. 25–30.
OOPSLA-1989-DixonMSV #inheritance #multi #performance: A Fast Method Dispatcher for Compiled Languages with Multiple Inheritance (RD, TM, PS, MV), pp. 211–214.
POPL-1989-KelseyH #compilation #program transformation: Realistic Compilation by Program Transformation (RK, PH), pp. 281–292.
ESEC-1989-AdamsWT #ada: Software Change Dynamics or Half of all Ada Compilations are Redundant (RA, AW, WFT), pp. 203–221.
ASPLOS-1989-CohnGLT #architecture #compilation #trade-off #word: Architecture and Compiler Tradeoffs for a Long Instruction Word Microprocessor (RC, TRG, MSL, PST), pp. 2–14.
ASPLOS-1989-Mulder #runtime: Data Buffering: Run-Time Versus Compile-Time Support (HM), pp. 144–151.
NACLP-1989-RamkumarK #execution #multi #process: Compiled Execution of the Reduce-OR Process Model on Multiprocessors (BR, LVK), pp. 313–331.
RTA-1989-DauchetD #compilation #term rewriting: Compilation of Ground Term Rewriting Systems and Applications (MD, AD), pp. 556–558.
RTA-1989-Strandh #equation #performance #source code: Classes of Equational Programs that Compile into Efficient Machine Code (RS), pp. 449–461.
TAV-1989-Young #compilation: Verified Compilation in micro-Gypsy (WDY), pp. 20–26.
DAC-1988-BerkcandL #compilation: Analog Compilation Based on Successive Decompositions (EB, MAd, WL), pp. 369–375.
DAC-1988-Composano #compilation #design #process: Design Process Model in the Yorktown Silicon Compiler (RC), pp. 489–494.
DAC-1988-Diss #compilation: Circuit Compilers don’t have to be Slow (WCD), pp. 622–627.
DAC-1988-Hansen #compilation #hardware #logic #simulation: Hardware Logic Simulation by Compilation (CH), pp. 712–716.
DAC-1988-HartleyC #compilation: A Digit-Serial Silicon Compiler (RIH, PFC), pp. 646–649.
DAC-1988-Lewis #hardware #programmable #simulation: A Programmable Hardware Accelerator for Compiled Electrical Simulation (DML), pp. 172–177.
DAC-1988-OdawaraTHOHO #compilation #interface: A Human Machine Interface for Silicon Compilation (GO, MT, KH, OO, TH, MO), pp. 115–120.
PODS-1988-Batory #compilation #concept #database: Concepts for a Database System Compiler (DSB), pp. 184–192.
SIGMOD-1988-Naughton #compilation #recursion: Compiling Separable Recursions (JFN), pp. 312–319.
ESOP-1988-JacobsL #compilation #logic programming #source code #strict: Compilation of Logic Programs for Restricted And-Parallelism (DJ, AL), pp. 284–297.
ESOP-1988-Takayama #analysis #compilation #named #proving: QPC: QJ-based Proof Compiler — Simple Examples and Analysis (YT), pp. 49–63.
PLDI-1988-AllenJ #c #compilation #parallel: Compiling C for Vectorization, Parallelization, and Inline Expansion (RA, SJ), pp. 241–249.
PLDI-1988-AndrewsHY #compilation #design #implementation: Design and Implementation of the UW Illustrated Compiler (KA, RRH, WKY), pp. 105–114.
PLDI-1988-KeutzerW #compilation #hardware: Anatomy of a Hardware Compiler (KK, WW), pp. 95–104.
PLDI-1988-PlebanL #automation #compilation #imperative #programming language: An Automatically Generated, Realistic Compiler for an Imperative Programming Language (UFP, PL), pp. 222–232.
PLDI-1988-SeshadriWJWYS #analysis #compilation #concurrent #semantics: Semantic Analysis in a Concurrent Compiler (VS, DBW, MDJ, SW, CPY, IS), pp. 233–240.
PLDI-1988-WeinerR #compilation #prolog: A Piggy-back Compiler For Prolog (JLW, SR), pp. 288–296.
VDME-1988-Arthan #compilation #ml #prototype #standard: Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.
OOPSLA-1988-JohnsonGZ #compilation #named #optimisation #smalltalk: TS: An Optimizing Compiler for Smalltalk (REJ, JOG, LWZ), pp. 18–26.
ALP-1988-Schnoebelen #compilation #functional #pattern matching: Refined Compilation of Pattern-Matching for Functional Languages (PS), pp. 233–243.
PLILP-1988-Attali #attribute grammar #compilation: Compiling TYPOL with Attribute Grammars (IA), pp. 252–272.
PLILP-1988-Hanus #compilation #prolog #specification: Formal Specification of a Prolog Compiler (MH), pp. 273–282.
PLILP-1988-Monin #compilation #experience #prolog: A Compiler Written in Prolog: The Véda Experience (JFM), pp. 119–131.
POPL-1988-Lam #array #compilation #optimisation #source code: Compiler Optimizations for Asynchronous Systolic Array Programs (MSL), pp. 309–318.
CCHSC-1988-Assmann #bibliography #compilation: A Short Review of High Speed Compilation (WA), pp. 1–10.
CCHSC-1988-Kastens #compilation #generative #interface #tool support: Abstract Interfaces for Compiler Generating Tools (UK), pp. 103–114.
CCHSC-1988-Penjam #compilation #object-oriented: Compiler Construction by Object-Oriented System Nut (JP), pp. 66–80.
CCHSC-1988-Poetzsch-Heffter #compilation #implementation #optimisation #specification: Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC (APH), pp. 190–203.
CCHSC-1988-Tarhio #compilation #evaluation #generative #lr #parsing: A Compiler Generator for Attributive Evaluation During LR Parsing (JT), pp. 146–159.
PPEALS-1988-AlbertKLS #array #compilation #fortran: Compiling Fortran 8x Array Features for the Connection Machine Computer System (EA, KK, JDL, GLSJ), pp. 42–56.
PPEALS-1988-GuptaS #parallel #performance: Compile-time Techniques for Efficient Utilization of Parallel Memories (RG, MLS), pp. 235–246.
PPEALS-1988-QuinnHJ #compilation #multi #source code: Compiling C* Programs for a Hypercube Multicomputer (MJQ, PJH, KCJ), pp. 57–65.
PPEALS-1988-StrammB #algorithm #compilation #heuristic: Communication-Sensitive Heuristics and Algorithms for Mapping Compilers (BS, FB), pp. 222–234.
CADE-1988-ButlerLO #automaton #compilation #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 #compilation #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 #compilation #semantics: A Compiler and Semantic Analyzer Based on Categorial Grammar (DH), pp. 1474–1489.
JICSCP-1988-KlingerS88 #algorithm #compilation #exclamation: A Decision Tree Compilation Algorithm for FCP(!, : , ?) (SK, EYS), pp. 1315–1336.
JICSCP-1988-Kluzniak88 #garbage collection #prolog: Compile Time Garbage Collection for Ground Prolog (FK), pp. 1490–1505.
DAC-1987-BryantBBCS #named: COSMOS: A Compiled Simulator for MOS Circuits (REB, DLB, KSB, KC, TJS), pp. 9–16.
DAC-1987-ChenC #compilation #design #independence: A Design Rule Independent Cell Compiler (JSJC, DYC), pp. 466–471.
DAC-1987-Elias #case study #compilation #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 #compilation: An Intelligent Compiler Subsystem for a Silicon Compiler (DLJ, SKT, KM), pp. 443–450.
DAC-1987-Kingsley #compilation #implementation #state machine: The Implementation of a State Machine Compiler (CK), pp. 580–583.
DAC-1987-SchuckWGK #compilation #design #experience #implementation: The ALGIC Silicon Compiler System: Implementation, Design Experience and Results (JS, NW, MG, GK), pp. 370–375.
DAC-1987-WangHPZ #named: SSIM: A Software Levelized Compiled-Code Simulator (LTW, NEH, EHP, JJZ), pp. 2–8.
SIGMOD-1987-NixonCLBMS #case study #compilation #experience #implementation #semantics: Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis (BAN, LC, DL, AB, JM, MS), pp. 118–131.
VDME-1987-Hass #compilation #development: Development and Application of a Meta IV Compiler (MH), pp. 118–140.
FPCA-1987-AppelM #compilation #ml #standard: A Standard ML compiler (AWA, DBM), pp. 301–324.
POPL-1987-HallW #compilation #strict: Compiling Strictness into Streams (CVH, DSW), pp. 132–143.
POPL-1987-LeeP #compilation #generative #semantics: A Realistic Compiler Generator Based on High-Level Semantics (PL, UFP), pp. 284–295.
ASPLOS-1987-BushSUH #compilation: Compiling Smalltalk-80 to a RISC (WRB, ADS, DU, PNH), pp. 112–116.
ASPLOS-1987-ColwellNOPR #architecture #compilation #scheduling: A VLIW Architecture for a Trace Scheduling Compiler (RPC, RPN, JJO, DBP, PKR), pp. 180–192.
ASPLOS-1987-WeissS #case study #compilation #pipes and filters: A Study of Scalar Compilation Techniques for Pipelined Supercomputers (SW, JES), pp. 105–109.
ICLP-1987-Bacha87 #approach #programming: Meta-Level Programming: A Compiled Approach (HB), pp. 394–410.
ICLP-1987-Tamaki87 #compilation #prolog: Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages (HT), pp. 376–393.
RTA-1987-Kaplan #compilation #term rewriting: A Compiler for Conditional Term Rewriting Systems (SK), pp. 25–41.
SLP-1987-ChenxiYLY87 #database #implementation #prolog: Implementation of a Prolog Code Database and Source Database in Compiler-Based Systems (CZ, TY, LL, HY), pp. 398–405.
SLP-1987-SchmidtKGB87 #compilation #deduction: Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration (HS, WK, UG, RB), pp. 234–243.
SLP-1987-Takayama87 #compilation #prolog #proving #source code: Writing Programs as QJ Proof and Compiling into Prolog Programs (YT), pp. 278–287.
DAC-1986-GlesnerSS #compilation #named #statistics #verification: SCAT — a new statistical timing verifier in a silicon compiler system (MG, JS, RBS), pp. 220–226.
DAC-1986-JerrayaVJC #compilation: Principles of the SYCO compiler (AAJ, PV, RJ, BC), pp. 715–721.
DAC-1986-KrekelbergSSL #automation #compilation #layout #synthesis: Automated layout synthesis in the YASC silicon compiler (DEK, ES, GES, LSL), pp. 447–453.
DAC-1986-PutatundaSMC #compilation #named: HAPPI: a chip compiler based on double-level-metal technology (RP, DS, SM, JC), pp. 736–743.
DAC-1986-Solworth #compilation #named: GENERIC: a silicon compiler support language (JAS), pp. 524–530.
ESOP-1986-DamJ #compilation #generative #relational #semantics: Compiler Generation from Relational Semantics (MD, FJ), pp. 1–29.
ESOP-1986-TanakaK #compilation #concurrent #prolog #queue: Compiling Extended Concurrent Prolog — Single Queue Compilation (JT, MK), pp. 301–314.
Best-of-PLDI-1986-KranzKRHPA #compilation #named #optimisation: Orbit: an optimizing compiler for scheme (with retrospective) (DAK, RK, JR, PH, JP, NA), pp. 175–191.
LFP-1986-BrooksPMWBG #compilation #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 #compilation #functional #semantics: Semantics Directed Compiling for Functional Languages (HRN, FN), pp. 249–257.
CRAI-1986-Goodenough #ada #compilation #testing #theory and practice #validation: Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.
OOPSLA-1986-Atkinson #compilation #named #optimisation #smalltalk: Hurricane: An Optimizing Compiler for Smalltalk (RGA), pp. 151–158.
POPL-1986-Chen #compilation #parallel: A Parallel Language and its Compilation to Multiprocessor Machines or VLSI (MCC), pp. 131–139.
POPL-1986-JorringS #compilation #staging: Compilers and Staging Transformations (UJ, WLS), pp. 86–96.
CADE-1986-Stickel #compilation #implementation #prolog #proving #theorem proving: A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler (MES), pp. 573–587.
ICLP-1986-BowenBCT86 #compilation #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-Buettner86 #decompiler #performance #prolog: Fast Decompilation of Compiled Prolog Clauses (KAB), pp. 663–670.
ICLP-1986-CodishS86 #compilation: Compiling OR-parallelism into AND-parallelism (MC, EYS), pp. 283–297.
ICLP-1986-FujitaKTM86 #compilation #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 #compilation #optimisation: Compiler Optimizations for the WAM (AKT), pp. 657–662.
SLP-1986-BruynoogheSK86 #compilation: Compiling Control (MB, DDS, BK), pp. 70–77.
DAC-1985-AlthoffS #behaviour #compilation #modelling: A behavioral modeling system for cell compilers (JCA, RDS), pp. 468–474.
DAC-1985-BlackmanFR #compilation: The Silc silicon compiler: language and features (TB, JRF, CR), pp. 232–237.
DAC-1985-FungHK #compilation #design #testing: Design for testability in a silicon compilation environment (HSF, SH, RK), pp. 190–196.
DAC-1985-KrekelbergSJ #compilation: Yet another silicon compiler (DEK, GES, CSJ), pp. 176–182.
DAC-1985-SteinwegAPN #array #compilation: Silicon compilation of gate array bases (RLS, SJA, KP, SN), pp. 435–438.
FPCA-1985-Augustsson85 #compilation #pattern matching: Compiling Pattern Matching (LA), pp. 368–381.
POPL-1985-AnantharamanCFM #compilation: Compiling Path Expressions into VLSI Circuits (TSA, EMC, MJF, BM), pp. 191–204.
POPL-1985-PollockS #compilation #incremental: Incremental Compilation of Locally Optimized Code (LLP, MLS), pp. 152–164.
SOSP-1985-MalkawiP #compilation #memory management #policy #source code: Compiler Directed Memory Management Policy For Numerical Programs (MM, JHP), pp. 97–106.
RTA-1985-JonesSS #compilation #empirical #generative #partial evaluation: An Experiment in Partial Evaluation: The Generation of a Compiler Generator (NDJ, PS, HS), pp. 124–140.
SLP-1985-GanzingerH85 #compilation #composition #logic programming: Modular Logic Programming of Compilers (HG, MH), pp. 242–253.
SLP-1985-UedaC85 #compilation #concurrent #prolog: Concurrent Prolog Compiler on Top of Prolog (KU, TC), pp. 119–126.
DAC-1984-Gajski #compilation: Silicon compilers and expert systems for VLSI (DDG), pp. 86–87.
DAC-1984-LursinsapG #compilation #constraints: Cell compilation with constraints (CL, DG), pp. 103–108.
DAC-1984-MartinezN #compilation: Methodology for compiler generated silicon structures (AM, SN), pp. 689–691.
DAC-1984-WieclawskiP #compilation #layout #network #optimisation: Optimization of negative gate networks realized in weinberger-LIKF layout in a boolean level silicon compiler (AW, MAP), pp. 703–704.
SCC-1984-FisherERN #compilation #parallel: Parallel processing: a smart compiler and a dumb machine (JAF, JRE, JCR, AN), pp. 37–47.
SCC-1984-Johnsson #compilation #evaluation #lazy evaluation #performance: Efficient compilation of lazy evaluation (TJ), pp. 58–69.
SCC-1984-Levy #compilation #reuse #type checking: Type checking, separate compilation and reusability (MRL), pp. 285–289.
SCC-1984-Pleban #compilation #prototype #semantics #using: Compiler prototyping using formal semantics (UFP), pp. 94–105.
SCC-1984-Powell #compilation #optimisation: A portable optimizing compiler for Modula-2 (MLP), pp. 310–319.
SCC-1984-Reiss #approach #compilation #incremental: An approach to incremental compilation (SPR), pp. 144–156.
SCC-1984-Robbins #compilation #pascal #performance: Engineering a high-capacity Pascal compiler for high performance (DCR), pp. 300–309.
SCC-1984-SchmidtV #automation #compilation #multi: A multi-language compiler system with automatically generated codegenerators (US, RV), pp. 202–212.
SCC-1984-SchwartzDB #compilation #incremental: Incremental compilation in Magpie (MDS, NMD, VSB), pp. 122–131.
SCC-1984-Touzeau #compilation #fortran: A Fortran compiler for the FPS-164 scientific computer (RFT), pp. 48–57.
Best-of-PLDI-1984-FisherERN #compilation #parallel: Parallel processing: a smart compiler and a dumb machine (with retrospective) (JAF, JRE, JCR, AN), pp. 112–124.
Best-of-PLDI-1984-Johnsson #compilation #evaluation #lazy evaluation #performance: Efficient compilation of lazy evaluation (with retrospective) (TJ), pp. 125–138.
LFP-1984-Augustsson #compilation #lazy evaluation #ml: A Compiler for Lazy ML (LA), pp. 218–227.
LFP-1984-Cardelli #compilation #functional: Compiling a Functional Language (LC), pp. 208–217.
LFP-1984-Clinger #compilation #semantics: The Scheme 311 Compiler: An Exercise in Denotational Semantics (WDC), p. 356–?.
LFP-1984-Wadler #evaluation #garbage collection #lazy evaluation: Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time (PW), pp. 45–52.
POPL-1984-HudakK #combinator #compilation #functional: A Combinator-Based Compiler for a Functional Language (PH, DAK), pp. 122–132.
POPL-1984-MilosPL #compilation #implementation #pascal #revisited #specification: Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.
ICSE-1984-ClemmensenO #ada #case study #compilation #development #specification: Formal Specification and Development of an Ada Compiler — A VDM Case Study (GBC, ONO), pp. 430–440.
DAC-1983-EliasW #compilation #design: The IC Module Compiler, a VLSI system design aid (NJE, AWW), pp. 46–49.
ICALP-1983-Ganzinger #compilation #composition #data type #semantics: Modular Compiler Descriptions Based on Abstract Semantic Data Types (Extended Abstract) (HG), pp. 237–249.
Ada-1983-Briggs #ada #compilation #design: The Design of AIR and its Application to Ada Separate Compilation (JSB), pp. 60–75.
Ada-1983-Persch #compilation: The Use of Diana in Compilers, Language Transformers, Formatters and Debuggers (GP), pp. 76–87.
POPL-1983-CunyS #compilation #data-driven #execution #source code: Compilation of Data-Driven Programs for Synchronous Execution (JEC, LS), pp. 197–202.
POPL-1983-Strom #security: Mechanisms for Compile-Time Enforcement of Security (RES), pp. 276–284.
POPL-1983-Wand #combinator #compilation: Loops in Combinator-Based Compilers (MW), pp. 190–196.
DAC-1982-GrayBR #array #compilation #design #using: Designing gate arrays using a silicon compiler (JPG, IB, PSR), pp. 377–383.
SCC-1982-AuslanderH #bibliography #compilation: An Overview of the PL.8 Compiler (MAA, MH), pp. 22–31.
SCC-1982-BodwinBKLP #compilation #experience #generative #semantics: Experience with an Experimental Compiler Generator Based on Denotational Semantics (JB, LB, KK, DL, UFP), pp. 216–229.
SCC-1982-BrooksGS #compilation #lisp #optimisation: An Optimizing Compiler for Lexically Scoped LISP (RAB, RPG, GLSJ), pp. 261–275.
SCC-1982-GanzingerGMW #compilation #generative #semantics: A Truly Generative Semantics-Directed Compiler Generator (HG, RG, UM, RW), pp. 172–184.
SCC-1982-GrissBH #compilation #lisp: Current Status of a Portable Lisp Compiler (MLG, EB, ACH), pp. 276–283.
SCC-1982-Kipps #cobol #compilation #experience #migration: Experience with Porting Techniques on a COBOL 74 Compiler (IMK), pp. 15–21.
SCC-1982-KoskimiesRS #attribute grammar #compilation #using: Compiler Construction Using Attribute Grammars (KK, KJR, MS), pp. 153–159.
SCC-1982-LaLondeR #compilation #flexibility: A Flexible Compiler Structure That Allows Dynamic Phase Ordering (WRL, JdR), pp. 134–139.
SCC-1982-Marshall #compilation #graph #linear: The Linear Graph Package, a Compiler Building Environment (HZM), pp. 294–300.
SCC-1982-Moor #compilation #parallel: An Applicative Compiler for a Parallel Machine (IWM), pp. 284–293.
SCC-1982-RudmikM #compilation #performance #scalability #source code: An Efficient Separate Compilation Strategy for Very Large Programs (AR, BGM), pp. 301–307.
SCC-1982-Sethi #aspect-oriented #compilation #control flow #semantics #summary: Control Flow Aspects of Semantics Directed Compiling (Summary) (RS), pp. 245–260.
SCC-1982-Seyfer #case study #compilation #experience #testing: Tailoring Testing to a Specific Compiler — Experiences (HKS), pp. 140–152.
Best-of-PLDI-1982-AuslanderH #bibliography #compilation: An overview of the PL.8 compiler (with retrospective) (MAA, MH), pp. 38–48.
GG-1982-Hoffmann #compilation #generative #graph grammar #modelling: Modelling compiler generation by graph grammars (BH), pp. 159–171.
POPL-1982-Farrow #attribute grammar #compilation #experience #grammarware: Experience with an Attribute Grammar-Based Compiler (RF), pp. 95–107.
POPL-1982-Paulson #compilation #generative #semantics: A Semantics-Directed Compiler Generator (LCP), pp. 224–233.
ASPLOS-1982-FusaokaH #compilation #hardware #implementation: Compiler Chip: A Hardware Implementation of Compiler (AF, MH), pp. 92–95.
ASPLOS-1982-Harbison #architecture #compilation #optimisation: An Architectural Alternative to Optimizing Compilers (SPH), pp. 57–65.
ASPLOS-1982-Wiecek #case study #compilation #execution #set: A Case Study of VAX-11 Instruction Set Usage for Compiler Execution (CAW), pp. 177–184.
POPL-1981-Harrison #compilation #optimisation: Position Paper on Optimizing Compilers (WHH), pp. 88–89.
POPL-1981-Johnson #compilation #optimisation: Position Paper on Optimizing Compilers (SCJ), pp. 90–91.
POPL-1981-KuckKPLW #compilation #dependence #graph #optimisation: Dependence Graphs and Compiler Optimizations (DJK, RHK, DAP, BL, MW), pp. 207–218.
ICALP-1980-Mosses #approach #compilation #correctness: A Constructive Approach to Compiler Correctness (PDM), pp. 449–469.
LISP-1980-EmanuelsonH #compilation #embedded #lisp #on the: On Compiling Embedded Languages in LISP (PE, AH), pp. 208–215.
LISP-1980-Marti #compilation #concurrent #control flow #lisp: Compilation Techniques for a Control-Flow Concurrent LISP System (JM), pp. 203–207.
LISP-1980-MasinterD #compilation #lisp #optimisation: Local Optimization in a Compiler for Stack-based LISP Machines (LM, LPD), pp. 223–230.
LISP-1980-Rowan #compilation #lisp: A LISP Compiler Producing Compact Code (WR), pp. 216–222.
TFDA-1980-BjornerO #ada #compilation #development: The DDC Ada Compiler Development Project (DB, ONO), pp. 1–20.
SDCG-1980-DeRemerJ #compilation: Tree-affix dendrogrammars for languages and compilers (FD, RJ), pp. 300–319.
SDCG-1980-Gaudel #compilation #data type #specification: Specification of compilers as abstract data type representations (MCG), pp. 140–164.
SDCG-1980-JonesS #compilation #generative #semantics: Compiler generation from denotational semantics (NDJ, DAS), pp. 70–93.
SDCG-1980-Mosses #approach #compilation #correctness: A constructive approach to compiler correctness (PDM), pp. 189–210.
SDCG-1980-Raiha #case study #compilation #experience: Experiences with the compiler writing system HLP (KJR), pp. 350–362.
SDCG-1980-ThatcherWW #compilation #proving: More on advice on structuring compilers and proving them correct (JWT, EGW, JBW), pp. 165–188.
SDCG-1980-Turchin #automation #compilation #semantics: Semantic definitions in REFAL and the automatic production of compilers (VFT), pp. 441–474.
DAC-1979-Ayres79a: Silicon compilation-a hierarchical use of PLAs (RA), pp. 314–326.
DAC-1979-Gray #compilation: Introduction to silicon compilation (JPG), pp. 305–306.
DAC-1979-Johannsen #compilation: Bristle Blocks: A silicon compiler (DJ), pp. 310–313.
SCC-1979-Abrahams #compilation #pl-i: The CIMS PL/I compiler (PWA), pp. 107–116.
SCC-1979-BonkowskiGM #compilation #migration: Porting the Zed compiler (GBB, WMG, MAM), pp. 92–97.
SCC-1979-CattellNL #code generation #compilation #independence: Code generation in a machine-independent compiler (RGGC, JMN, BWL), pp. 65–75.
SCC-1979-Feldman #compilation #fortran #implementation #tool support #using: Implementation of a portable Fortran 77 compiler using modern tools (SIF), pp. 98–106.
SCC-1979-HansenSC #compilation #multi #pascal: Construction of a transportable, multi-pass compiler for extended Pascal (GJH, GAS, JDC), pp. 117–126.
SCC-1979-LeBlancF #compilation #implementation #on the: On implementing separate compilation in block-structured languages (RJL, CNF), pp. 139–143.
SCC-1979-MiltonKR #compilation #generative: An all(1) compiler generator (DRM, LWK, BRR), pp. 152–157.
SCC-1979-Pleban #compilation #matrix #recursion: The use of transition matrices in a recursive-descent compiler (UFP), pp. 144–151.
SCC-1979-RudmikL #code generation #compilation #design #optimisation #performance: Compiler design for efficient code generation and program optimization (AR, ESL), pp. 127–138.
Best-of-PLDI-1979-CattellNL #code generation #compilation #independence: Code generation in a machine-independent compiler (with retrospective) (RGGC, JMN, BWL), pp. 1–13.
ICALP-1979-ThatcherWW #compilation #proving: More on Advice on Structuring Compilers and Proving Them Correct (JWT, EGW, JBW), pp. 596–615.
POPL-1978-GlanvilleG #code generation #compilation: A New Method for Compiler Code Generation (RSG, SLG), pp. 231–240.
POPL-1978-GuibasW #compilation #evaluation: Compilation and Delayed Evaluation in APL (LJG, DKW), pp. 1–8.
POPL-1978-Haraldsson #compilation #lisp: A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp (AH), pp. 195–202.
POPL-1978-Johnson #compilation #theory and practice: A Portable Compiler: Theory and Practice (SCJ), pp. 97–104.
ICALP-1977-AhoS #code generation #compilation #how #question: How Hard is Compiler Code Generation? (AVA, RS), pp. 1–15.
POPL-1977-Harrison #code generation #compilation #optimisation: A New Strategy for Code Generation — The General Purpose Optimizing Compiler (WHH), pp. 29–37.
DIPL-1976-IchbiahF #compilation #implementation: Language definition and compilation in LIS and its implementation (JI, GF), pp. 288–297.
ICSE-1976-WilhelmRCGLN #compilation #design #evaluation #generative: Design Evaluation of the Compiler Generating System MUGI (RW, KR, JC, HG, WL, RN), pp. 571–576.
POPL-1973-Morris73a #compilation #proving: Advice on Structuring Compilers and Proving Them Correct (FLM), pp. 144–152.
POPL-1973-Zosel #approach #compilation #parallel: A Parallel Approach to Compilation (MZ), pp. 59–70.
STOC-1969-Blum69a #compilation #formal method #programming language #semantics #towards: Towards a Theory of Semantics and Compilers for Programming Languages (EKB), pp. 217–227.
SHARE-1966-MandellE #automation #design: A meta-compiler as a design automation tool (RLM, GE).
LISP-1963-Levin #algebra #compilation #lisp: Algebraic Compiler with LISP (ML), p. 7.
LISP-1963-McCarthy #compilation #lisp: The LISP 2 Compiler (JM), p. 8.
LISP-1963-Weizenbaum #compilation: Open Ended compilation (JW), p. 12.
LISP-1963-Yates #analysis #compilation #lisp #source code #word: LISP. Group Analysis programs. Λ LISP Compiler for a variable word machine (Gamma 30 Scientific) (RY), p. 15.