Closed yeonhee-ryou closed 6 months ago
Num. | Title | Assignee | schedule |
---|---|---|---|
1 | On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability | 김정현 | 4/23 |
2 | UBfuzz: Finding Bugs in Sanitizer Implementations | Steve Gustaman | 4/23 |
3 | Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks | 박상준 | 4/23 |
4 | Compiler Test-Program Generation via Memoized Configuration Search | 박해준 | 4/25 |
5 | Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs | 윤형준 | 4/25 |
6 | Finding Real Bugs in Big Programs with Incorrectness Logic | 김태은 | 4/25 |
8 | Incremental Whole-Program Analysis in Datalog with Lattices | 장재훈 | 4/30 |
12 | Alive2: bounded translation validation for LLVM | 권재성 | 4/30 |
14 | Optimal Program Synthesis via Abstract Interpretation | 박건 | 4/30 |
22 | Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context | 이동재 | 5/2 |
7 | Demanded Abstract Interpretation | 김정현 | 5/2 |
10 | Incorrectness logic | 박해준 | 5/2 |
11 | DPGen: Automated Program Synthesis for Differential Privacy | 박상준 | 5/7 |
13 | Towards a Verified Range Analysis for JavaScript JITs | Steve Gustaman | 5/7 |
16 | FlashFill++: Scaling Programming by Example by Cutting to the Chase | 김태은 | 5/7 |
17 | Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions | 장재훈 | 5/9 |
15 | babble: Learning Better Abstractions with E-Graphs and Anti-unification | 권재성 | 5/9 |
19 | Data-Driven Synthesis of Provably Sound Side Channel Analyses | 윤형준 | 5/9 |
20 | Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting | 박건 | 5/14 |
23 | Prompting Is Programming: A Query Language for Large Language Models | 이동재 | 5/14 |
Hi, everyone This is the announcement for paper presentation.
Each student will present two papers. Prepare a 15-minute presentation for each paper according to the following schedule table.
Requirements: