Explore >> Select a destination
|
You are here 
|
pldi23.sigplan.org | ||
| | | | |
2020.programming-conference.org
|
|
| | | | | COVID-19 update: we will be holding the Salon online from May 3-9: schedule; slack We were promised bicycles for the mind, but we got aircraft carriers instead. Can you imagine a world where everyone can build or customize the software they need without years of study? A world where software tools are lightweight and human scale, like bicycles, not massive engines of the Software-Industrial Complex? The singular success of spreadsheets gives hope that programming can be humanized. The Salon at 2020 invit... | |
| | | | |
pldi22.sigplan.org
|
|
| | | | | E-Graph Research, Applications, Practices, and Human-factors Symposium Research on and around e-graphs has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, ... | |
| | | | |
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... | |
| | | | |
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... | ||
