Presentations from my paper reading course

Paper 1: FlashFill++: Scaling Programming By Example By Cutting To The Chase

Paper 2: Data Migration Using Datalog Program Synthesis

Title: LIGHTYEAR - Using Modularity To Scale BGP Control Plane Verification

Title: Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach