Philadelphia, PA
Joined September 2012
- Tweets1.1K
- Following349
- Followers2.8K
- Likes4K
Stephanie Weirich retweeted
ESOP 2025 first-round submission deadline is in three weeks! Do not miss it!
etaps.org/2025/conferences/e…
Stephanie Weirich retweeted
The complete list of accepted papers for ETAPS 2024 main conferences is out!
etaps.org/2024/accepted-pape…
Stephanie Weirich retweeted
deadline for industrial talk proposals for the ETAPS industry day is the 26th Jan
More info: etaps.org/2024/industry-day/
This Post is from an account that no longer exists. Learn more
Stephanie Weirich retweeted
Word of the Day (because it’s about time) is ‘respair’, from the 16th century. It means fresh hope, and a recovery from despair. One of too many lost positives we could do with bringing back.
Wishing everyone a gruntled, gormful, ruthful and feckful New Year, full of respair.
Stephanie Weirich retweeted
I am very saddened by this news. Niklaus got me into CS since I became fascinated by the beauty of his language designs and compiler architectures. And later he became the guiding mentor for my doctoral studies at ETH.
Stephanie Weirich retweeted
Applications are now open for REPL, Penn PLClub's Summer REU! We have a lot of really exciting projects going on at PLClub right now – if you're an undergrad who's interested in PL research, please apply!
penn-repl.github.io/
Stephanie Weirich retweeted
ICFP'24 will take place on 2-7 September 2024 in Milan, Italy. The call for papers is now available:
icfp24.sigplan.org/track/icf…
Time to start mining those lambdas!
Stephanie Weirich retweeted
Did you know that you can submit a paper to ESOP 2024 in several formats – Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format?
etaps.org/2024/conferences/e…
Stephanie Weirich retweeted
Due to various requests, we will allow four more days for submission updates on papers submitted to ETAPS by the deadline.
That is, authors needs to submit their papers by October 12 AoE and will be allowed to make changes/updates by October 16, AoE.
Stephanie Weirich retweeted
Can't resist:
Liking #ocaml ? Check out #fstarlang. Program with proofs in a general purpose, higher order, strict language and extract to efficient executable code in OCaml.
fstar-lang.org/
Stephanie Weirich retweeted
ESOP's done well here:
"For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format"
etaps.org/2024/conferences/e…
I wish as academics we could focus on producing evidence and not waste time reformatting. I am glad this has now been quantified. But I would like to think these may reflect a lower bound on the true cost as there is an extensive margin as well.
I have a whole trail of perfectly fine and IMO important papers that I just cant bother to reformat to submit. It should not be that way. Its all just data, code and well, a bit of thinking.
nature.com/articles/d41586-0…
Stephanie Weirich retweeted
Scholarship applications for PLMW@POPL 2024 are up! Scholarships include travel, lodging, and attendance for both POPL and the Programming Languages Mentoring Workshop. Please, sign up your undergraduate and early graduate students!
popl24.sigplan.org/home/PLMW…
Stephanie Weirich retweeted
Fireside chat with Felix Klock, Greg Morrisett, and Amal Ahmed at #ICFP. Rust, Cyclone, systems programming and functional programming!
Stephanie Weirich retweeted
We are now accepting applications for the 24-25 University of Pennsylvania Provost's Postdoctoral Fellowship for Academic Diversity. Please share with your colleagues! apply.interfolio.com/129592
Stephanie Weirich retweeted
Sad to be missing out on being in the room to listen to @avsm's upcoming keynote: icfp23.sigplan.org/details/i…
Glad to be able to watch the talk live from the other side of the world youtube.com/playlist?list=PL… 🙏
Stephanie Weirich retweeted
I'm on the PC for ESOP 2024, chaired by @fancytypes. Send us your best PL papers, deadline is 12 October.
ETAPS 2024 Joint Call For Papers it out! etaps.org/2024/cfp/
Stephanie Weirich retweeted
If you can't attend the ICFP functional programming conference in person next week in Seattle (or remotely) then you can read all the papers on the ACM Digital Library. #ICFP2023
The proceedings of ICFP 2023 - PACM PL, Vol. 7, Issue ICFP has now been published in the ACM Digital Library: dl.acm.org/toc/pacmpl/2023/7…
Stephanie Weirich retweeted
ICFP 2023 is just about a month away!
Early bird registration deadline is August 5.
Registering early really helps the organizers plan.
icfp23.sigplan.org/attending…
@icfp_conference
Stephanie Weirich retweeted
Lucas silver kicking off the first session of @ECOOPconf with a great talk on noninterference with interaction trees @EthanCecchetti @SteveZdancewic
