|
You are here |
popl18.sigplan.org | ||
| | | | |
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 ... | |
| | | | |
2016.splashcon.org
|
|
| | | | | OOPSLA seeks outstanding contributions on all aspects of programming languages and software engineering. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processe... | |
| | | | |
icfp19.sigplan.org
|
|
| | | | | The purpose of the Programming Languages Mentoring Workshop (PLMW) is both to support the careers of those who are in the beginning stages of a Ph.D, and to inform people who are considering doing a Ph.D in programming languages about PL research and potential careers that follow. Through talks and panel discussions by leaders in programming language research from academia and industry, the workshop will introduce some current topics in functional programming research (providing background for some resea... | |
| | | | |
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 ... | ||