Rezultati pretraživanja
  1. 16. sij

    Looking for semantics and verification postdocs (and research engineers) to make real systems less terrible: . Find me at if you're there, or email.

  2. 18. sij

    My students and I will present a hands-on tutorial "Building Program Reasoning Tools using LLVM and Z3" at on Monday Jan 20 during 9-12:30. All are welcome! Details at

  3. 22. sij

    Tune in to Martin's keynote talk "Can Programming Languages Research impact Deep Learning 2.0?" You can watch it live at

  4. 15. sij
  5. . has received two most influential paper awards for his work on program synthesis that he started at Microsoft 10 years ago. Congrats to Sumit & his collaborators! POPL 2010 paper: ICSE 2010 paper:

  6. 1. velj

    Finally got my US visa for one year! But is over now!

  7. 28. sij

    Last week the 6th annual Coq for Programming Languages workshop (CoqPL) took place as a part of in New Orleans. Thanks to the great work of the organizers full videos of all the talks are already available online

  8. 27. sij

    Did you present at or an affiliated event? Nice! 🎉 Please share your slides through the interface!

    Prikaži ovu nit
  9. 26. sij

    Dinner and with current and former students. was fun in !

  10. 26. sij

    How to mix static and dynamic in a principled way, with fewer false positives? Try our approach to "Gradual Program Analysis", presented by Sam Estep today at Workshop on Gradual Typing . Read the paper!

  11. 26. sij

    can transform , but we need ways to do it incrementally. gave awesome talk on our "Gradual Verification for Recursive Heap Data Structures" today at Workshop on Gradual Typing . Read the paper!

  12. 26. sij

    That's all, folks! is a wrap. Thanks to all who participated, and a hearty thank you to the organizers. See you in Denmark at !

  13. 25. sij
    wide angle shot of MSY
    Prikaži ovu nit
  14. 25. sij

    End of :what a great week! Highlights include tutorial and Ally Skills workshop w/ the amazing , fantastic talk by my student TKappe, dinners with , launch of SIGPLAN CARES, mentoring breakfasts, and many interactions w/ new people & old friends!

    Prikaži ovu nit
  15. 24. sij

    David Pichardie is proving that constantTime(prog) ==> constantTime(compile(prog)) at

  16. .: yall look like punks skipping class

  17. Stop by our table at this week to learn more about our research and open positions at Microsoft. You can find all our sessions and explore a list of our open source tools here:

    A group of POPL attendees speak with Microsoft researchers and recruiters at the Microosft booth.
  18. 22. sij

    has begun! If you aren't here with us in New Orleans, you can follow along online.

  19. 22. sij

    Thanks to all who attended and contributed thoughts and conversation to HASE 2020 and made it a great workshop! Now on to

  20. 19. sij
    A golden brown boule is slashed in a 3x3 configuration.

Č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.