admin

Latest

• OpenMP aware MHP Analysis for Improved Static Data-Race Detection
• Anomaly Detection in Data Plane Systems using Packet Execution Paths
• GPURepair: Automated Repair of GPU Kernels
• LLOV: A Fast Static Data-Race Checker for OpenMP Programs
• On the tractability of $(k,i)$-coloring (Extended Journal Version)
• Reflections on "Incremental Cardinality Constraints for MaxSAT"
• Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
• Phase Transition Behavior of Cardinality and XOR Constraints
• Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution)
• Approximation Strategies for Incomplete MaxSAT
• On the tractability of $(k,i)$-coloring
• Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
• Equivalence Checking of a Floating-Point Unit Against a High-Level C Model
• The virtues of conflict: analysing modern concurrency
• On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
• Generalized Totalizer Encoding for Pseudo-Boolean Constraints
• Safety Verification and Refutation by $k$-Invariants and $k$-Induction
• Property-Driven Fence Insertion Using Reorder Bounded Model Checking
• Incremental Cardinality Constraints for MaxSAT
• Automatically finding atomic regions for fixing bugs in Concurrent Programs
• A New Method of {MHP} Analysis for Languages with Dynamic Barriers
• Underspecified harnesses and interleaved bugs
• Distributed Generalized Dynamic Barrier Synchronization
• Reactivity in SystemC Transaction-Level Models