VerTeCS2
page top
News

Talk: 15/04/2019 Static Analysis and Automated Verification for Replicated Systems by Kartik Nagar, Purdue University (venue: IIA-501)

Talk: 07/03/2019 Relaxed Memory Concurrency and Compiler Correctness by Soham Chakraborty, MPI-SWS (venue: IIA-501)

IIT Delhi is hosting the Eighth Indian Conference on Logic and its Applications (ICLA 2019) from 01/03/2019 to 05/03/2019

Talk: 23/01/2019 Extreme-Efficiency Computing by Raghav Pothukuchi, PhD candidate at the University of Illinois (venue: IIA-501)

There are a few positions (PhD/M.Tech./B.Tech.) available and we are looking for enthusiastic students to join our group.

 
Teaching
COL226 Programming Languages
Sanjiva Prasad
COL380 Introduction to Parallel and Distributed Programming
Subodh Sharma
COL729 Compiler Optimizations
Sorav Bansal