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