Infer Practitioners 2021
Mon 21 Jun 2021 PLDI
co-located with PLDI 2021

Infer Practitioners 2021 Contributors

Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (14)

A
Abreu, Rui
Faculty of Engineering, University of Porto, PortugalPortugal
Classifying and Prioritizing Facebook Infer's Warnings
B
Bolignano, Pauline
AmazonUnited Kingdom
Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis
C
Chang, Bor-Yuh Evan
University of Colorado at Boulder; AmazonUnited States
Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis
Cito, Jürgen
TU Wien and FacebookAustria
Interactive Static Performance Analysis with Infer in the IDE
D
Distefano, Dino
Facebook London
Session Chair of Session 1 (part of Infer Practitioners)
Committee Member in Program Committee within the Infer Practitioners-track
F
F. Ferreira, João
INESC-ID and IST, University of LisbonPortugal
Classifying and Prioritizing Facebook Infer's Warnings
Francisco Roberto Martins, João
Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal
Classifying and Prioritizing Facebook Infer's Warnings
G
Grigore, Radu
FacebookUnited Kingdom
Compositional checking of safety temporal properties
L
Lyubarskiy, Mitya
Facebook London
Journey to null safety for Java at Facebook. An experience report.
P
Pianykh, Artem
Facebook London
Journey to null safety for Java at Facebook. An experience report.
R
Reis, Sofia
Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal
Classifying and Prioritizing Facebook Infer's Warnings
V
Villard, Jules
Facebook LondonUnited Kingdom
Committee Member in Organizing Committee within the Infer Practitioners-track
Ç
Çiçek, Ezgi
Facebook London
Session Chair of Session 2 (part of Infer Practitioners)
Committee Member in Program Committee within the Infer Practitioners-track
Ž
Žikelić, Đorđe
IST AustriaAustria
Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis