Daniel Kroening

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