Search for persons
X
?
Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays ,
1
A 475 MHz Manycore FPGA Accelerator for RTL Simulation:
, In:
?
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4 ,
2
Manticore: Hardware-Accelerated RTL Simulation with Static ..:
, In:
?
2022 32nd International Conference on Field-Programmable Logic and Applications (FPL) ,
4
Bitfiltrator: A general approach for reverse-engineering Xi..:
, In:
?
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques ,
5
Auto-Partitioning Heterogeneous Task-Parallel Programs with..:
, In:
?
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
7
Enclosure: language-based restriction of untrusted librarie:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering ,
8
Abacus : Precise Side-Channel Analysis:
, In:
?
Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings ,
11
Abacus : a tool for precise side-channel analysis:
, In:
?
Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques ,
12
Parallel and Scalable Precise Clustering:
, In:
?
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings ,
14
Wok : statistical program slicing in production:
, In:
?
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
15