Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		popl21.sigplan.org PADL 2021 - The 23rd International Symposium on Practical Aspects of Declarative Languages (PADL) 2021 - POPL 2021
\|	\|	2016.splashcon.org Parallel Incremental Whole-Program Optimizations for Scala.js (SPLASH 2016 - OOPSLA) - SPLASH 2016	0.7 parsecs away Travel
\|	\|	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...	0.7 parsecs away Travel
\|	\|	2019.splashcon.org On the Impact of Programming Languages on Code Quality (SPLASH 2019 - OOPSLA) - SPLASH 2019	0.6 parsecs away Travel
\|	\|	PACMPL Issue OOPSLA 2019 seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL Issue OOPSLA 2019 will present their work at OOPSLA in Athens. 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...	0.6 parsecs away Travel
\|	\|	pldi22.sigplan.org Equality Saturation as a Tactic for Proof Assistants (EGRAPHS 2022) - PLDI 2022	0.4 parsecs away Travel
\|	\|	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, ...	0.4 parsecs away Travel
\|	\|	2019.splashcon.org META 2019 - SPLASH 2019	3.7 parsecs away Travel
\|		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 ...	3.7 parsecs away Travel