| | 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 |
|
| | Computing Summaries of String Loops in C for Better Testing and Refactoring [pdf] (ic.ac.uk) |
| 1 point by ingve on April 12, 2019 | past |
|
| | Learning higher order programs through abstraction and invention [pdf] (ic.ac.uk) |
| 37 points by YeGoblynQueenne on March 2, 2019 | past |
|
| | Neural networks (ic.ac.uk) |
| 2 points by rehman on Jan 18, 2019 | past |
|
| | Multiparty Session C: Safe Parallel Programming with Message Optimisation (2012) (ic.ac.uk) |
| 36 points by rurban on Dec 28, 2018 | past | 6 comments |
|
| | How to Be a Programmer: A Short, Comprehensive, and Personal Summary (2002) [pdf] (ic.ac.uk) |
| 254 points by mtmail on Dec 22, 2018 | past | 55 comments |
|
| | Breaking the 1M Bitcoin tx/s barrier (ic.ac.uk) |
| 2 points by youdarealmvp on Nov 23, 2018 | past |
|
| | Breaking the 1M tx/s barrier for Bitcoin and Blockchain (ic.ac.uk) |
| 2 points by trianglechain on Oct 29, 2018 | past |
|
| | Achieving 1M Bitcoin Transactions per Second (ic.ac.uk) |
| 1 point by fooldarealmvp on Oct 27, 2018 | past |
|
| | Blockchains are best-effort and why you should care (ic.ac.uk) |
| 12 points by udarealmvp on Oct 22, 2018 | past |
|
| | How to be a programmer (PDF, 2002) (ic.ac.uk) |
| 2 points by brikelly on Aug 16, 2018 | past |
|
| | Fencing off Go: Liveness and safety for channel-based programming [pdf] (ic.ac.uk) |
| 1 point by ingve on Aug 16, 2018 | past |
|
| | Do We Need Distributed Stream Processing? (ic.ac.uk) |
| 129 points by domargan on June 11, 2018 | past | 31 comments |
|
| | When the signal is in the noise: Exploiting Aircloak's Diffix anonymization (ic.ac.uk) |
| 4 points by Cynddl on April 25, 2018 | past | 2 comments |
|
| | Cambridge Analytica is only the beginning (ic.ac.uk) |
| 1 point by icc97 on April 10, 2018 | past |
|
| | Cambridge Analytica is only the beginning and blame your friends for it (ic.ac.uk) |
| 8 points by shubhamjain0594 on March 30, 2018 | past |
|
| | Cambridge Analytica is only the beginning. Should you blame your friends for it? (ic.ac.uk) |
| 2 points by Cynddl on March 29, 2018 | past |
|
| | Chopped Symbolic Execution (ic.ac.uk) |
| 1 point by DyslexicAtheist on March 11, 2018 | past | 1 comment |
|
| | A Static Verification Framework for Message Passing in Go (ic.ac.uk) |
| 2 points by geospeck on Jan 29, 2018 | past |
|
| | Automated Testing of Graphics Shader Compilers [pdf] (ic.ac.uk) |
| 2 points by based2 on Nov 19, 2017 | past |
|
|
| More |
