@fancytypes
 Philadelphia, PA
seas.upenn.edu/~sweirich
Joined September 2012
  • Tweets1.1K
  • Following349
  • Followers2.8K
21Media
ESOP 2025 first-round submission deadline is in three weeks! Do not miss it! etaps.org/2025/conferences/e…

ESOP 2025

ESOP 2025 features a two-round submission scheme.

etaps.org
3
1
8
1,623
The complete list of accepted papers for ETAPS 2024 main conferences is out! etaps.org/2024/accepted-pape…
3
11
1,471
deadline for industrial talk proposals for the ETAPS industry day is the 26th Jan More info: etaps.org/2024/industry-day/

Industry Day @ ETAPS 2024

9 April 2024, Luxembourg City

etaps.org
This Post is from an account that no longer exists. Learn more
1
3
1,213
Stephanie Weirich retweeted
Susie Dent
@susie_dent1 Jan 2024
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.
140
3,478
198
15,832
940,149
Stephanie Weirich retweeted
Martin Odersky@odersky3 Jan 2024
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.
Bertrand Meyer@Bertrand_Meyer3 Jan 2024
We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.
6
74
1
663
84,140
Stephanie Weirich retweeted
Joe@alpha_convert2 Jan 2024
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/
3
10
1
31
5,946
Stephanie Weirich retweeted
ICFP Conference@icfp_conference14 Nov 2023
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!
1
32
1
72
8,978
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…

ESOP 2024

33rd European Symposium on Programming

etaps.org
3
7
1,125
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.
1
2
4
1,311
Stephanie Weirich retweeted
Nikhil Swamy@lambdaNik28 Sep 2023
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/
2
16
3
90
14,198
Stephanie Weirich retweeted
Nachi@modaltype27 Sep 2023
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…

ESOP 2024

33rd European Symposium on Programming

etaps.org
Thiemo Fetzer 🇪🇺🇺🇦 - same handle elsewhere
@fetzert26 Sep 2023
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…
1
1
7
1,608
Stephanie Weirich retweeted
Andrew K. Hirsch@andrewkhirsch21 Sep 2023
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…
1
9
18
3,910
The ESOP 2024 deadline is in a little over one month (Oct 12th). Note the new submission categories (experience reports and fresh perspectives) and lack of formatting requirements for the research papers submission category. More info at: etaps.org/2024/conferences/e…

ESOP 2024

33rd European Symposium on Programming

etaps.org
1
11
1
26
6,859
Stephanie Weirich retweeted
Yaron (Ron) Minsky
@yminsky7 Sep 2023
Fireside chat with Felix Klock, Greg Morrisett, and Amal Ahmed at #ICFP. Rust, Cyclone, systems programming and functional programming!
1
3
1
30
6,655
Stephanie Weirich retweeted
Penn OVPR@PennOVPR9 Aug 2023
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
1
20
19
6,156
Stephanie Weirich retweeted
KC Sivaramakrishnan@kc_srk5 Sep 2023
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… 🙏
8
36
2,658
Stephanie Weirich retweeted
Nick Rioux@nickrioux4 Sep 2023
Teaser of my talk at HOPE today. It's at 2:30 -- HOPE to see you there!
1
4
17
2,149
Stephanie Weirich retweeted
Andy Gordon@AndrewDGordon4 Sep 2023
I'm on the PC for ESOP 2024, chaired by @fancytypes. Send us your best PL papers, deadline is 12 October.
ETAPS Conferences (now on other platforms)@ETAPSconf18 Jul 2023
ETAPS 2024 Joint Call For Papers it out! etaps.org/2024/cfp/

ETAPS Joint Call for Papers

Luxembourg City, Luxembourg, 6–11 April 2024

etaps.org
1
10
1
24
7,208
Load more