Explore >> Select a destination
|
You are here 
|
2020.programming-conference.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, ... | |
| | | | |
popl18.sigplan.org
|
|
| | | | | Program We are excited to announce our 2018 program, including an invited talk, an invited tutorial, and the following talks and posters. For more details on the schedule, see the Program tab. The extended abstracts for the talks and posters can be found at http://pps2018.soic.indiana.edu Join our slack discussion at https://popl2018.slack.com/#pps Invited talk Erik Meijer, Facebook Software is eating the world, but ML is going to eat software Abstract: "Democratizing ML" is a hot topic these days - particularly in industry. Efficiency, composability and accessibility of machine learning 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 ... | |
| | | | |
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... | ||
