[TYPES/announce] PLDI 2023 Call for Papers

[Anders Miltner]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Please distribute widely.

*Call for Papers*

2024 ACM Conference on Programming Language Design and Implementation (PLDI)
Wed 26 - Fri 28 June 2024
Copenhagen, Denmark
https://urldefense.com/v3/__https://pldi24.sigplan.org/track/pldi-2024-papers*Call-for-Papers__;Iw!!IBzWLUs!UYW0_GKk_KDPxapY44cFvnF2si9MmV1ht_AS09jebh6Jlmsj8ZFt5zla4u-IhJgpZUCbFb4cuoX9b0qbUOCUuDdVgbdCSg$
 

PACMPL Issue PLDI 2024 seeks contributions on all aspects of programming
languages research, broadly construed, including design, implementation, theory,
applications, and performance. Authors of papers published in PACMPL Issue PLDI
2024 will be invited – but not required – to present their work in the PLDI
conference in June 2024, which is sponsored by ACM SIGPLAN.

*Important Dates*
===
Thu 16 Nov 2023, Submission Deadline
Tue 6 Feb - Thu 8 Feb 2024, Author Response
Mon 26 Feb 2024, Author Notification

*Author Instructions*
==
https://urldefense.com/v3/__https://pldi24.sigplan.org/track/pldi-2024-papers*Call-for-Papers__;Iw!!IBzWLUs!UYW0_GKk_KDPxapY44cFvnF2si9MmV1ht_AS09jebh6Jlmsj8ZFt5zla4u-IhJgpZUCbFb4cuoX9b0qbUOCUuDdVgbdCSg$
 

Submission site: 
https://urldefense.com/v3/__https://pldi2024.hotcrp.com/__;!!IBzWLUs!UYW0_GKk_KDPxapY44cFvnF2si9MmV1ht_AS09jebh6Jlmsj8ZFt5zla4u-IhJgpZUCbFb4cuoX9b0qbUOCUuDcpbRP1cw$
 

*Organizing Committee*

- General Chair: Milind Kulkarni, Purdue U.
- Program Chair: John Regehr, U. of Utah
- Web Co-Chairs:
  - Jedidiah McClurg, Colorado State U.
  - Xinyu Wang, U. of Michigan
- Publicity Co-Chairs:
  - Anders Miltner, Simon Fraser U.
  - Yao Li, Portland State U.
- Sponsorship Co-Chairs:
  - Deian Stefan, U. of California at San Diego
  - Fredrik Kjolstad, Stanford U.
- Workshops Co-Chairs:
  - Zachary Tatlock, U. of Washington
  - Clément Pit-Claudel, EPFL
- Student Research Competition Co-Chairs:
  - Chandrakana Nandi, Certora
  - Rachit Nigam, Cornell U.
- Artifact Evaluation Co-Chairs:
  - Manuel Rigger, National U. of Singapore
  - Ningning Xie, U. of Toronto
- Diversity and Inclusion Co-Chairs:
  - Fernando Magno Quintão Pereira, Federal U. of Minas Gerais
  - Mae Milano, Princeton U.
- Social Events Chair:
  - Alex Renda, Massachusetts Institute of Technology
- Video Chair:
  - Zixian Cai, Australia National U.
  - John Hui, Columbia U.
- Volunteers Co-Chairs:
  - Hanneli Tavante, McGill U.
  - Michael James, U. of California at San Diego
  - Hongyu Chen, U. of California at Irvine

https://urldefense.com/v3/__https://pldi24.sigplan.org/committee/pldi-2024-organizing-committee__;!!IBzWLUs!UYW0_GKk_KDPxapY44cFvnF2si9MmV1ht_AS09jebh6Jlmsj8ZFt5zla4u-IhJgpZUCbFb4cuoX9b0qbUOCUuDeNVBURYg$
 

--
Anders Miltner

[TYPES/announce] [Call for Participation] LCTES 2023

[Anders Miltner]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

SUBJECT:

Call for Participation: LCTES 2023, June 18 (Orlando, Florida), co-located with 
PLDI and FCRC

CONTENT: Call for Participation: ACM SIGPLAN/SIGBED International Conference on 
Languages, Compilers, Tools and Theory of Embedded Systems (LCTES 2023)  
Co-located with PLDI and FCRC 2023 Orlando, Florida June 18, 2023 
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/LCTES-2023__;!!IBzWLUs!QYgAN974qBfGDC__IdWIw4J3VCySxzspbK_Z21mrFsVc4Ia5jWlwU5UUyel52xqwm1gFaAt3x5Iz23yFP26LhTsOcsqEWQ$
  LCTES provides a link between the programming languages and embedded systems 
