/explore
|
You are here 
|
2019.ecoop.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 ... | |
| | | | |
popl23.sigplan.org
|
|
| | | | | Workshop on Programming Languages and the Law 2023 Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm. The current state of affairs is concerning: in many cases, human-critical systems are implemented using technology that is several decades old, resulti ... | |
| | | | |
2022.ecoop.org
|
|
| | | | | COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity Contextual information plays an ever-increasing role in our information-centric world. Current-day software systems adapt continuously to changing execution and usage contexts, even while running. Unfortunately, mainstream programming languages and development environments still do not support this kind of dynamicity very well, leading developers to implement complex designs to anticipate various dimensions of variab... | |
| | | | |
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, ... | ||
