| | Provably space-efficient parallel functional programming (sigplan.org) |
| 117 points by matt_d on Jan 13, 2022 | past | 24 comments |
|
| | Undefined Behavior deserves a better reputation – SIGPLAN Blog (sigplan.org) |
| 1 point by rbanffy on Jan 7, 2022 | past |
|
| | Undefined Behavior deserves a better reputation – SIGPLAN Blog (sigplan.org) |
| 2 points by rbanffy on Nov 29, 2021 | past |
|
| | Undefined Behavior deserves a better reputation (sigplan.org) |
| 4 points by lukastyrychtr on Nov 27, 2021 | past |
|
| | Undefined Behavior deserves a better reputation (sigplan.org) |
| 2 points by matt_d on Nov 18, 2021 | past |
|
| | Neural Network Verification (sigplan.org) |
| 4 points by azhenley on Nov 4, 2021 | past |
|
| | The Return of the Unix Shell (sigplan.org) |
| 3 points by winkywooster on Oct 14, 2021 | past |
|
| | The Return of the Unix Shell (sigplan.org) |
| 7 points by matt_d on Oct 13, 2021 | past |
|
| | Finding Bugs in C and C++ Compilers using YARPGen (sigplan.org) |
| 2 points by pjmlp on Sept 19, 2021 | past |
|
| | Story of the Flash Fill Feature in Excel (sigplan.org) |
| 109 points by azhenley on Sept 16, 2021 | past | 45 comments |
|
| | Reflective Towers of Interpreters (sigplan.org) |
| 2 points by azhenley on Aug 30, 2021 | past |
|
| | Reflective Towers of Interpreters (sigplan.org) |
| 6 points by kristianp on Aug 26, 2021 | past | 1 comment |
|
| | High Performance Correctly Rounded Math Libraries for 32-Bit Floating Point (sigplan.org) |
| 107 points by ingve on Aug 26, 2021 | past | 73 comments |
|
| | Reflective Towers of Interpreters (sigplan.org) |
| 2 points by azhenley on Aug 17, 2021 | past |
|
| | Reflective Towers of Interpreters (sigplan.org) |
| 2 points by azhenley on Aug 17, 2021 | past |
|
| | Making Software Sandboxing Practical Using Language-Based Techniques (sigplan.org) |
| 1 point by rbanffy on Aug 12, 2021 | past |
|
| | Reflective Towers of Interpreters (sigplan.org) |
| 1 point by matt_d on Aug 12, 2021 | past |
|
| | Making Software Sandboxing Practical Using Language-Based Techniques (sigplan.org) |
| 1 point by rbanffy on Aug 9, 2021 | past |
|
| | Verifying a Quantum Compiler – Sigplan Blog (sigplan.org) |
| 1 point by rbanffy on Aug 6, 2021 | past |
|
| | Defunctionalization: Everybody does it, nobody talks about it (2019) (sigplan.org) |
| 59 points by Tomte on Aug 6, 2021 | past | 26 comments |
|
| | Making Software Sandboxing Practical Using Language-Based Techniques (sigplan.org) |
| 2 points by ingve on Aug 2, 2021 | past |
|
| | Making Software Sandboxing Practical Using Language-Based Techniques (sigplan.org) |
| 3 points by matt_d on July 27, 2021 | past |
|
| | Programming Languages + Human-Computer Interaction: SPLASH 2020 (sigplan.org) |
| 27 points by matt_d on July 6, 2021 | past | 1 comment |
|
| | Verifying a Quantum Compiler (sigplan.org) |
| 1 point by azhenley on July 1, 2021 | past |
|
| | Developer & User-Transparent Compiler Optimization for Interactive Applications (sigplan.org) |
| 2 points by matt_d on June 24, 2021 | past |
|
| | Verifying a Quantum Compiler (sigplan.org) |
| 1 point by matt_d on June 2, 2021 | past |
|
| | Test case reduction: beyond bugs (sigplan.org) |
| 2 points by azhenley on May 25, 2021 | past |
|
| | Programming Language Design and Implementation (PLDI) 2021: Accepted Papers (sigplan.org) |
| 10 points by matt_d on May 20, 2021 | past | 1 comment |
|
| | Circuit Synthesis for Analog Computing (sigplan.org) |
| 57 points by matt_d on May 18, 2021 | past | 3 comments |
|
| | Making PL Ideas Accessible: An Open-Source, Open-Access, Interactive Journal (sigplan.org) |
| 1 point by azhenley on April 14, 2021 | past |
|
|
| More |