engineering communities. Researchers and developers in these areas are 
addressing many similar problems but with different backgrounds and approaches. 
LCTES is intended to expose researchers and developers from either area to 
relevant work and interesting problems in the other area and provide a forum 
where they can interact. This year's program features a keynote by David 
Whalley (Florida State University), and presentations of eleven excellent full 
papers and three work-in progress papers covering a wide range of interesting 
topics. Program details are available at 
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/LCTES-2023*program__;Iw!!IBzWLUs!QYgAN974qBfGDC__IdWIw4J3VCySxzspbK_Z21mrFsVc4Ia5jWlwU5UUyel52xqwm1gFaAt3x5Iz23yFP26LhTuGYpNLKA$
 
 Information about registration and accommodation is available at 
https://urldefense.com/v3/__https://pldi23.sigplan.org/home/LCTES-2023*__;Iw!!IBzWLUs!QYgAN974qBfGDC__IdWIw4J3VCySxzspbK_Z21mrFsVc4Ia5jWlwU5UUyel52xqwm1gFaAt3x5Iz23yFP26LhTtMY1T1qg$
 
 For questions about the program, please contact the program organizers. We 
look forward to your participation on June 18, 2023, in Orlando, Floria! 
General Chair: Bernhard Egger (Seoul National University) 
bernh...@csap.snu.ac.kr
 Program Chair: Dongyoon Lee (Stony Brook University) 
dongy...@cs.stonybrook.edu

[TYPES/announce] Call for Participation PLDI 2023

[Anders Miltner]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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 
Workshophttps://pldi23.sigplan.org/home/infer-2023>https://urldefense.com/v3/__https://pldi23.sigplan.org/home/infer-2023__;!!IBzWLUs!VaG96YArdYzDhc1O386KHSoWaVkJLq3pwnINrxAxL31ux5qhYdtf4-Oq1RIausZFMhCiyafmBpOe7Ec5ya7XQFBdZNHocQ$
 https://pldi23.sigplan.org/home/infer-2023>
- PLARCH, The Workshop on Programming Languages and Computer Architecture

[TYPES/announce] ISMM 2023 (colocated with PLDI): call for papers

[Anders Miltner]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The 2023 ACM SIGPLAN International Symposium on Memory Management (ISMM 2023) 
is soliciting full-length submissions covering new work on all memory 
management related topics, as well as papers presenting confirmations or 
refutations of important prior results. In additional to regular papers, 
traditionally submitted to ISMM, we also invite submissions of the following 
kinds:

  *   Surveys and comparative analyses that shed new light on previously 
published techniques.
  *   Practitioner reports, describing experience with memory management in 
production. Such papers are not expected to provide novel research 
contributions, but they should not have been previously published.
  *   Intellectual abstracts, where researchers share designs, algorithms, or 
theory that may be interesting to the memory management community, but not yet 
evaluated.

Please indicate whether the paper is a regular paper, a survey, a practitioner 
report, or an intellectual abstract, by using a subtitle. For example, for a 
regular paper, include on of the following on the line below the title line: 
\subtitle{This submission is a regular paper}, \subtitle{This submission is a 
survey}, \subtitle{This submission is a practitioner report}, or \subtitle{This 
submission is an intellectual abstract}.

ISMM 2023 will be colocated with PLDI 
2023 at 
FCRC’23.

Areas of interest include but are not limited to:

  *   Garbage collection algorithms and implementations
  *   Memory allocation and de-allocation
  *   Memory system design and analysis
  *   Hardware support for memory management
  *   Memory management for large-scale data-intensive systems
  *   Novel memory architectures
  *   Memory management at datacenter and cloud scales
  *   Formal analysis and verification of memory management algorithms
  *   Compiler analyses to aid memory management
  *   Tools to analyze memory usage of programs
  *   Empirical analysis of memory intensive programs
  *   Formal analysis and verification of memory intensive programs
  *   Memory management for machine learning systems
  *   Programming and management of emerging or persistent memories

The symposium welcomes industry practitioners presenting their recent practice 
and findings in memory management related to real-world deployments.


Deadline: This Friday, March 3, 2023

[TYPES/announce] PLDI 2023 Second Call for Papers

[Anders Miltner]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Please distribute widely.

*Call for Papers*

