( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
State Merging with Quantifiers in Symbolic Execution.

, , , и . ESEC/SIGSOFT FSE, стр. 1140-1152. ACM, (2023)

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.

Noam Pilpel

 

Другие публикации лиц с тем же именем

Verifying linearizability with hindsight., , , , и . PODC, стр. 85-94. ACM, (2010)Brief announcement: concurrency-aware linearizability., и . PODC, стр. 209-211. ACM, (2014)Chopped symbolic execution., , , и . ICSE, стр. 350-360. ACM, (2018)Towards Hypothetical Reasoning Using Distributed Provenance., , , и . EDBT, стр. 461-464. OpenProceedings.org, (2018)Sequential verification of serializability., , и . POPL, стр. 31-42. ACM, (2010)A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms., , и . OPODIS, том 46 из LIPIcs, стр. 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)State Merging with Quantifiers in Symbolic Execution., , , и . ESEC/SIGSOFT FSE, стр. 1140-1152. ACM, (2023)Online detection of effectively callback free objects with applications to smart contracts., , , , , , и . Proc. ACM Program. Lang., 2 (POPL): 48:1-48:28 (2018)Safe privatization in transactional memory., , , и . PPoPP, стр. 233-245. ACM, (2018)Hypothetical Reasoning via Provenance Abstraction., , и . SIGMOD Conference, стр. 537-554. ACM, (2019)