From: Tobias Grosser <tobias.grosser@inf.ethz.ch>
To: <caml-list@inria.fr>
Subject: [Caml-list] Call for participation: PLDI 2017 and co-located events
Date: Mon, 17 Apr 2017 22:09:03 +0200 [thread overview]
Message-ID: <1492459743.2579649.947192616.428FF054@webmail.messagingengine.com> (raw)
Call for participation: PLDI 2017 and co-located events
PLDI is the premier forum in the field of programming languages and
programming systems research, covering the areas of design,
implementation, theory, applications, and performance. The co-located
conferences take place in Barcelona, June 18-23, 2017. This year, PLDI
is co-located with ECOOP, LCTES, DEBS, ISMM, Curry On and others. The
conferences will take place at the Universitat Polytècnica de Catalunya
in Barcelona, Spain.
http://conf.researchr.org/home/pldi-2017
Registration is now open, please visit:
https://regmaster4.com/2017conf/BARC17/register.php
to register. The early registration rate ends on May 26th.
The tentative program is available at:
http://pldi17.sigplan.org/program/program-pldi-2017
PLDI will also hold an ACM Student Research Competition:
http://pldi17.sigplan.org/track/pldi-2017-student-research-competition
Co-located events:
+ ECOOP: European Conference on Object-Oriented Programming
+ DEBS: annual conference on Distributed Event-Based Systems
+ Curry On: conference on programming languages and emerging challenges
in industry.
+ ISMM: International Symposium on Memory Management
+ LCTES: Languages, Compilers, and Tools for Embedded Systems
Co-located workshops include:
+ ARRAY: Workshop on Libraries, Languages and Compilers for Array
Programming
+ DSW: Deep Specifications in the Wild
+ FMS: Formal Methods for Security
+ IC: Workshop on Incremental Computing
+ MAPL: Machine Learning and Programming Languages
+ PLMW: Programming Languages Mentoring Workshop
+ SOAP: International Workshop on the State Of the Art in Java Program
Analysis
+ WCIRE: Workshop for Compiler Infrastructure for Research and Education
Additionally, there will be eight co-located tutorials:
+ Bug detection in JavaScript web apps using the SAFE framework
+ Building your own modular static analyzer with Facebook Infer
+ Engineering Static Analyzers with Soufflé
+ Graal: High Performance Compilation for Managed Languages
+ P4: Programming the Network Data Plane
+ Polyhedral Compilation
+ Refinement Types for Program Verification and Synthesis
+ Scala, LMS and Delite for High-Performance DSLs and Program Generators
+ WALA Hack-A-Thon
+ Writing Verified Programs in CakeML
See the web site for a schedule and further details and links. For
further updates, follow PLDI on the social media:
Facebook: https://www.facebook.com/PLDIConf
Twitter: https://twitter.com/PLDI
Albert Cohen, PLDI 2017 General Chair
Tobias Grosser, PLDI 2017 Publicity Chair
reply other threads:[~2017-04-17 20:09 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1492459743.2579649.947192616.428FF054@webmail.messagingengine.com \
--to=tobias.grosser@inf.ethz.ch \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).