Erez Petrank

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 46

Top Venues

Publications

Almog Zur, Nachshon Cohen, Michal Friedman, Erez Petrank
POSTER: RELAX: Durable Data Structures with Swift Recovery. PPoPP (2024)
Tomer Cory, Erez Petrank
The One Pass (OP) Compactor: An Intellectual Abstract. ISMM (2024)
Gal Sela, Erez Petrank
Concurrent aggregate queries. CoRR (2024)
Gal Sela, Erez Petrank
Concurrent Size (Abstract). HOPC@SPAA (2024)
Gali Sheffi, Erez Petrank
The ERA Theorem for Safe Memory Reclamation. PODC (2023)
Chiara Meiohas, Stephen M. Blackburn, Erez Petrank
Linear-Mark: Locality vs. Accuracy in Mark-Sweep Garbage Collection. MEMSYS (2023)
Gali Sheffi, Erez Petrank
The ERA Theorem for Safe Memory Reclamation. PPoPP (2023)
Yuanhao Wei, Naama Ben-David, Michal Friedman, Guy E. Blelloch, Erez Petrank
FliT: a library for simple and efficient persistent algorithms. PPoPP (2022)
Gal Milman-Sela, Alex Kogan, Yossi Lev, Victor Luchangco, Erez Petrank
BQ: A Lock-Free Queue with Batching. ACM Trans. Parallel Comput. 9 (1) (2022)
Gal Sela, Erez Petrank
Concurrent size. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Gal Sela, Erez Petrank
Concurrent Size. CoRR (2022)
Gali Sheffi, Erez Petrank
The ERA Theorem for Safe Memory Reclamation. CoRR (2022)
Gali Sheffi, Pedro Ramalhete, Erez Petrank
EEMARQ: Efficient Lock-Free Range Queries with Memory Reclamation. OPODIS (2022)
Samuel Thomas, Jiwon Choe, Ofir Gordon, Erez Petrank, Tali Moreshet, Maurice Herlihy, R. Iris Bahar
Towards Hardware Accelerated Garbage Collection with Near-Memory Processing. HPEC (2022)
Gali Sheffi, Pedro Ramalhete, Erez Petrank
EEMARQ: Efficient Lock-Free Range Queries with Memory Reclamation. CoRR (2022)
Gali Sheffi, Maurice Herlihy, Erez Petrank
VBR: Version Based Reclamation. SPAA (2021)
Gal Sela, Erez Petrank
Durable Queues: The Second Amendment. CoRR (2021)
Yuanhao Wei, Naama Ben-David, Michal Friedman, Guy E. Blelloch, Erez Petrank
FliT: A Library for Simple and Efficient Persistent Algorithms. CoRR (2021)
Gali Sheffi, Maurice Herlihy, Erez Petrank
VBR: Version Based Reclamation. CoRR (2021)
Gal Sela, Erez Petrank
Durable Queues: The Second Amendment. SPAA (2021)
Gal Sela, Maurice Herlihy, Erez Petrank
Brief Announcement: Linearizability: A Typo. PODC (2021)
Michal Friedman, Erez Petrank, Pedro Ramalhete
Mirror: making lock-free data structures persistent. PLDI (2021)
Gal Sela, Maurice Herlihy, Erez Petrank
Linearizability: a Typo. CoRR (2021)
Gali Sheffi, Maurice Herlihy, Erez Petrank
VBR: Version Based Reclamation. DISC (2021)
Gali Sheffi, Erez Petrank
Functional Faults. SPAA (2020)
Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, Erez Petrank
NVTraverse: in NVRAM data structures, the destination is more important than the journey. PLDI (2020)
Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, Erez Petrank
NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey. CoRR (2020)
Gali Sheffi, Erez Petrank
Functional faults. PPoPP (2020)
Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, Erez Petrank
Efficient Lock-Free Durable Sets. CoRR (2019)
Avner Elizarov, Guy Golan-Gueta, Erez Petrank
LOFT: lock-free transactional data structures. PPoPP (2019)
Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, Erez Petrank
Efficient lock-free durable sets. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Nachshon Cohen, Erez Petrank, James R. Larus
Reducing transaction aborts by looking to the future. PPOPP (2018)
Marcos K. Aguilera, Naama Ben-David, Irina Calciu, Rachid Guerraoui, Erez Petrank, Sam Toueg
Passing Messages while Sharing Memory. PODC (2018)
Gal Milman, Alex Kogan, Yossi Lev, Victor Luchangco, Erez Petrank
BQ: A Lock-Free Queue with Batching. SPAA (2018)
Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank
A persistent lock-free queue for non-volatile memory. PPOPP (2018)
Benoit Daloze, Arie Tal, Stefan Marr, Hanspeter Mössenböck, Erez Petrank
Parallelization of dynamic languages: synchronizing built-in collections. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Gali Sheffi, Guy Golan-Gueta, Erez Petrank
A Scalable Linearizable Multi-Index Table. ICDCS (2018)
Nurit Moscovici, Nachshon Cohen, Erez Petrank
A GPU-Friendly Skiplist Algorithm. PACT (2017)
Nurit Moscovici, Nachshon Cohen, Erez Petrank
POSTER: A GPU-Friendly Skiplist Algorithm. PPOPP (2017)
Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank
Brief Announcement: A Persistent Lock-Free Queue for Non-Volatile Memory. DISC (2017)
Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank
New Challenges in Parallelism (Dagstuhl Seminar 17451). Dagstuhl Reports 7 (11) (2017)
Nachshon Cohen, Erez Petrank
Limitations of Partial Compaction: Towards Practical Bounds. ACM Trans. Program. Lang. Syst. 39 (1) (2017)
Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald
POSTER: State Teleportation via Hardware Transactional Memory. PPOPP (2017)
Nachshon Cohen, Arie Tal, Erez Petrank
Layout Lock: A Scalable Locking Paradigm for Concurrent Data Layout Modifications. PPOPP (2017)
Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald
The Teleportation Design Pattern for Hardware Transactional Memory. OPODIS (2017)
Anastasia Braginsky, Nachshon Cohen, Erez Petrank
CBPQ: High Performance Lock-Free Priority Queue. Euro-Par (2016)
Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran
Automated and Modular Refinement Reasoning for Concurrent Programs. CAV (2) (2015)
Shahar Timnat, Maurice Herlihy, Erez Petrank
A Practical Transactional Memory Interface. Euro-Par (2015)
Keren Censor-Hillel, Erez Petrank, Shahar Timnat
Help! PODC (2015)
Nachshon Cohen, Erez Petrank
Data structure aware garbage collector. ISMM (2015)
Nachshon Cohen, Erez Petrank
Efficient Memory Management for Lock-Free Data Structures with Optimistic Access. SPAA (2015)
Nachshon Cohen, Erez Petrank
Automatic memory reclamation for lock-free data structures. OOPSLA (2015)
Dana Drachsler-Cohen, Erez Petrank
LCD: Local Combining on Demand. OPODIS (2014)
Shahar Timnat, Erez Petrank
A practical wait-free simulation for lock-free data structures. PPOPP (2014)
Shahar Timnat, Maurice Herlihy, Erez Petrank
A Practical Transactional Memory Interface. DISC (2014)
Nachshon Cohen, Erez Petrank
Limitations of partial compaction: towards practical bounds. PLDI (2013)
Anastasia Braginsky, Alex Kogan, Erez Petrank
Drop the anchor: lightweight memory management for non-blocking data structures. SPAA (2013)
Haggai Eran, Erez Petrank
A study of data structures with a deep heap shape. MSPC@PLDI (2013)
Erez Petrank, Shahar Timnat
Lock-Free Data-Structure Iterators. DISC (2013)
Erez Petrank, Benjamin Zorn
SIGPLAN professional activities committee report. ACM SIGPLAN Notices 47 (4a) (2012)
Shahar Timnat, Anastasia Braginsky, Alex Kogan, Erez Petrank
Wait-free linked-lists. PPOPP (2012)
Alex Kogan, Erez Petrank
A methodology for creating fast wait-free data structures. PPOPP (2012)
Anna Bendersky, Erez Petrank
Space overhead bounds for dynamic memory management with partial compaction. ACM Trans. Program. Lang. Syst. 34 (3) (2012)
Erez Petrank
Can parallel data structures rely on automatic memory managers? MSPC (2012)
Shahar Timnat, Anastasia Braginsky, Alex Kogan, Erez Petrank
Wait-Free Linked-Lists. OPODIS (2012)
Anastasia Braginsky, Erez Petrank
A lock-free B+tree. SPAA (2012)
Anna Bendersky, Erez Petrank
Space overhead bounds for dynamic memory management with partial compaction. POPL (2011)
Yuval Ishai, Jonathan Katz, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank
On Achieving the "Best of Both Worlds" in Secure Multiparty Computation. SIAM J. Comput. 40 (1) (2011)
Anastasia Braginsky, Erez Petrank
Locality-Conscious Lock-Free Linked Lists. ICDCN (2011)
Iftach Haitner, Yuval Ishai, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank
Black-Box Constructions of Protocols for Secure Computation. SIAM J. Comput. 40 (2) (2011)
Alex Kogan, Erez Petrank
Wait-free queues with multiple enqueuers and dequeuers. PPOPP (2011)
Iftach Haitner, Yuval Ishai, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank
Black-Box Constructions of Protocols for Secure Computation. IACR Cryptol. ePrint Arch. 2010 (2010)
Chris Hawblitzel, Erez Petrank
Automated Verification of Practical Garbage Collectors Log. Methods Comput. Sci. 6 (3) (2010)
Katherine Barabash, Erez Petrank
Tracing garbage collection on highly parallel platforms. ISMM (2010)
Yuval Ishai, Jonathan Katz, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank
On Achieving the "Best of Both Worlds" in Secure Multiparty Computation. IACR Cryptol. ePrint Arch. 2010 (2010)
Gabriel Kliot, Erez Petrank, Bjarne Steensgaard
A lock-free, concurrent, and incremental stack scanning mechanism for garbage collectors. ACM SIGOPS Oper. Syst. Rev. 43 (3) (2009)
Gabriel Kliot, Erez Petrank, Bjarne Steensgaard
A lock-free, concurrent, and incremental stack scanning for garbage collectors. VEE (2009)
Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard
Progress guarantee for parallel programs via bounded lock-freedom. PLDI (2009)
Chris Hawblitzel, Erez Petrank
Automated verification of practical garbage collectors. POPL (2009)
Filip Pizlo, Erez Petrank, Bjarne Steensgaard
Path specialization: reducing phased execution overheads. ISMM (2008)
Filip Pizlo, Erez Petrank, Bjarne Steensgaard
A study of concurrent real-time garbage collectors. PLDI (2008)
Harel Paz, Erez Petrank
Using Prefetching to Improve Reference-Counting Garbage Collectors. CC (2007)
Harel Paz, David F. Bacon, Elliot K. Kolodner, Erez Petrank, V. T. Rajan
An efficient on-the-fly cycle collection. ACM Trans. Program. Lang. Syst. 29 (4) (2007)
Liza Fireman, Erez Petrank, Ayal Zaks
New Algorithms for SIMD Alignment. CC (2007)
Filip Pizlo, Daniel Frampton, Erez Petrank, Bjarne Steensgaard
Stopless: a real-time garbage collector for multiprocessors. ISMM (2007)
Yuval Ishai, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank
On Combining Privacy with Guaranteed Output Delivery in Secure Multiparty Computation. CRYPTO (2006)
Yossi Levanoni, Erez Petrank
An on-the-fly reference-counting garbage collector for java. ACM Trans. Program. Lang. Syst. 28 (1) (2006)
Hezi Azatchi, Erez Petrank
Integrating generations with advanced reference counting garbage collectors. Concurr. Comput. Pract. Exp. 18 (9) (2006)
Niv Buchbinder, Erez Petrank
Lower and upper bounds on obtaining history independence. Inf. Comput. 204 (2) (2006)
Haim Kermany, Erez Petrank
The Compressor: concurrent, incremental, and parallel compaction. PLDI (2006)
Yuval Ishai, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank
Black-box constructions for secure computation. STOC (2006)
Katherine Barabash, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Yoav Ossia, Avi Owshanko, Erez Petrank
A parallel, incremental, mostly concurrent garbage collector for servers. ACM Trans. Program. Lang. Syst. 27 (6) (2005)
Harel Paz, Erez Petrank, Stephen M. Blackburn
Age-Oriented Concurrent Garbage Collection. CC (2005)
Joe Kilian, Charles Rackoff, Erez Petrank
Lower Bounds For Concurrent Zero Knowledge*. Comb. 25 (2) (2005)
Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan
An Efficient On-the-Fly Cycle Collection. CC (2005)
Erez Petrank, Dror Rawitz
The Hardness of Cache Conscious Data Placement. Nord. J. Comput. 12 (3) (2005)
Diab Abuaiadh, Yoav Ossia, Erez Petrank, Uri Silbershtein
An efficient parallel heap compaction algorithm. OOPSLA (2004)
Erez Petrank, Guy N. Rothblum
Selection from Structured Data Sets Electron. Colloquium Comput. Complex. (085) (2004)
Erez Petrank, Elliot K. Kolodner
Parallel Copying Garbage Collection Using Delayed Allocation. Parallel Process. Lett. 14 (2) (2004)
Hezi Azatchi, Yossi Levanoni, Harel Paz, Erez Petrank
An on-the-fly mark and sweep garbage collector based on sliding views. OOPSLA (2003)

Erez Petrank.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Erez Petrank