8 citations · 11 across the 4 of their papers we have counts for
Showing 2018 · cs.PLShow all
2 papers · 2 filters
cs.PL2018★ 1 cited
Verifying Semantic Conflict-Freedom in Three-Way Program Merges
Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
Even though many programmers rely on 3-way merge tools to integrate changes from different branches, such tools can introduce subtle bugs in the integration process. This paper aim…
cs.PL2018
Quasi-Optimal Partial Order Reduction
Huyen T. T Nguyen, César Rodríguez, Marcelo Sousa +2
A dynamic partial order reduction (DPOR) algorithm is optimal when it always explores at most one representative per Mazurkiewicz trace. Existing literature suggests that the reduc…