| | Static Basic Block Versioning (dagstuhl.de) |
|
48 points by matt_d 54 days ago | past | 11 comments
|
|
| | Taking a Closer Look:An Outlier-Driven Approach to Compilation-Time Optimization (dagstuhl.de) |
|
2 points by matt_d 71 days ago | past
|
|
| | Large Language Models: Compilers for the 4th Gen of Programming Languages? [pdf] (dagstuhl.de) |
|
78 points by luu on Aug 20, 2023 | past | 23 comments
|
|
| | A Practical Algorithm for Chess Unwinnability [pdf] (dagstuhl.de) |
|
2 points by segfaultbuserr on Aug 13, 2023 | past
|
|
| | Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (dagstuhl.de) |
|
3 points by mepian on July 14, 2023 | past
|
|
| | Adaptive Voronoi Masking: A Method to Protect Confidential Discrete Spatial Data (dagstuhl.de) |
|
2 points by raybb on June 28, 2023 | past
|
|
| | A Tour of Gallifrey, a Language for Geodistributed Programming [pdf] (2019) (dagstuhl.de) |
|
18 points by luu on May 12, 2023 | past | 2 comments
|
|
| | The Next 350 Million Knots (dagstuhl.de) |
|
1 point by knotSUITE on Jan 8, 2023 | past
|
|
| | Gradual Program Analysis for Null Pointers Using Infer [pdf] (dagstuhl.de) |
|
1 point by blacksqr on Oct 6, 2022 | past
|
|
| | Report on Secure Compilation Research [pdf] (dagstuhl.de) |
|
2 points by todsacerdoti on Sept 13, 2022 | past
|
|
| | 36th European Conference on Object-Oriented Programming (ECOOP 2022) Proceedings (dagstuhl.de) |
|
2 points by matt_d on June 23, 2022 | past
|
|
| | Is a Dataframe Just a Table? (2019) [pdf] (dagstuhl.de) |
|
3 points by ryanmjacobs on Nov 11, 2021 | past
|
|
| | Programmers’ Affinity to Languages [pdf] (dagstuhl.de) |
|
1 point by azhenley on July 17, 2021 | past
|
|
| | Programmers’ Affinity to Languages [pdf] (dagstuhl.de) |
|
3 points by azhenley on July 15, 2021 | past
|
|
| | A Hitchhiker's Guide to Reinventing a Prolog Machine (2018) (dagstuhl.de) |
|
82 points by vg_head on April 23, 2021 | past | 18 comments
|
|
| | 34th European Conference on Object-Oriented Programming (ECOOP 2020) Proceedings (dagstuhl.de) |
|
2 points by matt_d on Nov 6, 2020 | past
|
|
| | Programming Languages for Distributed Systems and Distributed Data Management [pdf] (dagstuhl.de) |
|
4 points by mpweiher on Feb 28, 2020 | past
|
|
| | Generating Verified LLVM from Isabelle/HOL [pdf] (dagstuhl.de) |
|
1 point by adamnemecek on Jan 20, 2020 | past
|
|
| | On the Worst-Case Complexity of TimSort (dagstuhl.de) |
|
204 points by pelario on Aug 31, 2018 | past | 74 comments
|
|
| | Worst case complexity of TimSort unveiled [pdf] (dagstuhl.de) |
|
2 points by pelario on Aug 20, 2018 | past
|
|
| | Formal Language Recognition with the Java Type Checker (2016) [pdf] (dagstuhl.de) |
|
28 points by evacchi on May 10, 2018 | past | 2 comments
|
|
| | Approaches and Applications of Inductive Programming [pdf] (dagstuhl.de) |
|
2 points by mpweiher on March 14, 2018 | past
|
|
| | Modelling homogeneous generative meta-programming [pdf] (dagstuhl.de) |
|
1 point by michaelsbradley on March 8, 2018 | past
|
|
| | Sequential consistency considered harmful [pdf] (dagstuhl.de) |
|
3 points by JoshTriplett on Feb 22, 2018 | past
|
|
| | Analysis and Synthesis of Floating-Point Programs (Dagstuhl Seminar) [pdf] (dagstuhl.de) |
|
1 point by Katydid on Feb 10, 2018 | past
|
|
| | Theory and Applications of Hashing [pdf] (dagstuhl.de) |
|
3 points by thomasahle on Dec 26, 2017 | past
|
|
| | Modelling Homogeneous Generative Meta-Programming [pdf] (dagstuhl.de) |
|
1 point by mpweiher on Dec 14, 2017 | past
|
|
| | Blockchain Consensus Protocols in the Wild (dagstuhl.de) |
|
2 points by blopeur on Oct 19, 2017 | past
|
|
| | Formal Language Recognition with the Java Type Checker [pdf] (dagstuhl.de) |
|
2 points by bmc7505 on Aug 6, 2017 | past
|
|
| | Modelling Homogeneous Generative Meta-Programming (dagstuhl.de) |
|
39 points by mpweiher on June 17, 2017 | past | 6 comments
|
|
|
|
More |
