Manuel Rigger

@RiggerManuel

Postdoc @ ETH Zurich working on the intersection of programming language implementation, security, and software engineering.

Switzerland
manuelrigger.at
Vrijeme pridruživanja: studeni 2015.
61 fotografija ili videozapis Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @RiggerManuel

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

  1. Prikvačeni 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
  2. proslijedio/la je Tweet
    4. velj

    The deadline for PLISS registration is Feb 28th, so if you, or someone you know, is a PhD/postdoc and wants to learn from some of the greats in a relaxed setting, then now is the time to register!

    4 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    30. sij

    PhD/graduate and undergraduate students: our student research competition is a great opportunity to get feedback from experts and a chance to win $500! Submit your 2-page extended abstract by Feb 10 AoE. contributes $500 to your travel expenses!

    1 reply 20 proslijeđenih tweetova 12 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. 29. sij

    Find the mistake. Hint: the first author's surname is Houkjær. cc

    3 proslijeđena tweeta 24 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    28. sij

    Heya 👋 Want to get research experience at CMU? If you're interested in PL, distributed systems, software engineering, etc we have a program that pays you to come learn to do research with us over the summer! Happy to answer Qs about it! RTs welcome🤗

    5 replies 82 proslijeđena tweeta 107 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    28. sij

    I am impressed by testing approach, breadth, methodology and investment: It's very important that there are OSS projects that set such examples. There is always something to improve, but I think nobody will object that that's good level of testing

    19 proslijeđenih tweetova 115 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. 27. sij

    Thrilled to see that our fuzzing efforts are now also described at .

    22 proslijeđena tweeta 137 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    16. sij

    Looking to do a PhD in computer science, and possibly in programming languages? is a great place. Next application deadlines is coming very soon (31st of January). But there’s another one in March/April. Get in contact if you’re interested!

    16 proslijeđenih tweetova 22 korisnika označavaju da im se sviđa
    Poništi
  9. 14. sij

    I also want to highlight the great work done by the DBMS developers. The SQLite developers in particular fixed bugs very quickly, which is why we focused on testing SQLite.

    11 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 14. sij

    To our knowledge, this is the largest and most successful testing campaign against such production DBMS ( lists all PQS bugs). Stay tuned for more work on testing DBMS. For example, our ongoing work has found an additional 100+ bugs via another new approach

    9 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. 14. sij

    PQS effectively tackles both test query and oracle generation. Its core idea is to choose a randomly-selected "pivot row" and generate a query whose result set must contain the pivot row. If the result set returned by the DBMS fails to fetch the pivot row, a bug is found.

    1 reply 5 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    14. sij

    We’re also incredibly excited about 2020 coming up and Nextjournal being an official way for applicants to submit their artifacts as runnable notebooks: Thanks for you support on that

    1 reply 2 proslijeđena tweeta 6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    10. sij

    new blog post: Testing Dataflow Analyses for Precision and Soundness summarizes a new paper lead by

    17 proslijeđenih tweetova 63 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    9. sij

    The first submissions for are coming in and they look great! Keep them coming! The deadline is tomorrow, 10 Jan 2020 AoE.

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

    During these nightmarish days, decides to fix everything by closing my account for being Iranian. Honestly it almost made me laugh. This will be great for my undergrad class, where students have to deliver everything on github.

    40 replies 378 proslijeđenih tweetova 468 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    20. pro 2019.

    Example for a better model: () is OA & free of charge to authors. A lot of work went into building this, IMHO a more sustainable model than reviewing for free for publishers that stab us in the back with letters like this.

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    20. pro 2019.

    It’s an understatement to say just how distinctly disappointing it is to see as a signatory to this despicable letter. We at will be discussing this at our executive council meeting in a few weeks.

    many of our biggest (academic) publishing venues have signed a letter opposing open access. Pretty amazing to read this: (is there any defense of this letter? there is not right?)
    Prikaži ovu nit
    71 proslijeđeni tweet 244 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    17. pro 2019.

    I am looking for Ph.D. students (), RAs, and Postdocs to join my systems security research group at SUSTech , Shenzhen, China.

    7 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    16. pro 2019.

    First it took me forever to get a website (), and now I have a twitter account as well!

    1 reply 5 proslijeđenih tweetova 25 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    16. pro 2019.

    The ECOOP Doctoral Symposium welcomes both late and early-stage PhD students, this year! The first-round deadline is April 12. Write down the date and join us with your awesome PL research in Berlin!

    16 proslijeđenih tweetova 21 korisnik označava da mu se sviđa
    Poništi

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

    ·