Michael Ferdman

68 papers A* 19A 9B 10Misc 4Journal 21Unranked 5

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