Marcelo Sousa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2014–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CAV | Quasi-Optimal Partial Order Reduction. | Huyen T. T. Nguyen, Csar Rodrguez, Marcelo Sousa, Camille Coti, Laure Petrucci |
| 2017 | CAV | Abstract Interpretation with Unfoldings. | Marcelo Sousa, Csar Rodrguez, Vijay Victor D'Silva, Daniel Kroening |
| 2017 | VMCAI | Independence Abstractions and Models of Concurrency. | Vijay Victor D'Silva, Daniel Kroening, Marcelo Sousa |
| 2017 | VMCAI | Complete Abstractions and Subclassical Modal Logics. | Vijay Victor D'Silva, Marcelo Sousa |
| 2016 | PLDI | Cartesian hoare logic for verifying k-safety properties. | Marcelo Sousa, Isil Dillig |
| 2015 | CONCUR | Unfolding-based Partial Order Reduction. | Csar Rodrguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening |
| 2014 | PLDI | Consolidation of queries with user-defined functions. | Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis |