3 papers
cs.PL2026
Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study
Guanxuan Wu, Allison Sullivan
Slotted e-graphs represent open terms modulo consistent renaming, while algebraic operators benefit from canonical sequence, bag, or set children. We compose the two at a specifica…
cs.SE2024
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
Guanxuan Wu, Allison Sullivan
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built to automated testing and debug…
eess.SY2023
Structural Balance of Complex Weighted Graphs and Multi-partite Consensus
Honghui Wu, Ahmet Taha Koru, Guanxuan Wu +2
The structural balance of a signed graph is known to be necessary and sufficient to obtain a bipartite consensus among agents with friend-foe relationships. In the real world, rela…