Embedded in Academia 今日热榜



近期历史最近 100 条记录

2024-09-05	Looking for Missed Alarm Bugs in a Formal Verification Tool	Uncategorized ‧ regehr	
2024-04-21	Dataflow Analyses and Compiler Optimizations that Use Them, for Free	Uncategorized ‧ regehr	
2022-06-06	Formal-Methods-Based Bugfinding for LLVM’s AArch64 Backend	Compilers ‧ regehr	
2022-05-31	High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM	Uncategorized ‧ regehr	
2021-11-07	A Close Look at a Spinlock	Uncategorized ‧ regehr	
2021-05-14	llvm-reduce	Uncategorized ‧ regehr	
2021-03-20	The Gods Pocket Peak Trail	Outdoors ‧ regehr	
2021-03-20	Sid’s Mountain Backpacking Loop	Outdoors ‧ regehr	
2021-03-20	Responsible and Effective Bugfinding	Computer Science ‧ regehr	
2021-03-20	Alive2 Part 3: Things You Can and Can’t Do with Undef in LLVM	Compilers ‧ regehr	
2021-03-20	You Might as Well Be a Great Copy Editor	Academia ‧ regehr	
2021-03-20	The Saturation Effect in Fuzzing	Computer Science ‧ regehr	
2021-03-20	Alive2 Part 2: Tracking miscompilations in LLVM using its own unit tests	Compilers ‧ regehr	
2020-03-13	Alive2 Part 1: Introduction	Compilers ‧ regehr	
2020-01-23	Precision Opportunities for Demanded Bits in LLVM	Compilers ‧ regehr	
2020-01-11	Testing Dataflow Analyses for Precision and Soundness	Compilers ‧ regehr	
2019-11-05	Helping Generative Fuzzers Avoid Looking Only Where the Light is Good, Part 1	Computer Science ‧ regehr	
2019-08-20	Write Fuzzable Code	Computer Science ‧ regehr	
2019-08-12	Design and Evolution of C-Reduce (Part 2)	Compilers ‧ regehr	
2019-07-10	Design and Evolution of C-Reduce (Part 1)	Compilers ‧ regehr	
2019-07-03	It's time for a modern synthesis kernel (2019)	pbrowne011	
2019-05-08	Floating the Dirty Devil River	Outdoors ‧ regehr	
2019-05-08	Verifying Popcount	Computer Science ‧ regehr	
2019-05-08	Explaining code using ASCII art	memalign	
2019-05-08	Walking or Biking to NSF	Academia ‧ regehr	
2019-05-08	Synthesizing Constants	Compilers ‧ regehr	
2019-05-08	Learning When Values are Changed by Implicit Integer Casts	Compilers ‧ regehr	
2019-05-08	What’s the difference between an integer and a pointer?		
2019-05-08	Future Directions for Optimizing Compilers		
2019-05-08	LLVM Optimizes a Function	Akronymus	
2019-05-08	How Clang compiles a function (2018)	ibobev	