| | Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses [pdf] (utah.edu) |
|
2 points by luu 1 day ago | past | discuss
|
|
| | Parts of Our DNA May Evolve Much Faster Than Previously Thought (utah.edu) |
|
2 points by XzetaU8 6 days ago | past | discuss
|
|
| | First-Class Verification Dialects for MLIR [pdf] (utah.edu) |
|
3 points by luu 10 days ago | past | discuss
|
|
| | Seawater strengthens ancient Roman concrete (utah.edu) |
|
1 point by ryan_j_naughton 64 days ago | past
|
|
| | Type Tailoring [pdf] (utah.edu) |
|
3 points by todsacerdoti 6 months ago | past
|
|
| | Minotaur: A SIMD-Oriented Synthesizing Superoptimizer [pdf] (utah.edu) |
|
55 points by luu 6 months ago | past | 2 comments
|
|
| | Applied Software Security Testing (utah.edu) |
|
1 point by udev4096 8 months ago | past
|
|
| | Utah math professor's model to explain cancer development (utah.edu) |
|
1 point by vinnyvichy 8 months ago | past
|
|
| | Unix for TOPS-20 users. (1987) [pdf] (utah.edu) |
|
3 points by fanf2 9 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 10 months ago | past
|
|
| | Hydra: Generalizing peephole optimizations with program synthesis [pdf] (utah.edu) |
|
38 points by luu 10 months ago | past | 6 comments
|
|
| | Awk v1.0 user guide (1996) (utah.edu) |
|
8 points by mike31fr 11 months ago | past
|
|
| | Area ReSTIR: Resampling for Real-Time Defocus and Antialiasing (utah.edu) |
|
2 points by jasondavies 11 months ago | 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
|
|
|
|
More |
