🦞🌯 Lobster Roll

Thread

Elsa: a lightweight proof-checker (github.com)
L 8 pts 0 comments by pushcx Mar 13, 2017 compilerscompscirelease thread

Stories related to "Elsa: a lightweight proof-checker" across the full archive.

Elsa: a lightweight proof-checker (github.com)
L 8 pts 0 comments by pushcx Mar 13, 2017 compilerscompscirelease Systems / Low-Level / OSProgramming Languages / CS Theory thread
Generating Compiler Optimizations from Proofs (cs.cornell.edu)
L 8 pts 0 comments by animatronic Jul 11, 2015 compilerscompsci Systems / Low-Level / OSProgramming Languages / CS Theory thread
A Scope Safe Universe of Syntaxes with Binding, Their Semantics and Proofs (gallais.github.io)
L 4 pts 0 comments by lojikil Apr 16, 2017 compilerscompscipdf Systems / Low-Level / OSProgramming Languages / CS TheoryScience / Math / Physics thread
There's no "agda" or "plt" tags, so the above will do. This is an interesting pre-print on working with safe DSLs and the like in Agda. It looks neat, but I'll have to dive into it more later. The abstract: > Syntaxes with binding are omnipresent in Programming Languages research but also in...
Compiler Design: Theory, Tools, and Examples (elvis.rowan.edu)
L 3 pts 0 comments by pushcx Aug 30, 2012 compilerscompscipdf Systems / Low-Level / OSProgramming Languages / CS TheoryDesign / UX / Visualization thread
The Architecture of Open Source Applications (Volume 2): The Glasgow Haskell Compiler (aosabook.org)
L 7 pts 1 comments by inactive-user Sep 18, 2012 compilerscompscihaskellscaling Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread
cucu: a compiler you can understand (zserge.com)
L 6 pts 0 comments by steveklabnik Oct 26, 2012 ccompilerscompsci Systems / Low-Level / OSProgramming Languages / CS Theory thread
How OCaml type checker works -- or what polymorphism and garbage collection have in common (okmij.org)
L 4 pts 0 comments by SeanTAllen Mar 12, 2013 compsci Systems / Low-Level / OSProgramming Languages / CS Theory thread
The race for speed part 2: How JavaScript compilers work (creativejs.com)
L 2 pts 0 comments by SeanTAllen Jul 10, 2013 compilersjavascript Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
Anatomy of a Compiler Bug (mikeash.com)
L 6 pts 0 comments by pushcx Jul 15, 2013 assemblyccompilerscompsci Systems / Low-Level / OSProgramming Languages / CS Theory thread
Compilers in OpenBSD (marc.info)
L 22 pts 1 comments by tedu Aug 1, 2013 compilersopenbsd Systems / Low-Level / OSProgramming Languages / CS Theory thread
Odd Odd Even Agda Proof (brianmckenna.org)
L 6 pts 0 comments by puffnfresh Aug 4, 2013 compscimath Programming Languages / CS TheoryScience / Math / Physics thread
Are Compilers Getting More or Less Reliable? (blog.regehr.org)
L 7 pts 0 comments by jcs Sep 17, 2013 compilerscompsci Systems / Low-Level / OSProgramming Languages / CS Theory thread
Proofs as Cryptography: a new interpretation of Curry-Howard for software certificates (hal-ens.archives-ouvertes.fr)
L 1 pts 0 comments by puffnfresh Oct 11, 2013 compscipdfsecurity Programming (General)Programming Languages / CS TheorySecurity / Privacy thread
Writing a Nanopass Compiler (youtube.com)
L 8 pts 4 comments by lambda Jan 7, 2014 compilerscompsciprogrammingvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Stop Writing JavaScript Compilers! Make Macros Instead (jlongster.com)
L 13 pts 0 comments by ntalbott Jan 8, 2014 compilersjavascript Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
In-depth article about using [sweet.js](https://github.com/mozilla/sweet.js), a macro library for Javascript.
Implementing a JIT Compiler with Haskell and LLVM (stephendiehl.com)
L 8 pts 0 comments by jm Jan 9, 2014 compilerscompscihaskell Systems / Low-Level / OSProgramming Languages / CS Theory thread
Lightweight String Indexing for Embedded Systems (spin.atomicobject.com)
L 11 pts 0 comments by silentbicycle Jan 13, 2014 ccompscihardware Systems / Low-Level / OSProgramming Languages / CS TheoryMaker / DIY / Hardware thread
Course in compilers from Stanford University starts today on Coursera.org (coursera.org)
L 1 pts 0 comments by svm Mar 17, 2014 ccompilerscompscijavaprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
How to abuse a C++ compiler? (mysticalprogramming.wordpress.com)
L 6 pts 0 comments by codeon1 Mar 21, 2014 ccompilerscompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Clojure Compiler progress report "Data All The ASTs" (youtube.com)
L 9 pts 1 comments by juliangamble May 3, 2014 compilerscompscidesignlispprogrammingvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryDesign / UX / Visualization thread
The Ruby Type Checker (cs.umd.edu)
L 7 pts 2 comments by jcs May 6, 2014 compscipdfruby Programming (General)Programming Languages / CS Theory thread
SPARK: High-Level Synthesis using Parallelizing Compiler Techniques (mesl.ucsd.edu)
L 1 pts 0 comments by animatronic Jun 15, 2014 compilerscompscihardware Systems / Low-Level / OSProgramming Languages / CS TheoryMaker / DIY / Hardware thread
Finding Compiler Bugs by Removing Dead Code (blog.regehr.org)
L 6 pts 0 comments by tedu Jun 21, 2014 ccompilerscompsci Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Automating Formal Proofs for Reactive Systems (goto.ucsd.edu)
L 5 pts 0 comments by inactive-user Jun 22, 2014 compscimath Programming Languages / CS TheoryScience / Math / Physics thread
LnQ: Building High Performance Dynamic Binary Translators with Existing Compiler Backends (people.cs.nctu.edu.tw)
L 2 pts 2 comments by animatronic Jun 23, 2014 compilerscompscipdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
"The Big Problem", and "Visual Compilers: A Practical Example" (langnostic.inaimathi.ca)
L 5 pts 1 comments by PuercoPop Jul 3, 2014 compilerscompscilisp Systems / Low-Level / OSProgramming Languages / CS Theory thread
Flow: Facebook's new JavaScript type checker
L 11 pts 2 comments by BruceM Sep 19, 2014 compscijavascript Web DevelopmentProgramming Languages / CS Theory thread
This isn't available yet, but was discussed at @Scale, https://code.facebook.com/atscale: > At Facebook, we're writing more and more JavaScript every day. The code we write not only exploits the full flexibility and expressiveness offered by the language, but it also demands strong assurances of ...
Programming Languages and Compilers Commons (network.bepress.com)
L 2 pts 0 comments by animatronic Oct 25, 2014 compilerscompsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Bidirectional Type Checkers for λ→ and λΠ (jozefg.bitbucket.org)
L 7 pts 8 comments by jozefg Nov 22, 2014 compscihaskell Programming Languages / CS Theory thread
Zero Knowledge Proofs: An illustrated primer (blog.cryptographyengineering.com)
L 16 pts 0 comments by catchmrbharath Nov 28, 2014 compscimath Programming Languages / CS TheoryDesign / UX / VisualizationScience / Math / Physics thread