ICPC 2019
Sat 25 - Sun 26 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
ICSE 2019 (series) / ICPC 2019 (series) / Technical Research /

CCSpec: A Correctness Condition Specification Tool

Christina Peterson, Pierre LaBorde, Damian Dechev
ICPC 2019 ICPC Technical Research

Display in different time zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).
Apply
Close
Sun 26 May 2019 11:20 - 11:40 at Laurier - Session VII: Empirical Study I Chair(s): Mike Papadakis
small-avatar
Christina Peterson
small-avatar
Pierre LaBorde
Damian Dechev
Damian Dechev

Display in different time zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).
Apply
Close

Sun 26 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

icpc-2019-Presentations
11:00 - 12:30: ICPC 2019 Presentations - Session VII: Empirical Study I at Laurier
Chair(s): Mike PapadakisUniversity of Luxembourg
icpc-2019-Technical-Research11:00 - 11:20
Full-paper
Diego Marcilio, Rodrigo Bonifacio, Eduardo Monteiro, Edna Canedo, Welder Luz, Gustavo PintoUFPA
icpc-2019-Technical-Research11:20 - 11:40
Full-paper
Christina Peterson, Pierre LaBorde, Damian Dechev
icpc-2019-Technical-Research11:40 - 12:00
Full-paper
Marcel Steinbeck, Rainer KoschkeUniversity of Bremen, Marc O. Rüdel
icpc-2019-Technical-Research12:00 - 12:10
Short-paper
Markus SchnappingerTechnical University of Munich, Mohd Hafeez OsmanInstitute of Informatics, Technical University of Munich, Alexander Pretschner, Arnaud Fietzke
icpc-2019-Technical-Research12:10 - 12:30
Full-paper
Hongliang Liangbeijing university of posts and telecommunication, Yini Zhangbeijing university of posts and telecommunication, Yue Yu, Zhuosi Xie, Lin Jiangbeijing university of posts and telecommunication