[TYPES/announce] POPL 2024 - Call for Participation - Early registration: 14 December

[Donaldson, Alastair F]

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


Dear all

Please help spread the word about POPL 2024, which is now open for 
registration! Details below.

Best wishes

Ally Donaldson and John Wickerson
POPL 2024 Publicity Chairs


POPL 2024 - Call for Participation

** Early registration deadline: 14 December 2023 **

Come and join us for POPL 2024, in January, in the heart of London!

Register here: 
https://urldefense.com/v3/__https://popl24.sigplan.org/attending/registration__;!!IBzWLUs!VZmXUa5CjI_2HldXTqT-P85PdOI3-Gv7tbMnCNXN9bVRMnUZkLLYbKlSzxp7MmtpBdQbyt1FuD-mu2egNwVLDQc8Wp0mhrODQ8nTQ7qX7O8J5zY$
 

Location: Institution of Engineering and Technology (IET), Savoy Place, London, 
WC2R 0BL

Dates:
- Main conference: Wed 17 - Fri 19 January
- Workshops, tutorials, co-located events: Sun 14, Mon 15, Tue 16 and Sat 20 
January

Invited speakers
- Azadeh Farzan, University of Toronto
- Nate Foster, Cornell University

Accepted papers: 
https://urldefense.com/v3/__https://popl24.sigplan.org/track/POPL-2024-popl-research-papers__;!!IBzWLUs!VZmXUa5CjI_2HldXTqT-P85PdOI3-Gv7tbMnCNXN9bVRMnUZkLLYbKlSzxp7MmtpBdQbyt1FuD-mu2egNwVLDQc8Wp0mhrODQ8nTQ7qX0PB6yYE$
 

Full details of the conference and co-located events: 
https://urldefense.com/v3/__https://popl24.sigplan.org/__;!!IBzWLUs!VZmXUa5CjI_2HldXTqT-P85PdOI3-Gv7tbMnCNXN9bVRMnUZkLLYbKlSzxp7MmtpBdQbyt1FuD-mu2egNwVLDQc8Wp0mhrODQ8nTQ7qXN-ZneS0$
 

Sponsors: POPL is supported by generous sponsorship from:
- Jane Street
- Amazon
- ahrefs
- JetBrains
- Input
- Certora
- Google
- Epic

The 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 
2024) will take place in January in the heart of London, at the Institution of 
Engineering and Technology (IET). As well as presentations of the highest 
quality research papers on Programming Languages, the POPL 2024 technical 
programme will feature keynote talks from Azadeh Farzan and Nate Foster, and 
will be complemented by more than 25 co-located workshops, tutorials and other 
events!

As well as the main POPL24 reception on Wed 17 January, the conference will 
feature a DEI4Everyone cocktail reception on Thu 18 January, which is free 
thanks to generous support from Jane Street. The reception will feature short 
talks from DEI representatives reflecting on their experiences around DEI 
issues. The event is open to everyone and our goal is to foster DEI 
discussions, all while drinking fabulous cocktails! This will also be an 
opportunity for people to form groups to go to dinner and get to know each 
other afterwards. Please sign up - see the registration link above for details.

The Strand Palace conference hotel has a close relationship with IET. It has 
e.g. cosy single rooms with single beds which provides a good cheap option 
right in the heart of central London. In addition, if you don’t get your towels 
cleaned, you get £7 to spend e.g. in the bar after dinner!

It's going to be an amazing conference - don't miss it - sign up now! 
https://urldefense.com/v3/__https://popl24.sigplan.org/attending/registration__;!!IBzWLUs!VZmXUa5CjI_2HldXTqT-P85PdOI3-Gv7tbMnCNXN9bVRMnUZkLLYbKlSzxp7MmtpBdQbyt1FuD-mu2egNwVLDQc8Wp0mhrODQ8nTQ7qX7O8J5zY$
 

[TYPES/announce] POPL 2024 Student Research Competition - deadline Friday 10 November

[Donaldson, Alastair F]

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

Dear all

Please encourage both undergraduate and graduate students working in 
Programming Languages to submit their work to the POPL 2024 Student Research 
Competition!

