Ankush Desai

@ankushpd

Scientist@AWS, PhD@UCBerkeley, PL Enthusiast, Formal Methods.

Vrijeme pridruživanja: rujan 2015.

Tweetovi

Blokirali ste korisnika/cu @ankushpd

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

  1. proslijedio/la je Tweet

    Congratulations to Microsoft Research's Nachi Nagappan for receiving 's 2020 Harlan D. Mills Award! He was recognized for his outstanding contributions to empirical software engineering and data-driven software development:

    Poništi
  2. proslijedio/la je Tweet
    28. sij

    This is shocking. Laptop of student who committed suicide at U Florida contains full details of all reviewers of his ISCA 19 submission (which he alleges has academic misconduct). Reviewer info is normally hidden from authors. Other confidential submissions also found on laptop.

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet

    Advanced Dad Skills

    Poništi
  4. proslijedio/la je Tweet
    23. pro 2019.
    Poništi
  5. proslijedio/la je Tweet
    20. pro 2019.

    for academics on admissions committees—thousands of student applicants from India likely just lost access to application portals. I’m hearing that certain regions have lost all cell service as well

    Poništi
  6. 2. pro 2019.

    Congratulations , , and the amazing team.

    Prikaži ovu nit
    Poništi
  7. 2. pro 2019.
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet

    Use the new AWS IAM Access Analyzer to monitor & analyze resource policies to identify publicly or cross-account accessible AWS resources.

    Use the new AWS IAM Access Analyzer to monitor & analyze resource policies to identify publicly or cross-account accessible AWS resources.
    Poništi
  9. proslijedio/la je Tweet
    29. stu 2019.

    Just invented this new game called Shenga.

    Poništi
  10. proslijedio/la je Tweet
    27. stu 2019.

    FSE/CACM Rebuttal^2: Correcting "A Large Scale Study of Programming Languages and Code Quality in GitHub" --> "This article is a rebuttal to that rebuttal." with Petr Maj, and

    Poništi
  11. proslijedio/la je Tweet
    26. stu 2019.
    Poništi
  12. proslijedio/la je Tweet

    December could be the most depressing month, especially, if you are an international PhD student. The cold, the early sunsets, the empty roads, the closed shops; you're near to celebrations and yet very far from the warmth it brings...

    Poništi
  13. proslijedio/la je Tweet
    19. stu 2019.

    Happy to announce our rebuttal of Berger et al., TOPLAS 2019 paper, available on Medium . Full, gory details are on ArXiv . Tl;dr: our results hold, they reproduced them, their study has many issues.

    Poništi
  14. proslijedio/la je Tweet
    13. stu 2019.

    "Beware of any tool that says something like, 'Zero defects found, your program is now secure.' The appropriate output is, 'Sorry, couldn't find any more bugs.'" -- Gary McGraw

    Poništi
  15. proslijedio/la je Tweet
    11. stu 2019.

    In the Bay Area for a few days, talks at Google (today) and Amazon (tomorrow), then attending GitHub Universe for the rest of the week!

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    7. stu 2019.

    The list of software failures especially with the design of the e-stop system is baffling! As is usual in such systems, a sequence of failures not a single point caused the accident. The report is a must read!

    Poništi
  17. proslijedio/la je Tweet
    6. stu 2019.

    Happy to answer questions about PhDness for folks interested/contemplating applying. Reply or DMs open. RT for reach plz 🤗

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet
    4. stu 2019.

    Today in cool (& scary) tech news: Hackers can take over Alexa, Google Home, & Siri using a laser pointer, even from outside a house & colleagues uncovered this attack, and showed how it can open someone's garage doors and household locks

    Poništi
  19. proslijedio/la je Tweet
    21. svi 2019.

    Mission accomplished! All chapters of "Generating Software Test" (aka "The Fuzzing Book") are now out and complete - from lexical fuzzing over grammar-based and concolic testing to deep GUI fuzzing. You can run the Python code right within your browser!

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    31. lis 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    also I once agreed to read someone's POPL draft and I thought the PDF file had gotten corrupted and replaced all the text on pages 2-10 with greek letters

    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:

    ·