Outer Web | Explore

Explore >> Select a destination

You are here		popl18.sigplan.org Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities (PriSC 2018 - Principles of Secure Compilation) - POPL 2018
\|	\|	2016.splashcon.org Parallel Incremental Whole-Program Optimizations for Scala.js (SPLASH 2016 - OOPSLA) - SPLASH 2016	0.2 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.2 parsecs away Travel
\|	\|	popl20.sigplan.org Making Progress Under Uncertainty in SMT Solving, Research, and Life (PLMW 2020) - POPL 2020	0.2 parsecs away Travel
\|	\|	What is PLMW? The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they ...	0.2 parsecs away Travel
\|	\|	2020.ecoop.org Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (ECOOP 2020) - ECOOP 2020	0.2 parsecs away Travel
\|	\|	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 ...	0.2 parsecs away Travel
\|	\|	2023.splashcon.org AST vs. Bytecode: Interpreters in the Age of Meta-Compilation (SPLASH 2023 - OOPSLA) - SPLASH 2023	0.9 parsecs away Travel
\|		The ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages - at the intersection of programming languages and software engineering. We welcome the community to join us in Lisbon to celebrate humanity at the core of the software development process. We encourage everyone to participate in the many differ...	0.9 parsecs away Travel