[TYPES/announce] PLDI 2024 - Call for Participation (Early registration: May 15)

Yao Li liyao at pdx.edu
Wed Apr 3 01:19:13 EDT 2024


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

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

* Website : https://urldefense.com/v3/__https://pldi24.sigplan.org/attending/registration__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxd_FwlxS$ 
* Time    : Mon 24--Fri 28 June 2024
* Place   : Radisson Blu Scandinavia, Amager Boulevard 70, 2300 Copenhagen
S,
  Denmark

### Important dates:
* Early Registration: 15th of May, 2024

### Important rates (Registration rates include a 25% VAT; The prices
displayed include tax)
Registration rates (in-person)      On or before 15 May, 2024    After 15
May, 2024
Regular (ACM or SIGPLAN member)     €770.00                 €850.00
Regular (non-member)                €850.00                      €935.00
Student (ACM or SIGPLAN member)     €425.00                      €505.00
Student (non-member)                €475.00                      €540.00

Registration rates (virtual)        On or before 15 May, 2024    After 15
May, 2024
Regular (ACM or SIGPLAN member)     €37.50                       €50.00
Regular (non-member)                €37.50                       €50.00
Student (ACM or SIGPLAN member)     €37.50                       €50.00
Student (non-member)                €37.50                       €50.00

1-Day Pass (Co-Located events)      On or before 15 May, 2024    After 15
May, 2024
Regular (ACM or SIGPLAN member)     €225.00                      €250.00
Regular (non-member)                €250.00                      €275.00
Student (ACM or SIGPLAN member)     €150.00                      €175.00
Student (non-member)                €175.00                      €200.00


### Co-located events:

Co-located Conferences:
- ISMM, ACM SIGPLAN International Symposium on Memory Management
  https://urldefense.com/v3/__https://conf.researchr.org/home/ismm-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxY91LEy1$ 
- LCTES, ACM SIGPLAN/SIGBED International Conference on Languages,
Compilers, and Tools for Embedded Systems
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/LCTES-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxVamBKj1$ 

Workshops:
- ARRAY, the Array Programming Workshop
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/ARRAY-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxUP7NvdI$ 
- CP, International Workshop on Choreographic Programming
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/cp-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxRw2Haep$ 
- EGRAPH, the E-Graph Research, Applications, Practices, and Human-factors
Symposium
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/egraphs-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxV8Cn_gV$ 
- Infer, the Infer Practitioners Workshop
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/infer-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxdNbltxL$ 
- PLMW, the Programming Languages Mentoring Workshop
  https://urldefense.com/v3/__https://pldi24.sigplan.org/track/PLMW-PLDI-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxR9a1RCr$ 
- PODELSKI, PLDI 2024 Workshop Honoring Andreas Podelsk
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/podelski-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxarKM3KX$ 
- RTFM, Red-Hot Topics in Faculty Mentoring
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/rtfm-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxbllYoMO$ 
- SOAP, the ACM SIGPLAN International Workshop on the State Of the Art in
Program Analysis
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/SOAP-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxeKFVfeo$ 
- Sparse, the Sparse workshop (formerly CTSTA)
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/sparse-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxdm8HtPZ$ 
- WQS, Workshop on Quantum Software
  https://urldefense.com/v3/__https://pldi24.sigplan.org/home/wqs-2024__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxS07pM2K$ 

Tutorials:
https://urldefense.com/v3/__https://pldi24.sigplan.org/track/pldi-2024-tutorials__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxbv-nbX5$ 

- Algorithms and Applications for Provable Repair of Deep Neural Networks
  Aditya V. Thakur
- Concurrent Algorithms in Kotlin Coroutines
  Nikita Koval
- Democratizing DSL development with the BuildIt Framework
  Ajay Brahmakshatriya, Saman Amarasinghe
- PODELSKI
  Thomas Wies, Martin Schäf, Andrey Rybalchenko
- Quick and dirty development of static analyses with LiSA
  Luca Negrini, Pietro Ferrara
- Static Code Analysis with SootUp
  Eric Bodden, Markus Schmidt, Jonas Klauke, Kadiray Karakaya, Stefan Schott

Student Research Competition!
https://urldefense.com/v3/__https://pldi24.sigplan.org/track/pldi-2024-src__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxel48ufq$ 

### Student Volunteering

Sign up to be a Volunteer and help us make PLDI 2024 a great experience for
all
attendants!

https://urldefense.com/v3/__https://pldi24.sigplan.org/track/pldi-2024-student-volunteering__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxZFKSLgk$ 

Apply here: https://urldefense.com/v3/__https://forms.gle/QB9Tdmhr9v9ZPGx9A__;!!IBzWLUs!Xyr3J8_D3B06ehD7jPYKQwEzHtbE2OE-nyFq9tkdYNL8g3I7Bq1nFJCUxMp28Y1Dz-QTmolcTuJo3mR6INWgxUVtwsG3$ . The deadline is 15th of
April.

Best regards,
Yao Li, Ph.D., (He/Him)
Assistant Professor,
Computer Science Department, Portland State University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240402/e39b4c72/attachment.htm>


More information about the Types-announce mailing list