Michael Ferdman
Stony Brook University
H-index: 28
North America-United States
Top articles of Michael Ferdman
The more things change, the more they stay the same: Integrity of modern javascript
The Urban Review
2015/9
{TAILCHECK}: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers
2023
Michael Ferdman
H-Index: 19
Dongyoon Lee
H-Index: 15
Waverunner: An elegant approach to hardware acceleration of state machine replication
2023
Mohammadreza Alimadadi
H-Index: 2
Shenghsun Cho
H-Index: 3
Michael Ferdman
H-Index: 19
Peter Milder
H-Index: 16
Shuai Mu
H-Index: 8
Guest Editorial: IEEE TC Special Issue: Hardware Acceleration of Machine Learning
IEEE Transactions on Computers
2022/12/1
AppBastion: Protection from Untrusted Apps and OSes on ARM
2022/9/22
Michael Ferdman
H-Index: 19
An incrementally updatable and scalable system for large-scale sequence search using the Bentley–Saxe transformation
2022/6/15
Jamshed Khan
H-Index: 0
Sergey Madaminov
H-Index: 2
Michael Ferdman
H-Index: 19
Prashant Pandey
H-Index: 2
Rob Patro
H-Index: 22
Domains do change their spots: Quantifying potential abuse of residual trust
2022/5/22
FlexOS: Towards Flexible OS Isolation
2022/2/28
Practical Model Checking on FPGAs
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
2021/7/15
On the distribution, sparsity, and inference-time quantization of attention values in transformers
arXiv preprint arXiv:2106.01335
2021/6/2
Tianchu Ji
H-Index: 1
Michael Ferdman
H-Index: 19
Peter Milder
H-Index: 16
Niranjan Balasubramanian
H-Index: 15
Swarm model checking on the GPU
International Journal on Software Tools for Technology Transfer
2020/10
Shenghsun Cho
H-Index: 3
Michael Ferdman
H-Index: 19
System, method, and accelerator to process convolutional neural network layers
2020/7/28
Flick: Fast and lightweight ISA-crossing call for heterogeneous-ISA environments
2020/5/30
Shenghsun Cho
H-Index: 3
Han Chen
H-Index: 3
Sergey Madaminov
H-Index: 2
Michael Ferdman
H-Index: 19
Peter Milder
H-Index: 16
A scheduling approach to incremental maintenance of datalog programs
2020/5/18
An efficient, scalable, and exact representation of high-dimensional color information enabled using de Bruijn graph search
Journal of Computational Biology
2020/4/1
Fpga-accelerated samplesort for large data sets
2020/2/23
Co-Authors
