1. Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
2. Efficiency Investigation of BT-Object Based Partial Evaluation of Interpreters Written in the Java Object-Oriented Language;Program Systems: Theory and Applications;2022-12-05
3. Specialization of interpreters written in object-oriented languages can be effective;Proceedings of 24th Scientific Conference “Scientific Services & Internet – 2022”;2022
4. Forerunner;Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles CD-ROM;2021-10-26
5. References;Microprocessor 1;2020-10-28