
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">

<font face="Courier">Call for Participation for PLDI 2023, the ACM SIGPLAN Conference on Programming Language Design and Implementation!<br>

------------------------------------------------------------------------<br>

<br>

PLDI is a premier forum for programming language research, broadly construed, including design, implementation, theory, applications, and performance. <br>

PLDI will be part of FCRC 2023 in Orlando. PLDI will feature live streams for those who cannot attend in-person.<br>

<br>

* Website : <a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFAMP9OSsA$">https://pldi23.sigplan.org/</a></font>

<div><font face="Courier">* Time : 17th—21st June 2023<br>

* Place : The Orlando World Center Marriott in Orlando, Florida, USA + online option, comprising live streamed talks + online interaction</font></div>

<div><font face="Courier"><a href="https://urldefense.com/v3/__https://fcrc.acm.org/for-attendees/hotel-info__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFDeq3CRPA$">https://fcrc.acm.org/for-attendees/hotel-info</a></font></div>

<div><font face="Courier"><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Registration :</span><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"> </span><a href="https://urldefense.com/v3/__https://web.cvent.com/event/ce5cb7a2-4868-4dc6-a48d-707340839d56/summary__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFDwmfaxdA$">https://web.cvent.com/event/ce5cb7a2-4868-4dc6-a48d-707340839d56/summary</a></font></div>

<div><font face="Courier"><br>

</font></div>

<div><font face="Courier"><br>

</font></div>

<div><font face="Courier">### Registration Information</font></div>

<div><font face="Courier">When registering, you must register for FCRC, then separately select PLDI and other conferences you wish to attend.</font></div>

<div><font face="Courier"><br>

</font></div>

<div><font face="Courier">### Virtual Participation</font></div>

<div><font face="Courier">All talks will be streamed for virtual attendees. Virtual attendees will be able to interact with each other,</font></div>

<div><font face="Courier">and other attendees, through a shared Slack or Discord.</font></div>

<div><font face="Courier"><br>

</font></div>

<div><font face="Courier">### Virtual Registration</font></div>

<div><font face="Courier">Due to participation in FCRC, there is a registration fee for online participants.</font></div>

<div><font face="Courier">However, virtual attendees can still access everything virtually without registration.</font></div>

<div><font face="Courier">But if you can afford it, please register.</font></div>

<div><font face="Courier"><br>

</font></div>

<div><font face="Courier">### Important dates:<br>

* Early Registration: Before 19 May, 2023<br>

<br>

### Important rates:<br>

Registration rates (in-person) Before 19 May, 2022 On or after 19 May, 2022<br>

Regular (ACM or SIGPLAN member) $765 $930<br>

Regular (non-member) $905 $1105<br>

Student (ACM or SIGPLAN member) $445 $655<br>

Student (non-member) $530 $655<br>

<br>

Registration rates (virtual)<br>

Regular (ACM or SIGPLAN member) $95<br>

Regular (non-member) $95<br>

Student (ACM or SIGPLAN member) $80<br>

Student (non-member) $80<br>

<br>

### Co-located events:<br>

<br>

Co-located Conferences:<br>

- ISMM, ACM SIGPLAN International Symposium on Memory Management<br>

<a href="https://urldefense.com/v3/__https://conf.researchr.org/home/ismm-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFDNIwE0UQ$">https://conf.researchr.org/home/ismm-2023</a></font></div>

<div><font face="Courier">- LCTES, ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems<br>

<a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/LCTES-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBG6WLXEA$">https://pldi23.sigplan.org/home/LCTES-2023</a></font></div>

<div><font face="Courier"><br>

</font></div>

<div><font face="Courier">Workshops:<br>

- ARRAY, The Array Programming Workshop<br>

<a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/ARRAY-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFAsfkNXuw$">https://pldi23.sigplan.org/home/ARRAY-2023</a></font></div>

<div><font face="Courier">- ASA, The AI and Static Analysis Workshop</font></div>

