Skip to content

Commit

Permalink
Merge pull request #23 from volodya-lombrozo/21_11_23_graalvm
Browse files Browse the repository at this point in the history 
Reading 21.11.2023
  • Loading branch information
@mximp
mximp authored Dec 4, 2023
2 parents e1e3bad + 64ccdd4 commit aaf86e5
Show file tree
Hide file tree
Showing 2 changed files with 21 additions and 20 deletions.
41 changes: 21 additions & 20 deletions index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,23 +4,24 @@ 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) |
| 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) |
Binary file added pdf/reading-club-volodya-lombrozo-21.11.2023.pdf
View file
Binary file not shown.

0 comments on commit aaf86e5

Please sign in to comment.