Michael Ferdman

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 39

Top Topics

Deterministic Finite Automaton

Top Venues

Publications

Nikitha Karman, Kevin Wei, Dylan Scott, Natheesan Ratnasegar, Oguzhan Canpolat, Hieu Mai, Michael Ferdman
Infrastructure for Exploring SIMT Architecture in General-Purpose Processors. ISPASS (2024)
Raveendra Soori, Shreyas Prabhu, Harpreet Singh Chawla, Michael Ferdman
NUCAlloc: Fine-Grained Block Placement in Hashed Last-Level NUCA Caches. ICS (2024)
Johnny So, Michael Ferdman, Nick Nikiforakis
The More Things Change, the More They Stay the Same: Integrity of Modern JavaScript. WWW (2023)
Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee
TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers. OSDI (2023)
Mohammadreza Alimadadi, Hieu Mai, Shenghsun Cho, Michael Ferdman, Peter A. Milder, Shuai Mu
Waverunner: An Elegant Approach to Hardware Acceleration of State Machine Replication. NSDI (2023)
Michael Ferdman, Jorge Albericio, Tushar Krishna, Peter A. Milder
Guest Editorial: IEEE TC Special Issue: Hardware Acceleration of Machine Learning. IEEE Trans. Computers 71 (12) (2022)
Darius Suciu, Radu Sion, Michael Ferdman
AppBastion: Protection from Untrusted Apps and OSes on ARM. ESORICS (2) (2022)
Johnny So, Najmeh Miramirkhani, Michael Ferdman, Nick Nikiforakis
Domains Do Change Their Spots: Quantifying Potential Abuse of Residual Trust. IEEE Symposium on Security and Privacy (2022)
Fatemeh Almodaresi, Jamshed Khan, Sergey Madaminov, Michael Ferdman, Rob Johnson, Prashant Pandey, Rob Patro
An incrementally updatable and scalable system for large-scale sequence search using the Bentley-Saxe transformation. Bioinform. 38 (12) (2022)
Tianchu Ji, Shraddhan Jain, Michael Ferdman, Peter A. Milder, H. Andrew Schwartz, Niranjan Balasubramanian
On the Distribution, Sparsity, and Inference-time Quantization of Attention Values in Transformers. CoRR (2021)
Shenghsun Cho, Mrunal Patel, Michael Ferdman, Peter A. Milder
Practical Model Checking on FPGAs. ACM Trans. Reconfigurable Technol. Syst. 14 (2) (2021)
Tianchu Ji, Shraddhan Jain, Michael Ferdman, Peter A. Milder, H. Andrew Schwartz, Niranjan Balasubramanian
On the Distribution, Sparsity, and Inference-time Quantization of Attention Values in Transformers. ACL/IJCNLP (Findings) (2021)
Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Swarm model checking on the GPU. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Han Chen, Sergey Madaminov, Michael Ferdman, Peter A. Milder
FPGA-Accelerated Samplesort for Large Data Sets. FPGA (2020)
Fatemeh Almodaresi, Prashant Pandey, Michael Ferdman, Rob Johnson, Rob Patro
An Efficient, Scalable, and Exact Representation of High-Dimensional Color Information Enabled Using de Bruijn Graph Search. J. Comput. Biol. 27 (4) (2020)
Shikha Singh, Sergey Madaminov, Michael A. Bender, Michael Ferdman, Ryan Johnson, Benjamin Moseley, Hung Q. Ngo, Dung Nguyen, Soeren Olesen, Kurt Stirewalt, Geoffrey Washburn
A Scheduling Approach to Incremental Maintenance of Datalog Programs. IPDPS (2020)
Shenghsun Cho, Han Chen, Sergey Madaminov, Michael Ferdman, Peter A. Milder
Flick: Fast and Lightweight ISA-Crossing Call for Heterogeneous-ISA Environments. ISCA (2020)
Fatemeh Almodaresi, Prashant Pandey, Michael Ferdman, Rob Johnson, Rob Patro
An Efficient, Scalable and Exact Representation of High-Dimensional Color Information Enabled via de Bruijn Graph Search. RECOMB (2019)
Amogh Akshintala, Bhushan Jain, Chia-che Tsai, Michael Ferdman, Donald E. Porter
x86-64 instruction usage among C/C++ applications. SYSTOR (2019)
Mrunal Patel, Shenghsun Cho, Michael Ferdman, Peter A. Milder
Runtime-Programmable Pipelines for Model Checkers on FPGAs. FPL (2019)
Han Chen, Sergey Madaminov, Michael Ferdman, Peter A. Milder
Sorting Large Data Sets with FPGA-Accelerated Samplesort. FCCM (2019)
Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Swarm Model Checking on the GPU. SPIN (2019)
Yongming Shen, Tianchu Ji, Michael Ferdman, Peter A. Milder
Argus: An End-to-End Framework for Accelerating CNNs on FPGAs. IEEE Micro 39 (5) (2019)
Varun Agrawal, Mina Abbasi Dinani, Yuxuan Shui, Michael Ferdman, Nima Honarmand
Massively Parallel Server Processors. IEEE Comput. Archit. Lett. 18 (1) (2019)
Najmeh Miramirkhani, Timothy Barron, Michael Ferdman, Nick Nikiforakis
Panning for gold.com: Understanding the Dynamics of Domain Dropcatching. WWW (2018)
Shenghsun Cho, Amoghavarsha Suresh, Tapti Palit, Michael Ferdman, Nima Honarmand
Taming the Killer Microsecond. MICRO (2018)
Shenghsun Cho, Michael Ferdman, Peter A. Milder
FPGASwarm: High Throughput Model Checking on FPGAs. FPL (2018)
Prashant Pandey, Fatemeh Almodaresi, Michael A. Bender, Michael Ferdman, Rob Johnson, Rob Patro
Mantis: A Fast, Small, and Exact Large-Scale Sequence-Search Index. RECOMB (2018)
Shenghsun Cho, Mrunal Patel, Han Chen, Michael Ferdman, Peter A. Milder
A Full-System VM-HDL Co-Simulation Framework for Servers with PCIe-Connected FPGAs. FPGA (2018)
Mallesham Dasari, Santiago Vargas, Arani Bhattacharya, Aruna Balasubramanian, Samir R. Das, Michael Ferdman
Impact of Device Performance on Mobile Internet QoE. Internet Measurement Conference (2018)
Yongming Shen, Tianchu Ji, Michael Ferdman, Peter A. Milder
Medusa: A Scalable Interconnect for Many-Port DNN Accelerators and Wide DRAM Controller Interfaces. CoRR (2018)
Yongming Shen, Tianchu Ji, Michael Ferdman, Peter A. Milder
Medusa: A Scalable Interconnect for Many-Port DNN Accelerators and Wide DRAM Controller Interfaces. FPL (2018)
Yongming Shen, Michael Ferdman, Peter A. Milder
Storage-Efficient Batching for Minimizing Bandwidth of Fully-Connected Neural Network Layers (Abstract Only). FPGA (2017)
Yongming Shen, Michael Ferdman, Peter A. Milder
Escher: A CNN Accelerator with Flexible Buffering to Minimize Off-Chip Transfer. FCCM (2017)
Yongming Shen, Michael Ferdman, Peter A. Milder
Maximizing CNN Accelerator Efficiency Through Resource Partitioning. ISCA (2017)
Yongming Shen, Michael Ferdman, Peter A. Milder
Overcoming resource underutilization in spatial CNN accelerators. FPL (2016)
Yongming Shen, Michael Ferdman, Peter A. Milder
Maximizing CNN Accelerator Efficiency Through Resource Partitioning. CoRR (2016)
Tapti Palit, Yongming Shen, Michael Ferdman
Demystifying cloud benchmarking. ISPASS (2016)
Manoj Alwani, Han Chen, Michael Ferdman, Peter A. Milder
Fused-layer CNN accelerators. MICRO (2016)
Varun Agrawal, Abhiroop Dabral, Tapti Palit, Yongming Shen, Michael Ferdman
Architectural Support for Dynamic Linking. ASPLOS (2015)
Cheng-Chun Tu, Michael Ferdman, Chao-Tang Lee, Tzi-cker Chiueh
A Comprehensive Implementation and Evaluation of Direct Interrupt Delivery. VEE (2015)
Dongli Zhang, Moussa Ehsan, Michael Ferdman, Radu Sion
DIMMer: A case for turning off DIMMs in clouds. SoCC (2014)
Michael Ferdman, Almutaz Adileh, Yusuf Onur Koçberber, Stavros Volos, Mohammad Alisafaee, Djordje Jevdjic, Cansu Kaynak, Adrian Daniel Popescu, Anastasia Ailamaki, Babak Falsafi
A Case for Specialized Processors for Scale-Out Workloads. IEEE Micro 34 (3) (2014)
Pejman Lotfi-Kamran, Boris Grot, Michael Ferdman, Stavros Volos, Yusuf Onur Koçberber, Javier Picorel, Almutaz Adileh, Djordje Jevdjic, Sachin Idgunji, Emre Özer, Babak Falsafi
Scale-out processors. ISCA (2012)
Michael Ferdman, Almutaz Adileh, Yusuf Onur Koçberber, Stavros Volos, Mohammad Alisafaee, Djordje Jevdjic, Cansu Kaynak, Adrian Daniel Popescu, Anastasia Ailamaki, Babak Falsafi
Clearing the clouds: a study of emerging scale-out workloads on modern hardware. ASPLOS (2012)
Michael Ferdman, Almutaz Adileh, Yusuf Onur Koçberber, Stavros Volos, Mohammad Alisafaee, Djordje Jevdjic, Cansu Kaynak, Adrian Daniel Popescu, Anastasia Ailamaki, Babak Falsafi
Quantifying the Mismatch between Emerging Scale-Out Applications and Modern Processors. ACM Trans. Comput. Syst. 30 (4) (2012)
Stephen Somogyi, Thomas F. Wenisch, Michael Ferdman, Babak Falsafi
Spatial Memory Streaming. J. Instr. Level Parallelism 13 (2011)
Nikos Hardavellas, Michael Ferdman, Babak Falsafi, Anastasia Ailamaki
Toward Dark Silicon in Servers. IEEE Micro 31 (4) (2011)
Michael Ferdman, Cansu Kaynak, Babak Falsafi
Proactive instruction fetch. MICRO (2011)
Michael Ferdman, Pejman Lotfi-Kamran, Ken Balet, Babak Falsafi
Cuckoo directory: A scalable directory for many-core systems. HPCA (2011)
Nikos Hardavellas, Michael Ferdman, Babak Falsafi, Anastasia Ailamaki
Near-Optimal Cache Block Placement with Reactive Nonuniform Cache Architectures. IEEE Micro 30 (1) (2010)
Thomas F. Wenisch, Michael Ferdman, Anastasia Ailamaki, Babak Falsafi, Andreas Moshovos
Making Address-Correlated Prefetching Practical. IEEE Micro 30 (1) (2010)
Pejman Lotfi-Kamran, Michael Ferdman, Daniel Crisan, Babak Falsafi
TurboTag: lookup filtering to reduce coherence directory power. ISLPED (2010)
Nikos Hardavellas, Michael Ferdman, Babak Falsafi, Anastasia Ailamaki
Reactive NUCA: near-optimal block placement and replication in distributed caches. ISCA (2009)
Thomas F. Wenisch, Michael Ferdman, Anastasia Ailamaki, Babak Falsafi, Andreas Moshovos
Practical off-chip meta-data for temporal memory streaming. HPCA (2009)
Haiming Liu, Michael Ferdman, Jaehyuk Huh, Doug Burger
Cache bursts: A new approach for eliminating dead blocks and increasing cache efficiency. MICRO (2008)
Michael Ferdman, Thomas F. Wenisch, Anastasia Ailamaki, Babak Falsafi, Andreas Moshovos
Temporal instruction fetch streaming. MICRO (2008)
Thomas F. Wenisch, Michael Ferdman, Anastasia Ailamaki, Babak Falsafi, Andreas Moshovos
Temporal streams in commercial server applications. IISWC (2008)
Michael Ferdman, Babak Falsafi
Last-Touch Correlated Data Streaming. ISPASS (2007)
Thomas F. Wenisch, Roland E. Wunderlich, Michael Ferdman, Anastassia Ailamaki, Babak Falsafi, James C. Hoe
SimFlex: Statistical Sampling of Computer System Simulation. IEEE Micro 26 (4) (2006)