Stories tagged as compilers – Compiler design
  1. 3
    Sequent Calculus as a Compiler Intermediate Language (2016) ☶ pdf compilers formalmethods haskell microsoft.com
    nickpsecurity avatar via nickpsecurity 39 hours ago | cached | 3 comments
  2. 6
    An Incremental Approach to Compiler Construction pdf compilers lisp plt scheme2006.cs.uchicago.edu
    enkiv2 avatar via enkiv2 41 hours ago | cached | 2 comments
  3. 10
    Mcbind: Generating C Bindings for Myrddin, Automatically c compilers programming release eigenstate.org
    orib avatar authored by orib 6 days ago | cached | 11 comments
  4. 2
    DeepSmith: Compiler Fuzzing through Deep Learning ☶ pdf ai compilers testing chriscummins.cc
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | no comments
  5. 1
    Structure-aware Fuzzing for Clang and LLVM (2017) pdf slides c c++ compilers testing llvm.org
    nickpsecurity avatar via nickpsecurity 8 days ago | cached | no comments
  6. 6
    TIL: A Type-Directed Optimizing Compiler for ML ☶ pdf compilers ml pdfs.semanticscholar.org
    lojikil avatar via lojikil 8 days ago | cached | 10 comments
  7. 5
    Writing a JIT Compiler in C# compilers dotnet mono-project.com
    calvin avatar via calvin 9 days ago | cached | no comments
  8. 1
    Fuzzing with Code Fragments (2012) pdf compilers javascript testing usenix.org
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | 2 comments
  9. 4
    Reconciling High-Level Optimizations and Low-Level Code in LLVM ☶ pdf compilers cs.utah.edu
    mjn avatar via mjn 9 days ago | cached | no comments
  10. 7
    Optimizing for Security compilers security immunant.com
    artem avatar via artem 10 days ago | cached | 8 comments
  11. 16
    Future Directions for Optimizing Compilers ☶ pdf compilers performance arxiv.org
    jryans avatar via jryans 10 days ago | cached | 9 comments
  12. 14
    Checked C: Making C Safe by Extension pdf c compilers security microsoft.com
    calvin avatar via calvin 12 days ago | cached | no comments
  13. 5
    pegdebug - visual and interactive debugging of peg parsing compilers compsci programming mqnc.github.io
    rain1 avatar via rain1 15 days ago | cached | 1 comment
  14. 2
    LLVM JIT, Objective-C and Swift on macOS: knowledge dump compilers objectivec swift stanislaw.github.io
    calvin avatar via calvin 15 days ago | cached | no comments
  15. 12
    Maybe adding generics to Go IS about syntax after all compilers go plt dave.cheney.net
    yumaikas avatar via yumaikas 16 days ago | cached | 7 comments
  16. 16
    How LLVM Optimizes a Function compilers blog.regehr.org
    GeoffWozniak avatar via GeoffWozniak 17 days ago | cached | no comments
  17. 10
    What Every C Programmer Should Know About Undefined Behavior (2011) ☶ c compilers blog.llvm.org
    fcbsd avatar via fcbsd 17 days ago | cached | no comments
  18. 19
    Has anyone written a custom compiler for a single program? ☶ ask compilers
    joe_the_user avatar authored by joe_the_user 20 days ago | 36 comments
  19. 5
    Fully Countering Trusting Trust through Diverse Double-Compiling [2009] compilers compsci security dwheeler.com
    aleph avatar via aleph 21 days ago | cached | no comments
  20. 2
    Compiler Verification Meets Cross-Language Linking via Data Abstraction (2014) ☶ compilers formalmethods plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 22 days ago | cached | no comments
  21. 9
    Fuzzing the .NET JIT Compiler compilers dotnet security mattwarren.org
    calvin avatar via calvin 23 days ago | cached | 4 comments
  22. 1
    OSHUG Event #69 - Members' Lightning Talks compilers event hardware lua mac osdev oshug.org
    sevan avatar via sevan 23 days ago | cached | no comments
  23. 19
    Oops, I Wrote a C++ Compiler c++ compilers praeclarum.org
    yumaikas avatar via yumaikas 24 days ago | cached | 5 comments
  24. 2
    C-SKY GCC port merged compilers hardware gcc.gnu.org
    sanxiyn avatar via sanxiyn 25 days ago | cached | 1 comment
  25. 11
    William Byrd on The Most Beautiful Program Ever Written ☶ video compilers compsci lisp paperswelove.org
    animatronic avatar via animatronic 27 days ago | cached | 1 comment
Page 2 >>