[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