Chengyu Zhang

@chengyuzh

Third-year PhD student@ECNU, focusing on Software Testing, Symbolic Execution, Program Analysis.

Zurich, Switzerland
chengyuzhang.com
Vrijeme pridruživanja: srpanj 2018.
0 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @chengyuzh

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

  1. 27. sij

    Maunel's DB testing work is very impressive! I am looking forward to reading the papers.

    Thrilled to see that our fuzzing efforts are now also described at .
    2 korisnika označavaju da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    14. sij

    We propose Pivoted Query Synthesis (PQS), a new approach for finding logic bugs in DBMS (see ). Using PQS, we found ~100 previously unknown (and many critical) bugs in widely-used DBMS (e.g., SQLite3, MySQL, and PostgreSQL). Work with .

    71 proslijeđeni tweet 174 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    9. pro 2019.

    This article reminds in a way to "who guards the guards" by . A nice approach to find bugs in software model checkers

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    11. pro 2019.

    Our paper "Structure-Invariant Testing for Machine Translation" was accepted by ! Work with Clara Meister and 🤠

    5 proslijeđenih tweetova 25 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    26. stu 2019.

    This year, cooperates with to provide an alternative, optional route to artifact creation based on online notebooks. Authors are expected to profit from an easier artifact creation process and wider visibility of their artifact.

    21 proslijeđeni tweet 34 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    18. stu 2019.

    Glad that our paper "Experience report: System log analysis for anomaly detection" is selected as one of the most influential papers by ISSRE! The project is maintained at

    Highlights from 30 years of ISSRE
    7 proslijeđenih tweetova 16 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    18. stu 2019.

    We're thrilled that our post-doc Ting Su () was selected for an Spark grant () to support research on automated functional testing of mobile apps! Congrats Ting, & look forward to great, impactful research out of this work!

    8 proslijeđenih tweetova 20 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    15. stu 2019.

    Daming Zou () had a productive visit to our lab in 2018-19; we're happy his very nice work on detecting large FP errors will appear at POPL (). Paper at & tool at . Congrats, Daming & co-authors from PKU, ITU, ETH!

    1 reply 9 proslijeđenih tweetova 17 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    20. lis 2019.

    Happy to share upcoming OOPSLA paper on a general, practical approach to detecting payment bugs in smart contracts: . Very nice work by Shuai Wang & Chengyu Zhang ! Please attend Shuai's talk in Athens next Friday, Oct 25th @ 11am.

    9 proslijeđenih tweetova 28 korisnika označava da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    9. ruj 2019.

    We were very fortunate that Daming Zou from Peking University visited our lab for one year. He is not only a great researcher, but also did a good job at playing golf at our group retreat.

    4 proslijeđena tweeta 14 korisnika označava da im se sviđa
    Poništi
  11. 31. kol 2019.

    Nice work with nice paper and slides!

    The presentation slides for our paper on "Understanding GCC Builtins to Develop Better Tools", which I presented at today, are now online.
    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    31. kol 2019.

    's talk slides: , paper: , list of bugs: . Happy that Seahorn & CBMC have incorporated our tests! Also a shout-out to the community's continued, strong effort in improving software model checkers!

    . is presenting his work on testing software model checkers at . They found over 60 bugs with their approach!
    1 reply 5 proslijeđenih tweetova 7 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. 31. kol 2019.

    Thanks, Manuel! Nice photo!

    . is presenting his work on testing software model checkers at . They found over 60 bugs with their approach!
    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    26. kol 2019.

    We have another exciting line-up of speakers for this year's ETH Workshop on Dependable and Secure Software Systems on October 18-19, 2019. Check it out at , and see you in Zurich in October!

    11 proslijeđenih tweetova 21 korisnik označava da mu se sviđa
    Poništi
  15. proslijedio/la je Tweet
    1. kol 2019.

    Read about our move to GitHub and be prepared!

    37 proslijeđenih tweetova 90 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    12. srp 2019.

    Shashij Gupta, an undergraduate student from the Indian Institute of Technology, Bombay did some excellent research during his internship at our lab. Today was his last day with us. We wish him all the best!

    1 reply 6 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    3. srp 2019.

    A preprint of our paper "Understanding GCC Builtins to Develop Better Tools" is now online at . We took care to make the results replicable; check out the repository at . Work with , Bram Adams, and .

    36 proslijeđenih tweetova 99 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    3. srp 2019.

    Preprint of upcoming ESEC/FSE 2019 paper on "Finding and Understanding Bugs in Software Model Checkers" at and the 62 reported bugs in CPAChecker, Seahorn and CBMC at . Nice work by Chengyu Zhang, Ting Su, Yichen Yan & Fuyuan Zhang!

    13 proslijeđenih tweetova 37 korisnika označava da im se sviđa
    Poništi

@chengyuzh još nije objavio nijedan Tweet.

Č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:

    ·