53 citations · 158 across the 16 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014★ 53 cited
Incremental Cardinality Constraints for MaxSAT
Ruben Martins, Saurabh Joshi, Vasco Manquinho +1
Maximum Satisfiability (MaxSAT) is an optimization variant of the Boolean Satisfiability (SAT) problem. In general, MaxSAT algorithms perform a succession of SAT solver calls to re…
cs.SE2014★ 15 cited
Property-Driven Fence Insertion using Reorder Bounded Model Checking
Saurabh Joshi, Daniel Kroening
Modern architectures provide weaker memory consistency guarantees than sequential consistency. These weaker guarantees allow programs to exhibit behaviours where the program statem…
cs.SE2014★ 3 cited
Automatically finding atomic regions for fixing bugs in Concurrent programs
Saurabh Joshi, Akash Lal
This paper presents a technique for automatically constructing a fix for buggy concurrent programs: given a concurrent program that does not satisfy user-provided assertions, we in…