Submissions from utah.edu

		Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers [pdf] (utah.edu)
		1 point by matt_d 6 days ago \| past \| discuss
		Study in mice reveals long-term metabolic risks of ketogenic diet (utah.edu)
		3 points by geox 48 days ago \| past
		Offset Geometric Contact (OGC) (utah.edu)
		3 points by mhb 67 days ago \| past
		Offset Geometric Contact (OGC) - Penetration-free simulation (utah.edu)
		2 points by pstadler 71 days ago \| past
		Offset Geometric Contact (OGC) (utah.edu)
		17 points by harporoeder 72 days ago \| past \| 3 comments
		Finding and Understanding Bugs in C Compilers (2011) [pdf] (utah.edu)
		28 points by djoldman 72 days ago \| past \| 6 comments
		A potential way to relieve arthritic knees without drugs or surgery (utah.edu)
		2 points by JeanKage 3 months ago \| past
		Translation Validation for LLVM's AArch64 Back End [pdf] (utah.edu)
		1 point by matt_d 3 months ago \| past
		Gait Retraining Could Significantly Reduce Knee Pain – Study (utah.edu)
		3 points by thunderbong 3 months ago \| past
		Hibernator 'superpowers' may lie hidden in human DNA (utah.edu)
		12 points by geox 4 months ago \| past \| 1 comment
		Engineers' Material Achieves Unmatched Efficiency in 'Forever Chemical' Removal (utah.edu)
		4 points by gnabgib 4 months ago \| past
		How the U.S. military can trim its carbon footprint (utah.edu)
		4 points by geox 4 months ago \| past
		The Story of Mel, A Real Programmer, Annotated (1996) (utah.edu)
		151 points by fanf2 4 months ago \| past \| 47 comments
		Bin2Wrong: A fuzzer for uncovering semantic errors in binary-to-C decompilers [pdf] (utah.edu)
		3 points by jmillikin 5 months ago \| past
		The Story of Mel (utah.edu)
		1 point by jstanley 5 months ago \| past
		Augmented Vertex Block Descent (AVBD) (utah.edu)
		90 points by bobajeff 5 months ago \| past \| 6 comments
		Augmented Vertex Block Descent (AVBD) (utah.edu)
		2 points by Luc 5 months ago \| past
		AVBD: Unconditionally stable, highly parallelizable physics-based simulation (utah.edu)
		2 points by crljmb 5 months ago \| past
		Fruit Flies on Cocaine Could Reveal Better Therapies for Addiction (utah.edu)
		3 points by gnabgib 6 months ago \| past \| 1 comment
		What Can You Do with a Slide Rule? (utah.edu)
		23 points by Tomte 6 months ago \| past \| 9 comments
		Volatiles Are Miscompiled, and What to Do about It (2008) [pdf] (utah.edu)
		3 points by Tomte 6 months ago \| past
		ReSTIR-Sampled Shadow Maps (utah.edu)
		1 point by ibobev 7 months ago \| past
		Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses [pdf] (utah.edu)
		2 points by luu 7 months ago \| past
		Parts of Our DNA May Evolve Much Faster Than Previously Thought (utah.edu)
		2 points by XzetaU8 7 months ago \| past
		First-Class Verification Dialects for MLIR [pdf] (utah.edu)
		3 points by luu 7 months ago \| past
		Seawater strengthens ancient Roman concrete (utah.edu)
		1 point by ryan_j_naughton 9 months ago \| past
		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
		More