Research output per year
Research output per year
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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 journal › Conference article › peer-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 proceeding › Conference contribution
Open Access