| | 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 |
|
| | Everest: Towards a Verified, Drop-In Replacement of HTTPS [pdf] (dagstuhl.de) |
| 1 point by blopeur on June 10, 2017 | past |
|
| | Engineering Academic Software (Dagstuhl Perspectives Workshop) (dagstuhl.de) |
| 2 points by mpweiher on May 29, 2017 | past |
|
| | Intermittent Computing: Challenges and Opportunities [pdf] (dagstuhl.de) |
| 1 point by blucia0a on May 11, 2017 | past |
|
| | None, One, Many – What’s the Difference, Anyhow? [pdf] (dagstuhl.de) |
| 1 point by mpweiher on Jan 4, 2017 | past |
|
| | Implementing Python for DrRacket (2014) [pdf] (dagstuhl.de) |
| 41 points by brudgers on March 25, 2016 | past | 5 comments |
|
| | None, One, Many – What's the Difference, Anyhow? [pdf] (dagstuhl.de) |
| 6 points by rntz on Dec 5, 2015 | past |
|
| | Machine Learning Methods for Computer Security (2012) [pdf] (dagstuhl.de) |
| 39 points by danielrm26 on Jan 6, 2015 | past | 4 comments |
|
| | Sendmail crackaddr – Static Analysis strikes back [pdf] (dagstuhl.de) |
| 11 points by lelf on June 15, 2014 | past |
|
