PLUM Lab

@plumlab

Programming Languages at the University of Maryland

College Park, Maryland
ter.ps/plum
Vrijeme pridruživanja: siječanj 2014.
3 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @plumlab

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

  1. proslijedio/la je Tweet
    28. stu 2018.

    Periodic reminder that is hiring in PL this year.

    18 proslijeđenih tweetova 20 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    24. srp 2018.

    New paper: Constructive Galois Connections, w/ to appear in

    11 proslijeđenih tweetova 29 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    16. srp 2018.

    Thrilled to announce that in November I am starting as an assistant research professor at , Madrid!!! I am looking for PhD students and/or interns. Feel free to contact me if interested.

    25 replies 40 proslijeđenih tweetova 180 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    9. srp 2018.

    New paper: Gradual Liquid Type Inference with and Éric Tanter. To appear at OOPSLA 2018 (after final changes).

    19 proslijeđenih tweetova 93 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    11. srp 2018.

    . and former student Saurabh keeping on doing cool things!

    New project launched today: Synthetic Minds, YC Summer 2018. Hacker news discussion:
    3 proslijeđena tweeta 11 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    18. stu 2017.

    Do you have any questions/requests? Join our slack channel to express yourself:

    1 reply 14 proslijeđenih tweetova 29 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    1. pro 2017.

    New paper on how to do "type level computation" within SMT in liquid-

    39 proslijeđenih tweetova 91 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    27. stu 2017.

    Another jam from and

    A Language for Probabilistically Oblivious Computation. (arXiv:1711.09305v1 [cs.PL]) By David Darais, Chang Liu, Ian Sweet, and Michael Hicks.
    1 reply 5 proslijeđenih tweetova 9 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    27. stu 2017.

    New joint & jam on Refinement Types for Ruby, to appear at VMCAI (w/)

    Refinement Types for Ruby. (arXiv:1711.09281v1 [cs.PL]) By Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, and Emina Torlak.
    1 reply 4 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    28. stu 2017.

    We are hiring!

    1 reply 16 proslijeđenih tweetova 12 korisnika označava da im se sviđa
    Poništi
  11. 28. stu 2017.

    UMD CS () is aiming to hire *five* new faculty members this year. All areas (like PL!) will be considered for asst. prof. level. Apply and come work with a great group of folks!

    20 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    4. ruj 2017.

    Dr in his last ICFP talk as a member

    4 proslijeđena tweeta 19 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    8. svi 2017.

    . of presents on permissions at

    i
    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    23. lip 2017.

    Congratulations Dr. ! We know that and are so proud.

    Passed dissertation! Thankful for support of . Excited to be starting at ! New website here:
    1 reply 3 proslijeđena tweeta 24 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    8. ožu 2017.

    Congratulations to ! We know that you're going to be great!

    I will join University of Vermont as tenure-track Assistant Professor in Computer Science starting January '18. I'm looking for students!
    2 proslijeđena tweeta 9 korisnika označava da im se sviđa
    Poništi
  16. 8. ožu 2017.

    Our own is headed to the University of Vermont as a tenure-track professor!

    I will join University of Vermont as tenure-track Assistant Professor in Computer Science starting January '18. I'm looking for students!
    1 reply 5 proslijeđenih tweetova 17 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    8. ožu 2017.

    I will join University of Vermont as tenure-track Assistant Professor in Computer Science starting January '18. I'm looking for students!

    19 proslijeđenih tweetova 62 korisnika označavaju da im se sviđa
    Poništi
  18. 6. ožu 2017.

    Last week at PL Lunch, we discussed Fast Polyhedra Abstract Domain (POPL'17) by Singh, Püschel, & Vechev

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  19. 6. ožu 2017.

    PL Lunch is Wednesday: we're discussing Occurrence Typing Modulo Theories (PLDI'16) by , @Kempsiey, &

    5 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi

@plumlab još nije objavio nijedan Tweet.

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

    ·