Manu Sridharan

@rakingleaves

Working on research in programming languages and software engineering

Riverside, CA
Vrijeme pridruživanja: veljača 2009.

Tweetovi

Blokirali ste korisnika/cu @rakingleaves

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

  1. Prikvačeni tweet
    14. lis 2019.

    I am actively recruiting PhD students to join my group at UC Riverside! Check out for more details on my work. Also see this recent talk: DMs are open and also happy to answer questions via email. RTs appreciated!

    Poništi
  2. prije 3 sata

    This really resonated given our experience with NullAway. It’s worth paying attention to even for research tools

    Poništi
  3. proslijedio/la je Tweet

    Distinguished Lecture Series: Koushik Sen from is giving a lecture titled "Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond" at on Fri. Jan 31 at 11:00 am at Bourns A125

    Poništi
  4. proslijedio/la je Tweet

    This is an outrage. At least 16 students have been turned away since Aug despite valid visas. They've gone through grueling vetting to get a visa to pursue a PhD, only to be detained, humiliated, demeaned. Will Congress hold CBP accountable?

    Poništi
  5. proslijedio/la je Tweet
    21. sij

    Wrote a short, non-technical post about butterfly effects and career growth.

    Prikaži ovu nit
    Poništi
  6. 21. sij
    Poništi
  7. proslijedio/la je Tweet
    18. sij

    ACM is thinking about how citations should appear in computer science papers. Current citations use author-year format. Some find it verbose. Prev poll had vote splitting—let's try ranking options instead: (RT if you care about this issue)

    Poništi
  8. proslijedio/la je Tweet
    18. sij

    Reminder that I keep a list of free CS-related textbooks shared openly by their authors (recently added more ML and computational linguistics books) Suggestions welcome.

    Poništi
  9. proslijedio/la je Tweet
    17. sij

    PhD students: Want to work on static analysis and formal verification at scale? Apply to be an Applied Scientist Intern with us in Prime Video Automated Reasoning!

    Poništi
  10. 17. sij

    Wow, had no idea there is a PC Museum right in Claremont! Must visit soon

    Poništi
  11. proslijedio/la je Tweet
    15. sij
    Poništi
  12. proslijedio/la je Tweet
    9. sij

    Announcing Scalene: A high-performance, high-precision CPU and memory profiler for Python. Virtually zero overhead line-granularity profiling. , pip install scalene

    Prikaži ovu nit
    Poništi
  13. 8. sij
    Poništi
  14. proslijedio/la je Tweet
    7. sij

    1/ Today we’re starting the final push to pass - legalizing apartments & affordable housing near jobs & transit - in the Senate by end of January. We’re announcing new amendments & endorsements from community orgs, elected officials & labor unions.

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    5. sij

    Join me! ACM members, sign a petition supporting open access, asking to withdraw signature from anti-OA letter and make OA available at cost. OA is good for science, and good for ACM!

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

    This letter is not a good look. I am disappointed to see as a signatory. I'm not saying that publishers add no value, but "Americans need to lock up their science so the rest of the world can't benefit" is not the right argument.

    Prikaži ovu nit
    Poništi
  17. 5. pro 2019.

    This looks really cool! And it's based on some work I was involved in at IBM and Samsung. Congrats on the launch !

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

    A thread on 1st-party vs. 3rd-party cookies, and how tracking companies are actively trying to undermine users' privacy preferences. First, some basics (this is simplified): A cookie is a key/value pair (a variable) that allows websites to save data in users' web browsers. 1/

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

    U of Colorado Boulder is hiring tenure-track faculty in trustworthy software! Apply by Dec 1. Help us get the word out!

    Poništi
  20. proslijedio/la je Tweet
    25. stu 2019.

    Open PhD, postdoc, and intern positions in my group for the RustBelt and Iris projects! Application deadline: December 31, 2019.

    Poništi
  21. 17. stu 2019.

    Very excited to see talks from and the other great speakers

    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:

    ·