[TYPES/announce] Call for Participation PLDI 2022

William J. Bowman (PLDI Publicity Chair) wjb at williamjbowman.com
Mon Mar 21 14:30:38 EDT 2022


Call for Participation for PLDI 2022, the ACM SIGPLAN Conference on Programming Language Design and Implementation!
------------------------------------------------------------------------

PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. 
Come join us, online or in San Diego, to discuss the latest programming languages research!

* Website : https://urldefense.com/v3/__https://pldi22.sigplan.org/attending/Registration__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jWToL_PPQ$ 
* Time    : 13th--17th June 2022
* Place   : Catamaran Resort in San Diego, California, USA + online option, comprising live streamed talks + Q&A and social interaction and events on “gather.town”.

### Important dates:
* Early Registration: On or before 16 May, 2022 

### Important rates:
Registration rates (in-person)      On or before 16 May, 2022    After 16 May, 2022
Regular (ACM or SIGPLAN member)    	$650 	                     $750
Regular (non-member) 	            $725                         $825
Student (ACM or SIGPLAN member)     $350                         $450
Student (non-member)                $425                         $500
		
Registration rates (virtual)        On or before 16 May, 2022    After 16 May, 2022
Regular (ACM or SIGPLAN member)     $150                         $175
Regular (non-member)                $175                         $200
Student (ACM or SIGPLAN member)     $100                         $125
Student (non-member)                $125                         $150 

### Co-located events:

Co-located Conferences:
- ISMM, ACM SIGPLAN International Symposium on Memory Management
  https://urldefense.com/v3/__https://conf.researchr.org/home/ismm-2022__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jXMnIpuzA$ 
- LCTES, ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
  https://urldefense.com/v3/__https://pldi22.sigplan.org/track/LCTES-2022__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jW0EsCfYw$ 

Workshops:
- ARRAY, the Array Programming Workshop
  https://urldefense.com/v3/__https://pldi22.sigplan.org/home/ARRAY-2022__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jUZom0oEw$ 
- EGRAPH, the E-Graph Research, Applications, Practices, and Human-factors Symposium
  https://urldefense.com/v3/__https://pldi22.sigplan.org/home/egraphs-2022__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jXn098U2w$ 
- INFER, the Infer Practitioners Workshop
  https://urldefense.com/v3/__https://pldi22.sigplan.org/home/infer-2022__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jW8WeGqvg$ 
- MAPS, the Annual Symposium on Machine Programming
  https://urldefense.com/v3/__https://pldi22.sigplan.org/home/maps-2022__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jX_38Kl8w$ 
- PLMW, the Programming Language Mentoring Workshop
  https://urldefense.com/v3/__https://pldi22.sigplan.org/track/PLMW-PLDI-2022__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jXRl-34xw$ 
- SOAP, the ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
  https://urldefense.com/v3/__https://pldi22.sigplan.org/home/SOAP-2022__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jUyJk7yJQ$ 

Tutorials:
https://urldefense.com/v3/__https://pldi22.sigplan.org/track/pldi-2022-tutorials__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jVb7rOqtA$ 

- Build your own optimizer with egg!
  Max Willsey, Zachary Tatlock
- Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning
  Roopsha Samanta, Nouraldin Jaber, Christopher Wagner
- Filling the gap between the JavaScript language specification and tools using the JISET family
  Sukyoung Ryu, Jihyeok Park, Seungmin An
- Making C Programs Safer with Checked C
  Jie Zhou, Michael Hicks, John Criswell
- Reasoning About and Discovering LLVM Optimizations
  John Regehr, Nuno P. Lopes

Student Research Competition!
- https://urldefense.com/v3/__https://pldi22.sigplan.org/track/pldi-2022-SRC__;!!IBzWLUs!BgqHCxuZbnX0a3YeGYb1sd-7rMRZGUjH14GZUIaDqJotPF7qYxy7F1vG7-7Avlp1NvZQ8jX3KYmKUg$ 


More information about the Types-announce mailing list