[TYPES/announce] PriSC 2024: Call for Presentations

[PriSC PC Chairs]

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

(Apologies if you're getting this email multiple times.)

Short version: PriSC is a fun, welcoming and exciting venue. Share
updates, ideas, thoughts or send students for a friendly gathering
that may lead to future collaborations and ideas. Submit now!


Call for Presentations: PriSC 2024 @ POPL 2024


Secure compilation is an emerging field that puts together advances in
security, programming languages, compilers, verification, systems,
and hardware architectures in order to devise more secure compilation
chains that eliminate many of today’s security vulnerabilities and
that allow sound reasoning about security properties in the source
language. For a concrete example, all modern languages provide a
notion of structured control flow and an invoked procedure is
expected to return to the right place. However, today’s compilation
chains (compilers, linkers, loaders, runtime systems, hardware)
cannot efficiently enforce this abstraction against linked low-level
code, which can call and return to arbitrary instructions or smash
the stack, blatantly violating the high-level abstraction. Other
problems arise because today’s languages fail to specify security
policies, such as data confidentiality, and the compilation chains
thus fail to enforce them, especially against powerful side-channel
attacks. The emerging secure compilation community aims to address
such problems by identifying precise security goals and attacker
models, designing more secure languages, devising efficient
enforcement and mitigation mechanisms, and developing effective
verification techniques for secure compilation chains.

The goal of this workshop is to identify interesting research
directions and open challenges and to bring together researchers
interested in working on building secure compilation chains, on
developing proof techniques and verification tools, and on designing
software or hardware enforcement mechanisms for secure compilation.

8th Workshop on Principles of Secure Compilation (PriSC 2024)
=

The Workshop on Principles of Secure Compilation (PriSC) is an
informal 1-day workshop without any proceedings. The goal is to bring
together researchers interested in secure compilation and to identify
interesting research directions and open challenges. The 8th edition
of PriSC will be held on January 20, 2024 in London, United Kingdom
together with the ACM SIGPLAN Symposium on Principles of Programming
Languages (POPL) 2024.

Important Dates
===

* Thu 02 Nov 2023: Submission Deadline
* Thu 07 Dec 2023: Acceptance Notification
* Sat 20 Jan 2024: Workshop

Presentation Proposals and Attending the Workshop
=

Anyone interested in presenting at the workshop should submit an
extended abstract (up to 2 pages, details below) covering past,
ongoing, or future work. Any topic that could be of interest to
secure compilation is in scope. Secure compilation should be
interpreted very broadly to include any work in security, programming
languages, architecture, systems or their combination that can be
leveraged to preserve security properties of programs when they are
compiled or to eliminate low-level vulnerabilities. Presentations
that provide a useful outside view or challenge the community are
also welcome. This includes presentations on new attack vectors such
as microarchitectural side-channels, whose defenses could benefit
from compiler techniques.

Specific topics of interest include but are not limited to:

* Attacker models for secure compiler chains.
* Secure compiler properties: fully abstract compilation and similar
properties, memory safety, control-flow integrity, preservation of
safety, information flow and other (hyper-)properties against
adversarial contexts, secure multi-language interoperability.
* Secure interaction between different programming languages: foreign
function interfaces, gradual types, securely combining different
memory management strategies.
* Enforcement mechanisms and low-level security primitives: static
checking, program verification, typed assembly languages, reference
monitoring, program rewriting, software-based isolation/hiding
techniques (SFI, crypto-based, randomization-based,
OS/hypervisor-based), security-oriented architectural features such
as Intel’s SGX, MPX and MPK, capability machines, side-channel
defenses, object capabilities.
* Experimental evaluation and applications of secure compilers.
* Proof methods relevant to compilation: (bi)simulation, logical
relations, game semantics, trace semantics, multi-language semantics,
embedded interpreters.
* Formal verification of secure compilation chains
(protection mechanisms, compilers, linkers, loaders), machine-checked

[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] 2nd Call for Submissions PLanQC (Programming Languages for Quantum Computing)

[Mathys Rennela]

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

PLanQC 2024: Programming Languages for Quantum Computing


Call for Submissions


We invite members of the programming languages and quantum computing
communities to submit talk proposals for the 4th International Workshop on
Programming Languages for Quantum Computing (PLanQC 2024), co-located in
January 2024 with POPL in London, the United Kingdom.


PLanQC aims to bring together researchers from the fields of programming
languages and quantum information, exposing the programming languages
community to the unique challenges of programming quantum computers. It
will promote the development of tools to assist in the process of
programming quantum computers, as they exist today and as they are likely
to exist in the near to distant future.


Submissions to PLanQC should take the form of 2-5 page abstracts
(single-column, 11pt acmsmall style, not including references), with links
to larger preprints when appropriate. Work in progress is welcome. We hope
to make PLanQC maximally accessible to the programming languages community.
Thus, abstracts should cover cutting edge ideas and results, but not be
opaque to new, potential entrants to quantum computing coming from
programming languages. Abstracts will be reviewed for quality and relevance
to the workshop, and accepted authors will be invited to give talks or
poster presentations. We will not be publishing formal proceedings, but the
extended abstracts, along with links (where available) to full papers will
be posted to the website of the workshop.


Workshop topics include (but are not limited to):


  • High-level quantum programming languages

  • Verification tools for quantum programs

  • Novel quantum programming abstractions

  • Quantum circuit and program optimizations

  • Hardware-aware circuit compilation and routing

  • Error handling, mitigation, and correction

  • Instruction sets for quantum hardware

  • Other techniques from traditional programming languages (e.g., types,
compilation/optimization, foreign function interfaces) applied to the
domain of quantum computation.


-

Important dates:


  • Submission deadline: 3 November 2024 (anywhere on earth)

  • Author notification: 6 December 2024

  • Workshop: TBA (tentatively: 20 January 2024)


-

Important links:


  • Website: 
https://urldefense.com/v3/__https://popl24.sigplan.org/home/planqc-2024__;!!IBzWLUs!VGjBNIbf5pvEzEyKl7gZF7reNsPDMp7vlLHvdpNRf7fd2FkwQuCBdN7-nu_4mKq0BCtNLP5VGnM1zGhJbV9sveZJHGWB7RDt7sfMiiWG$
 

  • Submission: 
https://urldefense.com/v3/__https://planqc2024.hotcrp.com/__;!!IBzWLUs!VGjBNIbf5pvEzEyKl7gZF7reNsPDMp7vlLHvdpNRf7fd2FkwQuCBdN7-nu_4mKq0BCtNLP5VGnM1zGhJbV9sveZJHGWB7RDt7rWtSK_x$
 



-

Program Committee:


Matthew Amy, Simon Fraser University

Ross Duncan, Cambridge Quantum Computing Ltd

Cassandra Granade, Microsoft

Kesha Hietala, University of Maryland

Robin Kaarsgaard, University of Southern Denmark

Jennifer Paykin, Intel Labs

Robert Rand, University of Chicago

Mathys Rennela (chair), INRIA / ENS Paris

Neil Julien Ross, Dalhousie University

Amr Sabry, Indiana University

Peter Selinger, Dalhousie University

Kate Smith, Northwestern University

Michael Walter, Ruhr University Bochum

John van de Wetering, University of Amsterdam

Margherita Zorzi, University of Verona


Organizing Committee:


Matt Amy, Simon Fraser University

Ross Duncan, Cambridge Quantum Computing

Robert Rand, University of Chicago

Neil Julien Ross, Dalhousie University

Mathys Rennela, INRIA / ENS Paris

[TYPES/announce] Call for Contributions - Workshop on Programming for the Planet (PROPL) co-located with POPL

[Dominic Orchard]

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

Call for Contributions
*Workshop on Programming for the Planet (PROPL)  *co-located with POPL 2024.
Saturday January 20th 2024, London, UK
https://urldefense.com/v3/__https://popl24.sigplan.org/home/propl-2024__;!!IBzWLUs!Slrsb4YJe9mAT4NMsXeVBkGsbEdpLXbY8FQAfw9-y4hYxQqeSQHKzTGEo_6LFGWJVYFs8m-xDFqssg6hoqMxevI0rC413-KvIhM$
 


There are simultaneous crises across the planet due to rising CO2
emissions, rapid biodiversity loss, and desertification. Assessing progress
on these complex and interlocking issues requires a global view on the
effectiveness of our adaptations and mitigations. To succeed in the coming
decades, we need a wealth of new data about our natural environment that we
rapidly process into accurate indicators, with sufficient trust in the
resulting insights to make decisions that affect the lives of billions of
people worldwide.

However, programming the computer systems required to effectively ingest,
clean, collate, process, explore, archive, and derive policy decisions from
the planetary data we are collecting is difficult and leads to artefacts
presently not usable by non-CS-experts, not reliable enough for scientific
and political decision making, and not widely and openly available to all
interested parties. Concurrently, domains where computational techniques
are already central (e.g., climate modelling) are facing diminishing
returns from current hardware trends and software techniques.

PROPL explores how to close the gap between state-of-the-art programming
methods being developed in academia and the use of programming in climate
analysis, modelling, forecasting, policy, and diplomacy. The aim is to
build bridges to the current practices used in the scientific community.

The first edition of this workshop will comprise:
* invited talks from practitioners in the environmental/climate sciences
* contributed talks (selected by the programme committee based on short
abstracts)
* "working workshop brainstorming" format.

We would welcome contributions in the following forms:

* *Talk proposal:* Please submit an abstract of a talk aligned with the
topics of the workshop. This could include reporting on existing work, a
demo, open problems, work in progress, or new ideas and speculation.

* *Proposed discussion: *If you would like to propose a
discussion/brainstorming session on a particular topic, e.g., in a hour
slot, then please submit a description of the session, at least three
questions to consider, and at least two possible participants who could
lead the discussion.

* *Discussant:* Please outline an area of expertise aligned with the
workshop in which you would be willing to act as a discussant, i.e.,
provide detailed commentary on talks given within this topic.

Significant dates:

- Call for proposals: due in Nov 24th 2023
- Notification of talks: Dec 4th 2023
- Workshop date: 20th January 2024 (co-located with POPL in London)