On Application of Simultaneous Perturbation Stochastic Approximation for Dynamic Voltage-Frequency Scaling in Android OS

Bogdanov, E., Bozhnyuk, A., Sartasov, S. & Granichin, O., 22 Jun 2021, EBCCSP 2021 - Proceedings: 2021 7th International Conference on Event-Based Control, Communication and Signal Processing: 2021 7th International Conference on Event-Based Control, Communication and Signal Processing. Institute of Electrical and Electronics Engineers Inc., 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Beyond the elementary representations of program invariants over algebraic data types

Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 Jun 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (eds.). Association for Computing Machinery, p. 451-465 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

PSIMiner: A tool for mining rich abstract syntax trees from code

Spirin, E., Bogomolov, E., Kovalenko, V. & Bryksin, T., 1 May 2021, 2021 IEEE/ACM 18TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2021). Institute of Electrical and Electronics Engineers Inc., p. 13-17 5 p. 9463105. (IEEE International Working Conference on Mining Software Repositories).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

S3M: Siamese Stack (Trace) Similarity Measure

Khvorov, A., Vasiliev, R., Chernishev, G., Rodrigues, I. M., Koznov, D. & Povarov, N., May 2021, 2021 IEEE/ACM 18th International Conference on Mining Software Repositories, MSR 2021: Proceedings . Institute of Electrical and Electronics Engineers Inc., p. 266-270 5 p. 9463141. (IEEE International Working Conference on Mining Software Repositories).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TaskTracker-tool: A Toolkit for Tracking of Code Snapshots and Activity Data during Solution of Programming Tasks

Lyulina, E., Birillo, A., Kovalenko, V. & Bryksin, T., 3 Mar 2021, SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 495-501 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Multi-threshold token-based code clone detection

Golubev, Y., Poletansky, V., Povarov, N. & Bryksin, T., Mar 2021, Proceedings - 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2021. Institute of Electrical and Electronics Engineers Inc., p. 496-500 5 p. 9426013

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Efficient fair conjunction for structurally-recursive relations

Lozov, P. & Boulytchev, D., 17 Jan 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Lindley, S. & Mogensen, T. (eds.). Association for Computing Machinery, p. 58-73 16 p. (Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review