<div><a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/asa-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBR1DNKSQ$"><font face="Courier">https://pldi23.sigplan.org/home/asa-2023</font></a></div>

<div><font face="Courier">- CTSTA, The second Workshop on Compiler Techniques for Sparse Tensor Algebra</font></div>

<div><a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/ctsta-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFCmrD_COg$"><font face="Courier">https://pldi23.sigplan.org/home/ctsta-2023</font></a></div>

<div><font face="Courier">- The DOE/NSF Workshop on Correctness in Scientific Computing</font></div>

<div><a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/csc-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFCvK7Jh9A$"><font face="Courier">https://pldi23.sigplan.org/home/csc-2023</font></a></div>

<div><font face="Courier">- DRAGSTERS, The Workshop on Distribution, Relational Algebra, Graphs, Semi-Rings, Tensors and All That</font></div>

<div><a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/dragsters-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFAp85UTlQ$"><font face="Courier">https://pldi23.sigplan.org/home/dragsters-2023</font></a></div>

<div><font face="Courier">- EGRAPHS, The E-Graph Research, Applications, Practices, and Human-factors Symposium</font></div>

<div><font face="Courier"> <a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/egraphs-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFD8UH2hFA$">https://pldi23.sigplan.org/home/egraphs-2023</a></font></div>

<div><font face="Courier">- INFER, The Infer Practitioners <a href="workshophttps://pldi23.sigplan.org/home/infer-2023">Workshop</a><a href="workshophttps://pldi23.sigplan.org/home/infer-2023">https://pldi23.sigplan.org/home/infer-2023</a></font></div>

<div><font face="Courier">- PLARCH, The Workshop on Programming Languages and Computer Architecture</font></div>

<div><a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/plarch-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFCaBSIOeg$"><font face="Courier">https://pldi23.sigplan.org/home/plarch-2023</font></a></div>

<div><font face="Courier">- PLMW, the Programming Language Mentoring Workshop<br>

<a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/PLMW-PLDI-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBQf55K3Q$">https://pldi23.sigplan.org/home/PLMW-PLDI-2023</a></font></div>

<div><font face="Courier">- SOAP, the ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis<br>

<a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/home/SOAP-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFB7J-ocWA$">https://pldi23.sigplan.org/home/SOAP-2023</a></font></div>

<div><font face="Courier"><br>

Tutorials:<br>

<a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/track/pldi-2023-tutorials__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBKwi5jxg$">https://pldi23.sigplan.org/track/pldi-2023-tutorials</a></font></div>

<div><font face="Courier"><br>

- Building Programming Language Infrastructure With LLVM Components<br>

Sunho Kim, Vassil Vassilev, Lang Hames, Vassil Vassilev<br>

- DSL-based Hardware Generation<br>

Rachit Nigam, Adrian Sampson, Anshuman Mohan, Griffin Berlstein<br>

- From Zero to Proving: Building Your First Language with the K Framework<br>

Bruce Collie<br>

- High-Level Executable Specification and Reasoning for Improving Distributed Algorithms<br>

Y. Annie Liu, Scott Stoller<br>

- Neurosymbolic Programming in Scallop<br>

Ziyang Li, Jiani Huang, Mayur Naik<br>

- Teaching and Learning Compilers Incrementally<br>

Jeremy G. Siek<br>

- Towards Supporting Universal Static Analysis using WALA<br>

Rahul Krishna, Raju Pavuluri, Saurabh Sinha, Divya Sankar, Julian Dolby, Rangeet Pan<br>

- What’s new in Dafny, and what is Dafny anyway? <br>

K. Rustan M. Leino<br>

<br>

The Student Research Competition!<br>

<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><a href="https://urldefense.com/v3/__https://pldi23.sigplan.org/track/pldi-2023-src__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBzXh0CQQ$">https://pldi23.sigplan.org/track/pldi-2023-src</a></span></font>

<div><font face="Courier"><br>

</font></div>

<div><font face="Courier">Please Distribute Widely</font></div>

</div>

</body>

</html>