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

  6. 22. sij

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

  7. 27. pro 2019.

    Alex Kavvos previewing his work on reccurence extraction at the NTUA PL-seminar!

  8. 16. pro 2019.

    Please to share that my paper on kind inference to appear at , written with Ningning Xie () and , received a Distinguished Paper award from .

    Prikaži ovu nit
  9. 14. sij

    Wonderful trip to Florida with my dad! A few days at home, and then back down south for

  10. 9. stu 2019.

    Delighted that our work on "Augmented Example-based Synthesis using Relational Perturbation Properties", with Shengwei An, and Sasa Misailovic will appear in !

    Prikaži ovu nit
  11. 16. ruj 2019.

    Submit to the Student Research Competition! Info @ Abstract deadline: 2019-11-15

  12. 10. srp 2019.

    What are your favorite paper space-saving hacks? Asking for a friend

  13. 19. sij
    A golden brown boule is slashed in a 3x3 configuration.
  14. . 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:

  15. 1. velj

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

  16. 27. sij

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

    Prikaži ovu nit
  17. 26. sij

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

  18. 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!

  19. 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!

  20. 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 !

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