Green Journals

Year	A	B
2026	✓	✓
2025	✓	✓
2024	✓	✓
2023	✓	✓
2021/2022	✓	✓
2020	✓	✓
2019	✓	✓
2018	✓

Context-Dependent Effects and Concurrency in Guarded Interaction Trees

Sergei Stepanenko, Emma Nardino, Virgil Marionneau et al.

2026-11-2

DOI: 10.1145/3861008

The Landscape of Static-Analysis Optimizations

Palaniappan Muthuraman, Leen Jubarah, Aashish Prajapati et al.

2026-10-30

DOI: 10.1145/3861012

Denotational Semantics for Probabilistic and Concurrent Programs

Noam Zilberstein, Daniele Gorla, Alexandra Silva

2026-10-14

DOI: 10.1145/3840298

Omnidirectional type inference for ML: principality any way

Alistair O'Brien, Didier Rémy, Gabriel Scherer

2026-9-15

DOI: 10.1145/3848026

Formal Autograding in a Classroom (Extended Version)

Dragana Milovančević, Samuel Chassot, Mario Bucev et al.

2026-9-8 Vol. 48 Issue 3 Pages 1-26

DOI: 10.1145/3828727

Compiling with the Sequent Calculus

Marius Müller, David Binder, Marco Tzschentke et al.

2026-9-6

DOI: 10.1145/3845991

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

Florian Sextl, Adam Rogalewicz, Tomáš Vojnar et al.

2026-8-29

DOI: 10.1145/3844730

Constructive characterisations of the <scp>must</scp> -preorder for asynchrony

Giovanni Bernardi, Ilaria Castellani, Paul Laforgue et al.

2026-8-22

DOI: 10.1145/3842749

Cut-Shortcut Whole-Program Pointer Analysis: Re-Imagining Context-Sensitivity without Contexts

Shengyuan Yang, Wenjie Ma, Thomas Reps et al.

2026-8-10 Vol. 48 Issue 3 Pages 1-78

DOI: 10.1145/3818615

A Formal Framework for Typing and Cast Semantics in SQL Engines

Wenjia Ye, Matías Toro, Claudio Gutierrez et al.

2026-7-28

DOI: 10.1145/3834861

Journal Report

Journal Information

Classification History

Recent Articles