Outer Web | Explore

Explore >> Select a destination

You are here		popl18.sigplan.org Equational reasoning for probabilistic programming. (POPL 2018 - TutorialFest) - 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
\|	\|	2019.splashcon.org On the Impact of Programming Languages on Code Quality (SPLASH 2019 - OOPSLA) - SPLASH 2019	0.3 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.3 parsecs away Travel
\|	\|	popl18.sigplan.org Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities (PriSC 2018 - Principles of Secure Compilation) - POPL 2018	0.4 parsecs away Travel
\|		News: All the speakers have made their slides available Do not miss the chance to submit short talks on your cutting-edge research until 14 December 2017, 23:59 AoE. Workshop program is now available POPL/PriSC registration is open; early rate ends on 10 December 2017 List of presentations accepted at PriSC is now public Invited talk by Mathias Payer on Challenges For Compiler-backed Security: From Sanitizer to Mitigation Workshop description Today's computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabiliti ...	0.4 parsecs away Travel