Nate Yazdani

@nate_yazdani

PhD student , previously BS/MS student . I like programming languages and formal methods, though they don't always like me back.

Boston, MA
Vrijeme pridruživanja: prosinac 2015.

Tweetovi

Blokirali ste korisnika/cu @nate_yazdani

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

  1. proslijedio/la je Tweet
    20. sij

    Reminder to come to this awesome POPLmark retrospective panel on Tuesday! See you there!

    Poništi
  2. proslijedio/la je Tweet
    6. ruj 2019.

    PUMPKIN PATCH v0.1.0: Ornamental PUMPKIN is now released! It includes all of the original PUMPKIN PATCH functionality, plus everything from DEVOID, all conveniently packaged into a single plugin suite.

    Poništi
  3. proslijedio/la je Tweet
    1. lip 2019.

    My paper "Ornaments for Proof Reuse in Coq" with , John Leo, and Dan Grossman will appear at ITP 2019. Preprint coming this month.

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

    The Verification Mentoring Workshop 2019 (co-located with CAV 2019 in New York City, USA) call for scholarship applications is now live! Deadline April 30! VMW 2019 webpage: Apply here: RETWEET LIBERALLY!

    Prikaži ovu nit
    Poništi
  5. 24. tra 2019.

    I’m officially joining as a PhD student, with Amal Ahmed as my advisor! So excited 😁 (Yes, my “announcement” is over a week after the fact... I’m bad at Twitter.)

    Poništi
  6. 7. velj 2019.

    I interned for Aleks one summer, and he's an awesome mentor -- highly recommend applying if you're interested!

    Poništi
  7. proslijedio/la je Tweet

    The SNAPL 2019 Web site is now live, including the CFP! Dates are being finalized but it will soon be all ready. Please take a look and prepare to submit! [Please reshare — being an independent conference, we have no other PR mechanism. Thanks!]

    Poništi
  8. proslijedio/la je Tweet
    9. kol 2018.

    As promised, a new blog post about Intersection Types, Sub-formula Property, and the Functional Character of the Lambda Calculus!

    Poništi
  9. 7. sij 2018.

    Just checked into my hotel for !

    Poništi
  10. proslijedio/la je Tweet
    17. stu 2017.

    Preprint for "Adapting Proof Automation to Adapt Proofs" to appear at CPP 2018:

    Poništi
  11. 28. srp 2017.

    Me, during : Idk why ppl think binding is so hard. Me, looking at my old code: Man, I must've spent days debugging substitution... oh

    Poništi
  12. proslijedio/la je Tweet
    1. svi 2017.

    Given a choice, cats will pick human companionship over toys, food and appealing smells

    Poništi
  13. proslijedio/la je Tweet
    21. tra 2017.

    here's 's, 's, and my short-ish paper on modularly verifying distributed systems!

    Poništi
  14. proslijedio/la je Tweet
    23. ožu 2017.

    ICYMI 2 students were recognized w/ honorable mentions by NSF GRFP Congrats & Martin Kellogg!

    Poništi
  15. 10. velj 2017.
    Poništi
  16. 29. sij 2017.

    Amazed by how quickly and strongly the community has rallied in support of those affected by today's events

    Poništi
  17. proslijedio/la je Tweet
    30. pro 2016.
    Poništi
  18. proslijedio/la je Tweet
    12. pro 2016.

    Congrats CSE's Christopher Mackie, & Sarah Yu - honored as outstanding researchers by !

    Poništi
  19. proslijedio/la je Tweet
    2. stu 2016.

    "Push-Button Verification of File Systems via Crash Refinement" wins best paper award at ! Congrats to Helgi, James, Emina, and Xi!

    Poništi
  20. proslijedio/la je Tweet
    21. lis 2016.

    Congrats and Melissa Medsker-Galloway! 2016-2017 recipients of the WA Research Foundation Fellowship!

    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:

    ·