• Sign in
  • Sign up
conf.researchr.org / Daniel Kroening
  • ESEC/FSE 2018 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
Daniel Kroening

Registered user since Fri 9 Jun 2017

Name: Daniel Kroening

Affiliation: University of Oxford

Contributions

ISSTA 2020Committee Member in Program Committee within the Technical Papers-track
JPF 2018Author of Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) within the JPF-track
ETAPS 2019Author of JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) within the Posters-track
ICSE 2019Author 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
VMCAI 2017Author of Independence Abstractions and Models of Concurrency within the VMCAI-track
ISSTA 2017Author of Verifying Digital Systems with MATLAB within the Demonstrations-track
VMCAIAuthor of Automatic Generation of Propagation Complete SAT Encodings within the VMCAI-track
POPL 2016ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
PPoPP 2016Author of The Virtues of Conflict: Analysing Modern Concurrency within the Main conference-track
ESOP 2015Author 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
xThu 12 Dec 02:22
using conf.researchr.org (v1.21.5)
Support page
Sign Up