2023 ACM Conference on Programming Language Design and Implementation (PLDI)
Mon 19 - Wed 21 June 2023
Orlando, Florida, United States
https://urldefense.com/v3/__https://pldi23.sigplan.org/track/pldi-2023-pldi*Call-for-Papers__;Iw!!IBzWLUs!QUT-7RCSC4_D-iHh79zd_WP7MqLwgzzDj9_vn8c6C3zWNQA_sn_tRZm7_5arH7hKfTfHytEltPDqsZa8_i1Ceu8WlX8FXA$
  

PACMPL Issue PLDI 2023 seeks contributions on all aspects of programming 
languages research, broadly construed, including design, implementation, 
theory, applications, and performance. Authors of papers published in PACMPL 
Issue PLDI 2023 will be invited to present their work in the PLDI conference in 
June 2023, which is sponsored by ACM SIGPLAN.

*Important Dates*
===
Thu 10 Nov 2022, Submission Deadline
Mon 6 Feb - Wed 8 Feb 2023, Author Response
Fri 24 Feb 2023, Author Notification

*Author Instructions*
==
https://urldefense.com/v3/__https://pldi23.sigplan.org/track/pldi-2023-pldi*Call-for-Papers__;Iw!!IBzWLUs!QUT-7RCSC4_D-iHh79zd_WP7MqLwgzzDj9_vn8c6C3zWNQA_sn_tRZm7_5arH7hKfTfHytEltPDqsZa8_i1Ceu8WlX8FXA$
  

Submission site: 
https://urldefense.com/v3/__https://pldi2023.hotcrp.com/__;!!IBzWLUs!QUT-7RCSC4_D-iHh79zd_WP7MqLwgzzDj9_vn8c6C3zWNQA_sn_tRZm7_5arH7hKfTfHytEltPDqsZa8_i1Ceu8zobThSg$
  

*Organizing Committee*

- General Chair: Steve Blackburn, Google and Australia National U.
- Program Chair: Nate Foster, Cornell U.
- Web Co-Chairs:
- Dan Barowy, Williams College
- Jedidiah McClurg, Colorado State U.
- Publicity Co-Chairs:
- William J. Bowman, U. of British Columbia
- Anders Miltner, Simon Fraser U.
- Sponsorship Co-Chairs:
- Sasa Misailovic, U. of Illinois at Urbana-Champaign
- Deian Stefan, U. of California at San Diego
- Workshops Co-Chairs:
- Nadia Polikarpova, U. of California at San Diego
- Zachary Tatlock, U. of Washington
- Student Research Competition Co-Chairs:
- Chandrakana Nandi, Certora
- Jubi Taneja, Microsoft Research
- Artifact Evaluation Co-Chairs:
- Manuel Rigger, National U. of Singapore
- Xinyu Wang, U. of Michigan
- Diversity and Inclusion Co-Chairs:
- Madan Musuvathi, Microsoft Research
- Fernando Magno Quintão Pereira, Federal U. of Minas Gerais
- Social Events Co-Chairs:
- Rachit Nigam, Cornell U.
- Alex Renda, Massachusetts Institute of Technology
- Video Chair: Guilherme Espada, U. de Lisboa
- Volunteers Co-Chairs:
- Hanneli Tavante, McGill U.
- Michael James, U. of California at San Diego

https://urldefense.com/v3/__https://pldi23.sigplan.org/committee/pldi-2023-organizing-committee__;!!IBzWLUs!QUT-7RCSC4_D-iHh79zd_WP7MqLwgzzDj9_vn8c6C3zWNQA_sn_tRZm7_5arH7hKfTfHytEltPDqsZa8_i1Ceu9sT4C0jQ$
  

--
Anders Miltner

[TYPES/announce] PLDI 2023 Artifact Evaluation Committee Nominations

[Anders Miltner]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are looking for motivated students and researchers to be members of the PLDI 
2023 Artifact Evaluation Committee (AEC). This year, we are accepting 
(self-)nominations for the AEC. The artifact evaluation process aims to 
promote, share and catalog the research artifacts of papers accepted to the 
PLDI research track.

The self-nomination form is available at: 
https://urldefense.com/v3/__https://forms.gle/WYoR9X1DkVj6KhfQ9__;!!IBzWLUs!UqfULxcfgEQri_DKFyLkw0STKr8E5IBhyzSz4GMMT_FF1mhh-e3q-tBxhaRqnbIhRkVmJVQUI4Je3IxdNuPEImIvEQXcYw$
  

You can also nominate other people (e.g., students, colleagues) at: 
https://urldefense.com/v3/__https://forms.gle/vRVYYXmpZi1ioXRr8__;!!IBzWLUs!UqfULxcfgEQri_DKFyLkw0STKr8E5IBhyzSz4GMMT_FF1mhh-e3q-tBxhaRqnbIhRkVmJVQUI4Je3IxdNuPEImLNWJAwqQ$
  

