Michael A. Bender

Orcid: 0000-0001-7639-530X

Affiliations:
  • Stony Brook University, NY, USA


According to our database1, Michael A. Bender authored at least 182 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
History-Independent Concurrent Objects.
CoRR, 2024

File System Aging.
CoRR, 2024

Modern Hashing Made Simple.
Proceedings of the 2024 Symposium on Simplicity in Algorithms, 2024

2023
Iceberg Hashing: Optimizing Many Hash-Table Criteria at Once.
J. ACM, December, 2023

IcebergHT: High Performance Hash Tables Through Stability and Low Associativity.
Proc. ACM Manag. Data, 2023

Robust and Listening-Efficient Contention Resolution.
CoRR, 2023

Increment - and - Freeze: Every Cache, Everywhere, All of the Time.
Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

An Associativity Threshold Phenomenon in Set-Associative Caches.
Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

Tiny Pointers.
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

The Safe and Effective Use of Low-Assurance Predictions in Safety-Critical Systems.
Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

Mosaic Pages: Big TLB Reach with Small Pages.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022
IcebergHT: High Performance PMEM Hash Tables Through Stability and Low Associativity.
CoRR, 2022

Using advanced data structures to enable responsive security monitoring.
Clust. Comput., 2022

On the optimal time/space tradeoff for hash tables.
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

Automatic HBM Management: Models and Algorithms.
Proceedings of the SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11, 2022

Contention Resolution for Coded Radio Networks.
Proceedings of the SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11, 2022

Online Parallel Paging with Optimal Makespan.
Proceedings of the SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11, 2022

GraphZeppelin: Storage-Friendly Sketching for Connected Components on Dynamic Graph Streams.
Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2022 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

What Does Dynamic Optimality Mean in External Memory?
Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

Online List Labeling: Breaking the log<sup>2</sup>n Barrier.
Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022

BetrFS: a compleat file system for commodity SSDs.
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

When Are Cache-Oblivious Algorithms Cache Adaptive? A Case Study of Matrix Multiplication and Sorting.
Proceedings of the 30th Annual European Symposium on Algorithms, 2022

2021
Copy-on-Abundant-Write for Nimble File System Clones.
ACM Trans. Storage, 2021

External-memory Dictionaries in the Affine and PDAM Models.
ACM Trans. Parallel Comput., 2021

Timely Reporting of Heavy Hitters Using External Memory.
ACM Trans. Database Syst., 2021

A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence".
SIGACT News, 2021

All-Purpose Hashing.
CoRR, 2021

Linear Probing Revisited: Tombstones Mark the Death of Primary Clustering.
CoRR, 2021

Paging and the Address-Translation Problem.
Proceedings of the SPAA '21: 33rd ACM Symposium on Parallelism in Algorithms and Architectures, 2021

Randomized Cup Game Algorithms Against Strong Adversaries.
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, 2021

Tight Bounds for Parallel Paging and Green Paging.
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, 2021

Vector Quotient Filters: Overcoming the Time/Space Trade-Off in Filter Design.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Linear Probing Revisited: Tombstones Mark the Demise of Primary Clustering.
Proceedings of the 62nd IEEE Annual Symposium on Foundations of Computer Science, 2021

Incremental Edge Orientation in Forests.
Proceedings of the 29th Annual European Symposium on Algorithms, 2021

Mitigating False Positives in Filters: to Adapt or to Cache?
Proceedings of the 2nd Symposium on Algorithmic Principles of Computer Systems, 2021

2020
How to Not Copy Files.
login Usenix Mag., 2020

Contention resolution without collision detection.
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020

How to Manage High-Bandwidth Memory Automatically.
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Closing the Gap Between Cache-oblivious and Cache-adaptive Analysis.
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Contention Resolution with Message Deadlines.
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Green Paging and Parallel Paging.
Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Flushing Without Cascades.
Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, 2020

Batched Predecessor and Sorting with Size-Priced Information in External Memory.
Proceedings of the LATIN 2020: Theoretical Informatics, 2020

A Scheduling Approach to Incremental Maintenance of Datalog Programs.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

How to Copy Files.
Proceedings of the 18th USENIX Conference on File and Storage Technologies, 2020

2019
Scaling Exponential Backoff: Constant Throughput, Polylogarithmic Channel-Access Attempts, and Robustness.
J. ACM, 2019

Achieving optimal backlog in multi-processor cup games.
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019

