Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 07:00 - 07:45 at Infer Practitioners live stream - Session 2 Chair(s): Nikos Gorogiannis

The talk aims at presenting three plugins being developed at Brno University of Technology. The first one is L2D2, which is a plugin that aims at low-level deadlock detection, in particular, at detecting deadlocks in C programs. The second plugin is Atomer that aims at detecting sequences of calls that are likely to be intended to execute atomically, followed by checking whether they really are always executed atomically. Finally, the third plugin, Looper, aims at automatically deriving conservative complexity bounds. All of the plugins are under active development, but their preliminary experimental evaluation gives quite promising results. The plugins are open source and available through the following web site: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/ .

Tue 16 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

07:00 - 09:00: Session 2Infer Practitioners at Infer Practitioners live stream
Chair(s): Nikos GorogiannisFacebook and Middlesex University London
07:00 - 07:45
Talk
Infer Practitioners
A: Tomas FiedorVUT Brno, A: Dominik HarmimBrno University of Technology, Faculty of Information Technology, A: Vladimir MarcinBrno University of Technology, Faculty of Information Technology, A: Ondřej PavelaBrno University of Technology, Faculty of Information Technology, A: Adam RogalewiczBrno University of Technology, Faculty of Information Technology, A: Tomáš VojnarBrno University of Technology
07:45 - 08:30
Talk
Infer Practitioners
I: Pavle SuboticAmazon
08:30 - 09:00
Coffee break
Infer Practitioners