JPF 2018 Contributors

Write a Blog >>

Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States

co-located with ESEC/FSE 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (38)

A Peter AldousAldous, Peter Brigham Young University Memory safety in C by abstract interpretation
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Committee Member in Program Committee within the JPF-track
B Lucas BangBang, Lucas Attack Synthesis for Strings using Meta-Heuristics
Sean BrownBrown, Sean Brigham Young University Memory safety in C by abstract interpretation
Tevfik BultanBultan, Tevfik University of California, Santa Barbara Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting Attack Synthesis for Strings using Meta-Heuristics
C Hayes ConverseConverse, Hayes The University of Texas at Austin A Progress Bar for the JPF Search Using Program Executions
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UKUnited Kingdom Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
D Marcelo d'Amorimd'Amorim, Marcelo Federal University of PernambucoBrazil Committee Member in Program Committee within the JPF-track
E William EiersEiers, William University of California at Santa Barbara, USA Attack Synthesis for Strings using Meta-Heuristics
F Antonio FilieriFilieri, Antonio Imperial College LondonUnited Kingdom Co-chair in Organizing Committee within the JPF-track
G Milos GligoricGligoric, Milos University of Texas at AustinUnited States A Progress Bar for the JPF Search Using Program Executions Committee Member in Program Committee within the JPF-track
H Falk HowarHowar, Falk Clausthal University of Technology Committee Member in Program Committee within the JPF-track
J Amit JainJain, Amit Boise State University Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations
joseph JonesJones, joseph Brigham Young University Memory safety in C by abstract interpretation
K Ismet Burak KadronKadron, Ismet Burak University of California at Santa Barbara, USA Attack Synthesis for Strings using Meta-Heuristics
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States A Progress Bar for the JPF Search Using Program Executions Committee Member in Program Committee within the JPF-track
Daniel KroeningKroening, Daniel University of Oxford Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
L Quang Loc LeLe, Quang Loc School of Computing, Teesside University, UK Automatic Data Structure Repair using Separation Logic
Kasper LuckowLuckow, Kasper Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the JPF-track
M Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the JPF-track
Eric MercerMercer, Eric Brigham Young UniversityUnited States Memory safety in C by abstract interpretation
Reed MilewiczMilewicz, Reed Sandia National LaboratoriesUnited States Co-chair in Organizing Committee within the JPF-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States A Progress Bar for the JPF Search Using Program Executions
N ThanhVu NguyenNguyen, ThanhVu University of Nebraska-LincolnUnited States Automatic Data Structure Repair using Separation Logic
P Maria PaquinPaquin, Maria Boise State University Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations
Pavel ParizekParizek, Pavel Charles University Committee Member in Program Committee within the JPF-track
Quoc-Sang PhanPhan, Quoc-Sang Fujitsu Laboratories of AmericaUnited States Invited talk: Test input generation using separation logic Automatic Data Structure Repair using Separation Logic
Seth PoulsenPoulsen, Seth Brigham Young University Memory safety in C by abstract interpretation
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research Center Committee Member in Program Committee within the JPF-track
S Seemanta SahaSaha, Seemanta University of California Santa Barbara Attack Synthesis for Strings using Meta-Heuristics
Peter SchrammelSchrammel, Peter University of Sussex Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
Elena ShermanSherman, Elena Boise State UniversityUnited States Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations Committee Member in Program Committee within the JPF-track
V Franck van Breugelvan Breugel, Franck York University, Canada Committee Member in Program Committee within the JPF-track
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the JPF-track
W Kaiyuan WangWang, Kaiyuan A Progress Bar for the JPF Search Using Program Executions
James WassonWasson, James Brigham Young University Memory safety in C by abstract interpretation
Y Guowei YangYang, Guowei Texas State University Committee Member in Program Committee within the JPF-track
Z Guolong ZhengZheng, Guolong University of Nebraska Lincoln Automatic Data Structure Repair using Separation Logic