Youcheng Sun (孙有程)


Email:

Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford Ox1 3QD



I am a researcher at the Department of Computer Science, University of Oxford. I received my PhD from ReTiS lab, Scuola Superiore Sant'Anna I am interested in real-time scheduling, model checking and software testing. I am currently working on the safety certification of trustworthy deep learning systems. More details can be found in the report "Testing Deep Neural Networks".


News

Grants
    • Defence Science Technology Laboratory (Dstl) project on "Test Coverage Metrics for Artificial Intelligence"  (May 2018 ~ April 2019).

    Research Projects

    Latest Talks
    • 8th November 2017: Functional Requirements-Based Automated Testing for Avionics  (ICECCS, Fukuoka)
    • 17th October 2017Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks  (EMSOFT, Seoul)
    • All my talks

    Latest Publications

    Software
    • DeepConcolic(Python, main developer)
      The first concolic testing tool for deep learning applications.
    • CBMC (C++, developer)
      C Bounder Model Checker. 
    • WSA (C++, main developer)
      Weakly-hard Schedulability Analyzer. 
    • FORTS (C++, main developer)
      A model checker specialized for real-time scheduling problems.
    • RTSCAN (C++, developer)
      A set of libraries and programs for performing schedulability analysis of real-time systems.
    • RETIMI (Python, developer)
      An easy way to generate automata models for real-time scheduling problems.
    • OXC-Sched (Linux kernel hacking, main developer)
      A multiprocessor real-time 
      bandwidth control framework in Linux. 

    Misc