Distributed Corral

October 4, 2020
Prantik Chatterjee | IIT Kanpur

Talk at FMCAD 2020.

- Akash Lal
  
  Partner Researcher
Research Area
- Programming languages and software engineering
Research Lab
- Microsoft Research Lab - India
Group
- Systems | India
Project
- Corral Program Verifier
Publication
- Distributed Bounded Model Checking

Watch Next

Episode 4: A distribution channel for AI innovation
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Using LLMs for safe low-level programming
February 25, 2025
Aseem Rastogi,

Pantazis Deligiannis
LLMs vs. Torch 1.5: Why Your Code Assistant Can't Keep Up
February 4, 2025
Diganta Misra
Accelerating Multilingual RAG Systems
November 29, 2024
Nandan Thakur
Advances in Natural Language Generation for Indian Languages
June 17, 2024
Dr. Raj Dabre
Making Sentence Embeddings Robust to User-Generated Content
May 29, 2024
Lydia Nishimwe
Demonstration of EmFORE: Learning Email Folder Classification Rules by Example (AAAI 2024 Demo)
April 11, 2024
Mukul Singh
EMNLP 2023 Oral Presentation for CODEFUSION: A Pre-trained Diffusion Model for Code Generation
December 14, 2023
Mukul Singh
VLDB 2023 Presentation for CORNET: Learning Table Formatting Rules By Example
November 7, 2023
Mukul Singh
Microsoft Research India - who we are.
September 15, 2023
Kalika Bali,

Sriram Rajamani,

Venkat Padmanabhan

, et. al.