Reading group in the broad areas of Programming Languages and Systems.

Time: 5 p.m.
Place: 411, Cloud lab, SIT building

Event Calender

Date Presentation Lead Presentation Title
15/03/2017 Bhargav and Ankit RouteBricks: Exploiting Parallelism To Scale Software Routers
15/02/2017 Piyus Kedia Simple, fast and safe manual memory management
18/01/2017 Anmol and Manav Verifying bit-manipulations of floating-point
28/12/2016 Rajesh Kedia A Survey of Techniques for Approximate Computing
30/11/2016 Manjeet Dahiya Synthesis of machine code from semantics
19/10/2016 Subodh Sharma Mathematizing C++ Concurrency
21/09/2016 Divyanshu Bagga Environmental Bisimulations for Higher-Order Languages
14/09/2016 Sorav Bansal Hoard: A Scalable Memory Allocator for Multithreaded Applications
07/09/2016 Manjeet Dahiya Types from Data: Making Structured Data First-Class Citizens in F#
31/08/2016 Deepak Ravi Liquid Types
24/08/2016 Subodh Sharma Statistical Similarity of Binaries
17/08/2016 Sorav Bansal Program Synthesis from Polymorphic Refinement Types