Speaker: Arun Prabhakar
Topic: Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation(ASE 2022)
Description The paper presents an approach to detect partial deadlocks , a common error where a thread waits on a blocking channel operation that will never be unblocked by any other thread.
Time: 5:00 pm to 6:00pm (IST)
Presenter: Arun Prabhakar