ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist.
Joined January 2015
- Tweets 268
- Following 312
- Followers 202
- Likes 1,219
44 Photos and videos
9 Feb 2025
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 😄
1
52
9 Oct 2024
7 Oct 2024
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…
1
3
318
10 Aug 2024
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
4
1
26
1,091
1 Jul 2024
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.
2
11
702
1 Jul 2024
This role is a fantastic opportunity to gain strategic leadership skills, deep industry insights, and tackle impactful challenges with a diverse team of top talent. Excited for what lies ahead!
1
89
14 May 2024
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]
1
13
819
14 May 2024
🔧 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]
1
116
14 May 2024
Now it's time to explore more sophisticated grey-box and white-box test generation and oracle techniques, boosting the approach even further 🚀 Join us and discuss, try out, and improve your techniques for IaC program testing 🕺 [5/5]
2
78
28 Apr 2024
🎓 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
12
40
1,952
Daniel Sokolowski retweeted
23 Apr 2024
@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…
1
6
168
22 Apr 2024
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
19
636
21 Apr 2024
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
1
14
808
17 Apr 2024
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
6
322
17 Apr 2024
The poster abstract "Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code": programming-group.com/assets…
More about ProTI: proti-iac.github.io
75
15 Apr 2024
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 👩🔬
11 Feb 2024
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…
8
549
13 Apr 2024
Hey #icse24 👋 I arrived and am super excited to meet you at the conference, what a beautiful place and evening 🇵🇹
1
17
551