🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Amazing work recognized at #POPL2019 ! Justin Hsu’s Phd thesis, and the most influential POPL paper from 2009, Compositional Shape Analysis by Means of Bi-abduction

CACM review article on some of the theory the led to Infer cacm.acm.org/magazines/2019…

You may have only just recovered from #POPL2019 jet lag, but steel yourself... the #POPL2020 CfP is out! popl20.sigplan.org/track/POPL-202…

The Univ of California finally allows computer science to count towards admissions as a science class. 5 years in the making, this is a huge win for computer science and for students! medium.com/@codeorg/unive…

I've moved the video for my "What is PL Research?" to Youtube, so you can watch it more easily (e.g., at 1.5X). youtu.be/70_DFytfnWw

The of Launching Vortex CoLab! Altran (legacy account) NOVA LINCS cister haslab

TypeScript’s Quiet, Steady Rise Among Programming Languages wired.com/story/typescri… via WIRED

Welcome to Day 2 of SEFM Conference 2019 in Oslo. We will be starting off with a keynote speech by Wil van der Aalst shortly. #sefm19 #Oslo

We will kick-off Day 3 of SEFM Conference 2019 with a keynote titled "Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond" by Koushik Sen, UC Berkeley, USA - this one is not to be missed!😀 #sefm19 #Oslo

Slides of the SEFM2019 keynote on "Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data" dropbox.com/s/50vu4yicpt4n…. See doi.org/10.1007/978-3-… for the full paper. SEFM Conference #sefm19 #Oslo

The invisible 5-fold symmetry traced by Earth and Venus as they orbit the Sun. Credit: Matthew Henderson

Clever algorithm to find out whether or not 2 words are anagrams

Can't wait to see what's new at #GitHubUniverse #githubuniverseblastoff githubuniverse.com

Octopuses punch fishes. YES. OCTOPUSES. PUNCH. FISHES!! Our new paper is out on Ecology, showing that octos express this behavior during collaborative hunting with other fishes. This was probably the most fun I had writing a paper. Ever! (small 🧵) esajournals.onlinelibrary.wiley.com/doi/10.1002/ec…

🙌 Full house at the kickoff meeting today in Lisbon, NOVA campus. #TaRDIS project, #horizoneurope #europeancommission, will address the ever-increasing complexities of developing correct and performant #heterogeneousswarms, #swarm systems Martel Innovate

Work package presentations proceeding with brainstorming at the TaRDIS kickoff meeting today in Lisbon. #trustworthy #resilient #decentralised #intelligence for #edge systems linkedin.com/company/tardis… DTU #CMS University of Oxford

We are at the 2nd & final day of the TaRDIS project kickoff meeting. TaRDIS is #trustworthy #resilient #decentralised #intelligence for #edge systems Use-case partners: EDP Renewables Telefónica Actyx & GMV. More information coming soon: project-tardis.eu