Michael Ferdman
Stony Brook University
H-index: 28
North America-United States
Top articles of Michael Ferdman
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
{TAILCHECK}: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers | Amogha Udupa Shankaranarayana Gopal Raveendra Soori Michael Ferdman Dongyoon Lee | 2023 | |
Waverunner: An elegant approach to hardware acceleration of state machine replication | Mohammadreza Alimadadi Hieu Mai Shenghsun Cho Michael Ferdman Peter Milder | 2023 | |
The more things change, the more they stay the same: Integrity of modern javascript | The Urban Review | Barbara L Pazey Julian Vasquez Heilig Heather A Cole Meagan Sumbera | 2015/9 |
Domains do change their spots: Quantifying potential abuse of residual trust | Johnny So Najmeh Miramirkhani Michael Ferdman Nick Nikiforakis | 2022/5/22 | |
FlexOS: Towards Flexible OS Isolation | Hugo Lefeuvre Vlad-Andrei Bădoiu Alexander Jung Stefan Lucian Teodorescu Sebastian Rauch | 2022/2/28 | |
Guest Editorial: IEEE TC Special Issue: Hardware Acceleration of Machine Learning | IEEE Transactions on Computers | Michael Ferdman Jorge Albericio Tushar Krishna Peter Milder | 2022/12/1 |
AppBastion: Protection from Untrusted Apps and OSes on ARM | Darius Suciu Radu Sion Michael Ferdman | 2022/9/22 | |
An incrementally updatable and scalable system for large-scale sequence search using the Bentley–Saxe transformation | Fatemeh Almodaresi Jamshed Khan Sergey Madaminov Michael Ferdman Rob Johnson | 2022/6/15 | |
Practical Model Checking on FPGAs | ACM Transactions on Reconfigurable Technology and Systems (TRETS) | Shenghsun Cho Mrunal Patel Michael Ferdman Peter Milder | 2021/7/15 |
On the distribution, sparsity, and inference-time quantization of attention values in transformers | arXiv preprint arXiv:2106.01335 | Tianchu Ji Shraddhan Jain Michael Ferdman Peter Milder H Andrew Schwartz | 2021/6/2 |
System, method, and accelerator to process convolutional neural network layers | 2020/7/28 | ||
Flick: Fast and lightweight ISA-crossing call for heterogeneous-ISA environments | Shenghsun Cho Han Chen Sergey Madaminov Michael Ferdman Peter Milder | 2020/5/30 | |
A scheduling approach to incremental maintenance of datalog programs | Shikha Singh Sergey Madaminov Michael A Bender Michael Ferdman Ryan Johnson | 2020/5/18 | |
An efficient, scalable, and exact representation of high-dimensional color information enabled using de Bruijn graph search | Journal of Computational Biology | Fatemeh Almodaresi Prashant Pandey Michael Ferdman Rob Johnson Rob Patro | 2020/4/1 |
Fpga-accelerated samplesort for large data sets | Han Chen Sergey Madaminov Michael Ferdman Peter Milder | 2020/2/23 | |
Swarm model checking on the GPU | International Journal on Software Tools for Technology Transfer | Richard DeFrancisco Shenghsun Cho Michael Ferdman Scott A Smolka | 2020/10 |