Jonathan Aldrich

@JAldrichCMU

Professor teaching Programming Languages and Software Engineering at CMU

Pittsburgh, PA
Vrijeme pridruživanja: listopad 2013.

Tweetovi

Blokirali ste korisnika/cu @JAldrichCMU

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

  1. proslijedio/la je Tweet
    28. sij

    Heya 👋 Want to get research experience at CMU? If you're interested in PL, distributed systems, software engineering, etc we have a program that pays you to come learn to do research with us over the summer! Happy to answer Qs about it! RTs welcome🤗

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    29. sij

    And this is why we need basic research. Someone is out there today is coming up with answers to questions you'll have tomorrow.

    Poništi
  3. 28. sij

    Does anyone know of a screen reader that can handle inference rules (e.g. operational semantics, typing)? Or a way to write rules so that typical screen readers can process them?

    Poništi
  4. 27. sij

    Tried to pass a multi-line listing to a command in LaTeX. Result: inscrutable error. Stack overflow says "impossible." Is it too much to expect a language to provide uniform support for abstraction?

    Poništi
  5. 26. sij

    Dinner and with current and former students. was fun in !

    Poništi
  6. 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
  7. 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
  8. proslijedio/la je Tweet
    24. sij

    We're at 2600 signatures to send the message that taxpayers deserve access to the research they fund!! This one policy can save lives *and* unlock American innovation. Please keep spreading this to your networks!

    Poništi
  9. 23. sij

    Dependent Object Types is foundation for + , but undecidable. Our subset preserves major use cases! Julian MacKay talk, Decidable Subtyping for Path Dependent Types, today@14:21, room IDF II. Read at

    Poništi
  10. 18. sij

    New proposal for measuring of age of a field: minimum font size in paper formats. PL is older than graphics!

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

    Do you wanna know how it feels to be Middle Eastern? 1st you totally panick about the high possibility of bombs being dropped on your friends & fam. Then you hear two of your friends that just got married last week were on the plane that crashed

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

    That's why I encourage ACM members to keep signing the petition to provide universal open access to ACM's digital library, with any charges based only on publication costs (and I trust we can get these close to the LIPIcs/USENIX range).

    Prikaži ovu nit
    Poništi
  13. 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
  14. 7. sij

    Thank you and for your statement expressing regret for the fallout of your signing the publisher's letter. But "sustainable" OA means a sustainable price. $700/paper isn't. There remain major issues with ACM's OA plans.

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

    After only 2 days, we have 694 members demanding withdraw its signature on anti-Open Access letter, and make OA affordable. ACM members, help us get to 1000, which will put this to a vote of all ACM membership!

    Prikaži ovu nit
    Poništi
  16. 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
  17. proslijedio/la je Tweet
    20. pro 2019.

    Today, published an exposé by Rodrigo Ochigame (a PhD candidate at MIT) on the invention of "ethical AI" by big tech. Here's why I think it's important to read this piece and share it widely. 1/

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

    Congratulations to my student, on her successful thesis defense today. Module systems, types, user-defined/abstract effects, object capabilities, and secure resource use. Great work that will have lasting influence!

    Poništi
  19. 16. lis 2019.

    Come do a at CMU and make a impact on the world of !

    Poništi
  20. proslijedio/la je Tweet
    15. lis 2019.

    A decade ago, were an annoyance. Now they are a catastrophe waiting to happen. ’s Eunsuk Kang is perfecting modeling techniques to ensure the systems that can’t fail won’t fail. Learn more:

    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:

    ·