Small Refinements to the DAM Can Have Big Consequences for Data-Structure Design.
Proceedings of the 31st ACM on Symposium on Parallelism in Algorithms and Architectures, 2019

Optimal Ball Recycling.
Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019

Filesystem Aging: It's more Usage than Fullness.
Proceedings of the 11th USENIX Workshop on Hot Topics in Storage and File Systems, 2019

2018
Efficient Directory Mutations in a Full-Path-Indexed File System.
ACM Trans. Storage, 2018

The range 1 query (R1Q) problem.
Theor. Comput. Sci., 2018

Contention Resolution with Constant Throughput and Log-Logstar Channel Accesses.
SIAM J. Comput., 2018

The Online Event-Detection Problem.
CoRR, 2018

Squeakr: an exact and approximate k-mer counting system.
Bioinform., 2018

Mantis: A Fast, Small, and Exact Large-Scale Sequence-Search Index.
Proceedings of the Research in Computational Molecular Biology, 2018

The Algorithmics of Write Optimization.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Bloom Filters, Adaptivity, and the Dictionary Problem.
Proceedings of the 59th IEEE Annual Symposium on Foundations of Computer Science, 2018

The Full Path to Full-Path Indexing.
Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018

2017
How to Fragment Your File System.
login Usenix Mag., 2017

Writes Wrought Right, and Other Adventures in File System Optimization.
ACM Trans. Storage, 2017

Cost-Oblivious Storage Reallocation.
ACM Trans. Algorithms, 2017

Two-level main memory co-design: Multi-threaded algorithmic primitives, analysis, and simulation.
J. Parallel Distributed Comput., 2017

A Fast x86 Implementation of Select.
CoRR, 2017

deBGR: an efficient and near-exact representation of the weighted de Bruijn graph.
Bioinform., 2017

File Maintenance: When in Doubt, Change the Layout!
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017

Cross-Referenced Dictionaries and the Limits of Write Optimization.
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017

A General-Purpose Counting Filter: Making Every Bit Count.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Write-Optimized Skip Lists.
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

File Systems Fated for Senescence? Nonsense, Says Science!
Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2017

2016
B-Trees and Cache-Oblivious B-Trees with Different-Sized Atomic Keys.
ACM Trans. Database Syst., 2016

A New Approach to Incremental Cycle Detection and Related Problems.
ACM Trans. Algorithms, 2016

Contention resolution with log-logstar channel accesses.
Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, 2016

Cache-Adaptive Analysis.
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

How to Scale Exponential Backoff: Constant Throughput, Polylog Access Attempts, and Robustness.
Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2016

Anti-Persistence on Persistent Storage: History-Independent Sparse Tables and Dictionaries.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

The I/O Complexity of Computing Prime Tables.
Proceedings of the LATIN 2016: Theoretical Informatics, 2016

Lazy Analytics: Let Other Queries Do the Work For You.
Proceedings of the 8th USENIX Workshop on Hot Topics in Storage and File Systems, 2016

Resource Optimization for Program Committee Members: A Subreview Article.
Proceedings of the 8th International Conference on Fun with Algorithms, 2016

Optimizing Every Operation in a Write-optimized File System.
Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

2015
An Introduction to Bε-trees and Write-Optimization.
login Usenix Mag., 2015

BetrFS: Write-Optimization in a Kernel File System.
ACM Trans. Storage, 2015

The minimum backlog problem.
Theor. Comput. Sci., 2015

Resource-Competitive Algorithms.
SIGACT News, 2015

Reallocation Problems in Scheduling.
Algorithmica, 2015

Cost-Oblivious Reallocation for Scheduling and Planning.
Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, 2015

k-Means Clustering on Two-Level Memory Systems.
Proceedings of the 2015 International Symposium on Memory Systems, 2015

Run Generation Revisited: What Goes Up May or May Not Come Down.
Proceedings of the Algorithms and Computation - 26th International Symposium, 2015

BetrFS: A Right-Optimized Write-Optimized File System.
Proceedings of the 13th USENIX Conference on File and Storage Technologies, 2015

2014
The Kissing Problem: How to End a Gathering When Everyone Kisses Everyone Else Goodbye.
Theory Comput. Syst., 2014

NoiseOFF: A Backoff Protocol for a Dynamic, Noisy World.
CoRR, 2014

Cache-Adaptive Algorithms.
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 2014

Dynamic Task Allocation in Asynchronous Shared Memory.
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 2014

The Batched Predecessor Problem in External Memory.
Proceedings of the Algorithms - ESA 2014, 2014

