Jeremy Siek

@jeremysiek

Prof. at IU, programming language design, gradual typing, generic programming, BGL, STL, logic, type systems, proofs, mechanized metatheory.

Bloomington, IN
Vrijeme pridruživanja: srpanj 2009.

Tweetovi

Blokirali ste korisnika/cu @jeremysiek

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

  1. proslijedio/la je Tweet
    prije 16 sati

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

    Poništi
  2. prije 17 sati

    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
    2. velj

    Reminder to check out this recap of the POPLmark Retrospective Panel. I talk a lot about how the PL community can learn from this panel, even beyond the proof engineering community!

    Poništi
  4. proslijedio/la je Tweet
    30. sij

    Our team at is hiring engineers and researchers in PL, compilers, systems etc. Come work with us on challenging problems and help shape the next generation of AI infrastructure!

    Poništi
  5. proslijedio/la je Tweet
    Odgovor korisniku/ci

    I just want the flag to say "I'll write all my code the monomorphizable way but I'll take smaller code at the cost of worse performance so please treat all my generics and impl Traits like they're dyn". ...because

    Poništi
  6. proslijedio/la je Tweet
    30. sij

    PLMW is a great opportunity for people getting started (or thinking about getting started) in PL research. Scholarships available -- please apply!

    Poništi
  7. proslijedio/la je Tweet
    29. sij

    I'm excited to share this post about the POPLmark Retrospective panel! Have thoughts on how to design benchmark suites and evaluate programming languages tools and techniques? I'd love to hear them, either here or as comments on the blog post.

    Poništi
  8. proslijedio/la je Tweet
    26. sij

    can transform , but we need ways to do it incrementally. gave awesome talk on our "Gradual Verification for Recursive Heap Data Structures" today at Workshop on Gradual Typing . Read the paper!

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

    How to mix static and dynamic in a principled way, with fewer false positives? Try our approach to "Gradual Program Analysis", presented by Sam Estep today at Workshop on Gradual Typing . Read the paper!

    Poništi
  10. proslijedio/la je Tweet
    13. sij

    Answer to What are similarities and differences between C++ and Swift? by Dave Abrahams

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

    Generic Programming doesn't mean templates. It means generalizing algorithm implementations iteratively, discovering sets of requirements on their arguments and grouping the requirements into named concepts and hierarchies of concepts. It's about algorithms, not templates.

    Poništi
  12. proslijedio/la je Tweet
    7. sij

    To make OA universal, we need to be able to roll the cost of OA into conference registration fees. That's difficult at $700/paper even for flagship events. For small conferences/workshops, it's impossible. We need low-cost OA, $60-$100/paper, like LIPIcs/USENIX.

    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    5. sij

    Join me! ACM members, sign a petition supporting open access, asking to withdraw signature from anti-OA letter and make OA available at cost. OA is good for science, and good for ACM!

    Prikaži ovu nit
    Poništi
  14. 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
  15. proslijedio/la je Tweet
    Odgovor korisniku/ci

    Scalar replacement is still worth it, even with a very good generational GC. It saves you the ~five instructions of allocations, minor collect runs less often, plus all the loads and stores to the object can be removed too.

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

    Mypy 0.760 is out! It includes a type signature suggestion feature for tools, and various fixes and improvements, including a fix to a regression in 0.750.

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

    My professor in the School of Computing was named an 2020 IEEE Fellow & recognized her for contributions to compiler optimization and performance tuning. Prof. Hall is my PhD thesis co-Advisor and its has always been a great honor to be her student

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet

    Finally, we've gotten the ICFP'19 conference videos up; conference talks can be found at and PLMW at

    Poništi
  19. proslijedio/la je Tweet
    9. pro 2019.

    The Program Analysis team at Apple is hiring static analysis engineers! Excited about making static analysis more effective and easier to use? Come join us to help build bug-finding tools used by millions of developers!

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

    I finally got around to writing down some of those radical ideas for academic peer review. What do you think? Should we blow it all up and start over?

    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:

    ·