8 citations · 8 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018
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…