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: (GMT-07:00) Pacific Time (US & Canada) change

infer-2020-talks
07:00 - 09:00: Infer Practitioners 2020 - Session 2 at Infer Practitioners live stream
Chair(s): Nikos GorogiannisFacebook and Middlesex University London
infer-2020-talks07:00 - 07:45
Talk
Tomas FiedorVUT Brno, Dominik HarmimBrno University of Technology, Faculty of Information Technology, Vladimir MarcinBrno University of Technology, Faculty of Information Technology, Ondřej PavelaBrno University of Technology, Faculty of Information Technology, Adam RogalewiczBrno University of Technology, Faculty of Information Technology, Tomas VojnarBrno University of Technology
infer-2020-talks07:45 - 08:30
Talk
infer-2020-talks08:30 - 09:00
Coffee break