Rezultati pretraživanja
  1. 18. srp 2019.

    The 2019 Dahl-Nygaard Senior Prize was awarded to the late Laurie Hendren. Since, sadly, Laurie is no longer with us, her husband Prakash Panangaden accepted it on her behalf as part of a tribute session to her life.

  2. 17. srp 2019.

    We had a great poster session at today. 33 posters and 13 demos! Thanks to all of the presenters!

  3. 21. srp 2018.

    Reproduction studies will be considered as scientific contributions at . Cool!

  4. 21. kol 2019.
  5. 13. kol 2018.

    The "Brave New Ideas" track at will host forward-looking articles that may take some time to substantiate, but for which early communication is likely to be of benefit.

  6. 18. srp 2019.

    Elisa presenting our paper "Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs" Work with R. Gurdeep Singh .

    Prikaži ovu nit
  7. 13. srp 2019.

    Giving a keynote at the ECOOP Doctoral Symposium in London next Friday. Any advice for new PhD students I should definitely talk about?

  8. 17. srp 2019.

    summer school. I see two students in the room.

  9. 17. srp 2019.
  10. 23. srp 2019.

    As a follow-up for DS talk: There is software/services out there to help you: Jekyll , Hugo , VuePress , GitHub , Netlify . Get a website today!

    There is no excuse for not having a website (as an academic)
  11. 10. kol 2018.

    Do you have a programming Pearl to share? has a track for that! Check it out at

  12. 8. kol 2018.

    There's also going to be an "Experience Reports" track at for work which focuses on "noteworthy applications of known PL techniques, tools and ideas in interesting domains and by other communities". Check it out at

  13. 17. srp 2019.
  14. 19. srp 2019.

    talks about scalability of static program analysis in real world C++ programs in doctoral symposium

  15. 18. srp 2019.

    Congratulations to Kresten Krab Thorup and Mads Torgersen who were awarded the Test of Time Award at !

  16. 17. srp 2019.

    At ? Check out PhD student talk about our work on modeling and verifying Android event-driven protocols at 10:30am today.

  17. 19. srp 2019.

    presents his research at the Doctoral Symposium

  18. 10. tra 2019.

    The submission deadline for the artifact evaluation is approaching quickly! Submit your artifacts at if you have not done so yet.

  19. 14. srp 2019.

    On the road for the context-oriented programming workshop

  20. 17. srp 2019.

    After two talks in the morning, we also have two posters at the poster session today from 18:00 to 19:30 at Mancy. 😀 Matthias will present his work about type-safe programming with SafeP4 and Pascal will explain to you how to develop distributed systems with ScalaLoci.

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