Explore >> Select a destination
|
You are here 
|
blog.sigplan.org | ||
| | | | |
2019.ecoop.org
|
|
| | | | | Welcome to the Tenth ACM SIGPLAN Scala Symposium, 2019! Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This... | |
| | | | |
popl24.sigplan.org
|
|
| | | | | Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will be held on 15-16 January 2024 and will be co-located with POPL 2024 in London, UK. | |
| | | | |
www.observationalhazard.com
|
|
| | | | | David Kopec's blog. | |
| | | | |
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 ... | ||
