Topics from this paper
1,034 Citations
Static Analysis and Symbolic Execution for Deadlock Detection in MPI Programs
- Computer Science
- ICCS
- 2018
- 2
- Highly Influenced
- PDF
Aligot: cryptographic function identification in obfuscated binary programs
- Computer Science
- CCS
- 2012
- 74
- Highly Influenced
AID: An alternative implementation of DCGs
- Computer Science
- New Generation Computing
- 2009
- 3
- Highly Influenced
Winsight: Towards Completely Automatic Backtranslation of Nemeth Code
- Computer Science
- HCI
- 2007
- 9
- Highly Influenced
Processor array architectures for deep packet classification
- Computer Science
- IEEE Transactions on Parallel and Distributed Systems
- 2006
- 16
- Highly Influenced
- PDF
A composite algorithm for strength reduction and code movement optimization
- Computer Science, Mathematics
- International Journal of Computer & Information Sciences
- 2004
- 7
- Highly Influenced