Publications

(2021). GPURepair: Automated Repair of GPU Kernels. VMCAI 2021.

PDF Code Project Video DOI Paper

(2020). On the tractability of $(k,i)$-coloring (Extended Journal Version). DAM.

PDF DOI

(2020). LLOV: A Fast Static Data-Race Checker for OpenMP Programs. ACM TACO.

PDF Code Project Video DOI pre-print

(2019). Reflections on "Incremental Cardinality Constraints for MaxSAT". Virtual Volume.

PDF DOI Virtual Volume

(2019). Phase Transition Behavior of Cardinality and XOR Constraints. IJCAI 2019.

PDF DOI

(2019). Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. JSAT.

PDF Code Project DOI

(2018). Approximation Strategies for Incomplete MaxSAT. CP 2018.

PDF Code Project DOI Slides

(2018). On the tractability of $(k,i)$-coloring. CALDAM 2018.

PDF DOI

(2017). Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. TOPLAS.

PDF DOI

(2016). Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. FM 2016.

PDF DOI

(2016). The virtues of conflict: analysing modern concurrency. PPoPP 2016.

PDF DOI

(2015). On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. JSAT.

PDF Code Project DOI

(2015). Safety Verification and Refutation by $k$-Invariants and $k$-Induction. SAS 2015.

PDF Code DOI

(2015). Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CP 2015.

PDF Code Project DOI

(2015). Property-Driven Fence Insertion Using Reorder Bounded Model Checking. FM 2015.

PDF Code DOI

(2014). Incremental Cardinality Constraints for MaxSAT. CP 2014.

PDF Code Project DOI

(2012). A New Method of {MHP} Analysis for Languages with Dynamic Barriers. HIPS IPDPSW 2012.

PDF DOI

(2012). Underspecified harnesses and interleaved bugs. POPL 2012.

PDF DOI

(2011). Distributed Generalized Dynamic Barrier Synchronization. ICDCN 2011.

PDF DOI

(2007). Reactivity in SystemC Transaction-Level Models. HVC 2007.

PDF DOI