Видео с ютуба Dicgaussseidel

[POPL'26] Parameterized Infinite-State Reactive Synthesis

[PLanQC'26] Denotational semantics for stabiliser quantum programs

[CPP'26] Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

[POPL'26] Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks

[POPL'26] Stateful Differential Operators for Incremental Computing