🔥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

I am delighted to announce that I will be presenting the Fasten Project at the SWForumEU webinar at 10th of October 🎉🎉 #SaveTheDate

Congratulations to Thodoris Sotiropoulos who successfully defended his PhD thesis on abstractions for software testing. Through his award-winning work, appearing in six ICSE, OOPSLA, and PLDI papers, he found 424 (~confirmed) bugs in popular software, such as Java, Django, Groovy, Kotlin.

Reminder: At the 10th of October I will be presenting the Fasten Project at the SWForumEU! In my talk, I will present the Intelligent Package Management System that we developed within the project.

join the team! Focus on different technologies and SRE principles including: #SystemsEngineering, #PlatformEngineering, #CloudEngineering, #Monitoring, #SLI, #SLO, #Reliability, #Kubernetes, #Gitlab, #Puppet, #SelfHosted, #FOSS

The amazing rise of open publication data and hardware performance now allow us to conduct reproducible systematic literature reviews as well as bibliometric and scientometric studies on our desktop. More details in the PLOS One Alexandria3k article doi.org/10.1371/journa…

Please share! Numair Mansur and I are looking for artifact evaluation committee members for ISSTA '24. Nominate yourself or a student/colleague of yours. #issta2024

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.

Do you want to learn how you can leverage existing APIs from software libraries to find bugs in compilers' type checkers? Then consider attending the presentation of our POPL paper (dl.acm.org/doi/10.1145/36…) tomorrow at 9:20am at Kelvin lecture.

With RDBUnit you can exhaustively unit-test your SQL queries. This simplifies testing edge cases and SQL embedded in other code, thus avoiding expensive errors in production code. More details in the January IEEE Software “Adventures in Code” column ieeexplore.ieee.org/stamp/stamp.js… 🧵1/2

How you know you're old: the "dragon book" was published nearly forty years ago. bit.ly/1Qa6t2U

The impact of faulty compilers on #SoftwareDevelopment: in his talk Thodoris Sotiropoulos will explain how important are robust type checkers. Come and see it in Krakow: lambdadays.org 🔥 #functionalprogramming #lambdadays

This Friday, I will be giving a talk at Devoxx Greece about my latest work on enhancing the reliability of compilers in type checkers. I'm really excited to present the results of my research to many developers and practitioners. devoxx.gr/schedule/speak…

Along with Thodoris Sotiropoulos, Diomidis Spinellis and Dimitris Mitropoulos we've investigated code bloat in Python applications from various perspectives--its prevalence, security impact, root causes, and developer perception. Our findings will be presented at FSE 2025! Preprint: dimitro.gr/assets/papers/…

Fine-grained analysis of 1,302 Python projects shows 50% of dependencies are bloated, yielding inefficiencies and hiding vulnerabilities. Developers are open to debloating accepting 83% of our PRs. FSE paper with Giorgos Drosos Thodoris Sotiropoulos Dimitris Mitropoulos (CC-BY): dl.acm.org/doi/10.1145/36…

Morning session of MODAL workshop (2024.esec-fse.org/home/modal-202…) FSE 2025

Check out this repository (github.com/XYIheng/Mobile…) on the recent research work in advancing mobile app analysis and testing! (maintained by yihengx98) Feel free to alerting us about your work in this field (by creating pull requests or issues) if we unfortunately miss it.

In our upcoming OOPSLA'24 paper (w/ Giorgos Drosos, Georgios Alexopoulos, Dimitris Mitropoulos, and Zhendong Su) we systematically investigate bugs found in Infrastructure as Code (IaC) programs within popular ecosystems (e.g., Ansible, Puppet). Preprint: theosotr.github.io/assets/pdf/oop…

ETH CS Department (ETH Zurich) 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…

🚀🔍🧑‍🏫 I am on the academic job market! My research focuses on advancing Formal Methods, Programming Languages, and Software Engineering. Website: wintered.github.io Research Statement: wintered.github.io/rs.pdf