Michael Hicks

@michael_w_hicks

Professor in Computer Science with interests in programming languages and security, blogging at

University of Maryland
Vrijeme pridruživanja: kolovoz 2013.

Tweetovi

Blokirali ste korisnika/cu @michael_w_hicks

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

  1. 2. velj

    This is not just some prose shallowly recounting the panel or video. has thought deeply about the past 15 years. Very insightful.

    Poništi
  2. proslijedio/la je Tweet
    31. sij
    Poništi
  3. 31. sij

    Excited, and a little nervous: Playing a 4-v-4 Ultimate tourney this weekend. Hoping to play well, have fun, and not get injured (in reverse order)!

    Poništi
  4. 29. sij

    And: and helped organize the event.

    Prikaži ovu nit
    Poništi
  5. 29. sij

    Panelists: Brigitte Pientka, Scott Owens, Xavier Leroy, , Peter Sewell, and Benjamin Pierce. (I was the moderator.)

    Prikaži ovu nit
    Poništi
  6. 29. sij

    The quest to mechanize proofs of programming language properties was spurred by the POPLmark Challenge, 15 years back. considers where we are now while recapping the distinguished panel she organized to discuss POPLmark's impact.

    Prikaži ovu nit
    Poništi
  7. 29. sij

    Superposition IV , an established, all-female hackathon in the Bay Area, is happening at the end of February. Interested? The application is on-line:

    Poništi
  8. 28. sij

    MC2 is hiring! Join a fantastic group of faculty in CS, ECE, and InfoSci doing work across the computer security spectrum. Open positions at all levels.

    Poništi
  9. proslijedio/la je Tweet
    28. sij
    Poništi
  10. 26. sij

    This POPL was both fun and highly productive for me. Thanks for the great conversations, interesting talks, and helpful ideas and advice!

    Poništi
  11. proslijedio/la je Tweet
    25. sij

    I think the fact that in France, it's OK to do applied work as long as it is theoretically interesting, and in the US, it's OK to do theory as long as it has practical applications, kind of captures the difference between "Euro PL" and "American PL"

    Poništi
  12. 24. sij

    Stack overflow muses about why is it’s most loved language, four years running.

    Poništi
  13. 23. sij

    Great talk at by about our work on probabilistically oblivious computation!

    Poništi
  14. 22. sij
    Poništi
  15. 22. sij

    As a general trend, I find that panels are often disappointing. This one was different IMO. Talia made sure we were well prepared and the panelists and audience members were excellent.

    Poništi
  16. 20. sij

    Is programming "safe" from AI? No, and yes, says on today's PL Perspectives post.

    Poništi
  17. 20. sij

    Today: reflecting on the 15 years since the POPLmark proof mechanization challenge was thrown down.

    Poništi
  18. proslijedio/la je Tweet
    20. sij

    PLanQC was a huge success! Thanks to everyone who organized, refereed, presented and attended!

    Poništi
  19. 20. sij

    Really happy with how PLanQC came together. Have a look at the talks and see for yourself.

    Poništi
  20. proslijedio/la je Tweet
    19. sij

    I need more votes so we can convince ACM to make a change!

    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:

    ·