| | Brute-Force SSH Attacks in the Wild and How to Stop Them (utah.edu) |
| 2 points by 8organicbits on April 10, 2024 | past |
|
| | This device gathers, stores electricity in remote settings (utah.edu) |
| 1 point by geox on April 9, 2024 | past |
|
| | Macros that Work Together (2012) [pdf] (utah.edu) |
| 1 point by Tomte on March 6, 2024 | past |
|
| | Hydra: Generalizing Peephole Optimizations with Program Synthesis [pdf] (utah.edu) |
| 1 point by matt_d on March 5, 2024 | past |
|
| | Learn.Genetics (utah.edu) |
| 2 points by Tomte on Feb 28, 2024 | past |
|
| | Rhombus: A New Spin on Macros Without All the Parentheses (2023) [pdf] (utah.edu) |
| 2 points by swatson741 on Jan 23, 2024 | past |
|
| | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf] (utah.edu) |
| 85 points by luu on Jan 12, 2024 | past | 9 comments |
|
| | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf] (utah.edu) |
| 2 points by matt_d on Jan 11, 2024 | past |
|
| | Visualizing the Size and Scale of Cells (utah.edu) |
| 2 points by throwup238 on Jan 9, 2024 | past |
|
| | Telescope Array detects second highest-energy cosmic ray (utah.edu) |
| 3 points by gmays on Nov 29, 2023 | past |
|
| | Telescope Array detects second highest-energy cosmic ray (utah.edu) |
| 2 points by giuliomagnifico on Nov 26, 2023 | past |
|
| | Telescope Array detects second highest-energy cosmic ray (utah.edu) |
| 4 points by ZunarJ5 on Nov 25, 2023 | past |
|
| | Threads Cannot be Implemented as a Library [pdf] (utah.edu) |
| 5 points by luu on Oct 7, 2023 | past |
|
| | Poemage is a visualization system for exploring the sonic topology of a poem (utah.edu) |
| 3 points by bryanrasmussen on Sept 16, 2023 | past |
|
| | Book of the Week – Mushrooms, Russia and History (utah.edu) |
| 1 point by celtoid on Sept 2, 2023 | past | 1 comment |
|
| | The Tug Bibliography Archive (utah.edu) |
| 11 points by 1vuio0pswjnm7 on Aug 24, 2023 | past |
|
| | How to Solve It (1945) (utah.edu) |
| 203 points by GamerUncle on Aug 22, 2023 | past | 101 comments |
|
| | Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages[pdf] (utah.edu) |
| 2 points by thesuperbigfrog on Aug 11, 2023 | past |
|
| | Taming Undefined Behavior in LLVM (2017) [pdf] (utah.edu) |
| 3 points by thesuperbigfrog on Aug 11, 2023 | past | 1 comment |
|
| | Understanding Integer Overflow in C/C++ (2015) [pdf] (utah.edu) |
| 3 points by thesuperbigfrog on Aug 11, 2023 | past | 1 comment |
|
| | Random Testing of WebAssembly Implementations Using Semantically Valid Programs (utah.edu) |
| 69 points by luu on Aug 3, 2023 | past | 9 comments |
|
| | Avoiding the Ordering Trap in Systems Performance Measurement (utah.edu) |
| 1 point by timf on June 20, 2023 | past |
|
| | Shortest Path to Boundary for Self-Intersecting Meshes (utah.edu) |
| 3 points by lnyan on May 17, 2023 | past | 2 comments |
|
| | Shout: Distributed measurements and resources framework for wireless systems (utah.edu) |
| 3 points by teleforce on April 14, 2023 | past |
|
| | Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages [pdf] (utah.edu) |
| 6 points by matt_d on April 12, 2023 | past | 1 comment |
|
| | WebPath: The Internet Pathology Laboratory for Medical Education (utah.edu) |
| 1 point by dgellow on March 21, 2023 | past |
|
| | Alan Kay, Ivan Sutherland, Ed Catmull, and others to speak in Utah this week (utah.edu) |
| 50 points by apitman on March 20, 2023 | past | 9 comments |
|
| | Linux/Unix Nbench (utah.edu) |
| 10 points by haunter on March 18, 2023 | past |
|
| | Finding and Understanding Bugs in C Compilers [pdf] (utah.edu) |
| 2 points by g0xA52A2A on March 16, 2023 | past |
|
| | Swarm Testing [pdf] (utah.edu) |
| 3 points by eatonphil on Feb 24, 2023 | past |
|
|
| More |