2013
Guest editorial: "New trends in scheduling" - Centre CNRS "La Villa Clythia" Frejus Workshop, September 12-17, 2010.
J. Sched., 2013

Efficient scheduling to minimize calibrations.
Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures, 2013

2012
Don't Thrash: How to Cache Your Hash on Flash.
Proc. VLDB Endow., 2012

The TokuFS Streaming File System.
Proceedings of the 4th USENIX Workshop on Hot Topics in Storage and File Systems, 2012

How to Allocate Tasks Asynchronously.
Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012

2011
Optimal Cache-Oblivious Mesh Layouts.
Theory Comput. Syst., 2011

Guest Editorial: Parallelism in Algorithms and Architectures.
Theory Comput. Syst., 2011

The snowblower problem.
Comput. Geom., 2011

The Cost of Cache-Oblivious Searching.
Algorithmica, 2011

Don't Thrash: How to Cache Your Hash on Flash.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Storage and File Systems, 2011

Mutual Exclusion with O(log^2 Log n) Amortized Work.
Proceedings of the IEEE 52nd Annual Symposium on Foundations of Computer Science, 2011

2010
Guest editorial - Special issue "New challenges in scheduling theory" (Marseilles Workshop, May 12-16, 2008).
J. Sched., 2010

Optimal Sparse Matrix Dense Vector Multiplication in the I/O-Model.
Theory Comput. Syst., 2010

Performance guarantees for B-trees with different-sized atomic keys.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

2009
The Worst Page-Replacement Policy.
Theory Comput. Syst., 2009

From Streaming B-Trees to Tokutek: How a Theoretician Learned to be VP of Engineering.
Proceedings of the Experimental Algorithms, 8th International Symposium, 2009

A new approach to incremental topological ordering.
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2009

Maintaining Arrays of Contiguous Objects.
Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

2008
Scheduling algorithms for procrastinators.
J. Sched., 2008

Guest editorial.
J. Sched., 2008

Improved bounds on sorting by length-weighted reversals.
J. Comput. Syst. Sci., 2008

Communication-Aware Processor Allocation for Supercomputers: Finding Point Sets of Small Average Distance.
Algorithmica, 2008

2007
An adaptive packed-memory array.
ACM Trans. Database Syst., 2007

Introduction to SODA 2002 and 2003 special issue.
ACM Trans. Algorithms, 2007

An Optimal Cache-Oblivious Priority Queue and Its Application to Graph Algorithms.
SIAM J. Comput., 2007

Sum-of-squares heuristics for bin packing and memory allocation.
ACM J. Exp. Algorithmics, 2007

Scheduling DAGs on asynchronous processors.
Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007

Cache-oblivious streaming B-trees.
Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007

2006
Insertion Sort is O(n log n).
Theory Comput. Syst., 2006

The Freeze-Tag Problem: How to Wake Up a Swarm ofRobots.
Algorithmica, 2006

Cache-oblivious string B-trees.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Topic 3: Scheduling and Load Balancing.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

Contention Resolution with Heterogeneous Job Sizes.
Proceedings of the Algorithms, 2006

2005
Cache-Oblivious B-Trees.
SIAM J. Comput., 2005

Optimal Covering Tours with Turn Costs.
SIAM J. Comput., 2005

Lowest common ancestors in trees and directed acyclic graphs.
J. Algorithms, 2005

Efficient low-contention asynchronous consensus with the value-oblivious adversary scheduler.
Distributed Comput., 2005

Communication-Aware Processor Allocation for Supercomputers.
Proceedings of the Algorithms and Data Structures, 9th International Workshop, 2005

Adversarial contention resolution for simple channels.
Proceedings of the SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2005

Concurrent cache-oblivious b-trees.
Proceedings of the SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2005

Topic 3 Scheduling and Load-Balancing.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004
Theoretical and experimental analysis of heuristics for the "freeze-tag" robot awakening problem.
IEEE Trans. Robotics, 2004

The Level Ancestor Problem simplified.
Theor. Comput. Sci., 2004

Approximation Algorithms for Average Stretch Scheduling.
J. Sched., 2004

Data structures for maintaining set partitions.
Random Struct. Algorithms, 2004

A locality-preserving cache-oblivious dynamic dictionary.
J. Algorithms, 2004

When can you fold a map?
Comput. Geom., 2004

On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs.
Proceedings of the SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004

Improved bounds on sorting with length-weighted reversals.
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004

Adversarial Analyses of Window Backoff Strategies.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

