All Stories

  1. CF-GKAT: Efficient Validation of Control-Flow Transformations

    Article • Proceedings of the ACM on Programming Languages, January 2025, ACM (Association for Computing Machinery)

    Cheng Zhang, Nico Naus

  2. Poster: Formally Verified Binary Lifting to P-Code

    Article • December 2024, ACM (Association for Computing Machinery)

    Nico Naus

  3. Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly

    Article • December 2024, ACM (Association for Computing Machinery)

    Nico Naus

  4. Dynamic TopHat: Start and Stop Tasks at Runtime

    Article • August 2023, ACM (Association for Computing Machinery)

    Nico Naus

  5. End-user feedback in multi-user workflow systems

    Article • September 2020, ACM (Association for Computing Machinery)

    Johan Jeuring, Nico Naus

  6. Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution

    Article • January 2020, Springer Science + Business Media

    Nico Naus

  7. TopHat

    Article • October 2019, ACM (Association for Computing Machinery)

    Nico Naus

  8. A symbolic execution semantics for TopHat

    Article • September 2019, ACM (Association for Computing Machinery)

    Nico Naus

  9. Dynamic Flow Analysis for JavaScript

    Article • January 2019, Springer Science + Business Media

    Nico Naus

  10. Building a Generic Feedback System for Rule-Based Problems

    Article • January 2019, Springer Science + Business Media

    Nico Naus

  11. Use expert knowledge instead of data

    Article • June 2018, ACM (Association for Computing Machinery)

    Nico Naus