title Papers List [Reading Schedule] [Reading guideline] Reading date Presenter Paper title Conference Publication year Misc 7-Mar-2023 Maxim Petrov Statically Resolvable Ambiguity POPL 2023 presentation 14-Mar-2023 Roman Korostinskiy MLIR: scaling compiler infrastructure for domain specific computation CGO 2021 4-Apr-2023 Volodya Lombrozo Effective Function Merging in the SSA form PLDI 2020 presentation 11-Apr-2023 Andrew Graur Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing ICSME 2022 presentation 02-May-2023 Roman Korostinskiy Type-base flow analysis: from polymorphic subtyping to CFL-reachability POPL 2001 presentation 16-May-2023 Maxim Petrov Sound, precise, and fast abstract interpretation with tristate numbers CGO 2022 presentation 30-May-2023 Andrew Graur Machine-Learning-Guided Selectively Unsound Static Analysis ICSE 2017 presentation 14-Jun-2023 Volodya Lombrozo Complete Shadow Symbolic Execution with Java PathFinder ACM SIGSOFT 2019 presentation 20-Jun-2023 Andrew Graur CSEFuzz: Fuzz Testing Based on Symbolic Execution IEEE Access 2020 presentation 07-Jul-2023 Roman Korostinskiy Fast and precise hybrid type inference for JavaScript PLDI 2012 presentation 18-Jul-2023 Lev Bagryansky Rust as a language for high performance GC implementation ISMM 2016 presentation 25-Jul-2023 Andrew Graur Infeasible Path Generalization in Dynamic Symbolic Execution IST 2014 presentation 01-Aug-2023 Volodya Lombrozo Towards an XML-based Bytecode Level Transformation Framework ENTCS 2009 presentation 15-Aug-2023 Andrew Graur Attention Is All You Need NIPS 2017 presentation 22-Aug-2023 Max Trunnikov Detecting and Understanding JavaScript Global Identifier Conflicts on the Web ESEC/FSE 2020 presentation 10-Oct-2023 Lev Bagryansky An efficient native function interface for Java PPPJ'13 2013 presentation 17-Oct-2023 Volodya Lombrozo Compiler-Assisted Object Inlining with Value Fields PLDI 2021 presentation 14-Nov-2023 Lev Bagryansky https://dl.acm.org/doi/10.1145/3201898 ACM Transactions on Programming Languages and Systems 2018 presentation 21-Nov-2023 Volodya Lombrozo Java-to-JavaScript Translation via Structured Control Flow Reconstruction DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages 2015 presentation 09-Jan-2024 Volodya Lombrozo Challenges for Static Analysis of Java Reflection – Literature Review and Empirical Study 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) 2017 presentation 16-Jan-2024 Yana Alekseeva SootDiff: Bytecode Comparison Across Different Java Compilers PLDI 2019 presentation 23-Jan-2024 Roman Korostinskiy Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room PLDI 2020 presentation 30-Jan-2024 Max Trunnikov Improving JavaScript performance by deconstructing the type system PLDI 2014 presentation 13-Feb-2024 Volodya Lombrozo The Strengths and Behavioral Quirks of Java Bytecode Decompilers 2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM) 2019 presentation 26-Mar-2024 Lev Bagryansky NeuroVectorizer: End-to-End Vectorization with Deep Reinforcement Learning CGO 2020: Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization 2020 presentation