| | Gaussian random number generators [pdf] (ic.ac.uk) |
|
1 point by fanf2 41 days ago | past
|
|
| | Ratte: Fuzzing Multi-Level Compilers Using Composable Semantics [pdf] (ic.ac.uk) |
|
2 points by matt_d 46 days ago | past
|
|
| | Formalising CXL Cache Coherence [pdf] (ic.ac.uk) |
|
2 points by matt_d 46 days ago | past
|
|
| | The British Nationality Act as a Prolog Program (1986) [pdf] (ic.ac.uk) |
|
35 points by Tomte 57 days ago | past | 17 comments
|
|
| | Pi in the Mandelbrot Set [pdf] (ic.ac.uk) |
|
1 point by anigbrowl 59 days ago | past
|
|
| | Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] (ic.ac.uk) |
|
42 points by matt_d 3 months ago | past | 2 comments
|
|
| | Analysing Futex-Based Synchronisation Primitives Using Model Checking [pdf] (ic.ac.uk) |
|
1 point by matt_d 3 months ago | past
|
|
| | Algorithm = Logic and Control [pdf] (ic.ac.uk) |
|
72 points by acmerfight 6 months ago | past | 12 comments
|
|
| | Verified Programming in Dafny [pdf] (ic.ac.uk) |
|
3 points by todsacerdoti 6 months ago | past
|
|
| | The early years of logic programming (1988) [pdf] (ic.ac.uk) |
|
2 points by smartmic on Feb 28, 2024 | past
|
|
| | Algorithm = Logic and Control (1979) [pdf] (ic.ac.uk) |
|
2 points by tosh on Jan 31, 2024 | past
|
|
| | How to Write Unmaintainable Code (1999) (ic.ac.uk) |
|
1 point by slackner on Dec 8, 2023 | 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
|
|
|
|
More |
