Elsa Gunter

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

Fingerprint

Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Complete Semantics of K and Its Translation to Isabelle

    Li, L. & Gunter, E. L., 2021, Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Proceedings. Cerone, A. & Olveczky, P. C. (eds.). Springer, p. 152-171 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12819 LNCS).

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

  • K-LLVM: A relatively complete semantics of LLVM IR

    Li, L. & Gunter, E. L., Nov 1 2020, 34th European Conference on Object-Oriented Programming, ECOOP 2020. Hirschfeld, R. & Pape, T. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 166).

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

  • Per-Location Simulation

    Li, L. & Gunter, E. L., 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 267-287 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).

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

  • Safety of a smart classes-used regression test selection algorithm

    Mansky, S. & Gunter, E. L., 2020, In: Electronic Notes in Theoretical Computer Science. 351, p. 51-73 23 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
  • Dynamic class initialization semantics: A Jinja extension

    Mansky, S. & Gunter, E. L., Jan 14 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 209-221 13 p. (CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019).

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