[TYPES/announce] Call for Participation PLDI 2023

[Anders Miltner]

Call for Participation for PLDI 2023, 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.
PLDI will be part of FCRC 2023 in Orlando. PLDI will feature live streams for those who cannot attend in-person.

* Website : https://urldefense.com/v3/__https://pldi23.sigplan.org/__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFAMP9OSsA$ 
* Time : 17th—21st June 2023
* Place : The Orlando World Center Marriott in Orlando, Florida, USA + online option, comprising live streamed talks + online interaction
https://urldefense.com/v3/__https://fcrc.acm.org/for-attendees/hotel-info__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFDeq3CRPA$ 
* Registration : https://urldefense.com/v3/__https://web.cvent.com/event/ce5cb7a2-4868-4dc6-a48d-707340839d56/summary__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFDwmfaxdA$ 


### Registration Information
When registering, you must register for FCRC, then separately select PLDI and other conferences you wish to attend.

### Virtual Participation
All talks will be streamed for virtual attendees. Virtual attendees will be able to interact with each other,
and other attendees, through a shared Slack or Discord.

### Virtual Registration
Due to participation in FCRC, there is a registration fee for online participants.
However, virtual attendees can still access everything virtually without registration.
But if you can afford it, please register.

### Important dates:
* Early Registration: Before 19 May, 2023

### Important rates:
Registration rates (in-person) Before 19 May, 2022 On or after 19 May, 2022
Regular (ACM or SIGPLAN member) $765 $930
Regular (non-member) $905 $1105
Student (ACM or SIGPLAN member) $445 $655
Student (non-member) $530 $655

Registration rates (virtual)
Regular (ACM or SIGPLAN member) $95
Regular (non-member) $95
Student (ACM or SIGPLAN member) $80
Student (non-member) $80

### Co-located events:

Co-located Conferences:
- ISMM, ACM SIGPLAN International Symposium on Memory Management
https://urldefense.com/v3/__https://conf.researchr.org/home/ismm-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFDNIwE0UQ$ 
- LCTES, ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/LCTES-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBG6WLXEA$ 

Workshops:
- ARRAY, The Array Programming Workshop
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/ARRAY-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFAsfkNXuw$ 
- ASA, The AI and Static Analysis Workshop
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/asa-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBR1DNKSQ$ 
- CTSTA, The second Workshop on Compiler Techniques for Sparse Tensor Algebra
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/ctsta-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFCmrD_COg$ 
- The DOE/NSF Workshop on Correctness in Scientific Computing
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/csc-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFCvK7Jh9A$ 
- DRAGSTERS, The Workshop on Distribution, Relational Algebra, Graphs, Semi-Rings, Tensors and All That
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/dragsters-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFAp85UTlQ$ 
- EGRAPHS, The E-Graph Research, Applications, Practices, and Human-factors Symposium
 https://urldefense.com/v3/__https://pldi23.sigplan.org/home/egraphs-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFD8UH2hFA$ 
- INFER, The Infer Practitioners Workshop<workshophttps://pldi23.sigplan.org/home/infer-2023>https://urldefense.com/v3/__https://pldi23.sigplan.org/home/infer-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBdZNHocQ$ <workshophttps://pldi23.sigplan.org/home/infer-2023>
- PLARCH, The Workshop on Programming Languages and Computer Architecture
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/plarch-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFCaBSIOeg$ 
- PLMW, the Programming Language Mentoring Workshop
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/PLMW-PLDI-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBQf55K3Q$ 
- SOAP, the ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/SOAP-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFB7J-ocWA$ 

Tutorials:
https://urldefense.com/v3/__https://pldi23.sigplan.org/track/pldi-2023-tutorials__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBKwi5jxg$ 

- Building Programming Language Infrastructure With LLVM Components
Sunho Kim, Vassil Vassilev, Lang Hames, Vassil Vassilev
- DSL-based Hardware Generation
Rachit Nigam, Adrian Sampson, Anshuman Mohan, Griffin Berlstein
- From Zero to Proving: Building Your First Language with the K Framework
Bruce Collie
- High-Level Executable Specification and Reasoning for Improving Distributed Algorithms
Y. Annie Liu, Scott Stoller
- Neurosymbolic Programming in Scallop
Ziyang Li, Jiani Huang, Mayur Naik
- Teaching and Learning Compilers Incrementally
Jeremy G. Siek
- Towards Supporting Universal Static Analysis using WALA
Rahul Krishna, Raju Pavuluri, Saurabh Sinha, Divya Sankar, Julian Dolby, Rangeet Pan
- What’s new in Dafny, and what is Dafny anyway?
K. Rustan M. Leino

The Student Research Competition!
https://urldefense.com/v3/__https://pldi23.sigplan.org/track/pldi-2023-src__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBzXh0CQQ$ 

Please Distribute Widely
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230411/2a7bb6ed/attachment.htm>