| | Verified Programming in Dafny [pdf] (ic.ac.uk) |
|
3 points by todsacerdoti 2 days ago | past | discuss
|
|
| | The early years of logic programming (1988) [pdf] (ic.ac.uk) |
|
2 points by smartmic 7 months ago | past
|
|
| | Algorithm = Logic and Control (1979) [pdf] (ic.ac.uk) |
|
2 points by tosh 8 months ago | past
|
|
| | How to Write Unmaintainable Code (1999) (ic.ac.uk) |
|
1 point by slackner 10 months ago | past | 1 comment
|
|
| | RustSmith: Random Differential Compiler Testing for Rust [pdf] (ic.ac.uk) |
|
3 points by matt_d on July 14, 2023 | past
|
|
| | GrayC: Greybox Fuzzing of Compilers and Analysers for C [pdf] (ic.ac.uk) |
|
42 points by luu on June 11, 2023 | past | 2 comments
|
|
| | Key themes in Embodiment and the Inner Life (2010) (ic.ac.uk) |
|
1 point by cardosof on May 26, 2023 | past
|
|
| | Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs [pdf] (ic.ac.uk) |
|
1 point by luu on May 1, 2023 | past
|
|
| | Industrial Deployment of Compiler Fuzzing Techniques for GPU Shading Languages [pdf] (ic.ac.uk) |
|
2 points by matt_d on April 18, 2023 | past
|
|
| | Program Reconditioning: Avoiding Undefined Behavior When Finding and Reducing [pdf] (ic.ac.uk) |
|
8 points by matt_d on April 18, 2023 | past
|
|
| | Model Checking Futexes (ic.ac.uk) |
|
1 point by matt_d on March 14, 2023 | past | 1 comment
|
|
| | You Can Have It All: Abstraction and Good Cache Performance [pdf] (ic.ac.uk) |
|
1 point by zackoverflow on Feb 27, 2023 | past | 1 comment
|
|
| | Why I Switched from Vim to Visual Studio Code? (ic.ac.uk) |
|
3 points by behnamoh on Nov 21, 2022 | past
|
|
| | The Verity Stob Cruft Index: “a suitable metric, an index of cruftidity.” (ic.ac.uk) |
|
1 point by lproven on Aug 4, 2022 | past
|
|
| | Grothendieck's Approach to Equality [pdf] (ic.ac.uk) |
|
137 points by mathgenius on May 30, 2022 | past | 37 comments
|
|
| | Two Mechanisations of WebAssembly 1.0 (ic.ac.uk) |
|
3 points by matt_d on Jan 2, 2022 | past
|
|
| | Bitcoin – Committing to Quantum Resistance [pdf] (ic.ac.uk) |
|
1 point by pcw888 on Dec 16, 2021 | past
|
|
| | How to Write Unmaintainable Code (1999) (ic.ac.uk) |
|
4 points by rmason on June 15, 2021 | past
|
|
| | Putting Randomized Compiler Testing into Production [pdf] (ic.ac.uk) |
|
1 point by matt_d on Sept 17, 2020 | past
|
|
| | Testing Compilers Thoroughly by Being Less Conservative About Undefined Behavior [pdf] (ic.ac.uk) |
|
1 point by azhenley on Sept 7, 2020 | past
|
|
| | Testing Compilers More Thoroughly by Being Less Conservative About UB [pdf] (ic.ac.uk) |
|
2 points by matt_d on Aug 12, 2020 | past
|
|
| | FreeDA: Deploy All LLVM Sanitizers in Production without overhead [pdf] (ic.ac.uk) |
|
2 points by andronat on May 31, 2020 | past
|
|
| | LPS: Logic Production Systems (ic.ac.uk) |
|
20 points by todsacerdoti on May 5, 2020 | past
|
|
| | Slow and Steady: Measuring and Tuning Multicore Interference (RTAS 2020) [pdf] (ic.ac.uk) |
|
2 points by matt_d on Feb 29, 2020 | past
|
|
| | Earth Impact Effects Program (ic.ac.uk) |
|
1 point by oumua_don17 on Jan 5, 2020 | past
|
|
| | Algorithm = Logic and Control (1979) [pdf] (ic.ac.uk) |
|
3 points by YeGoblynQueenne on Jan 4, 2020 | past
|
|
| | Compiler Fuzzing: How Much Does It Matter? (ic.ac.uk) |
|
1 point by matt_d on Sept 5, 2019 | past
|
|
| | Too Unique to Hide (ic.ac.uk) |
|
75 points by zoobab on July 24, 2019 | past | 32 comments
|
|
| | Too Unique to Hide (ic.ac.uk) |
|
1 point by randomdrake on July 23, 2019 | past
|
|
| | The Anatomy of a Cryptocurrency Pump-and-Dump Scheme [pdf] (ic.ac.uk) |
|
1 point by tdhz77 on May 25, 2019 | past
|
|
|
|
More |
