Stephen A McCamant

20032022
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 2022

Research Output 2003 2019

  • 24 Conference contribution
  • 5 Article

Finding Substitutable Binary Code By Synthesizing Adapters

Sharma, V., Hietala, K. & McCamant, S. A., Jan 1 2019, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

Binary codes
Glues
Semantics
Concretes
Engineers

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