Explore >> Select a destination
|
You are here 
|
2023.splashcon.org | ||
| | | | |
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, ... | |
| | | | |
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
|
|
| | | | | Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, applications and education. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. The Character of Onward! Onward! is looking for grand visio... | |
| | | | |
2023.splashcon.org
|
|
| | | The 20th International Conference on Managed Programming Languages & Runtimes (MPLR'23, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable a... | ||
