Stephen A McCamant

20032021
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
Static analysis Engineering & Materials Science
Binary codes 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

  • 25 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
Counting
Count
Approximate Model
Surface mount technology

Contract discovery from black-box components

Sharma, V., Byun, T., McCamant, S. A., Rayadurgam, S. & Heimdahl, M., Nov 9 2018, WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018. Honavar, V., Nguyen, T. N., Leavens, G. T., Dyer, R., Rajan, H. & Nguyen, H. A. (eds.). Association for Computing Machinery, Inc, p. 5-8 4 p. (WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018).

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

Static analysis
Dynamic analysis
Systems analysis
1 Citation (Scopus)

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. (VEE 2018 - Proceedings of the 2018 International Conference on Virtual Execution Environments).

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

Cryptography
Program processors
Agglomeration
Testing
2 Citations (Scopus)

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
Firmware
Glues
Substitution reactions