04301 Abstracts Collection - Cache-Oblivious and Cache-Aware Algorithms.
Proceedings of the Cache-Oblivious and Cache-Aware Algorithms, 18.07. - 23.07.2004, 2004

Sorting by Length-Weighted Reversals: Dealing with Signs and Circularity.
Proceedings of the Combinatorial Pattern Matching, 15th Annual Symposium, 2004

The Robustness of the Sum-of-Squares Algorithm for Bin Packing.
Proceedings of the Sixth Workshop on Algorithm Engineering and Experiments and the First Workshop on Analytic Algorithmics and Combinatorics, 2004

2003
The Lazy Bureaucrat scheduling problem.
Inf. Comput., 2003

Improved approximation algorithms for the freeze-tag problem.
Proceedings of the SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2003

Online dispersion algorithms for swarms of robots.
Proceedings of the 19th ACM Symposium on Computational Geometry, 2003

2002
Testing properties of directed graphs: acyclicity and connectivity.
Random Struct. Algorithms, 2002

Online Scheduling of Parallel Programs on Heterogeneous Systems with Applications to Cilk.
Theory Comput. Syst., 2002

The Power of a Pebble: Exploring and Mapping Directed Graphs.
Inf. Comput., 2002

Efficient Tree Layout in a Multilevel Memory Hierarchy
CoRR, 2002

New Algorithms for Disk Scheduling.
Algorithmica, 2002

Algorithms for Rapidly Dispersing Robot Swarms in Unknown Environments.
Proceedings of the Algorithmic Foundations of Robotics V, 2002

Analysis of Heuristics for the Freeze-Tag Problem.
Proceedings of the Algorithm Theory, 2002

Cache-oblivious priority queue and graph algorithm applications.
Proceedings of the Proceedings on 34th Annual ACM Symposium on Theory of Computing, 2002

Improved algorithms for stretch scheduling.
Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2002

The freeze-tag problem: how to wake up a swarm of robots.
Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2002

Exponential Structures for Efficient Cache-Oblivious Algorithms.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Efficient Tree Layout in a Multilevel Memory Hierarchy.
Proceedings of the Algorithms, 2002

Two Simplified Algorithms for Maintaining Order in a List.
Proceedings of the Algorithms, 2002

Scanning and Traversing: Maintaining Data for Traversals in a Memory Hierarchy.
Proceedings of the Algorithms, 2002

Processor Allocation on Cplant: Achieving General Processor Locality Using One-Dimensional Allocation Strategies.
Proceedings of the 2002 IEEE International Conference on Cluster Computing (CLUSTER 2002), 2002

2001
An Efficient Approximation Algorithm for Minimizing Makespan on Uniformly Related Machines.
J. Algorithms, 2001

Finding least common ancestors in directed acyclic graphs.
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001

2000
Performance guarantees for the TSP with a parameterized triangle inequality.
Inf. Process. Lett., 2000

CEASAR: a smooth, accurate and robust centerline extraction algorithm.
Proceedings of the 11th IEEE Visualization Conference, 2000

Scheduling Cilk multithreaded parallel programs on processors of different speeds.
Proceedings of the Twelfth annual ACM Symposium on Parallel Algorithms and Architectures, 2000

TEASAR: Tree-Structure Extraction Algorithm for Accurate and Robust Skeletons.
Proceedings of the 8th Pacific Conference on Computer Graphics and Applications, 2000

The LCA Problem Revisited.
Proceedings of the LATIN 2000: Theoretical Informatics, 2000

Testing Acyclicity of Directed Graphs in Sublinear Time.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

A functional framework for efficient web-based scientific visualization systems.
PhD thesis, 2000

1998
Flow and Stretch Metrics for Scheduling Continuous Job Streams.
Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 1998

1997
Efficient Execution of Nondeterministic Parallel Programs on Asynchronous Systems.
Inf. Comput., 1997

1996
Efficient Asynchronous Consensus with the Value-Oblivious Adversary Scheduler.
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

Fault Tolerant Data Structures.
Proceedings of the 37th Annual Symposium on Foundations of Computer Science, 1996

New Algorithms for the Disk Scheduling Problem.
Proceedings of the 37th Annual Symposium on Foundations of Computer Science, 1996

1995
Parallel Interval Order Recognition and Construction of Interval Representations.
Theor. Comput. Sci., 1995

1994
The Power of Team Exploration: Two Robots Can Learn Unlabeled Directed Graphs
Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994


  Loading...