Skip to main content Microsoft Research Publications Code & data People Microsoft Research blog Artificial intelligence Audio & acoustics Computer vision Graphics & multimedia Human-computer interaction Human language technologies Search & information retrieval Data platforms and analytics Hardware & devices Programming languages & software engineering Quantum computing Security, privacy & cryptography Systems & networking Algorithms Mathematics Ecology & environment Economics Medical, health & genomics Social sciences Technology for emerging markets Academic programs Events & academic conferences Microsoft Research Forum Behind the Tech podcast Microsoft Research blog Microsoft Research Forum Microsoft Research podcast About Microsoft Research Careers & internships People Emeritus program News & awards Microsoft Research newsletter Africa AI for Science AI Frontiers Asia-Pacific Cambridge Health Futures India Montreal New England New York City Redmond Applied Sciences Mixed Reality & AI - Cambridge Mixed Reality & AI - Zurich Register: Research Forum Microsoft Security Azure Dynamics 365 Microsoft 365 Microsoft Teams Windows 365 Microsoft AI Azure Space Mixed reality Microsoft HoloLens Microsoft Viva Quantum computing Sustainability Education Automotive Financial services Government Healthcare Manufacturing Retail Find a partner Become a partner Partner Network Microsoft Marketplace Marketplace Rewards Software development companies Blog Microsoft Advertising Developer Center Documentation Events Licensing Microsoft Learn Microsoft Research View Sitemap

Distributed Corral

  • October 4, 2020
  • Prantik Chatterjee | IIT Kanpur

Talk at FMCAD 2020.

Opens in a new tab
    • Portrait of Akash Lal

      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

  • Microsoft Research Forum | Tyler Payne | Tool-space Interference: An emerging problem for LLM agents

    Tool-space Interference: An emerging problem for LLM agents

    December 9, 2025
    • Karen Easterbrook,
    • Tyler Payne
  • Episode 4: A distribution channel for AI innovation

    May 1, 2025
    • Jonathan M. Carlson,
    • Will Guyman,
    • Matthew Lungren
    , et. al.
  • a group of people from the Microsoft Research India Lab posing for a photo

    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
  • graphical user interface, text, application, chat or text message

    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
  • SPACE framework, PRs per engineer, AI research | Brian Houck (Microsoft)

    November 26, 2024
    • Brian Houck
  • graphical user interface, website

    STACK 2024 - SPACE in the Age of AI: Measuring What Matters for Developer

    November 9, 2024
    • Brian Houck
  • 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

Follow us:

  • Follow on X
  • Like on Facebook
  • Follow on LinkedIn
  • Subscribe on Youtube
  • Follow on Instagram
  • Subscribe to our RSS feed

Share this page:

  • Share on X
  • Share on Facebook
  • Share on LinkedIn
  • Share on Reddit
Surface Pro Surface Laptop Surface Laptop Studio 2 Copilot for organizations Copilot for personal use AI in Windows Explore Microsoft products Windows 11 apps Account profile Download Center Microsoft Store support Returns Order tracking Certified Refurbished Microsoft Store Promise Flexible Payments Microsoft in education Devices for education Microsoft Teams for Education Microsoft 365 Education How to buy for your school Educator training and development Deals for students and parents AI for education
Microsoft AI Microsoft Security Dynamics 365 Microsoft 365 Microsoft Power Platform Microsoft Teams Microsoft 365 Copilot Small Business Azure Microsoft Developer Microsoft Learn Support for AI marketplace apps Microsoft Tech Community Microsoft Marketplace Marketplace Rewards Visual Studio Careers About Microsoft Company news Privacy at Microsoft Investors Diversity and inclusion Accessibility Sustainability
Your Privacy Choices Opt-Out Icon Your Privacy Choices
Consumer Health Privacy Sitemap Contact Microsoft Privacy Manage cookies Terms of use Trademarks Safety & eco Recycling About our ads