Outer Web | Explore

Explore >> Select a destination

You are here		popl18.sigplan.org Probabilistic Program Equivalence for NetKAT ( PPS 2018 - Probabilistic Programming Languages, Semantics, and Systems (PPS 2018)) - POPL 2018
\|	\|	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
\|	\|	icfp20.sigplan.org The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl) (ICFP 2020 - ...	0.3 parsecs away Travel
\|	\|	PACMPL (ICFP) seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from practice to theory, including its peripheries. Authors of papers published in this issue of PACMPL will present their work at ICFP in Jersey City, providing an opportunity for researchers and developers to hear about the latest work in functional programming. PACMPL Volume 4, Issue ICFP, August 2020 is now available Gold Open Access from the ACM Digi...	0.3 parsecs away Travel
\|	\|	2023.splashcon.org CacheIR: The Benefits of a Structured Representation for Inline Caches (MPLR 2023) - SPLASH 2023	0.2 parsecs away Travel
\|	\|	The 20th International Conference on Managed Programming Languages & Runtimes (MPLR'23, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all aspects of managed programming languages and runtime systems, which serve as building blocks for some of the most important computing systems around, ranging from small-scale (embedded and real-time systems) to large-scale (cloud-computing and big-data platforms) and anything in between (mobile, IoT, and wearable a...	0.2 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	1.3 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 ...	1.3 parsecs away Travel