Abstract is missing.
- Circuit Width Estimation via Effect Typing and Linear DependencyAndrea Colledan, Ugo Dal Lago. 3-30 [doi]
- On the Hardness of Analyzing Quantum Programs QuantitativelyMartin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix. 31-58 [doi]
- Reconciling Partial and Local InvertibilityAnders Ågren Thuné, Kazutaka Matsuda, Meng Wang 0002. 59-89 [doi]
- Efficient Matching with Memoization for Regexes with Look-around and Atomic GroupingHiroya Fujinami, Ichiro Hasuo. 90-118 [doi]
- A Denotational Approach to Release/Acquire ConcurrencyYotam Dvir, Ohad Kammar, Ori Lahav 0001. 121-149 [doi]
- Intel PMDK Transactions: Specification, Validation and ConcurrencyAzalea Raad, Ori Lahav 0001, John Wickerson, Piotr Balcer, Brijesh Dongol. 150-179 [doi]
- Artifact Report: Intel PMDK Transactions: Specification, Validation and ConcurrencyAzalea Raad, Ori Lahav 0001, John Wickerson, Piotr Balcer, Brijesh Dongol. 180-184 [doi]
- Specifying and Verifying Persistent LibrariesLéo Stefanesco, Azalea Raad, Viktor Vafeiadis. 185-211 [doi]
- Hyperproperty Verification as CHC SatisfiabilityShachar Itzhaky, Sharon Shoham, Yakir Vizel. 212-241 [doi]
- Maximal Quantified Precondition Synthesis for Linear Array LoopsSumanth Prabhu 0001, Grigory Fedyukovich, Deepak D'Souza. 245-274 [doi]
- Verified Inlining and Specialisation for PureCakeHrutvik Kanabar, Kacper Korban, Magnus O. Myreen. 275-301 [doi]
- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming LanguagesDaniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman. 302-330 [doi]
- Higher-Order LCTRSs and Their TerminationLiye Guo, Cynthia Kop. 331-357 [doi]
- A Modular Soundness Theory for the Blackboard Analysis ArchitectureSven Keidel, Dominik Helm, Tobias Roth, Mira Mezini. 361-390 [doi]
- Detection of Uncaught Exceptions in Functional Programs by Abstract InterpretationPierre Lermusiaux, Benoît Montagu. 391-420 [doi]
- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the LawRaphaël Monat, Aymeric Fromherz, Denis Merigoux. 421-450 [doi]