Distributed Corral

October 4, 2020
Prantik Chatterjee | IIT Kanpur

Talk at FMCAD 2020.

- Akash Lal
  
  Partner Researcher
Domaine de recherche
- Programming languages and software engineering
Laboratoire de recherche
- Microsoft Research Lab - India
Groupe
- Systems | India
Projet
- Corral Program Verifier
Publication
- Distributed Bounded Model Checking

Regardez suivant

Tool-space Interference: An emerging problem for LLM agents
December 9, 2025
Karen Easterbrook,

Tyler Payne
Episode 3: Collaborating faster
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

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

Will Guyman,

Matthew Lungren

, et. al.
Microsoft Research India - The lab culture
March 1, 2025
P. Anandan,

Indrani Medhi Thies,

B. Ashok

, 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