| | Type Tailoring [pdf] (utah.edu) |
| 3 points by todsacerdoti on Oct 24, 2024 | past |
|
| | Minotaur: A SIMD-Oriented Synthesizing Superoptimizer [pdf] (utah.edu) |
| 55 points by luu on Oct 24, 2024 | past | 2 comments |
|
| | Applied Software Security Testing (utah.edu) |
| 1 point by udev4096 on Aug 9, 2024 | past |
|
| | Utah math professor's model to explain cancer development (utah.edu) |
| 1 point by vinnyvichy on Aug 6, 2024 | past |
|
| | Unix for TOPS-20 users. (1987) [pdf] (utah.edu) |
| 3 points by fanf2 on July 24, 2024 | past |
|
| | Where the Wild Things Are: Brute-Force SSH Attacks in the Wild, How to Stop Them (utah.edu) |
| 1 point by pabs3 on July 2, 2024 | past |
|
| | Hydra: Generalizing peephole optimizations with program synthesis [pdf] (utah.edu) |
| 38 points by luu on June 11, 2024 | past | 6 comments |
|
| | Awk v1.0 user guide (1996) (utah.edu) |
| 8 points by mike31fr on June 1, 2024 | past |
|
| | Area ReSTIR: Resampling for Real-Time Defocus and Antialiasing (utah.edu) |
| 2 points by jasondavies on May 16, 2024 | past |
|
| | A Bibliography of Books and Articles about Unix and Unix Programming [pdf] (utah.edu) |
| 3 points by chrsw on April 23, 2024 | past |
|
| | 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 |
|
|
| More |
