ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Sat 20 Apr 2024 09:50 - 10:30 at Lopes Graça - Opening & Keynotes Chair(s): Danny Dig

For many academic and industrial code analysis, testing, and verification tools, integration with IDE can significantly improve their user experience. In this talk, I will showcase the Lincheck framework for testing concurrent algorithms, focusing on how its integration with IntelliJ IDE became a game changer for debugging concurrency bugs detected by the tool.

Sat 20 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Opening & KeynotesIDE at Lopes Graça
Chair(s): Danny Dig University of Colorado Boulder, JetBrains Research
09:00
10m
Day opening
Welcoming Message by Organizers
IDE
Danny Dig University of Colorado Boulder, JetBrains Research, Timofey Bryksin JetBrains Research, Yaroslav Golubev JetBrains Research, Alexander Bezzubov JetBrains
09:10
40m
Keynote
IDEs at Google — Past, Present, Future
IDE
09:50
40m
Keynote
IDE Integration: A Case Study on Boosting Concurrency Testing
IDE
Nikita Koval JetBrains