36:59MANTIS: Semantics-driven Inductive Program Synthesis | Roopsha Samanta | Code Mesh V 2020Code Sync649 viewsView & Download
57:53MANTIS: Semantics-Guided Inductive Program Synthesis | Roopsha SamantamadPL356 viewsView & Download
22:19Augmented Example-based Synthesis using Relational Perturbation PropertiesACM SIGPLAN457 viewsView & Download
38:05"Program Synthesis: A Dream Realized?" by Roopsha SamantaStrange Loop Conference6.2K viewsView & Download
49:32An Introduction to (Inductive) Program Synthesis, by Ali ShokriAli Shokri507 viewsView & Download
47:25"Computer-aided Concurrent Programming" by Roopsha Samanta [PWLConf 2018]PapersWeLove2.2K viewsView & Download
38:35JIT Compiler for Erlang OTP | Lukas Larsson | Code Mesh V 2020Code Sync1.9K viewsView & Download
27:31[PurPL Fest] Component-based Parameterized Reasoning for Distributed Applications - Roopsha SamantaPurPL66 viewsView & Download
5:01CVPR2026 Mantis: A Versatile Vision-Language-Action Model with Disentangled Visual ForesightYi Yang4 viewsView & Download