Some shots from the @ICSEconf opening and some food for thought on the direction of software engineering research.
0
2
20
1,001
I'm presenting in #POPL our paper on dis/equality graphs on Thursday, 14h MST in Marco Polo.
If you're writing or extending a prover/solver you have to deal with equalities. Here's what to expect from our talk and paper 🧵⬇️
0
0
4
342
Guido Salvaneschi retweeted
Tomorrow Tuesday we will have Haoyi Li speaking at EPFL on "What the com-lihaoyi ecosystem needs from Scala". It's at 12.00 in room BC 420. Open for all.
1
12
74
7,043
Guido Salvaneschi retweeted
Do you work with Ansible? We want to hear from you! 🎯 This study is led by a joint team from @CarnegieMellon and @istecnico
Plus, if you agree to an interview, you'll be entered into a $100 raffle! 💸
Click here to participate: cmu.ca1.qualtrics.com/jfe/form/SV_5a…
Plus, if you agree to an interview, you'll be entered into a $100 raffle! 💸
Click here to participate: cmu.ca1.qualtrics.com/jfe/form/SV_5a…
0
7
10
2,525
Guido Salvaneschi retweeted
#prog25 is now inviting workshop proposals. Submit your workshop ideas at the latest by December 1, 2024! Events are accepted on a rolling basis, so please submit your event ideas early.
2025.programming-conference.org/track/prog25-w…
2025.programming-conference.org/track/prog25-w…
0
5
6
1,068
Guido Salvaneschi retweeted
@CSatETH (@ETH_en) is hiring a tenure-track assistant professor in Theory B: Logic, SMT/SAT, decision procedures, theorem proving, semantics, type systems, etc.; please apply by 15 January 2025! More info at: ethz.ch/en/the-eth-zur…
0
19
32
3,920
ISSTA opening in Vienna With Michael Pradel and @mchri5taki5.
Also, some interesting statistics
Also, some interesting statistics
3
0
18
2,021
Guido Salvaneschi retweeted
ECOOP 2024 is in full swing in Vienna. Check out the awesome set of papers selected by the amazing 2024 PC, co-chaired with @guidosalva ! Published Diamond Open Access: drops.dagstuhl.de/entities/docum…
1
4
70
2,687
Opening @ECOOPconf with @JAldrichPL @davideancona68, and @wmdietl
Looking forward to a great program!
2024.ecoop.org
Looking forward to a great program!
2024.ecoop.org
1
1
19
921
Guido Salvaneschi retweeted
About 50 members of the @ICSEconf 2025 Shadow PC have attended the training provided by Matt Dwyer on "Writing Paper Reviews (That You Would Be Happy to Receive)". In the next few days the Shadow PC members will start applying Matt's advices while writing their reviews...
@bianculld and I finished the training for @ICSEconf Shadow PC members! We want to thank our Shadow PC training chair, Matt Dwyer for sharing his great experience and providing advice on writing good reviews!
0
2
27
1,555
Guido Salvaneschi retweeted
CrowdStrike is actively working with customers impacted by a defect found in a single content update for Windows hosts. Mac and Linux hosts are not impacted. This is not a security incident or cyberattack. The issue has been identified, isolated and a fix has been deployed. We refer customers to the support portal for the latest updates and will continue to provide complete and continuous updates on our website. We further recommend organizations ensure they’re communicating with CrowdStrike representatives through official channels. Our team is fully mobilized to ensure the security and stability of CrowdStrike customers.
3,941
5,701
20,256
10,365,916
Great work and great community! Looking forward to an EGraphs workshop again @PLDI
[New Blog Post] EGraphs as Ground Completion Talk and EGRAPHS 2024 notes philipzucker.com/egraph2024_tal… @pldi #egraphs
0
0
2
454
Guido Salvaneschi retweeted
Happy to announce that DARE 2024 has obtained support from ACM Europe and emergenCITY, and we have additional spots for the summer school free of charge. We have extended the deadline to apply until 25 June 2024. See all details at: dare-summer.github.io
0
7
14
1,085