As a committee member, the primary responsibilities would be to review the 
artifacts submitted corresponding to the already accepted papers in the main 
research track. In particular, you may have to run the associated tool, check 
whether the results in the main paper can be reproduced, and inspect the data.

We expect the bulk of the review work to take place between end February and 
early April. Each artifact will take about 8h to review, and reviewers will be 
assigned about 3 artifacts to review.

Come join us in improving the quality of research in our field!

Manuel Rigger and Xinyu Wang

[TYPES/announce] PLDI 2023 First Call for Papers

[Anders Miltner]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Please distribute widely.

*Call for Papers*

2023 ACM Conference on Programming Language Design and Implementation (PLDI)
Mon 19 - Wed 21 June 2023
Orlando, Florida, United States
https://urldefense.com/v3/__https://pldi23.sigplan.org/track/pldi-2023-pldi*Call-for-Papers__;Iw!!IBzWLUs!TIq9kL-IM6S_viVUfySFK2lPXrVZM_1ImC4hlSa0zU_CKYq9YQ1hOYEmJRyf1-ILJ4PzUTaLvFk9YpMQk9jAmefL-m1LJw$
  

PACMPL Issue PLDI 2023 seeks contributions on all aspects of programming 
languages research, broadly construed, including design, implementation, 
theory, applications, and performance. Authors of papers published in PACMPL 
Issue PLDI 2023 will be invited to present their work in the PLDI conference in 
June 2023, which is sponsored by ACM SIGPLAN.

*Important Dates*
===
Thu 10 Nov 2022, Submission Deadline
Mon 6 Feb - Wed 8 Feb 2023, Author Response
Fri 24 Feb 2023, Author Notification

*Author Instructions*
==
https://urldefense.com/v3/__https://pldi23.sigplan.org/track/pldi-2023-pldi*Call-for-Papers__;Iw!!IBzWLUs!TIq9kL-IM6S_viVUfySFK2lPXrVZM_1ImC4hlSa0zU_CKYq9YQ1hOYEmJRyf1-ILJ4PzUTaLvFk9YpMQk9jAmefL-m1LJw$
  

Submission site: 
https://urldefense.com/v3/__https://pldi2023.hotcrp.com/__;!!IBzWLUs!TIq9kL-IM6S_viVUfySFK2lPXrVZM_1ImC4hlSa0zU_CKYq9YQ1hOYEmJRyf1-ILJ4PzUTaLvFk9YpMQk9jAmec1Bde3tw$
  

*Organizing Committee*

- General Chair: Steve Blackburn, Google and Australia National U.
- Program Chair: Nate Foster, Cornell U.
- Web Co-Chairs:
 - Dan Barowy, Williams College
 - Jedidiah McClurg, Colorado State U.
- Publicity Co-Chairs:
 - William J. Bowman, U. of British Columbia
 - Anders Miltner, Simon Fraser U.
- Sponsorship Co-Chairs:
 - Sasa Misailovic, U. of Illinois at Urbana-Champaign
 - Deian Stefan, U. of California at San Diego
- Workshops Co-Chairs:
 - Nadia Polikarpova, U. of California at San Diego
 - Zachary Tatlock, U. of Washington
- Student Research Competition Co-Chairs:
 - Chandrakana Nandi, Certora
 - Jubi Taneja, Microsoft Research
- Artifact Evaluation Co-Chairs:
 - Manuel Rigger, National U. of Singapore
 - Xinyu Wang, U. of Michigan
- Diversity and Inclusion Co-Chairs:
 - Madan Musuvathi, Microsoft Research
 - Fernando Magno Quintão Pereira, Federal U. of Minas Gerais
- Social Events Co-Chairs:
 - Rachit Nigam, Cornell U.
 - Alex Renda, Massachusetts Institute of Technology
- Video Chair: Guilherme Espada, U. de Lisboa
- Volunteers Co-Chairs:
 - Hanneli Tavante, McGill U.
 - Michael James, U. of California at San Diego

https://urldefense.com/v3/__https://pldi23.sigplan.org/committee/pldi-2023-organizing-committee__;!!IBzWLUs!TIq9kL-IM6S_viVUfySFK2lPXrVZM_1ImC4hlSa0zU_CKYq9YQ1hOYEmJRyf1-ILJ4PzUTaLvFk9YpMQk9jAmedr971wIA$
  

--
Anders Miltner