|
You are here |
popl20.sigplan.org | ||
| | | | |
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 ... | |
| | | | |
2020.ecoop.org
|
|
| | | | | ECOOP is a conference about programming. Originally its primary focus was on object orientation, but now it looks at a much broader range of programming topics. Areas of interest include, at least, the design, implementation, optimization, analysis, and theory of programs, programming languages, and programming environments. It solicits both innovative and creative solutions to real problems as well as evaluations of existing solutions-evaluations that provide new insights. It also encourages the submission of reproduction studies. Take a look at last year's proceedings for examples of t ... | |
| | | | |
2019.splashcon.org
|
|
| | | | | About The changing hardware and software landscape along with the increased heterogeneity of systems make metaprogramming once more an important research topic to handle the associated complexity. Meta'19 workshop aims to bring together researchers working on metaprogramming and reflection, as well as users building applications, language extensions, or software tools using them. The challenges which metaprogramming faces are manifold. They start with formal reasoning about reflective programs, continue ... | |
| | | | |
readrust.net
|
|
| | | Read Rust collects and categorises interesting posts related to the Rust programming language. This page lists posts in the Performance category. | ||