( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying dereference safety via expanding-scope analysis.

, , , , , и . ISSTA, стр. 213-224. ACM, (2008)

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)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)Sequential verification of serializability., , и . POPL, стр. 31-42. ACM, (2010)Chopped symbolic execution., , , и . ICSE, стр. 350-360. ACM, (2018)Towards Hypothetical Reasoning Using Distributed Provenance., , , и . EDBT, стр. 461-464. OpenProceedings.org, (2018)State Merging with Quantifiers in Symbolic Execution., , , и . CoRR, (2023)Online detection of effectively callback free objects with applications to smart contracts., , , , , , и . Proc. ACM Program. Lang., 2 (POPL): 48:1-48:28 (2018)Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient., , , и . DISC, том 8784 из Lecture Notes in Computer Science, стр. 376-390. Springer, (2014)A programming language perspective on transactional memory consistency., , , и . PODC, стр. 309-318. ACM, (2013)