Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Kroening
conf.researchr.org general profile
ESEC/FSE 2018 profile
ESEC/FSE 2022 profile
ESOP 2015 profile
ETAPS 2019 profile
ICSE 2019 profile
ISSTA 2017 profile
ISSTA 2020 profile
POPL 2016 profile
POPL 2017 profile
PPoPP 2016 profile
Registered user since Fri 9 Jun 2017
Name:
Daniel Kroening
Country:
United Kingdom
Affiliation:
University of Oxford
Contributions
ESEC/FSE 2022
Author of Neural Termination Analysis within the Research Papers-track
ISSTA 2020
Session Chair of STATIC ANALYSIS AND SEARCH-BASED TESTING (part of Technical Papers)
Committee Member in Program Committee within the Technical Papers-track
ICSE 2019
Author of DeepConcolic: Testing and Debugging Deep Neural Networks within the Demonstrations-track
Author of Structural Test Coverage Criteria for Deep Neural Networks within the Posters-track
ETAPS 2019
Author of JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) within the Posters-track
JPF 2018
Author of Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) within the JPF-track
ISSTA 2017
Author of Verifying Digital Systems with MATLAB within the Demonstrations-track
VMCAI 2017
Author of Independence Abstractions and Models of Concurrency within the VMCAI-track
PPoPP 2016
Author of The Virtues of Conflict: Analysing Modern Concurrency within the Main conference-track
POPL 2016
ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
VMCAI
Author of Automatic Generation of Propagation Complete SAT Encodings within the VMCAI-track
ESOP 2015
Author of Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs within the ESOP-track
Author of Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs within the ESOP-track
Share
x
Sun 26 Mar 11:44