Deadline: Friday 10 November

See here for full 
details!

Best wishes

Ally Donaldson and John Wickerson
POPL 2024 Publicity Chairs

[TYPES/announce] Dahl-Nygaard junior and senior prizes - deadline for nominations: 30 September 2023

[Donaldson, Alastair F]

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

Dear all

We are seeking nominations for the 2024 Dahl-Nygaard junior and senior prizes!

** Deadline: 30 September 2023 **

Established by AITO in 2004, these annual prizes are named after Ole-Johan Dahl 
and Kristen Nygaard, whose pioneering conceptual and technical work in the 
sixties shaped that view of programming and modeling which is now known as 
object-orientation.

The junior prize is awarded to a researcher who obtained the PhD degree at most 
7 years before the award year, excluding any parental leave. The prize 
recognises a promising contribution to the field through a paper, a thesis, or 
a prototype implementation.

The senior prize is awarded to a researcher who has made a significant 
long-term contribution to the field in research or engineering.

The winners of both prizes will be given the opportunity of giving an invited 
talk at ECOOP 2024 in Vienna.

Lists of previous winners of the prizes are given below.

Nominations are due by September 30 and should be made using this form: 
https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSd9qQb8MmtkWM01vLhIpqPTIlmgciNwDiiLtSxot05x6k6c4w/viewform__;!!IBzWLUs!RxVAMTVkVGt_x5IUwZqfSD51uhCKm9H9ekPjmB3vXmI16UB8J2Zqd7-9IBLbKP3_AU67jjR0MyxYdQi_r_DN7VRKk9SOY3UjBtBYzD52rB3KMKY$
 

Please help me by circulating this call for nominations as widely as possible, 
and I very much look forward to receiving your nominations!

Thanks

Alastair Donaldson

Dahl-Nygaard prize committee chair, 2024



