🔒 Members
ACM
🔒 Members
🔒 Members
Research
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs
Abstract
The Proceedings of the 15th ACM SIGPLAN CPP '26 compile cutting-edge research focused on the intersection of formal verification and practical program development. This conference showcases innovations in using proof assistants,
Research
Proceedings of the 12th International Conference on Next Generation Computing, Communication, Systems and Security
Abstract
The Proceedings of the 12th International Conference on Next Generation Computing, Communication, Systems and Security (NSysS '25) compiles cutting-edge research focused on the convergence of advanced digital technologies. This volume addresses
Research
Proceedings of the 37th Australian Conference on Human-Computer Interaction
Abstract
The Proceedings of the 37th Australian Conference on Human-Computer Interaction (OzCHI '25) collects pivotal research focused on advancing user experience, interface design, and interaction methodologies for emerging technologies. Key themes include
🔒 Members
🔒 Members
🔒 Members
Research
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
Abstract
This work introduces a novel approach for synthesizing practical Abstract Transformers tailored for the MLIR compiler infrastructure. By automating the generation of these crucial components, the system significantly reduces the manual engineering
Research
ChiSA: Static Analysis for Lightweight Chisel Verification
Abstract
ChiSA introduces a novel static analysis framework specifically designed for lightweight verification of hardware designs written in the Chisel HDL. This approach allows developers to detect common design errors, structural inconsistencies, and
Research
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
Abstract
ArchSem introduces a novel, reusable framework for defining the rigorous semantics of complex relaxed computer architectures. This approach allows developers and verification engineers to formally specify weak memory models (WMMs) in a