Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
Bohan Li, Dawei Li, Ming Fu +1
Leveraging the flexible expressive ability of (Max)SMT and the powerful solving ability of SMT solvers, we propose a novel layout model named SMT-Layout. SMT-Layout is the first co…
cs.LO2021
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)
Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens +8
This technical report contains material accompanying our work with same title published at ASPLOS'21. We start in Sec. 1 with a detailed presentation of the core innovation of this…