Nadia Polikarpova

@polikarn

Assistant prof . Building tools for program verification and synthesis.

Vrijeme pridruživanja: siječanj 2015.

Tweetovi

Blokirali ste korisnika/cu @polikarn

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

  1. 31. sij

    It's official! Just got a award to work on type-driven program synthesis! Stay tuned for new ways to magically turn types into programs :) Thanks and the anonymous reviewers!

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

    We still have open positions, let me know if you are looking for an internship in Program Synthesis this summer! Preferred: experience with deep learning, NLP, and search. Current (or accepted) PhD enrollment required.

    Poništi
  3. 25. sij

    And congrats to on his first conference talk! He did an outstanding job! If you're curious, our paper is here:

    Prikaži ovu nit
    Poništi
  4. 25. sij

    My crew 2020: , , , Ziteng, Shivani + and Darya in the front. So excited to have the opportunity to bring fresh brilliant minds into the community!

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

    Then at 11:45, Zheng Guo who should get on twitter will present the very cool synthesis project I started working on since joining UCSD with , , , and

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

    it's hard to properly express right now, but the women@popl dinner was incredible, inspiring, and so encouraging. huge thanks to Kathleen Fisher for her wonderful talk, Anabel for organizing, and all the wonderful women in PL for being a constant source of support & inspiration!!

    Poništi
  7. proslijedio/la je Tweet
    16. sij

    Funny that when you type “man” into your terminal, you get things explained to you Really makes u think 🤔🤔🤔

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

    One of my 2020 resolutions (along with drinking water throughout the day) was to finally start posting in our blog. First one here for everybody wondering what it is we've been up to!

    Poništi
  9. 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.

    Prikaži ovu nit
    Poništi
  10. 26. pro 2019.

    Went on a coding spree this winter break and rediscovered this simple truth: FRESH VARIABLES ARE THE ROOT OF ALL EVIL in programming languages

    Poništi
  11. proslijedio/la je Tweet
    24. pro 2019.

    Our paper on fast and robust synthesis of imperative programs with Read-Only Borrows, with , and , will appear at ESOP'20! Check our new shiny framework ROBoSuSLik: Draft paper is available online:

    Poništi
  12. 16. pro 2019.

    I definitely have experienced this with my collaborators, but collaborators change and they are often on the other side of the world. A band would be a whole new level!

    Prikaži ovu nit
    Poništi
  13. 16. pro 2019.

    I just watched "Bohemian Rhapsody", and one moment resonated with me: when Freddy reflects on his solo experience and explains that the music was crap because the musicians did exactly what he asked them to. And it's the disagreements in the band that make Queen's music great.

    Prikaži ovu nit
    Poništi
  14. 16. pro 2019.

    Why don't we have research bands? I want to be in a research band. We would drop singles (POPL/PLDI papers), B-sides (appendices with meta-theory), and albums (long series of follow-up work, only for devoted fans)

    Prikaži ovu nit
    Poništi
  15. 11. pro 2019.

    Ugh, I realize now I should have posted both links in one tweet. So let me leave the first one here:

    Prikaži ovu nit
    Poništi
  16. 11. pro 2019.

    It's that time of the year again, when UCSD CSE faculty go crazy for a week :)

    Prikaži ovu nit
    Poništi
  17. 31. lis 2019.

    Better late than never: so excited to have join my group as a postdoc! Can't wait for her to teach me how to make program synthesis work for actual, live humans!

    Poništi
  18. proslijedio/la je Tweet
    29. srp 2019.

    We are recruiting heroes to participate in a study of the development processes of proof engineers in Coq. This study will help inform the design of future proof automation tooling. More information is in the video description. Please spread the word!

    Prikaži ovu nit
    Poništi
  19. 9. srp 2019.

    You know you're reviewing for a European FM conference when a third of all papers are about train scheduling

    Poništi
  20. proslijedio/la je Tweet
    2. srp 2019.

    Academics everywhere, let’s try to remember that your worth as a person doesn’t depend on your success in research.

    Prikaži ovu nit
    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:

    ·