Explore >> Select a destination
|
You are here 
|
www.cs.cornell.edu | ||
| | | | |
popl18.sigplan.org
|
|
| | | | | News: All the speakers have made their slides available Do not miss the chance to submit short talks on your cutting-edge research until 14 December 2017, 23:59 AoE. Workshop program is now available POPL/PriSC registration is open; early rate ends on 10 December 2017 List of presentations accepted at PriSC is now public Invited talk by Mathias Payer on Challenges For Compiler-backed Security: From Sanitizer to Mitigation Workshop description Today's computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabiliti ... | |
| | | | |
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... | |
| | | | |
research.google
|
|
| | | | | Posted by Liang-Chieh Chen and Yukun Zhu, Software Engineers, Google ResearchSemantic image segmentation, the task of assigning a semantic label, s... | |
| | | | |
blog.carlosgaldino.com
|
|
| | | Writings on Computer Science and software engineering by Carlos Galdino. | ||
