Learning-Based Controlled Concurrency Testing at OOPSLA

Suvam Mukherjee talks about our paper on “Learning-Based Controlled Concurrency Testing” at OOPSLA 2020.

날짜:: November 16, 2020
:주관: Suvam Mukherjee
제휴:: Microsoft Research

- Pantazis Deligiannis
  
  Principal Research Software Engineer
연구분야
- Programming languages and software engineering
연구실
- Microsoft Research Lab - India
그룹
- Systems | India
프로젝트
- Coyote
출판
- Learning-based Controlled Concurrency Testing

다음 볼만한 동영상

Using LLMs for safe low-level programming | Microsoft Research Forum
February 25, 2025
Speakers:

Aseem Rastogi,

Pantazis Deligiannis
LLMs vs. Torch 1.5: Why Your Code Assistant Can't Keep Up
February 4, 2025
Speakers:

Diganta Misra
[OOPSLA 2023] Overwatch: Learning Patterns in Code Edit Sequences
May 29, 2023
What's New in F# 6 0
December 8, 2022
Speakers:

Don Syme
What’s New in F# 5.0 & Beyond • Don Syme • YOW! 2021
November 26, 2021
Speakers:

Don Syme
F# Bonanza | #dotNETConf: Focus on F#
August 21, 2021
Speakers:

Don Syme
TorchSharp & Tensor Programming
June 21, 2021
Speakers:

Don Syme
Functional data that adapts to change
December 11, 2020
Speakers:

Don Syme
F# Code I Love - Don Syme
August 21, 2020
Speakers:

Don Syme
Don Syme - Keynote - F# Code I Love | Lambda Days 2019
February 21, 2019
Speakers:

Don Syme