Danny Hendler's home page
I am a faculty member in the department
of Computer Science at Ben-Gurion University. I have returned to
Academy in 2001 after working hard for 18 years in the High-Tech
industry; somewhat surprisingly, I have been working (almost) as hard since then.
Research interests
I am mainly interested in both the practical and the theoretical aspects of concurrent programming and in cyber security. My current work in concurrent programming focuses on recoverable concurrent objects for non-volatile RAM. My cyber security research focuses on malware detection using complex network analysis techniques. Starting from 2014, I serve as the vice head of Ben-Gurion University's Cyber Security Research Center.
Teaching
Professional activities
Journal articles
-
Scalable Detection of Server-Side Polymorphic Malware,
with Yehonatan Cohen, Elsevier Knowledge-Based Systems Journal, accepted for publication, 2018.
-
Detection of malicious webmail attachments based on propagation patterns,
with Yehonatan Cohen and Amir Rubin, Elsevier Knowledge-Based Systems Journal 141: 67-79, 2018.
-
Early detection of spamming accounts in large-Scale service provider networks,
with Yehonatan Cohen and Daniel Gordon, Elsevier Knowledge-Based Systems Journal 142: 241-255, 2018.
-
Lower Bounds for Restricted-Use Objects,
with James Aspnes, Hagit Attiya and Keren Censor-Hillel, SIAM Journal on Computing 45(3): 734-762, 2016.
-
Local Shapelets for Fast Classification of Spectrographic Measurements,
with Daniel Gordon, Aryeh Kontorovich and Lior Rokach, Expert Systems with Applications 42(6): 3150-3158, 2015.
-
Fast and Scalable Shapelets-Based Time-Series Classification,
with Daniel Gordon and Lior Rokach, Intelligent Data Analysis 19(5): 953--981, 2015.
-
Software-Based Contention Management for Efficient Compare-and-Swap Operations,
with Dave Dice and Ilya Mirsky, Concurrency and Computation: Practice and Experience 26(14): 2386-2404, 2014. A preliminary version appeared in proc. of Euro-Par 2013.
-
RMR-Efficient Implementations of Comparison
Primitives Using Read and Write Operations,
with Wojciech Golab, Vassos Hadzilacos and Philipp Woelfel, Distributed Computing 25(2): 109-162, 2012. A preliminary version appeared in proc. of PODC 2007.
-
On the Inherent Sequentiality of Concurrent Objects,
with Faith Ellen and Nir Shavit, SIAM Journal on Computing 41(3): 519-536, 2012. A preliminary version appeared in proc. of FOCS 2005.
-
Layered Interval Codes for TCAM-Based Classification,
with David Hay and Anat Bremler-Barr, Computer Networks 56(13): 3023-3039, 2012. A preliminary version appeared in proc. of INFOCOM 2009.
-
On the Impact of Serializing Contention Management on STM Performance,
with Tomer Heber and Adi Suissa, Journal of Parallel and Distributed Computing 72(6): 739-750, 2012. A preliminary version appeared in proc. of OPODIS 2009.
-
Randomized Mutual Exclusion with sub-logarithmic RMR complexity,
with Philipp Woelfel, Distributed Computing 24(1): 3-19, 2011. A preliminary version appeared in proc. of PODC 2009.
-
Space-efficient TCAM-based classification using Gray coding,
with Anat Bremler-Barr, IEEE Transactions on Computers 61(1): 18-30, 2012. A preliminary version appeared in proc. of INFOCOM 2007.
-
PEDS: A Parallel Error Detection Scheme for TCAM Devices,
with Anat Bremler-Barr, David Hay and Ron M. Roth, IEEE/ACM Transactions on Networking, 18(5):
1665-1675, 2010. A preliminary version appeared in INFOCOM 2009 (best paper award runner up).
-
An O(1) RMRs Leader Election Algorithm,
with Wojciech Golab and Philipp Woelfel, SIAM Journal on Computing 39(7): 2726-2760, 2010. A preliminary version appeared in proc. of PODC 2006.
-
A Scalable Lock-Free Stack Algorithm,
with Nir Shavit and Lena Yerushalmi, Journal of Parallel and Distributed Computing 70(1): 1-12, 2010. A preliminary version appeared in proc. of SPAA 2004.
-
Time and Space Lower Bounds for Implementations Using kCAS,
with Hagit Attiya, Transactions on Parallel and Distributed Systems 21(2): 162-173, 2010. A preliminary version appeared in proc. of DISC 2005.
-
The Complexity of Obstruction-free Implementations,
with Hagit Attiya, Rachid Guerraoui and Petr Kouznetsov, Journal of the ACM 56(4), 2009.
-
Bounded-Wait Combining: Constructing Robust and High-Throughput Shared Objects,
with Shay Kutten, Distributed Computing 21(6): 405-431, 2009. A preliminary version appeared in proc. of DISC 2006.
-
Solo-Valency and the Cost Of Coordination,
with Nir Shavit, Distributed Computing 21(1): 43-54, 2008. A preliminary version appeared in proc. of PODC 2003.
-
A dynamic-sized nonblocking work stealing deque,
with Yossi Lev, Mark Moir and Nir Shavit, Distributed Computing 8(4) (special issue of
selected papers from DISC 2004): 267-277, 2006.
-
On the inherent weakness of conditional primitives,
with Faith Ellen Fich and Nir Shavit, Distributed Computing 8(3) (special issue of
selected papers from PODC 2004): 115-120, 2006.
-
On the Complexity of Global Computation in the Presence of Link Failures: the General Case,
with Yehuda Afek, Distributed Computing 8(3): 115-120, 1995. A preliminary version appeared in proc. of ISTCS 2003.
Conference papers not yet in journals
-
Separating Lock-Freedom from Wait-Freedom, with Hagit Attiya, Armando Castaneda and Matthieu Perrin, PODC 2018, to appear.
-
Nesting-Safe Recoverable Linearizability: Modular
Constructions for Non-Volatile Memory, with Hagit Attiya and Ohad Ben-Baruch, PODC 2018, to appear.
-
Recoverable Mutual Exclusion Under System-Wide Failures, with Wojciech Golab, PODC 2018, to appear.
-
Detecting Malicious PowerShell Commands
using Deep Neural Networks, with Shay Kels and Amir Rubin, AsiaCCS 2018, to appear.
-
Ransomware Prevention using Application Authentication-Based File Access Control, with Or Ami and Yuval Elovici, SAC 2018, to appear.
-
Supervised Detection of Infected Machines Using Anti-virus Induced Labels - (Extended Abstract), with Tomer Cohen and Dennis Potashnik, CSCML 2017, pages 34-49.
-
Recoverable Mutual Exclusion in Sub-logarithmic Time, with Wojciech Golab, PODC 2017, pages 211-220.
-
Node-Centric Detection of Overlapping Communities in Social Networks, with Yehonatan Choen and Amir Rubin, NetSci-x 2017.
-
Lower Bound on the Step Complexity
of Anonymous Binary Consensus, with Hagit Attiya and Ohad Ben-Baruch, DISC 2016, pages 257-268.
-
On the Complexity of Reader-Writer Locks,
PODC 2016, pages 315-324.
-
Nontrivial and Universal Helping for Wait-Free Queues and Stacks,
with Hagit Attiya and Armando Castaneda, OPODIS 2015, pages TBD.
-
Birds of a Feather Flock Together: The Accidental Communities of Spammers,
with Yehonatan Cohen, FOSINT-SI (held in conjunction with ASONAM 2015), pages 986-993.
-
The Price of Being Adaptive,
with Ohad Ben-Baruch, PODC 2015, pages 183-192.
-
Trading Fences with RMRs and Separating Memory Models,
with Hagit Attiya and Philipp Woelfel, PODC 2015, pages 173-182.
-
Complexity Tradeoffs for Read and Update Opeations,
with Vitaly Khait, PODC 2014, pages 186-195.
-
Exploiting Locality in Lease-Based Replicated Transactional Memory via Task Migration,
with Alex Naiman, Sebastiano Peluso, Francesco Quaglia, Paolo Romano and Adi Suissa, DISC 2013, pages 121-133.
-
An O(1)-Barriers Optimal RMRs Mutual Exclusion Algorithm,
with Hagit Attiya and Smadar Levy, PODC 2013, pages 220-229.
-
Early Detection of Outgoing Spammers in Large-Scale Service Provider Networks,
with Yehonatan Cohen and Daniel Gordon, DIMVA 2013, pages 83-101.
-
Lower Bounds for Restricted-Use Objects,
with Jim Aspnes, Hagit Attiya and Keren Censor-Hillel, SPAA 2012, pages 172-181.
-
A Dynamic Elimination-Combining Stack Algorithm,
with Gal Bar-Nissan and Adi Suissa, OPODIS 2011, to pages 544-561.
-
Metric Anomaly Detection via Asymmetric Risk Minimization,
with Aryeh Kontorovich and Eitan Menachem, SIMBAD 2011, pages 17-30.
-
Laws of Order: Expensive Synchronization in
Concurrent Algorithms Cannot be Eliminated,
with Hagit Attiya, Rachid Guerraoui, Petr Kuznetsov, Maged M. Michael and Martin Vechev, POPL 2011, pages 487-498.
-
An Adaptive Technique for Constructing Robust
and High-Throughput Shared Objects,
with Shay Kutten and Erez Michalak, OPODIS 2010, pages 318-332.
-
Scalable Flat-Combining Based Synchronous Queues,
with Itai Incze, Nir Shavit and Moran Tzafrir, DISC 2010, pages 79-93.
-
Adaptive Randomized Mutual Exclusion in Sub-Logarithmic Expected Time,
with Philipp Woelfel, PODC 2010, pages 141-150.
-
Flat Combining and the Synchronization-Parallelism Tradeoff,
with Itai Incze, Nir Shavit and Moran Tzafrir, SPAA 2010, pages 355-364.
-
Scheduling Support for
Transactional Memory Contention Management,
with Alexandra Fedorova, Pascal Felber, Julia L. Lawall, Walther Maldonado, Patrick Marlier, Gilles Muller and Adi Suissa, PPoPP 2010, pages 79-90.
-
CAR-STM: Scheduling-Based Collision Avoidance and Resolution for Software
Transactional Memory,
with Shlomi Dolev and Adi Suissa, PODC 2008, pages 125-134.
-
Tight RMR Lower Bounds for Mutual Exclusion and Other Problems,
with Hagit Attiya and Philipp Woelfel, STOC 2008, pages 217-226.
-
Synchronizing Without Locks is Inherently Expensive,
with Hagit Attiya, Rachid Guerraoui and Petr Kouznetsov, PODC 2006, pages 300-307.
-
Work Dealing,
with Nir Shavit, SPAA 2002, pages 164-172.
-
Non-Blocking Steal-Half Work Queues,
with Nir Shavit, PODC 2002, pages 280-289.