Cristian Cadar

@c_cadar

Vrijeme pridruživanja: veljača 2015.
31 fotografija ili videozapis Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @c_cadar

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

  1. Prikvačeni tweet
    2. ruj 2019.

    Recently promoted to full professor and awarded the BCS Roger Needham Award -- huge thanks to my fantastic group (past and present), mentors and collaborators for all the exciting research I've had the privilege to pursue together.

    4 proslijeđena tweeta 152 korisnika označavaju da im se sviđa
    Poništi
  2. 30. sij

    Back in London from Paris, where I gave a keynote at an interesting mtg on FM in security. Sad to realise this is perhaps the last time I cross the Channel without leaving the EU. But I hope UK academia will continue to be part in the same way of the wider European community.

    2 proslijeđena tweeta 26 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    16. sij
    Odgovor korisnicima

    I'll be presenting SaBRe to the FOSS community at February 2nd as part of the Miscellaneous main track. I also gave a short interview as a foretaste to the talk:

    1 reply 3 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    27. stu 2019.

    A school on programming language implementation (and design) in Italy, with travel grants, and limited seats: PLISS 2020...

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

    not my fault you wrote your experiment in C++

    0:14
    Scientist: carefully designs experiment Participant:
    5 proslijeđenih tweetova 56 korisnika označava da im se sviđa
    Poništi
  6. 23. stu 2019.

    Delighted to be giving a lecture there!

    PLISS 2020 (the third Programming Language Implementation Summer School) will be held in May next year, with great speakers and talks. You, or your students, can now register your interest in attending!
    Prikaži ovu nit
    4 proslijeđena tweeta 20 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    12. stu 2019.

    What a chance to work in the group! Today Peter O'Hearn gave us a talk about his next paper! It introduces incorrectness logic, which formalises testing as another fundamental way of reasoning about programs, calling to exploit logic even more in testing!

    3 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    2. stu 2019.

    Missed but wondering how much does compiler fuzzing matter? Then take a look at my talk on the Youtube channel! PS: Yes, I DO have a French accent, but scientific evidence shows it IS the sexiest in the world 😉

    So happy that our paper and artifact "Compiler Fuzzing: How Much Does It Matter?" have been accepted at . Can't wait to present them in Athens, meet the community and discover Greece! Preprint and infos at
    5 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
    Poništi
  9. 31. lis 2019.

    Some great advice from on achieving impact with your research

    Check out "How to Have Real-World Impact: Five Easy Pieces", post by me on and blogs
    Prikaži ovu nit
    1 reply 1 proslijeđeni tweet 12 korisnika označava da im se sviđa
    Poništi
  10. 30. lis 2019.

    Had a great time at , catching up with lots of people including former PhD colleagues ⁦⁦⁩ and ⁦⁩. Really proud to have received the ⁦⁩ Hall of Fame Award for the paper (with and Dawson).

    10 replies 12 proslijeđenih tweetova 88 korisnika označava da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    26. lis 2019.

    Different ways to fix bugs: (v/)

    186 proslijeđenih tweetova 454 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    10. lis 2019.

    Really great to see (a) authors making their fuzzing tools open-source and (b) independent researchers trying to re-validate the results/conclusions. Unsurprising that magic bytes were a big part of success on LAVA-M... 1/n

    When Results Are All That Matters: The Case of the Angora Fuzzer
    What is it that makes modern fuzzers successful? (Hint: It might not be what you think, and this raises questions.)
    Prikaži ovu nit
    1 reply 11 proslijeđenih tweetova 34 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. 3. lis 2019.

    And here's the poster with the seminar organizers (Abhik, and myself) behind it ;)

    2 proslijeđena tweeta 10 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. 3. lis 2019.

    Thanks, , for this great poster! And to everyone at the meeting for the excellent discussions and talks!

    Practicing my art skills on the visual representation of the Shonan Meeting on Fuzzing & Symbolic Execution. Fuzzers hanging out in a foo(x,y) execution tree full of bugs :)
    Prikaži ovu nit
    1 reply 2 proslijeđena tweeta 16 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. 2. lis 2019.

    Thanks, ! You can find a short 10-minute talk I gave at Shonan here: Joint work with , Oren Ish-Shalom, , and

    I love this from – using symbolic exec to replace gnarly pointer-based string manipulation (left) with calls to standard string functions (right). Helps speed up symbolic execution, and the patches can be sent to devs to make code clearer!
    4 proslijeđena tweeta 16 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    18. ruj 2019.

    The Fast-impact track is open! These papers benefit from an upper-bounded review time of 90days for the first review and 45days for the subsequent review, if the authors will revise the paper within 45days according to the request of the editor. Read more:

    3 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    23. ruj 2019.

    Industry Panel w/ (Trail of Bits), (Google), Patrice Godefroid (Microsoft), Yue Jia (Facebook), (Google). Chaired by (CISPA Helmholtz) and Paul Marinescu (Facebook).

    1 reply 3 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 23. ruj 2019.

    Attending the first day of the on fuzzing and symbolic execution I'm co-organizing with and Abhik Roychoudhury. Great discussions already on scalability challenges, benchmarking, test driver construction, educating developers about automated tools, and more.

    1 reply 4 proslijeđena tweeta 32 korisnika označavaju da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    7. ruj 2019.

    there may be reasons for this kind of response in isolated cases, but my take is that CS researchers who do this systematically are fundamentally unserious about advancing the field

    My student asked the authors of a *published* paper for a copy of their code — so that we can compare with ours and received the following reply. So much for reproducibility (or the lack of it thereof) in science.
    7 replies 34 proslijeđena tweeta 141 korisnik označava da mu se sviđa
    Poništi
  20. proslijedio/la je Tweet
    5. ruj 2019.

    So happy that our paper and artifact "Compiler Fuzzing: How Much Does It Matter?" have been accepted at . Can't wait to present them in Athens, meet the community and discover Greece! Preprint and infos at

    19 proslijeđenih tweetova 50 korisnika označava da im se sviđa
    Poništi
  21. 4. ruj 2019.

    My colleague and I have an open postdoc position to work on a couple of exciting projects at the intersection of SW testing and PL! Deadline: 13 Oct. Please get in touch if interested. FWDs/RTs to potential candidates appreciated!

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

@c_cadar 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:

    ·