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
2022
ESEC/FSE
Author of Neural Termination Analysis within the Research Papers-track
2020
ISSTA
Session Chair of STATIC ANALYSIS AND SEARCH-BASED TESTING (part of Technical Papers)
Committee Member in Program Committee within the Technical Papers-track
2019
ICSE
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
Author of JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) within the Posters-track
2018
JPF
Author of Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) within the JPF-track
2017
ISSTA
Author of Verifying Digital Systems with MATLAB within the Demonstrations-track
VMCAI
Author of Independence Abstractions and Models of Concurrency within the VMCAI-track
2016
Principles and Practice of Parallel Programming
Author of The Virtues of Conflict: Analysing Modern Concurrency within the Main conference-track
POPL
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
2015
ESOP
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
Thu 21 Nov 13:09