James Bornholt

@siderealed

professor & researcher in programming languages + formal methods; formerly

Seattle, WA
Vrijeme pridruživanja: ožujak 2007.

Tweetovi

Blokirali ste korisnika/cu @siderealed

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

  1. Prikvačeni tweet
    11. srp 2019.

    ❗️ i am *super stoked* to be joining as an assistant professor in 2020! Austin is a truly kickass place to do work in programming languages/formal methods/systems/architecture and i’m thrilled to be part of it 😄

    Poništi
  2. 26. stu 2019.

    today on the programming languages blog: a program

    Poništi
  3. proslijedio/la je Tweet
    23. stu 2019.

    Tech report on building security monitors on and experience with using HiFive Unleashed via

    Poništi
  4. proslijedio/la je Tweet
    4. stu 2019.

    At Texas Computer Science we're redefining higher education! This year, we're proud to welcome 8 new faculty members, launch 2 new academic programs and , the fastest university supercomputer in the world. What a year!

    Poništi
  5. 1. lis 2019.

    an ominous email subject to receive from my new employer

    Poništi
  6. proslijedio/la je Tweet
    19. ruj 2019.

    Monster year for new faculty at . Formal methods, PL, quantum, robotics, architecture, NLP, ethics. Love it. Joydeep Biswas James Bornholt Sid Chatterjee Swarat Chaudhuri Eunsol Choi Tina Peterson Yuke Zhu John Wright

    Poništi
  7. 12. ruj 2019.

    how do I like a tweet more than once? (if you’re thinking about a PhD in programming languages or formal methods, come join us at ! 🔥)

    Poništi
  8. 7. ruj 2019.

    finished my reviews and... oops

    Poništi
  9. proslijedio/la je Tweet
    31. srp 2019.

    PL Perspectives by on the space and progress of work on program synthesis.

    Poništi
  10. proslijedio/la je Tweet
    24. srp 2019.

    We will release the source code asap - stay tuned. Meanwhile, if you missed Emina's tutorial at CAV'19 last week, attend her keynote at ICFP'19 in August. will give a talk at SOSP'19 - feel free to find us if you're at these events.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    24. srp 2019.

    Would like share some cool results. Using a new automated verification tool called Serval we found 15 previously unknown bugs in Linux kernel's bpf jit compilers (9 in riscv and 6 in x86).

    Prikaži ovu nit
    Poništi
  12. 19. srp 2019.

    love it when describes open access as “radical”

    Poništi
  13. 9. srp 2019.

    important research meeting today

    Poništi
  14. proslijedio/la je Tweet
    2. srp 2019.

    Academics everywhere, let’s try to remember that your worth as a person doesn’t depend on your success in research.

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    26. lip 2019.

    I sincerely hope will become a top-tier publication venue by joining PACMPL.

    Poništi
  16. proslijedio/la je Tweet
    21. lip 2019.

    Headed to PHX for PLDI this weekend? Learn more about some of the wonderful people that make the PLDI community so great! Check out the 2019 People of Language Design and Implementation interview series (interviews by and Minjia Zhang).

    Poništi
  17. 30. svi 2019.

    successfully passed the snake fight/PhD defense yesterday!

    Poništi
  18. 22. svi 2019.

    my favorite part of the faculty job search process is crashing into everyone's reimbursement policies. here's a school stiffing me out of 96 cents.

    Poništi
  19. 17. svi 2019.

    "number" i thought PL people were supposed to be good at types

    Poništi
  20. proslijedio/la je Tweet
    4. svi 2019.

    Do you find memory models inscrutable? Does your parallel program or processor mysteriously fail? Then come to our tutorial "Demystifying Memory Models Across the Computing Stack" on Saturday, June 22nd at FCRC! Please spread the word!

    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:

    ·