1. 1
    Programmatic Control of a Compiler for Generating High-Performance, Spatial Hardware (2017) ☶ pdf compilers hardware programming arxiv.org
    nickpsecurity avatar via nickpsecurity 15 hours ago | cached | no comments
  2. 3
    What you get is what you C: Controlling side effects in mainstream C compilers ☶ pdf c compilers drive.google.com
    fcbsd avatar via fcbsd 2 days ago | cached | 1 comment
  3. 1
    Custom Alias Analysis in LLVM compilers blog.tartanllama.xyz
    hashemi avatar via hashemi 2 days ago | cached | no comments
  4. 4
    The story of ispc: first users compilers pharr.org
    sanxiyn avatar via sanxiyn 2 days ago | cached | no comments
  5. 12
    How to prove a compiler fully abstract compilers formalmethods plt dbp.io
    dbp avatar authored by dbp 2 days ago | cached | 3 comments
  6. 2
    The story of ispc: first benchmark results compilers pharr.org
    sanxiyn avatar via sanxiyn 4 days ago | cached | no comments
  7. 3
    The story of ispc: C's influence and implementing SPMD on SIMD (part 4) c compilers pharr.org
    1amzave avatar via 1amzave 4 days ago | cached | no comments
  8. 6
    Can Logic Programming Execute as Fast as Imperative Programming? (1990) ☶ pdf compilers compsci performance programming eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | 6 comments
  9. 5
    Œuf: Minimizing the Coq Extraction TCB ☶ pdf compilers formalmethods programming oeuf.uwplse.org
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | no comments
  10. 7
    Automatic Generation of Provably Correct Embedded Systems (2012) ☶ pdf compilers formalmethods programming pat.comp.nus.edu.sg
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | no comments
  11. 11
    The story of ispc compilers pharr.org
    sanxiyn avatar via sanxiyn 8 days ago | cached | no comments
  12. 23
    SCUMM internals and syntax for the sake of nostalgia compilers games monades.roperzh.com
    roperzh avatar authored by roperzh 8 days ago | cached | no comments
  13. 2
    Help needed: Static typing and algebra ☶ compilers compsci math plt
    HenriTuhola avatar authored by HenriTuhola 9 days ago | 1 comment
  14. 16
    Announcing GraalVM: Run Programs Faster Anywhere compilers java blogs.oracle.com
    trousers avatar via trousers 9 days ago | cached | 4 comments
  15. 2
    An Overview Of The Marpa Parser (2015) compilers lukasatkinson.de
    adsouza avatar via adsouza 9 days ago | cached | no comments
  16. 67
    Parsing: a timeline compilers historical math jeffreykegler.github.io
    derek-jones avatar via derek-jones 10 days ago | cached | 15 comments
  17. 14
    Papers from the Lost Culture of Array Languages apl compilers compsci programming prog21.dadgum.com
    mfeathers avatar via mfeathers 10 days ago | cached | 5 comments
  18. 4
    An Interpreter for a Novice-Oriented Programming Language with Runtime Macros (2017) ☶ compilers education plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | no comments
  19. 1
    Writing a Managed JIT in C# with CoreCLR compilers dotnet xoofx.com
    calvin avatar via calvin 14 days ago | cached | no comments
  20. 3
    Futhark 0.4.0 released compilers release futhark-lang.org
    sanxiyn avatar via sanxiyn 15 days ago | cached | no comments
  21. 10
    Nandlang: A programming language based on NAND completeness compilers github.com
    nil avatar via nil 17 days ago | cached | no comments
  22. 11
    A catamorphic lambda-calculus interpreter compilers compsci haskell michaelpj.com
    mpdehnel avatar via mpdehnel 17 days ago | cached | no comments
  23. 32
    Writing a recursive ascent parser by hand compilers rust abubalay.com
    pushcx avatar via pushcx 18 days ago | cached | 2 comments
  24. 22
    PostgreSQL Begins Landing LLVM JIT Support For Faster Performance compilers databases phoronix.com
    calvin avatar via calvin 18 days ago | cached | 1 comment
  25. 4
    Design and Implementation of Optimizing Type-centric Compiler for High-Level Language (2017) ☶ compilers plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
Page 2 >>