#theme-toggle,.top-link{display:none}@media(prefers-color-scheme:dark){:root{--theme:#1d1e20;--entry:#2e2e33;--primary:rgba(255, 255, 255, 0.84);--secondary:rgba(255, 255, 255, 0.56);--tertiary:rgba(255, 255, 255, 0.16);--content:rgba(255, 255, 255, 0.74);--hljs-bg:#2e2e33;--code-bg:#37383e;--border:#333}.list{background:var(--theme)}.list:not(.dark)::-webkit-scrollbar-track{background:0 0}.list:not(.dark)::-webkit-scrollbar-thumb{border-color:var(--theme)}}

Publications

December 22, 2020 · Artem Usov

SFJ: An Implementation of Semantic Featherweight Java. Artem Usov and Ornela Dardha. International Conference on Coordination Languages and Models. 2020. 10.1007/978-3-030-50029-0_10. Paper.
SFJ: An Implementation of Semantic Featherweight Java. Artem Usov. Dissertation.
ptr-tidy: Automatic Refactoring of Raw Pointer in C++. Artem Usov. Proposal. Paper.