Explore >> Select a destination
|
You are here 
|
hashingit.com | ||
| | | | |
crdt.tech
|
|
| | | | | Resources and community around CRDT technology - papers, blog posts, code and more. | |
| | | | |
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... | |
| | | | |
ivebeenreadinglately.blogspot.com
|
|
| | | | | I wrote this in late 2008 on spec for a publication, but it was never published. My notes remind me that after writing it I came across a po... | |
| | | | |
www.decuina.net
|
|
| | | Blog sobre cuina, gastronomia, cultura i ciencia de fogons. Blog sobre cocina, gastronomía, cultura y ciéncia en los fogones. | ||
