Skip to content

Erez Petrank

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

74

Venues

18

Active years

1991–2025

Best venue rank

A*

Where they publish

Papers

74 indexed papers, newest first.

YearVenueTitleAuthors
2025SPAAA Study of Synchronization Methods for Concurrent Size.Hen Kas-Sharir, Gal Sela, Erez Petrank
2024PPoPPPOSTER: RELAX: Durable Data Structures with Swift Recovery.Almog Zur, Nachshon Cohen, Michal Friedman, Erez Petrank
2023PODCThe ERA Theorem for Safe Memory Reclamation.Gali Sheffi, Erez Petrank
2023PPoPPThe ERA Theorem for Safe Memory Reclamation.Gali Sheffi, Erez Petrank
2022OPODISEEMARQ: Efficient Lock-Free Range Queries with Memory Reclamation.Gali Sheffi, Pedro Ramalhete, Erez Petrank
2022PPoPPFliT: a library for simple and efficient persistent algorithms.Yuanhao Wei, Naama Ben-David, Michal Friedman, Guy E. Blelloch, Erez Petrank
2021PLDIMirror: making lock-free data structures persistent.Michal Friedman, Erez Petrank, Pedro Ramalhete
2021PODCBrief Announcement: Linearizability: A Typo.Gal Sela, Maurice Herlihy, Erez Petrank
2021SPAADurable Queues: The Second Amendment.Gal Sela, Erez Petrank
2021SPAAVBR: Version Based Reclamation.Gali Sheffi, Maurice Herlihy, Erez Petrank
2020PLDINVTraverse: in NVRAM data structures, the destination is more important than the journey.Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, Erez Petrank
2020PPoPPFunctional faults.Gali Sheffi, Erez Petrank
2020SPAAFunctional Faults.Gali Sheffi, Erez Petrank
2019PPoPPLOFT: lock-free transactional data structures.Avner Elizarov, Guy Golan-Gueta, Erez Petrank
2018ICDCSA Scalable Linearizable Multi-Index Table.Gali Sheffi, Guy Golan-Gueta, Erez Petrank
2018PODCPassing Messages while Sharing Memory.Marcos K. Aguilera, Naama Ben-David, Irina Calciu, Rachid Guerraoui, Erez Petrank, Sam Toueg
2018PPoPPReducing transaction aborts by looking to the future.Nachshon Cohen, Erez Petrank, James R. Larus
2018PPoPPA persistent lock-free queue for non-volatile memory.Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank
2018SPAABQ: A Lock-Free Queue with Batching.Gal Milman, Alex Kogan, Yossi Lev, Victor Luchangco, Erez Petrank
2017OPODISThe Teleportation Design Pattern for Hardware Transactional Memory.Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald
2017PPoPPPOSTER: State Teleportation via Hardware Transactional Memory.Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald
2017PPoPPLayout Lock: A Scalable Locking Paradigm for Concurrent Data Layout Modifications.Nachshon Cohen, Arie Tal, Erez Petrank
2017PPoPPPOSTER: A GPU-Friendly Skiplist Algorithm.Nurit Moscovici, Nachshon Cohen, Erez Petrank
2016EuroParCBPQ: High Performance Lock-Free Priority Queue.Anastasia Braginsky, Nachshon Cohen, Erez Petrank
2015CAVAutomated and Modular Refinement Reasoning for Concurrent Programs.Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran
2015EuroParA Practical Transactional Memory Interface.Shahar Timnat, Maurice Herlihy, Erez Petrank
2015OOPSLAAutomatic memory reclamation for lock-free data structures.Nachshon Cohen, Erez Petrank
2015PODCHelp!Keren Censor-Hillel, Erez Petrank, Shahar Timnat
2015SPAAEfficient Memory Management for Lock-Free Data Structures with Optimistic Access.Nachshon Cohen, Erez Petrank
2014OPODISLCD: Local Combining on Demand.Dana Drachsler-Cohen, Erez Petrank
2014PPoPPA practical wait-free simulation for lock-free data structures.Shahar Timnat, Erez Petrank
2013PLDILimitations of partial compaction: towards practical bounds.Nachshon Cohen, Erez Petrank
2013PLDIA study of data structures with a deep heap shape.Haggai Eran, Erez Petrank
2013SPAADrop the anchor: lightweight memory management for non-blocking data structures.Anastasia Braginsky, Alex Kogan, Erez Petrank
2012OPODISWait-Free Linked-Lists.Shahar Timnat, Anastasia Braginsky, Alex Kogan, Erez Petrank
2012PLDICan parallel data structures rely on automatic memory managers?Erez Petrank
2012PPoPPA methodology for creating fast wait-free data structures.Alex Kogan, Erez Petrank
2012PPoPPWait-free linked-lists.Shahar Timnat, Anastasia Braginsky, Alex Kogan, Erez Petrank
2012SPAAA lock-free B+tree.Anastasia Braginsky, Erez Petrank
2011ICDCNLocality-Conscious Lock-Free Linked Lists.Anastasia Braginsky, Erez Petrank
2011POPLSpace overhead bounds for dynamic memory management with partial compaction.Anna Bendersky, Erez Petrank
2011PPoPPWait-free queues with multiple enqueuers and dequeuers.Alex Kogan, Erez Petrank
2009PLDIProgress guarantee for parallel programs via bounded lock-freedom.Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard
2009POPLAutomated verification of practical garbage collectors.Chris Hawblitzel, Erez Petrank
2009VEEA lock-free, concurrent, and incremental stack scanning for garbage collectors.Gabriel Kliot, Erez Petrank, Bjarne Steensgaard
2008PLDIA study of concurrent real-time garbage collectors.Filip Pizlo, Erez Petrank, Bjarne Steensgaard
2007CCNew Algorithms for SIMD Alignment.Liza Fireman, Erez Petrank, Ayal Zaks
2007CCUsing Prefetching to Improve Reference-Counting Garbage Collectors.Harel Paz, Erez Petrank
2006CRYPTOOn Combining Privacy with Guaranteed Output Delivery in Secure Multiparty Computation.Yuval Ishai, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank
2006PLDIThe Compressor: concurrent, incremental, and parallel compaction.Haim Kermany, Erez Petrank
2006STOCBlack-box constructions for secure computation.Yuval Ishai, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank
2005CCAge-Oriented Concurrent Garbage Collection.Harel Paz, Erez Petrank, Stephen M. Blackburn
2005CCAn Efficient On-the-Fly Cycle Collection.Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan
2004OOPSLAAn efficient parallel heap compaction algorithm.Diab Abuaiadh, Yoav Ossia, Erez Petrank, Uri Silbershtein
2003CCIntegrating Generations with Advanced Reference Counting Garbage Collectors.Hezi Azatchi, Erez Petrank
2003CRYPTOLower and Upper Bounds on Obtaining History Independence.Niv Buchbinder, Erez Petrank
2003CRYPTOExtending Oblivious Transfers Efficiently.Yuval Ishai, Joe Kilian, Kobbi Nissim, Erez Petrank
2003EuroCryptSimulatable Commitments and Efficient Concurrent Zero-Knowledge.Daniele Micciancio, Erez Petrank
2003OOPSLAAn on-the-fly mark and sweep garbage collector based on sliding views.Hezi Azatchi, Yossi Levanoni, Harel Paz, Erez Petrank
2003OOPSLAMostly concurrent garbage collection revisited.Katherine Barabash, Yoav Ossia, Erez Petrank
2002POPLThe hardness of cache conscious data placement.Erez Petrank, Dror Rawitz
2001ASIACRYPTResponsive Round Complexity and Concurrent Zero-Knowledge.Tzafrir Cohen, Joe Kilian, Erez Petrank
2001OOPSLAAn On-the-Fly Reference Counting Garbage Collector for Java.Yossi Levanoni, Erez Petrank
2001STOCBlack-box concurrent zero-knowledge requires Omega~(log n) rounds.Ran Canetti, Joe Kilian, Erez Petrank, Alon Rosen
2001STOCConcurrent and resettable zero-knowledge in poly-loalgorithm rounds.Joe Kilian, Erez Petrank
2000PLDIA generational on-the-fly garbage collector for Java.Tamar Domani, Elliot K. Kolodner, Erez Petrank
1998CRYPTOIdentity Escrow.Joe Kilian, Erez Petrank
1998FOCSLower Bounds for Zero Knowledge on the Internet.Joe Kilian, Erez Petrank, Charles Rackoff
1997STOCIs Linear Hashing Good?Noga Alon, Martin Dietzfelbinger, Peter Bro Miltersen, Erez Petrank, Gbor Tardos
1997STOCProbabilistically Checkable Proofs with Zero Knowledge.Joe Kilian, Erez Petrank, Gbor Tardos
1996FOCSOn the Knowledge Complexity of NP.Erez Petrank, Gbor Tardos
1994STOCComputational complexity and knowledge complexity (extended abstract).Oded Goldreich, Rafail Ostrovsky, Erez Petrank
1992STOCMaking Zero-Knowledge Provers EfficientMihir Bellare, Erez Petrank
1991FOCSQuantifying Knowledge ComplexityOded Goldreich, Erez Petrank