Giorgos Drosos retweetledi
🚀🔍🧑🏫 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
English
Giorgos Drosos
28 posts
Giorgos Drosos
@gdrosos_
MSc CS student at @eth_en
Zürich , Switzerland Katılım Mart 2016
117 Takip Edilen105 Takipçiler
Giorgos Drosos retweetledi
🔍 I am on the job market, seeking opportunities in software engineering, programming languages, and formal methods. If you are interested in chatting about my work or potential roles, let’s catch up at the conference or send me a message! 🤝 #SPLASH24
Chengyu Zhang@chengyuzh
🚀 Just touched down in Pasadena for #SPLASH24! Excited to present our work on generating effective test inputs from SMT formulas and getting oracles "for free" using SMT solvers. Catch our talk this Friday at OOPSLA! 🗓️📍 📄 Check out our paper: dl.acm.org/doi/10.1145/36…
English
Giorgos Drosos retweetledi
@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…
English
Giorgos Drosos retweetledi
In our upcoming OOPSLA'24 paper (w/ @gdrosos_, @grgalex42, @d1m1tr0, and @zhendongsu) 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…
English
Giorgos Drosos retweetledi
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.
English
Giorgos Drosos retweetledi
Giorgos Drosos retweetledi
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 @gdrosos_ @theosotir @d1m1tr0 (CC-BY): dl.acm.org/doi/10.1145/36…
English
Along with @theosotir, @CoolSWEng and @d1m1tr0 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 @FSEconf! Preprint: dimitro.gr/assets/papers/…
English
Giorgos Drosos retweetledi
This Friday, I will be giving a talk at @DevoxxGR 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…
English
Giorgos Drosos retweetledi
The impact of faulty compilers on #SoftwareDevelopment: in his talk @theosotir will explain how important are robust type checkers.
Come and see it in Krakow: lambdadays.org 🔥
#functionalprogramming #lambdadays
English
Giorgos Drosos retweetledi
How you know you're old: the "dragon book" was published nearly forty years ago.
bit.ly/1Qa6t2U
English
Giorgos Drosos retweetledi
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 @IEEESoftware “Adventures in Code” column ieeexplore.ieee.org/stamp/stamp.js… 🧵1/2
English
Giorgos Drosos retweetledi
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.
English
Giorgos Drosos retweetledi
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.
English
Giorgos Drosos retweetledi
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
ISSTA Conference@issta_conf
📢 ISSTA'24 is looking for Artifact Evaluation Committee (AEC) members with expertise in software testing and analysis. Please nominate yourself and/or others! tinyurl.com/issta24-aec-ap… 🗓 Application deadline: Jan 31, 2024 More info: tinyurl.com/issta24-aec
English
Giorgos Drosos retweetledi
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 @PLOSONE Alexandria3k article doi.org/10.1371/journa…
English
Giorgos Drosos retweetledi
join the team! Focus on different technologies and SRE principles including: #SystemsEngineering, #PlatformEngineering, #CloudEngineering, #Monitoring, #SLI, #SLO, #Reliability, #Kubernetes, #Gitlab, #Puppet, #SelfHosted, #FOSS
GRNET@grnet_gr
#GRNET is looking for a #SiteReliabilityEngineer (#SRE) with experience in Service Design, Linux internals & at least 1 programming language to work for our Services, Platform or Cloud SRE teams. Apply here 👉bit.ly/3TE0XNA #SystemsEngineering #SoftwareEngineering
English
Reminder: At the 10th of October I will be presenting the @FastenProject at the @SWforumEU!
In my talk, I will present the Intelligent Package Management System that we developed within the project.
SWForumEU@SWforumEU
Next week at our webinar: Leveraging #OS technologies for better services in the European #software #ecosystem, George Drosos, Researcher at Athens University of Economics and Business, will present @FastenProject! Register 👇 bit.ly/3EcevLO
English
Giorgos Drosos retweetledi
Congratulations to @theosotir 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.
English
I am delighted to announce that I will be presenting the
@FastenProject at the @SWforumEU webinar at 10th of October 🎉🎉
#SaveTheDate
SWForumEU@SWforumEU
#SaveTheDate 🗓️10.10.2022 #SWForum #Webinar "Leveraging #opensource #technologies for better #services in the European #software ecosystem" Join the discussion in creating a better & inclusive #digital environment within Europe & beyond. Register now🖊️ bit.ly/3BXB8Cp
English