Stephen A McCamant

20032020

Research output per year

If you made any changes in Pure these 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

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

Projects

Research Output

  • 29 Conference contribution
  • 5 Article

Efficient and scalable cross-ISA virtualization of hardware transactional memory

Wang, W., Yew, P. C., Zhai, A. & McCamant, S., Feb 22 2020, CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization. Mars, J., Tang, L., Xue, J. & Wu, P. (eds.). Association for Computing Machinery, Inc, p. 107-120 14 p. (CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization).

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

Open Access
  • Java Ranger at SV-COMP 2020 (Competition Contribution)

    Sharma, V., Hussein, S., Whalen, M. W., McCamant, S. & Visser, W., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 393-397 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

    Open Access
  • 2 Scopus citations

    Cloud terminal: Secure access to sensitive applications from untrusted systems

    Martignoni, L., Poosankam, P., Zaharia, M., Han, J., McCamant, S., Song, D., Paxson, V., Perrig, A., Shenker, S. & Stoica, I., 2019, Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012. USENIX Association, p. 165-176 12 p. (Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012).

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

  • 2 Scopus citations

    Finding Substitutable Binary Code By Synthesizing Adapters

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

    Research output: Contribution to journalArticle

  • 1 Scopus citations

    Program-mandering: Quantitative privilege separation

    Liu, S., Zeng, D., McCamant, S., Huang, Y., Jaeger, T., Capobianco, F. & Tan, G., Nov 6 2019, CCS 2019 - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1023-1040 18 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    Open Access