Research graph
References from A Polynomial–Petri Certificate Framework for Reordering in a Straight-Line MLIR Transform IR Core. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing
10.4204/eptcs.380.18 · 2023 · External reference
Unresolved reference
External reference
Open Petri nets
10.1017/s0960129520000043 · 2020 · External reference
Structured cospans
2020 · External reference
10.1142/2563
10.1142/2563 · External reference
10.1145/1040305.1040315
10.1145/1040305.1040315 · External reference
Partial order semantics and read arcs
10.1016/s0304-3975(01)00234-1 · 2002 · External reference
Contextual Petri nets, asymmetric event structures, and processes
10.1006/inco.2001.3060 · 2001 · External reference
Formal verification of a realistic compiler
10.1145/1538788.1538814 · 2009 · External reference
10.1007/bfb0054170
10.1007/bfb0054170 · External reference
10.1145/3453483.3454030
10.1145/3453483.3454030 · External reference
Unresolved reference
External reference
First-Class Verification Dialects for MLIR
10.1145/3729309 · 2025 · External reference
10.1145/73560.73564
10.1145/73560.73564 · External reference
Typed memory management via static capabilities
10.1145/363911.363923 · 2000 · External reference
10.1109/lics.2002.1029817
10.1109/lics.2002.1029817 · External reference
10.1145/1640089.1640097
10.1145/1640089.1640097 · External reference
Commutativity-based concurrency control for abstract data types
10.1109/12.9728 · 1988 · External reference
10.1109/cgo51591.2021.9370308
10.1109/cgo51591.2021.9370308 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1145/3696443.3708922
10.1145/3696443.3708922 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Contextual Petri nets, asymmetric event structures, and processes
10.1006/inco.2001.3060 · ExternalCitation · doi-reference
10.1007/bfb0054170
10.1007/bfb0054170 · ExternalCitation · doi-reference
Partial order semantics and read arcs
10.1016/s0304-3975(01)00234-1 · ExternalCitation · doi-reference
Open Petri nets
10.1017/s0960129520000043 · ExternalCitation · doi-reference
Commutativity-based concurrency control for abstract data types
10.1109/12.9728 · ExternalCitation · doi-reference
10.1109/cgo51591.2021.9370308
10.1109/cgo51591.2021.9370308 · ExternalCitation · doi-reference
10.1109/lics.2002.1029817
10.1109/lics.2002.1029817 · ExternalCitation · doi-reference
10.1142/2563
10.1142/2563 · ExternalCitation · doi-reference
10.1145/1040305.1040315
10.1145/1040305.1040315 · ExternalCitation · doi-reference
Formal verification of a realistic compiler
10.1145/1538788.1538814 · ExternalCitation · doi-reference
10.1145/1640089.1640097
10.1145/1640089.1640097 · ExternalCitation · doi-reference
10.1145/3453483.3454030
10.1145/3453483.3454030 · ExternalCitation · doi-reference
Typed memory management via static capabilities
10.1145/363911.363923 · ExternalCitation · doi-reference
10.1145/3696443.3708922
10.1145/3696443.3708922 · ExternalCitation · doi-reference
First-Class Verification Dialects for MLIR
10.1145/3729309 · ExternalCitation · doi-reference
10.1145/73560.73564
10.1145/73560.73564 · ExternalCitation · doi-reference
Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing
10.4204/eptcs.380.18 · ExternalCitation · doi-reference
