| | Program Optimisations via Hylomorphisms for Extraction of Executable Code (dagstuhl.de) |
| 4 points by matt_d 11 days ago | past | discuss |
|
| | Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..) (dagstuhl.de) |
| 2 points by jbhn 23 days ago | past |
|
| | Proceedings of the Symposium on Experimental Algorithms (SEA2025) (dagstuhl.de) |
| 2 points by RossBencina 73 days ago | past |
|
| | GDBMiner: Mining Precise Input Grammars on Almost Any System (dagstuhl.de) |
| 3 points by matt_d 4 months ago | past |
|
| | Wrench Attacks: Physical attacks targeting cryptocurrency users (2024) [pdf] (dagstuhl.de) |
| 120 points by pulisse 4 months ago | past | 117 comments |
|
| | Hash Chain: efficient exact online string search / matching through linked weak [pdf] (dagstuhl.de) |
| 1 point by fanf2 6 months ago | past |
|
| | The Performance Effects of Virtual-Machine Instruction Pointer Updates [pdf] (dagstuhl.de) |
| 1 point by noelwelsh 7 months ago | past | 1 comment |
|
| | Static Basic Block Versioning (dagstuhl.de) |
| 48 points by matt_d 11 months ago | past | 11 comments |
|
| | Taking a Closer Look:An Outlier-Driven Approach to Compilation-Time Optimization (dagstuhl.de) |
| 2 points by matt_d 11 months 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 |
|
|
| More |
