If you made any changes in Pure, your changes will be visible here soon.

Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

  • 2 Similar Profiles
Flow control Engineering & Materials Science
Binary codes Engineering & Materials Science
Static analysis Engineering & Materials Science
Dynamic analysis Engineering & Materials Science
Information Flow Mathematics
Testing Engineering & Materials Science
Reverse engineering Engineering & Materials Science
Specifications Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2014 2021

Research Output 2003 2018

  • 24 Conference contribution
  • 4 Article

Bit-vector model counting using statistical estimation

Kim, S. & McCamant, S. A., Jan 1 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer- Verlag, p. 133-151 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Statistical Estimation
Approximate Model
Surface mount technology
1 Citations

Enhancing cross-ISA DBT through automatically learned translation rules

Wang, W., McCamant, S. A., Zhai, A. B. & Yew, P-C., Mar 19 2018, ASPLOS 2018 - 23rd International Conference on Architectural Support for Programming Languages and Operating Systems. 2 ed. Association for Computing Machinery, Vol. 53. p. 84-97 14 p. (ACM SIGPLAN Notices).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Binary codes

Fast PokeEMU: Scaling generated instruction tests using aggregation and state chaining

Yan, Q. & McCamant, S. A., Mar 25 2018, VEE 2018 - Proceedings of the 2018 International Conference on Virtual Execution Environments. Association for Computing Machinery, Inc, p. 71-83 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Program processors

Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters

Sharma, V., Hietala, K. & McCamant, S. A., May 25 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation, ICST 2018. Institute of Electrical and Electronics Engineers Inc., p. 150-160 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Binary codes
Reverse engineering
Substitution reactions
5 Citations

DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform

Henderson, A., Yan, L. K., Hu, X., Prakash, A., Yin, H. & McCamant, S. A., Feb 1 2017, In : IEEE Transactions on Software Engineering. 43, 2, p. 164-184 21 p., 7506264.

Research output: Contribution to journalArticle

Application programming interfaces (API)
Dynamical systems
Acoustic waves