ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist.
Frankfurt, Germany
Joined January 2015
- Tweets268
- Following309
- Followers193
- Likes1.2K
Hello world, I’m also on Bluesky now: bsky.app/profile/dsoko.bsky.…
After scrolling for a few minutes, I really appreciate that some of the old Twitter vibe seems to be re-established there 😄
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/fo…
Thrilled to join AWS ARG as an Applied Scientist Intern in NYC! Excited to bridge academia and industry, advancing automated reasoning to enhance security and reliability of the cloud 🚀 #AWS #Internship #CloudComputing #Innovation
Thrilled to start as a #ProTeam Management Trainee at #LufthansaGroup.
To my academic friends: I will continue my research and look forward to our ongoing collaborations.
Infrastructure code #IaC must be correct to ensure systems are up and safe. So, test it! But how? 🤔 – I am excited that our new paper on "Automated Infrastructure as Code Program Testing" has been accepted at IEEE TSE! @DaSpielmann @guidosalva doi.org/10.1109/TSE.2024.339… 🧵 [1/n]
🔧 ProTI is our first implementation of ACT for Pulumi TypeScript IaC programs. It comes with type-based generator and oracle plugins, which already showed to be effective 💪 proti-iac.github.io [4/n]
🎓 I'm thrilled to share that I defended my dissertation on Thursday at @HSGStGallen! 🥳
Huge thanks to my supervisors @guidosalva and @citostyle, and to everyone else who supported me on this journey at @TUDarmstadt, @HSGStGallen, and beyond
#IaC #DevOps #dissertation #defended
Daniel Sokolowski retweeted
@Soko2D presenting a dataset for Infrastructure as Code at @msrconf.
IaC is a research area with practical implications and many open challenges - like verification and testing. If you need to evaluate your ideas, consider this dataset! @DaSpielmann
programming-group.com/assets…
I'll publicly defend my dissertation on "Reliable Infrastructure as Code for Decentralized Organizations" on April 25 at 14:00 CEST in SQUARE (Arena) @HSGStGallen. We'll stream it: if you want to join online, please drop me a message. Thesis abstract: dsoko.de/diss-abstract.pdf
It was a pleasure to meet you all at #icse2024, #msr2024 and the co-located workshops, and thanks to the organizers! I also enjoyed the great summer weather preview in Lisbon 🌅 Now back to processing all the insights in snowy Switzerland ☃️ Looking forward to Ottawa next year 🇨🇦
ALT The sunset over Lisbon, Portugal
ALT An aero plane in the snow at Zurich airport
Testing, a cornerstone of software engineering conferences, now squeezed into a small room, despite huge interest. Meanwhile, AI dominates the larger halls in four parallel tracks. The Rebel Alliance will find its way back #MayTheTestBeWithYou #icse2024 #auditorium4testing
The poster abstract "Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code": programming-group.com/assets…
More about ProTI: proti-iac.github.io
Presenting tomorrow in the practices and humans session @msrconf #msr2024 #icse2024 Tuesday, 16.4. 9:00-10:30. Join the session, and use our PIPr dataset for you next study on IaC or any other amazing idea you may have 👩🔬
I am excited that our "PIPr Dataset of Public Infrastructure as Code Programs" will be published at @msrconf Data and Tool Showcase Track 🎉 It is built open 37712 #CDK and #Pulumi programs, enabling in-depth studies 🤓 First insights: 🧵
Preprint: programming-group.com/assets…
