| | Type Tailoring [pdf] (utah.edu) |
|
3 points by todsacerdoti 63 days ago | past
|
|
| | Minotaur: A SIMD-Oriented Synthesizing Superoptimizer [pdf] (utah.edu) |
|
55 points by luu 63 days ago | past | 2 comments
|
|
| | Applied Software Security Testing (utah.edu) |
|
1 point by udev4096 4 months ago | past
|
|
| | Utah math professor's model to explain cancer development (utah.edu) |
|
1 point by vinnyvichy 4 months ago | past
|
|
| | Unix for TOPS-20 users. (1987) [pdf] (utah.edu) |
|
3 points by fanf2 5 months ago | past
|
|
| | Where the Wild Things Are: Brute-Force SSH Attacks in the Wild, How to Stop Them (utah.edu) |
|
1 point by pabs3 5 months ago | past
|
|
| | Hydra: Generalizing peephole optimizations with program synthesis [pdf] (utah.edu) |
|
38 points by luu 6 months ago | past | 6 comments
|
|
| | Awk v1.0 user guide (1996) (utah.edu) |
|
8 points by mike31fr 6 months ago | past
|
|
| | Area ReSTIR: Resampling for Real-Time Defocus and Antialiasing (utah.edu) |
|
2 points by jasondavies 7 months ago | past
|
|
| | A Bibliography of Books and Articles about Unix and Unix Programming [pdf] (utah.edu) |
|
3 points by chrsw 8 months ago | past
|
|
| | Brute-Force SSH Attacks in the Wild and How to Stop Them (utah.edu) |
|
2 points by 8organicbits 8 months ago | past
|
|
| | This device gathers, stores electricity in remote settings (utah.edu) |
|
1 point by geox 8 months ago | past
|
|
| | Macros that Work Together (2012) [pdf] (utah.edu) |
|
1 point by Tomte 9 months ago | past
|
|
| | Hydra: Generalizing Peephole Optimizations with Program Synthesis [pdf] (utah.edu) |
|
1 point by matt_d 9 months ago | past
|
|
| | Learn.Genetics (utah.edu) |
|
2 points by Tomte 10 months ago | past
|
|
| | Rhombus: A New Spin on Macros Without All the Parentheses (2023) [pdf] (utah.edu) |
|
2 points by swatson741 11 months ago | past
|
|
| | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf] (utah.edu) |
|
85 points by luu 11 months ago | past | 9 comments
|
|
| | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf] (utah.edu) |
|
2 points by matt_d 11 months ago | past
|
|
| | Visualizing the Size and Scale of Cells (utah.edu) |
|
2 points by throwup238 11 months ago | 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 |