2023, Seattle
Sophia Drosspoulou (senior prize), and Heather Miller (junior prize

2022, Berlin
Dan Ingalls(senior prize), and Magnus Madsen (junior prize)

2021, Aarhus
Kim Bruce (senior prize), and Karim Ali (junior prize)

2020, Berlin
Jan Vitek (senior prize), and Jonathan Bell (junior prize)

2019, London
Laurie Hendren (senior prize), and Ilya Sergey (junior prize)

2018, Amsterdam
Lars Bak (senior prize), and Guoqing Harry Xu (junior prize)

2017, Barcelona
Gilad Bracha (senior prize), and Ross Tate (junior prize)

2016, Rome
James Noble (senior prize), and Emina Torlak (junior prize)

2015, Prague
Bjarne Stroustrup (senior prize), and Alexander J. Summers (junior prize)

2014, Uppsala
William Cook (senior prize), Robert France (senior prize), and Tudor Gîrba 
(junior prize)

2013, Montpellier
Oscar Nierstrasz (senior prize) and Matthew Parkinson (junior prize)

2012, Beijing
Gregor Kiczales (senior prize) and Tobias Wrigstad (junior prize)

2011, Lancaster
Craig Chambers (senior prize) and Atsushi Igarashi (junior prize)

2010, Maribor
Doug Lea (senior prize) and Erik Ernst (junior prize)

2009, Genoa
David Ungar (senior prize)

2008, Paphos
Akinori Yonezawa (senior prize) and Wolfgang De Meuter (junior prize)

2007, Berlin
Luca Cardelli (senior prize) and Jonathan Aldrich (junior prize)

2006, Nantes
Erich Gamma, Richard Helm, Ralph Johnson, and (posthumously) John Vlissides

2005, Glasgow
Bertrand Meyer (senior prize) and Gail Murphy (junior prize)

[TYPES/announce] POPL 2024 - Call for Tutorials (deadline: 15 October)

[Donaldson, Alastair F]

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

Dear all

Please consider submitting a tutorial proposal to POPL 2024 - the call is 
below. We would be grateful if you could please circulate this call within your 
networks!

Thanks

Ally Donaldson and John Wickerson
POPL 2024 Publicity Chairs

Call For Tutorials - POPL 2024

https://urldefense.com/v3/__https://popl24.sigplan.org/track/POPL-2024-tutorialfest*Call-For-Tutorials__;Iw!!IBzWLUs!UL6VIAxv0zzZ6lfKHJLjzmfSufZrSjZ6jfpKN2lVHsIekPXImjwRYelt9kYb1HBci756j3mnodLG7dvzBJcwtMnSzKlCKWZaW7kp9S7rudtYztk$
 

The 51st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 
(POPL 2024) will be held in London, United Kingdom.

POPL provides a forum for the discussion of fundamental principles and 
important innovations in the design, definition, analysis, transformation, 
implementation, and verification of programming languages, programming systems, 
and programming abstractions.

Tutorials for POPL 2024 are solicited on any topic relevant to the POPL 
community. We particularly encourage submissions of introductory tutorials that 
make the research presented at POPL more accessible to the participants.

Tutorials will be held on Monday, January 15, 2024. The expected length of a 
tutorial is 3 hours, including questions and discussion (Q).

Submission details:
- Deadline for submission: 15 October 2023
- Notification of acceptance: 25 October 2023

A tutorial proposal should provide the following information:
- Tutorial title
- Presenter(s), affiliation(s), and contact information
- 1-3 page description (for evaluation). This should include the objectives, 
topics to be covered, presentation approach, target audience, prerequisite 
knowledge, and if the tutorial was previously held, the location (i.e. which 
conference), date, and number of attendees if available.
- 1-2 paragraph abstract suitable for tutorial publicity.
- 1 paragraph biography suitable for tutorial publicity.

Proposal must be submitted in pdf or txt form by email to the associated events 
chairs Anders Miltner milt...@sfu.ca and Christoph Matheja ch...@dtu.dk.

Any query regarding POPL 2024 tutorial proposals should be addressed to the 
associated events chairs Anders Miltner milt...@sfu.ca and Christoph Matheja 
ch...@dtu.dk or to the general chair Philippa Gardner.

[TYPES/announce] POPL 2024: Final Call for Papers

[Donaldson, Alastair F]

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

Dear all

The POPL 2024 submission site is now live:

https://urldefense.com/v3/__https://popl24.hotcrp.com__;!!IBzWLUs!TIrFlGsxQs3aFiudn144vNx3LZrv2E03gNjGx8IoabKEfT9frYDMD9WOGBDBPY9bJWYvkOPXJFZju97L9fyQYJzr3UMO6cz3P5jsMY8cDYVkG3M$
 

and the deadline for submissions is 11 July 2023, Anywhere on Earth.

Please spread the word, and consider submitting your best work! Full details 
below.

Best wishes

Ally Donaldson and John Wickerson
POPL 2024 Publicity Chairs



PACMPL Issue POPL 2024 seeks contributions on all aspects of programming 
languages and programming systems, both theoretical and practical. Authors of 
papers published in PACMPL Issue POPL 2024 will be invited to present their 
work in the POPL conference in January 2024, which is sponsored by ACM SIGPLAN, 
in cooperation with ACM SIGACT and ACM SIGLOG.

POPL 2024 Website: 
https://urldefense.com/v3/__https://popl24.sigplan.org__;!!IBzWLUs!TIrFlGsxQs3aFiudn144vNx3LZrv2E03gNjGx8IoabKEfT9frYDMD9WOGBDBPY9bJWYvkOPXJFZju97L9fyQYJzr3UMO6cz3P5jsMY8c-Bf-0Kk$
 

Call for Papers: 
https://urldefense.com/v3/__https://popl24.sigplan.org/track/POPL-2024-popl-research-papers__;!!IBzWLUs!TIrFlGsxQs3aFiudn144vNx3LZrv2E03gNjGx8IoabKEfT9frYDMD9WOGBDBPY9bJWYvkOPXJFZju97L9fyQYJzr3UMO6cz3P5jsMY8cdD5sE44$
 

Double-Blind Review FAQ: 
https://urldefense.com/v3/__https://popl24.sigplan.org/track/POPL-2024-popl-research-papers*FAQ-on-Double-Blind-Reviewing__;Iw!!IBzWLUs!TIrFlGsxQs3aFiudn144vNx3LZrv2E03gNjGx8IoabKEfT9frYDMD9WOGBDBPY9bJWYvkOPXJFZju97L9fyQYJzr3UMO6cz3P5jsMY8caoFLFGM$
 


### Organization

Conference Location: London, United Kingdom

Conference Dates: January 17-19, 2024

General Chair: Philippa Gardner, Imperial College London

Program Chair: Derek Dreyer, MPI-SWS

Program Committee: 
https://urldefense.com/v3/__https://popl24.sigplan.org/committee/POPL-2024-popl-research-papers-program-committee__;!!IBzWLUs!TIrFlGsxQs3aFiudn144vNx3LZrv2E03gNjGx8IoabKEfT9frYDMD9WOGBDBPY9bJWYvkOPXJFZju97L9fyQYJzr3UMO6cz3P5jsMY8c4UU51lY$
 


### Important Dates

All the times/deadlines below are Anywhere on Earth (AoE) in 2023.

Submission deadline: July 11
Start of author response period: Sept 11
End of author response period: Sept 14
Notification of conditional acceptance: Oct 2
Artifact deadline: Oct 9
Revised submissions due: Oct 26
Notification of final acceptance (artifacts & papers): Nov 7
Camera-ready deadline: Nov 10


### Scope

Principles of Programming Languages (POPL) is a forum for the discussion of all 
aspects of programming languages and programming systems. Both theoretical and 
experimental papers are welcome. We seek submissions that make principled, 
enduring contributions to the theory, design, understanding, implementation, or 
application of programming languages.


### Evaluation Criteria

The Program Committee will evaluate the technical contribution of each 
submission as well as its accessibility to both experts and the general POPL 
audience. All papers will be judged on significance, originality, relevance, 
correctness, and clarity. Each paper must explain its scientific contribution 
in both general and technical terms, identifying what has been accomplished, 
explaining why it is significant, and comparing it with previous work. Advice 
on writing technical papers can be found on the [SIGPLAN author information 
page](https://urldefense.com/v3/__http://www.sigplan.org/Resources/Author/__;!!IBzWLUs!TIrFlGsxQs3aFiudn144vNx3LZrv2E03gNjGx8IoabKEfT9frYDMD9WOGBDBPY9bJWYvkOPXJFZju97L9fyQYJzr3UMO6cz3P5jsMY8cylXiz1A$
 ).

Deadlines and formatting requirements, detailed below, will be strictly 
enforced.


### Full Double-Blind Reviewing Process

POPL 2024 will use a **full double-blind** reviewing process (similar to the 
one used for POPL 2023 but different from the lightweight double-blind process 
used in previous years). This means that identities of authors will not be made 
visible to reviewers until after conditional-acceptance decisions have been 
made, and then only for the conditionally-accepted papers. The use of full 
double-blind reviewing has several consequences for authors.

* **Submissions**: Authors must omit their names and institutions from their 
paper submissions. In addition, references to authors' own prior work should be 
in the third person  (e.g., not "We build on our previous work …" but rather 
"We build on the work of …").

* **Supplementary material**: Authors are permitted to provide supplementary 
material (e.g., detailed proofs, proof scripts, system implementations, or 
experimental data) along with their submission, which reviewers may (but are 
not required to) examine. This material may take the form of a single file, 
such as a PDF or a tarball. **Authors must fully anonymize any supplementary 
material. Links to supplementary material on external websites are not 
permitted.**

* **Author response**: In 

[TYPES/announce] Two PhD studentships at Imperial College London on compiler / verifier / mutation testing

[Donaldson, Alastair F]

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

Dear all

I am looking to recruit two PhD students to work on topics related to compiler 
testing, verifier testing, and mutation testing.

The studentships are fully funded for students eligible for "home" fees (i.e. 
British citizens, or candidates who have been resident in the UK for a 
sufficient period of time).

The studentships are available for an October 2023 start, but an April 2024 or 
October 2024 start is also possible.

Please see here for more details:

https://urldefense.com/v3/__https://www.doc.ic.ac.uk/*afd/PhDAdvert2023.pdf__;fg!!IBzWLUs!Uf2AISKb7zJrvr-LRxlsnGi0fkUGWHn7TotSAh9G1-HbUF2PmJNcyj2qBOX43uGD43cVOxSPCBu6O8QvcQQ-Vn-k9VQbenv8e43XIMpTzosGWEI$
 

I would be grateful if you could help spread the word about these 
opportunities, and do get in touch with me if you are interested and would like 
to discuss them.

Thanks!

Ally Donaldson

[TYPES/announce] POPL 2024: Call for Workshops and Co-located Events

[Donaldson, Alastair F]

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

Dear all

Please find below the Call for Workshops and Co-located Events for the POPL 
2024 conference, which is also here:

https://urldefense.com/v3/__https://popl24.sigplan.org/track/POPL-2024-workshops-and-co-located-events__;!!IBzWLUs!Qi2-vN-aYqM0tF3pe8aCfhwUAbcnNeyO5z_f0tlfO05F0WoqjiZlXyxdjS6EcjewuIPDn_Ty0UKD6ffLSiJ1Hk6r4keFeJzjWMw_IDcNA9oUDfk$
 

We would be grateful if you could help distribute this call among your networks.

Many thanks

Alastair Donaldson and John Wickerson
POPL 2024 Publicity Chairs




Call for Workshops and Co-located Events

POPL 2024

  51st ACM SIGPLAN-SIGACT Symposium on
  Principles of Programming Languages

 Sun 14 - Sat 20, January 2024
London, United Kingdom

  
https://urldefense.com/v3/__https://popl24.sigplan.org__;!!IBzWLUs!Qi2-vN-aYqM0tF3pe8aCfhwUAbcnNeyO5z_f0tlfO05F0WoqjiZlXyxdjS6EcjewuIPDn_Ty0UKD6ffLSiJ1Hk6r4keFeJzjWMw_IDcN8y6ujXw$
 


The 51st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 
(POPL 2024) will be held in London, United Kingdom

POPL provides a forum for the discussion of fundamental principles and 
important innovations in the design, definition, analysis, transformation, 
implementation and verification of programming languages, programming systems, 
and programming abstractions.

Events focusing on experimental and theoretical topics are welcome.

Proposals are invited for workshops and other events to be co-located with POPL 
2024. All co-located events are sponsored by SIGPLAN 
(https://urldefense.com/v3/__http://acm.org/sigplan/__;!!IBzWLUs!Qi2-vN-aYqM0tF3pe8aCfhwUAbcnNeyO5z_f0tlfO05F0WoqjiZlXyxdjS6EcjewuIPDn_Ty0UKD6ffLSiJ1Hk6r4keFeJzjWMw_IDcNnn4BLAo$
 ).

Workshops should be more informal and focused than POPL itself, include 
sessions that enable interaction among the workshop attendees. The preference 
is for one-day workshops, but other schedules can also be considered.

Submission details
==

Deadline for submission: 25 July 2023 Notification for acceptance: 1 August 2023

A workshop proposal should provide the following information:

- Name of the workshop.
- Duration of the workshop.
- Whether the workshop will be Conference-approved or SIGPLAN-approved (see 
below).
- Organizers: names, affiliation, contact information, brief (100 words) 
biography.
- A short description (150-200 words) of the topic.
- Event format: workshop; type of submissions if any; review process; results 
dissemination.
- Expected attendance and target audience.
- Potential PC members - please do not contact them before the workshop is 
approved.
- History of the workshop.
- Plans for remote participation

Proposals must be submitted in pdf form by email with the subject POPL 2024 
Workshop Proposal: , to the workshop co-chairs: Anders Miltner 
(milt...@sfu.ca) and Christoph Matheja (ch...@dtu.dk).

SIGPLAN Sponsorship
===

POPL Co-located Events are sponsored by SIGPLAN 
(https://urldefense.com/v3/__http://sigplan.org/__;!!IBzWLUs!Qi2-vN-aYqM0tF3pe8aCfhwUAbcnNeyO5z_f0tlfO05F0WoqjiZlXyxdjS6EcjewuIPDn_Ty0UKD6ffLSiJ1Hk6r4keFeJzjWMw_IDcN-kG9mzE$
 ). There are two kinds of Co-located Events: Conference-approved (no 
proceedings) and SIGPLAN-approved (proceedings in the ACM Digital Library). See 
https://urldefense.com/v3/__http://www.sigplan.org/Resources/Guidelines/Workshops/__;!!IBzWLUs!Qi2-vN-aYqM0tF3pe8aCfhwUAbcnNeyO5z_f0tlfO05F0WoqjiZlXyxdjS6EcjewuIPDn_Ty0UKD6ffLSiJ1Hk6r4keFeJzjWMw_IDcNKjIJmTQ$
  for more information, including a full listing of prescriptions for 
Conference-approved and SIGPLAN-approved workshops.

SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy. Proposals 
for SIGPLAN-approved workshops must additionally include the gender, country of 
affiliation, and professional status of potential PC members. See 
https://urldefense.com/v3/__https://www.sigplan.org/Resources/Policies/Diversity/__;!!IBzWLUs!Qi2-vN-aYqM0tF3pe8aCfhwUAbcnNeyO5z_f0tlfO05F0WoqjiZlXyxdjS6EcjewuIPDn_Ty0UKD6ffLSiJ1Hk6r4keFeJzjWMw_IDcNhHMlQKQ$
  for more details.

Selection committee
===

All submissions will be evaluated by a committee comprising the following 
members of the POPL 2024 organizing committee, together with the members of the 
SIGPLAN executive committee.

Workshops co-chairs: Anders Miltner (Simon Fraser University) and Christoph 
Matheja (Technical University of Denmark)

General chair: Philippa Gardner (Imperial College London) Program chair: Derek 
Dreyer (MPI-SWS)

[TYPES/announce] POPL 2024: Call for Papers (deadline: July 11)

[Donaldson, Alastair F]

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

Dear all

Please find below the Call for Papers for the POPL 2024 conference. We would be 
grateful if you could help distribute this call among your networks.

Many thanks

Alastair Donaldson and John Wickerson
POPL 2024 Publicity Chairs


PACMPL Issue POPL 2024 seeks contributions on all aspects of programming 
languages and programming systems, both theoretical and practical. Authors of 
papers published in PACMPL Issue POPL 2024 will be invited to present their 
work in the POPL conference in January 2024, which is sponsored by ACM SIGPLAN, 
in cooperation with ACM SIGACT and ACM SIGLOG.

POPL 2024 Website: 
https://urldefense.com/v3/__https://popl24.sigplan.org__;!!IBzWLUs!WzHj6cmM3CxRAMeIKmJLZ-V8p9MfMZ4DrbXAPs4t3CkWPmPUmEC4SJZAgprfSEuFaqTqBVt99cXFs9IANEa-zW89fT-0OvrHc3iGCoCBOvFvRA4$
 


Call for Papers: 
https://urldefense.com/v3/__https://popl24.sigplan.org/track/POPL-2024-popl-research-papers__;!!IBzWLUs!WzHj6cmM3CxRAMeIKmJLZ-V8p9MfMZ4DrbXAPs4t3CkWPmPUmEC4SJZAgprfSEuFaqTqBVt99cXFs9IANEa-zW89fT-0OvrHc3iGCoCBwwOw4Cs$
 

Double-Blind Review FAQ: 
https://urldefense.com/v3/__https://popl24.sigplan.org/track/POPL-2024-popl-research-papers*FAQ-on-Double-Blind-Reviewing__;Iw!!IBzWLUs!WzHj6cmM3CxRAMeIKmJLZ-V8p9MfMZ4DrbXAPs4t3CkWPmPUmEC4SJZAgprfSEuFaqTqBVt99cXFs9IANEa-zW89fT-0OvrHc3iGCoCB77j5pnk$
 


### Organization

Conference Location: London, United Kingdom

Conference Dates: January 17-19, 2024

General Chair: Philippa Gardner, Imperial College London

Program Chair: Derek Dreyer, MPI-SWS

Program Committee: 
https://urldefense.com/v3/__https://popl24.sigplan.org/committee/POPL-2024-popl-research-papers-program-committee__;!!IBzWLUs!WzHj6cmM3CxRAMeIKmJLZ-V8p9MfMZ4DrbXAPs4t3CkWPmPUmEC4SJZAgprfSEuFaqTqBVt99cXFs9IANEa-zW89fT-0OvrHc3iGCoCBTQC5lII$
 


### Important Dates

All the times/deadlines below are Anywhere on Earth (AoE) in 2023.

Submission deadline: July 11
Start of author response period: Sept 11
End of author response period: Sept 14
Notification of conditional acceptance: Oct 2
Artifact deadline: Oct 9
Revised submissions due: Oct 26
Notification of final acceptance (artifacts & papers): Nov 7
Camera-ready deadline: Nov 10


### Scope

Principles of Programming Languages (POPL) is a forum for the discussion of all 
aspects of programming languages and programming systems. Both theoretical and 
experimental papers are welcome. We seek submissions that make principled, 
enduring contributions to the theory, design, understanding, implementation, or 
application of programming languages.


### Evaluation Criteria

The Program Committee will evaluate the technical contribution of each 
submission as well as its accessibility to both experts and the general POPL 
audience. All papers will be judged on significance, originality, relevance, 
correctness, and clarity. Each paper must explain its scientific contribution 
in both general and technical terms, identifying what has been accomplished, 
explaining why it is significant, and comparing it with previous work. Advice 
on writing technical papers can be found on the [SIGPLAN author information 
page](https://urldefense.com/v3/__http://www.sigplan.org/Resources/Author/__;!!IBzWLUs!WzHj6cmM3CxRAMeIKmJLZ-V8p9MfMZ4DrbXAPs4t3CkWPmPUmEC4SJZAgprfSEuFaqTqBVt99cXFs9IANEa-zW89fT-0OvrHc3iGCoCBBWyuG58$
 ).

Deadlines and formatting requirements, detailed below, will be strictly 
enforced.


### Full Double-Blind Reviewing Process

POPL 2024 will use a **full double-blind** reviewing process (similar to the 
one used for POPL 2023 but different from the lightweight double-blind process 
used in previous years). This means that identities of authors will not be made 
visible to reviewers until after conditional-acceptance decisions have been 
made, and then only for the conditionally-accepted papers. The use of full 
double-blind reviewing has several consequences for authors.

* **Submissions**: Authors must omit their names and institutions from their 
paper submissions. In addition, references to authors' own prior work should be 
in the third person  (e.g., not "We build on our previous work …" but rather 
"We build on the work of …").

* **Supplementary material**: Authors are permitted to provide supplementary 
material (e.g., detailed proofs, proof scripts, system implementations, or 
experimental data) along with their submission, which reviewers may (but are 
not required to) examine. This material may take the form of a single file, 
such as a PDF or a tarball. **Authors must fully anonymize any supplementary 
material. Links to supplementary material on external websites are not 
permitted.**

* **Author response**: In responding to reviews, authors should not 

[TYPES/announce] Postdoc position on specification and verification of heterogeneous systems at Imperial

[Donaldson, Alastair F]

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

Hi all

John Wickerson and I have an opening for a two year postdoc on specification 
and verification of heterogeneous systems, and their programming languages. See 
here for 
details. I'd be very grateful if you should share this with folks who might be 
interested.

Feel free to contact either 
me or 
John if you're interested in applying and would like to chat informally first.

Thanks!

Ally

[TYPES/announce] Research Associate position in Randomized Testing at Imperial College London

[Donaldson, Alastair F]

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

Dear all

John Wickerson and I are looking to hire a Postdoctoral Research Associate to 
work on next-generation techniques for randomized testing (which could include 
testing of aspects of programming language implementations). The post is for 
two years, and full details can be found 
here. Details of some of the exciting range of technical questions that could be 
investigated as part of the postdoc are also pasted below.

The closing date is 9th December. Do feel free to contact me in advance if you 
are considering applying and have questions. And I'd be grateful if you could 
pass this on to interested candidates.

Many thanks

Ally Donaldson


Randomized testing, or fuzzing, can be effective at finding defects and 
vulnerabilities in systems. It works by running a system over and over again, 
using randomly generated or randomly mutated inputs. Traditional fuzzing, 
popularised by tools such as American Fuzzy Lop and libFuzzer, focusses on 
finding vulnerabilities by running a system on inputs that have been malformed 
via small mutations. In many ways this is great: the tools can be applied to a 
wide class of applications because their mutations (such as flipping bits) can 
be applied regardless of data format, and the malformed inputs that they create 
do a good job of finding exploitable vulnerabilities in the front-end of a 
system. However, these techniques have limited ability to find functional 
defects, where the system does the wrong thing without necessarily crashing.

In this project we are interested in stretching fuzzing techniques so that they 
can be used to check both deeper functional properties of systems as well as 
non-functional properties such as performance.

The position offers an exciting opportunity for conducting internationally 
leading and impactful research work that pushes the boundaries of randomized 
testing. The Research Associate will be responsible for investigating topics 
such as whether fuzzing can be applied to find performance bugs in systems, 
whether functional fuzzing can be applied in novel domains, whether there is 
scope for generalising and automating the process of fuzzer creation, and 
whether functional fuzzers could benefit from, or contribute to, efforts in 
formal verification and symbolic execution. There is a lot of scope for 
flexibility, but example research questions that could be investigated during 
the project include:


  *   Can we apply functional fuzzing to a larger class of domains? This could 
involve conducting a number of case studies of building domain-specific fuzzers 
for a variety of domains, such as video processing tools, ASIC synthesis tools, 
and web browsers.
  *   Can we use fuzzing to identify performance defects - e.g. inputs that 
cause the system under test to behave in a particularly unresponsive manner - 
or violations of other non-functional properties? Despite a focus on 
non-functional properties, functional fuzzing would be essential here in order 
to explore realistic scenarios.
  *   Can we automate the process of deriving a domain-specific fuzzer? Many 
aspects of writing a fuzzing tool are repetitive, but there is much “devil in 
the detail” due to specifics of the input format. Could we design an elegant 
representation for specifying these details, from which the more mundane parts 
of a fuzzing tool could be generated?
  *   When a formal specification for a system under test is available, e.g. 
thanks to a formal verification effort, can this be leveraged as a starting 
point for a functional fuzzer?
  *   Can a domain-specific fuzzer be used to create interesting seed inputs 
that can be used to guide symbolic execution?
  *   Can functional fuzzing be useful in application domains where the notion 
of “correct” is not well defined, such as machine learning and computer vision?

[TYPES/announce] Postdoc position at Imperial College London in software testing and programming languages

[Donaldson, Alastair F]

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

Applications are invited for a postdoctoral position, joint between the
Software Reliability Group and the Multicore Programming Group, under
the direction of Cristian Cadar and Alastair Donaldson.

We are looking for motivated applicants interested in working at the
intersection of software testing and programming languages. The research
will focus on two main strands:

* The first research strand will focus on testing compilers for popular
programming languages. We will design novel techniques to detect
compiler bugs that are currently out of reach to existing compiler
testing techniques. Particular attention will be given to bugs that are
security-critical in nature, presenting a largely unexplored attack
surface whereby software that is correct at the source level can
nevertheless be vulnerable to exploitation when erroneously compiled
into binary form. We also aim to mitigate this threat at runtime by
using novel multi-version execution techniques in which versions of the
same program compiled by different compilers are run in parallel.

* The second research strand will focus on helping software systems
evolve safely and securely. It will take a holistic approach to the
challenges of safe and secure software evolution, by combining offline
program analysis techniques such as static analysis and symbolic
execution to verify or comprehensively test software patches, with
runtime mechanisms such as multi-version execution for keeping the
software updated and secure against potentially erroneous changes that
make it into the deployed system.

For more details about this position, please see:
https://srg.doc.ic.ac.uk/vacancies/postdoc-comp-pass-19/

Deadline: 13 October 2019