Tiark Rompf

@tiarkrompf

Purdue University (We're hiring! grad students, post-docs, faculty)

West Lafayette, IN
Vrijeme pridruživanja: siječanj 2013.

Tweetovi

Blokirali ste korisnika/cu @tiarkrompf

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

  1. proslijedio/la je Tweet
    3. velj

    NVIDIA is hiring PL and compiler researchers for deep learning and domain specific languages in Seattle. compiler-jobs@nvidia.com

    Poništi
  2. proslijedio/la je Tweet
    3. velj

    New paper draft: Toward a Mechanized Compendium of Gradual Typing in which I use Agda and lots of proof reuse to get 9 proofs of type safety for the price of 2.

    Poništi
  3. proslijedio/la je Tweet
    1. velj

    We're also looking for PL people in Paris! Interested in HPC, compilation for ML, ML for compilers. Google, not DeepMind ;-)

    Poništi
  4. 27. sij
    Poništi
  5. proslijedio/la je Tweet
    23. sij

    Second round of grants in the intersection of PL∩ML. All my academic followers and their recursive academic followers ... we are looking forward you you to apply!

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    24. sij

    open question for compiler people: what should be taught in a modern undergrad compiler class? I'm revamping / modernizing Utah's version of this and would appreciate feedback

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    22. sij

    The program for (formerly SysML) is out. Looks like a great mix of papers at the intersection of machine learning and computer systems (some ML for computer systems, some on computer systems for ML).

    Poništi
  8. proslijedio/la je Tweet
    6. sij
    Poništi
  9. proslijedio/la je Tweet
    30. pro 2019.

    You know about functional. You know about dysfunctional. Time to learn about DE-functional! tells us about "Defunctionalization: Everybody Does It, Nobody Talks About It" in PL Perspectives.

    Poništi
  10. 23. pro 2019.

    Today I found out I'm so freaking strong, my bicep can rip its tendon right off the bone

    Poništi
  11. proslijedio/la je Tweet
    20. pro 2019.
    Poništi
  12. proslijedio/la je Tweet
    20. pro 2019.
    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    19. pro 2019.
    Odgovor korisnicima

    And all this time I thought is an *international* organization representing computer science professionals *across the world*

    Poništi
  14. 17. pro 2019.

    Holiday dinner with the group. Who wants to join this awesome team? Get your PhD application submitted by Friday (Dec. 20th):

    Poništi
  15. proslijedio/la je Tweet
    17. pro 2019.
    Poništi
  16. proslijedio/la je Tweet
    16. pro 2019.

    Congratulations to Prof. Markus Püschel for having been named Fellow 2020! Prof. Püschel is being recognised for contributions to the implementation of techniques in computer science.

    Poništi
  17. 16. pro 2019.

    Flare can provide an end-to-end native compiled data path across relational and ML workloads. As part of this work, Greg's research has produced new techniques for on-stack replacement and static analysis that are much more broadly applicable than originally envisioned.

    Prikaži ovu nit
    Poništi
  18. 16. pro 2019.

    His dissertation presents Flare , an accelerator for Spark, Flink and similar systems, based on novel insights why query compilation and codegen techniques in these systems have not been as effective as they could be.

    Prikaži ovu nit
    Poništi
  19. 16. pro 2019.

    Congrats to freshly-minted PhD Grégory Essertel! He not only did a truly excellent job on his own research, but had a tremendous positive impact on everyone in the group. Thanks for all the great work !

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    5. pro 2019.

    2019 Start-Up to Watch award winner, SambaNova Systems! |

    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:

    ·