( en | de | ru )

 

Disambiguation of "Nieto, Abel"

Author of the publication

copydeleteadd this publication to your clipboard
Modular verification of op-based CRDTs in separation logic.

, , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 1788-1816 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Huber Nieto-Chaupis

Isidro Nieto

José Nieto

Gregoire Nieto

Karen Nieto-Flores

 

Other publications of authors with the same name

Blame for Null., , , and . ECOOP, volume 166 of LIPIcs, page 3:1-3:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Modular Verification of State-Based CRDTs in Separation Logic., , , , and . ECOOP, volume 263 of LIPIcs, page 22:1-22:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Blame for Null (Artifact)., , , and . Dagstuhl Artifacts Ser., 6 (2): 10:1-10:2 (2020)Modular Verification of State-Based CRDTs in Separation Logic (Artifact)., , , , and . Dagstuhl Artifacts Ser., 9 (2): 15:1-15:5 (2023)Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement., , , , , , and . Proc. ACM Program. Lang., 8 (POPL): 241-272 (January 2024)Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic., , , , , and . CoRR, (2021)Tamarin: Concolic Disequivalence for MIPS.. CoRR, (2018)Scala with Explicit Nulls (Artifact)., , , , and . Dagstuhl Artifacts Ser., 6 (2): 14:1-14:2 (2020)Scala with Explicit Nulls., , , , and . ECOOP, volume 166 of LIPIcs, page 25:1-25:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Towards algorithmic typing for DOT (short paper).. SCALA@SPLASH, page 2-7. ACM, (2017)