diff --git a/index.md b/index.md index e0e2094..364b963 100644 --- a/index.md +++ b/index.md @@ -4,27 +4,28 @@ title: Papers List \[[Reading Schedule](/reading-schedule.md)\] \[[Reading guideline](/paper-review-guideline.md)\] -| Reading date | Presenter | Paper title | Conference | Publication year | Misc | -|:------------:|:-------------------------------------------------------:|:------------------------------------------------------------------------------------------------------------------------------------|:----------------------------------------------------------------------------------------------------------------------------------------:|:----------------:|:-------------------------------------------------------------------| -| 7-Mar-2023 | [Maxim Petrov](https://github.com/mximp) | [Statically Resolvable Ambiguity](https://dl.acm.org/doi/10.1145/3571251) | [POPL](https://popl23.sigplan.org/) | 2023 | [presentation](/pdf/reading-club-review-stat-rslv-abgty.pdf) | -| 14-Mar-2023 | [Roman Korostinskiy](https://github.com/c71n93) | [MLIR: scaling compiler infrastructure for domain specific computation](https://dl.acm.org/doi/10.1109/CGO51591.2021.9370308) | [CGO](https://conf.researchr.org/home/cgo-2024) | 2021 | | -| 4-Apr-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Effective Function Merging in the SSA form](https://dl.acm.org/doi/10.1145/3385412.3386030) | [PLDI](https://www.sigplan.org/Conferences/PLDI/) | 2020 | [presentation](./pdf/effective_function_merging.pdf) | -| 11-Apr-2023 | [Andrew Graur](https://github.com/graur) | [Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing](https://ieeexplore.ieee.org/document/9977446) | [ICSME](https://cyprusconferences.org/icsme2022/) | 2022 | [presentation](./pdf/reading-club-graur-11.04.2023.pdf) | -| 02-May-2023 | [Roman Korostinskiy](https://github.com/c71n93) | [Type-base flow analysis: from polymorphic subtyping to CFL-reachability](https://dl.acm.org/doi/10.1145/360204.360208) | [POPL](https://popl23.sigplan.org/) | 2001 | [presentation](./pdf/reading-club-c71n93-02.05.2023.pdf) | -| 16-May-2023 | [Maxim Petrov](https://github.com/mximp) | [Sound, precise, and fast abstract interpretation with tristate numbers](https://doi.org/10.5281/zenodo.5703630) | [CGO](https://conf.researchr.org/track/cgo-2022/cgo-2022-main-conference#event-overview) | 2022 | [presentation](./pdf/reading-tristate-numbers.pdf) | -| 30-May-2023 | [Andrew Graur](https://github.com/graur) | [Machine-Learning-Guided Selectively Unsound Static Analysis](https://ieeexplore.ieee.org/document/7985690) | [ICSE](https://icse2017.gatech.edu/) | 2017 | [presentation](./pdf/reading-club-graur-30.05.2023.pdf) | -| 14-Jun-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Complete Shadow Symbolic Execution with Java PathFinder](https://dl.acm.org/doi/10.1145/3364452.33644558) | [ACM SIGSOFT](https://www.sigsoft.org/index.html) | 2019 | [presentation](./pdf/13.06.2023.reading.short.pdf) | -| 20-Jun-2023 | [Andrew Graur](https://github.com/graur) | [CSEFuzz: Fuzz Testing Based on Symbolic Execution](https://ieeexplore.ieee.org/document/9222017) | [IEEE Access](https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6287639) | 2020 | [presentation](./pdf/reading-club-graur-20.06.2023.pdf) | -| 07-Jul-2023 | [Roman Korostinskiy](https://github.com/c71n93) | [Fast and precise hybrid type inference for JavaScript](https://dl.acm.org/doi/10.1145/2254064.2254094) | [PLDI](https://www.sigplan.org/Conferences/PLDI/) | 2012 | [presentation](./pdf/reading-club-c71n93-04.07.2023.pdf) | -| 18-Jul-2023 | [Lev Bagryansky](https://github.com/levBagryansky) | [Rust as a language for high performance GC implementation](https://dl.acm.org/doi/10.1145/2926697.2926707) | [ISMM](https://dl.acm.org/conference/ismm) | 2016 | [presentation](./pdf/reading-club-bagryansky-18.07.2023.pdf) | -| 25-Jul-2023 | [Andrew Graur](https://github.com/graur) | [Infeasible Path Generalization in Dynamic Symbolic Execution](https://doi.org/10.1016/j.infsof.2014.07.012) | [IST](https://www.sciencedirect.com/journal/information-and-software-technology/vol/58/suppl/C) | 2014 | [presentation](./pdf/reading-club-graur-11.07.2023.pdf) | -| 01-Aug-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Towards an XML-based Bytecode Level Transformation Framework](https://www.sciencedirect.com/science/article/pii/S1571066109004678) | [ENTCS](https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science) | 2009 | [presentation](./pdf/reading-club-volodya-lombrozo-01.08.2023.pdf) | -| 15-Aug-2023 | [Andrew Graur](https://github.com/graur) | [Attention Is All You Need](https://dl.acm.org/doi/proceedings/10.5555/3295222) | [NIPS](https://dl.acm.org/conference/nips) | 2017 | [presentation](./pdf/reading-club-graur-15.08.2023.pdf) | -| 22-Aug-2023 | [Max Trunnikov](https://github.com/maxonfjvipon) | [Detecting and Understanding JavaScript Global Identifier Conflicts on the Web](https://dl.acm.org/doi/10.1145/3368089.3409747) | [ESEC/FSE](https://dl.acm.org/doi/proceedings/10.1145/3368089) | 2020 | [presentation](./pdf/reading-club-maxonfjvipon-22-08-2023.pdf) | -| 10-Oct-2023 | [Lev Bagryansky](https://github.com/levBagryansky) | [An efficient native function interface for Java](https://dl.acm.org/doi/abs/10.1145/2500828.2500832) | [PPPJ'13](https://dl.acm.org/doi/proceedings/10.1145/2500828) | 2013 | [presentation](./pdf/reading-club-bagryansky-10.10.2023.pdf) | -| 17-Oct-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Compiler-Assisted Object Inlining with Value Fields](https://doi.org/10.1145/3453483.3454034) | [PLDI](https://www.sigplan.org/Conferences/PLDI/) | 2021 | [presentation](./pdf/reading-club-volodya-lombrozo-17.10.2023.pdf) | -| 14-Nov-2023 | [Lev Bagryansky](https://github.com/levBagryansky) | [https://dl.acm.org/doi/10.1145/3201898](https://dl.acm.org/doi/10.1145/3201898) | [ACM Transactions on Programming Languages and Systems](https://dl.acm.org/journal/toplas) | 2018 | [presentation](./pdf/reading-club-bagryansky-14-Nov-2023.pdf) | -| 21-Nov-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Java-to-JavaScript Translation via Structured Control Flow Reconstruction](https://doi.org/10.1145/2816707.2816715) | [DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages](https://dl.acm.org/doi/proceedings/10.1145/2816707) | 2015 | [presentation](./pdf/reading-club-volodya-lombrozo-21.11.2023.pdf) | -| 09-Jan-2024 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Challenges for Static Analysis of Java Reflection – Literature Review and Empirical Study ](https://doi.org/10.1109/ICSE.2017.53) | [2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)](https://ieeexplore.ieee.org/xpl/conhome/7976701/proceeding) | 2017 | [presentation](./pdf/reading-club-volodya-lombrozo-09.01.2024.pdf) | -| 16-Jan-2024 | [Yana Alekseeva](https://github.com/Yanich96) | [SootDiff: Bytecode Comparison Across Different Java Compilers](https://dl.acm.org/doi/10.1145/3315568.3329966) | [PLDI](https://dl.acm.org/doi/proceedings/10.1145/3315568) | 2019 | [presentation](./pdf/reading_club_yana_alekseeva_16.01.2024.pdf) | -| 23-Jan-2024 | [Roman Korostinskiy](https://github.com/c71n93) | [Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room](https://dl.acm.org/doi/10.1109/CGO51591.2021.9370308) | [PLDI](https://dl.acm.org/doi/proceedings/10.1145/3315568) | 2020 | [presentation](./pdf/reading-club-c71n93-23-01-2024.pdf) | +| Reading date | Presenter | Paper title | Conference | Publication year | Misc | +|:------------:|:-------------------------------------------------------:|:----------------------------------------------------------------------------------------------------------------------------------------------------------|:----------------------------------------------------------------------------------------------------------------------------------------:|:----------------:|:-------------------------------------------------------------------| +| 7-Mar-2023 | [Maxim Petrov](https://github.com/mximp) | [Statically Resolvable Ambiguity](https://dl.acm.org/doi/10.1145/3571251) | [POPL](https://popl23.sigplan.org/) | 2023 | [presentation](/pdf/reading-club-review-stat-rslv-abgty.pdf) | +| 14-Mar-2023 | [Roman Korostinskiy](https://github.com/c71n93) | [MLIR: scaling compiler infrastructure for domain specific computation](https://dl.acm.org/doi/10.1109/CGO51591.2021.9370308) | [CGO](https://conf.researchr.org/home/cgo-2024) | 2021 | | +| 4-Apr-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Effective Function Merging in the SSA form](https://dl.acm.org/doi/10.1145/3385412.3386030) | [PLDI](https://www.sigplan.org/Conferences/PLDI/) | 2020 | [presentation](./pdf/effective_function_merging.pdf) | +| 11-Apr-2023 | [Andrew Graur](https://github.com/graur) | [Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing](https://ieeexplore.ieee.org/document/9977446) | [ICSME](https://cyprusconferences.org/icsme2022/) | 2022 | [presentation](./pdf/reading-club-graur-11.04.2023.pdf) | +| 02-May-2023 | [Roman Korostinskiy](https://github.com/c71n93) | [Type-base flow analysis: from polymorphic subtyping to CFL-reachability](https://dl.acm.org/doi/10.1145/360204.360208) | [POPL](https://popl23.sigplan.org/) | 2001 | [presentation](./pdf/reading-club-c71n93-02.05.2023.pdf) | +| 16-May-2023 | [Maxim Petrov](https://github.com/mximp) | [Sound, precise, and fast abstract interpretation with tristate numbers](https://doi.org/10.5281/zenodo.5703630) | [CGO](https://conf.researchr.org/track/cgo-2022/cgo-2022-main-conference#event-overview) | 2022 | [presentation](./pdf/reading-tristate-numbers.pdf) | +| 30-May-2023 | [Andrew Graur](https://github.com/graur) | [Machine-Learning-Guided Selectively Unsound Static Analysis](https://ieeexplore.ieee.org/document/7985690) | [ICSE](https://icse2017.gatech.edu/) | 2017 | [presentation](./pdf/reading-club-graur-30.05.2023.pdf) | +| 14-Jun-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Complete Shadow Symbolic Execution with Java PathFinder](https://dl.acm.org/doi/10.1145/3364452.33644558) | [ACM SIGSOFT](https://www.sigsoft.org/index.html) | 2019 | [presentation](./pdf/13.06.2023.reading.short.pdf) | +| 20-Jun-2023 | [Andrew Graur](https://github.com/graur) | [CSEFuzz: Fuzz Testing Based on Symbolic Execution](https://ieeexplore.ieee.org/document/9222017) | [IEEE Access](https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6287639) | 2020 | [presentation](./pdf/reading-club-graur-20.06.2023.pdf) | +| 07-Jul-2023 | [Roman Korostinskiy](https://github.com/c71n93) | [Fast and precise hybrid type inference for JavaScript](https://dl.acm.org/doi/10.1145/2254064.2254094) | [PLDI](https://www.sigplan.org/Conferences/PLDI/) | 2012 | [presentation](./pdf/reading-club-c71n93-04.07.2023.pdf) | +| 18-Jul-2023 | [Lev Bagryansky](https://github.com/levBagryansky) | [Rust as a language for high performance GC implementation](https://dl.acm.org/doi/10.1145/2926697.2926707) | [ISMM](https://dl.acm.org/conference/ismm) | 2016 | [presentation](./pdf/reading-club-bagryansky-18.07.2023.pdf) | +| 25-Jul-2023 | [Andrew Graur](https://github.com/graur) | [Infeasible Path Generalization in Dynamic Symbolic Execution](https://doi.org/10.1016/j.infsof.2014.07.012) | [IST](https://www.sciencedirect.com/journal/information-and-software-technology/vol/58/suppl/C) | 2014 | [presentation](./pdf/reading-club-graur-11.07.2023.pdf) | +| 01-Aug-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Towards an XML-based Bytecode Level Transformation Framework](https://www.sciencedirect.com/science/article/pii/S1571066109004678) | [ENTCS](https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science) | 2009 | [presentation](./pdf/reading-club-volodya-lombrozo-01.08.2023.pdf) | +| 15-Aug-2023 | [Andrew Graur](https://github.com/graur) | [Attention Is All You Need](https://dl.acm.org/doi/proceedings/10.5555/3295222) | [NIPS](https://dl.acm.org/conference/nips) | 2017 | [presentation](./pdf/reading-club-graur-15.08.2023.pdf) | +| 22-Aug-2023 | [Max Trunnikov](https://github.com/maxonfjvipon) | [Detecting and Understanding JavaScript Global Identifier Conflicts on the Web](https://dl.acm.org/doi/10.1145/3368089.3409747) | [ESEC/FSE](https://dl.acm.org/doi/proceedings/10.1145/3368089) | 2020 | [presentation](./pdf/reading-club-maxonfjvipon-22-08-2023.pdf) | +| 10-Oct-2023 | [Lev Bagryansky](https://github.com/levBagryansky) | [An efficient native function interface for Java](https://dl.acm.org/doi/abs/10.1145/2500828.2500832) | [PPPJ'13](https://dl.acm.org/doi/proceedings/10.1145/2500828) | 2013 | [presentation](./pdf/reading-club-bagryansky-10.10.2023.pdf) | +| 17-Oct-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Compiler-Assisted Object Inlining with Value Fields](https://doi.org/10.1145/3453483.3454034) | [PLDI](https://www.sigplan.org/Conferences/PLDI/) | 2021 | [presentation](./pdf/reading-club-volodya-lombrozo-17.10.2023.pdf) | +| 14-Nov-2023 | [Lev Bagryansky](https://github.com/levBagryansky) | [https://dl.acm.org/doi/10.1145/3201898](https://dl.acm.org/doi/10.1145/3201898) | [ACM Transactions on Programming Languages and Systems](https://dl.acm.org/journal/toplas) | 2018 | [presentation](./pdf/reading-club-bagryansky-14-Nov-2023.pdf) | +| 21-Nov-2023 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Java-to-JavaScript Translation via Structured Control Flow Reconstruction](https://doi.org/10.1145/2816707.2816715) | [DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages](https://dl.acm.org/doi/proceedings/10.1145/2816707) | 2015 | [presentation](./pdf/reading-club-volodya-lombrozo-21.11.2023.pdf) | +| 09-Jan-2024 | [Volodya Lombrozo](https://github.com/volodya-lombrozo) | [Challenges for Static Analysis of Java Reflection – Literature Review and Empirical Study ](https://doi.org/10.1109/ICSE.2017.53) | [2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE)](https://ieeexplore.ieee.org/xpl/conhome/7976701/proceeding) | 2017 | [presentation](./pdf/reading-club-volodya-lombrozo-09.01.2024.pdf) | +| 16-Jan-2024 | [Yana Alekseeva](https://github.com/Yanich96) | [SootDiff: Bytecode Comparison Across Different Java Compilers](https://dl.acm.org/doi/10.1145/3315568.3329966) | [PLDI](https://dl.acm.org/doi/proceedings/10.1145/3315568) | 2019 | [presentation](./pdf/reading_club_yana_alekseeva_16.01.2024.pdf) | +| 23-Jan-2024 | [Roman Korostinskiy](https://github.com/c71n93) | [Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room](https://dl.acm.org/doi/10.1109/CGO51591.2021.9370308) | [PLDI](https://dl.acm.org/doi/proceedings/10.1145/3315568) | 2020 | [presentation](./pdf/reading-club-c71n93-23-01-2024.pdf) | +| 30-Jan-2024 | [Max Trunnikov](https://github.com/maxonfjvipon) | [Improving JavaScript performance by deconstructing the type system](https://dl.acm.org/doi/10.1145/2666356.2594332) | [PLDI](https://dl.acm.org/doi/proceedings/10.1145/3315568) | 2014 | [presentation](./pdf/maxonfjvipon-paper-review-2024-01-30.pdf) | diff --git a/pdf/maxonfjvipon-paper-review-2024-01-30.pdf b/pdf/maxonfjvipon-paper-review-2024-01-30.pdf new file mode 100644 index 0000000..de20884 Binary files /dev/null and b/pdf/maxonfjvipon-paper-review-2024-01-30.pdf differ diff --git a/reading-schedule.md b/reading-schedule.md index 0fd4554..aeb29ac 100644 --- a/reading-schedule.md +++ b/reading-schedule.md @@ -2,10 +2,10 @@ title: Reading Club Schedule --- -| Presenter | 07-Nov | 14-Nov | 21-Nov | 28-Nov | 05-Dec | 12-Dec | 19-Dec | 26-Dec | 09-Jan | -|:----------|:----:|:------:|:------:|:------:|:------:|:------:|:------:|:------:|:------:| -| Maxim T. | R | | S | | | R | | S | | -| Andrey | S | | | R | | S | | | R | -| Lev | | R | | S | | | R | | S | -| Roman | | S | | | R | | S | | | -| Vladimir | | | R | | S | | | R | | +| Presenter | 09-Jan | 16-Jan | 23-Jan | 30-Jan | 06-Feb | 13-Feb | 20-Feb | 27-Feb | 05-Mar | +|:----------|:------:|:------:|:------:|:------:|:------:|:------:|:------:|:------:|:------:| +| Max | S | | | R | | S | | | R | +| Yana | | R | | S | | | R | | S | +| Lev | | S | | | R | | S | | | +| Roman | | | R | | S | | | R | | +| Vladimir | R | | S | | | R | | S | |