Julian Büning

@julianbuening

PhD student @ RWTH Aachen University. Program Analysis and Symbolic Execution.

Vrijeme pridruživanja: travanj 2018.

Tweetovi

Blokirali ste korisnika/cu @julianbuening

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @julianbuening

  1. proslijedio/la je Tweet
    19. ožu 2019.

    Excited to announce KLEE 2.0! Includes better C++ support, compatibility w/ recent LLVM, integration of CVC4/Yices2, improved path merging and much more! Big thanks to my co-maintainers for 2.0, , & and the 20+ contributors!

    Poništi
  2. proslijedio/la je Tweet
    17. lis 2018.

    KLEE is now 1000 issues & PRs old!

    Poništi
  3. proslijedio/la je Tweet
    5. lis 2018.
    Poništi
  4. 22. srp 2018.

    Took me hours to debug: 3.5 renamed use_begin() to user_begin() and reintroduced it with other semantics; old code does still compile

    Poništi
  5. proslijedio/la je Tweet
    5. lip 2018.

    Just received an exciting e-mail from : "As CAV recently signed an Open Access agreement with Springer (meaning that CAV proceedings will be available free of charge), the authors need to fill and sign the Springer copyright form for open access."

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    20. tra 2018.

    I really enjoyed attending the first ever path explosion support group meeting also! Highly recommend 😉

    Tweet je nedostupan.
    Poništi
  7. proslijedio/la je Tweet
    22. svi 2018.

    All the slides that we received from the KLEE'18 workshop presenters, including most keynotes, are now online at

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·