Explore >> Select a destination
|
You are here 
|
www.cs.cornell.edu | ||
| | | | |
www.math.tau.ac.il
|
|
| | | | | [AI summary] Mooly Sagiv is a leading researcher in software verification, static analysis, and formal methods. His work focuses on verifying the correctness of complex systems, including distributed protocols, smart contracts, and concurrent programs. Sagiv has made significant contributions to the field of program analysis, particularly in the areas of modular reasoning, shape analysis, and symbolic execution. He has published extensively in top conferences and journals, including PLDI, POPL, and CAV. Sagiv is also known for his work on deductive verification and the development of tools that support formal verification of software systems. He has received numerous awards for his research, including the Best Paper Award at PLDI 2011 and the Best Paper Awar... | |
| | | | |
muratbuffalo.blogspot.com
|
|
| | | | | I talked about the importance of reading foundational papers last week. To followup, here is my compilation of foundational papers in the d... | |
| | | | |
research.google
|
|
| | | | | Posted by Liang-Chieh Chen and Yukun Zhu, Software Engineers, Google ResearchSemantic image segmentation, the task of assigning a semantic label, s... | |
| | | | |
benjamincongdon.me
|
|
| | | B-Trees are not boring, after all | ||
