BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
optim (131)
program (118)
languag (105)
time (102)
base (87)

Stem compil$ (all stems)

1191 papers:

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

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