Confluence Competition

Participants (listed in order of registration)

toolcategories authors slides paper awards
crest LCTRS Jonas Schöpf, Aart Middeldorp pdf pdf pdf
Hakusan SRS TRS Fuyuki Kawano, Nao Hirokawa, Kiraku Shintani pdf pdf pdf
Moca INF Yusuke Oi, Nao Hirokawa, Teppei Saito pdf pdf pdf
CO3 CTRS INF Naoki Nishida, Misaki Kojima pdf pdf pdf
CONFident  CSR CTRS SRS TRS Raúl Gutiérrez, Salvador Lucas  pdf pdf pdf
infChecker INF Raúl Gutiérrez, Salvador Lucas pdf pdf pdf
AGCP GCR Takahito Aoto pdf pdf pdf
ACP COM CTRS SRS TRS UNC UNR   Takahito Aoto pdf pdf pdf
CeTA COM INF SRS TRS Dohan Kim, Christina Kirk, Saito Teppei, René Thiemann   pdf pdf pdf
CSI NFP SRS TRS UNC UNR Fabian Mitterwallner, Aart Middeldorp pdf pdf pdf
FORT-h COM GCR NFP TRS UNC UNR Fabian Mitterwallner, Aart Middeldorp pdf pdf pdf
FORTify COM GCR NFP TRS UNC UNR Fabian Mitterwallner, Aart Middeldorp pdf pdf pdf
CRaris LCTRS Naoki Nishida, Misaki Kojima pdf pdf pdf
NaTT INF Akihisa Yamada pdf pdf


categorytools
COM ACP   ACP+CeTA   FORT-h   FORT-h+FORTify  
CSR CONFident  
CTRS ACP   CO3   CONFident  
GCR AGCP   FORT-h   FORT-h+FORTify  
INF CO3   infChecker   Moca   Moca+CeTA   NaTT  
LCTRS CRaris   crest  
NFP CSI   FORT-h   FORT-h+FORTify  
SRS ACP   ACP+CeTA   CONFident   CSI   CSI+CeTA   Hakusan+CeTA  
TRS ACP   ACP+CeTA   CONFident   CSI   CSI+CeTA   FORT-h   FORT-h+FORTify   Hakusan+CeTA  
UNC ACP   CSI   FORT-h   FORT-h+FORTify  
UNR ACP   CSI   FORT-h   FORT-h+FORTify