Add Daniel's dissertation

Author: DSoko2

_bibliography/papers.bib

@@ -1,6 +1,21 @@
 ---
 ---
 
+@thesis{Sokolowski:2024:Reliable,
+  type = {phdthesis},
+  file = {papers/2024_Reliable-Infrastructure-as-Code-for-Decentralized-Organizations.pdf},
+  projects = {ProTI,µs},
+  author = {Sokolowski, Daniel},
+  title = {Reliable infrastructure as Code for Decentralized Organizations},
+  year = {2024},
+  institution = {Universität St. Gallen},
+  publisher = {Universität St. Gallen},
+  address = {St. Gallen, Switzerland},
+  urn = {urn:nbn:ch-bel-hsg-10608},
+  keywords = {Infrastructure as Code, Cloud, Cloud Provisioning, Configuration Management, Deployment Coordination, Testing},
+  abstract = {IT must be reliable for organizations to thrive and quickly adaptable for their swift reaction to their environment. Agility is vital, and DevOps achieves these goals by empowering independent cross-functional teams in decentralized organizations and automating the entire software pipeline. Infrastructure as Code (IaC) is the critical tool to automate software operations, including infrastructure provisioning, application deployment, and configuration. Beyond simple IaC scripts, developers implement IaC programs in programming languages like TypeScript and Python. Such IaC programs are software, and their reliability is crucial to the functionality and security of the deployed systems. Still, techniques for the rapid development of reliable IaC programs are missing, limiting organizations’ agility. Specifically, developers lack automation for deployment coordination and updating and quality assurance tools for, e.g., testing and verification.\par We surveyed 134 IT professionals, finding that coordination across deployments is commonly needed and often requires manual coordination, even though IT professionals believe automated coordination yields better agility. However, automated approaches are centralized, limiting team independence and agility in decentralized organizations. To solve this issue, we propose automating coordination across deployments in a decentralized fashion through μs ([mju:z] “muse”), a novel IaC solution. With μs, teams have separate IaC programs, which express and jointly automate the correct order of operations across deployments. We further show how μs enables safe updating through IaC programs, preventing updates from breaking distributed transactions or workflows.\par Beyond automating the coordination of IaC programs, we address the reliability of IaC program code. To unblock studies, we built a dataset of 37 712 public IaC programs. In initial analyses, only a vanishing fraction implements tests. We identified that available testing techniques are either slow and resource-intensive or require excessive development effort. To solve this dilemma, we propose ACT, an extensible automated unit testing approach that enables testing IaC programs quickly in hundreds of configurations, often without writing additional testing code.\par This dissertation studies the coordination and testing of IaC programs. Empirically motivated, we present μs for safe deployment coordination and updating in decentralized setups and ACT for efficient testing of IaC programs. Our contributions nurture future research and reliable deployments in decentralized organizations, ensuring agility.}
+}
+
 @article{Koehler:2024:Consistent,
   acronym = {TSE},
   file = {papers/2024_Consistent-Local-First-Software-Enforcing-Safety-and-Invariants-for-Local-First-Applications.pdf},

_layouts/bib.html

@@ -96,6 +96,8 @@
     {% endif %}
     {% if entry.doi %}
       <a href="https://doi.org/{{ entry.doi }}" class="btn btn-sm z-depth-0" role="button" target="_blank"><i class="fas fa-external-link-alt"></i></a>
+    {% elsif entry.urn %}
+      <a href="https://nbn-resolving.org/{{ entry.urn }}" class="btn btn-sm z-depth-0" role="button" target="_blank"><i class="fas fa-external-link-alt"></i></a>
     {% elsif entry.eprint and entry.eprinttype == "arXiv" %}
       <a href="https://arxiv.org/abs/{{ entry.eprint }}" class="btn btn-sm z-depth-0" role="button" target="_blank"><i class="fas fa-external-link-alt"></i></a>
     {% elsif entry.eprint and entry.eprinttype == "hdl" %}

_members/sokolowski.md

@@ -5,8 +5,8 @@ group: Alumni
 group_rank: 10
 team_frontpage: false
 
-title: Dr. des. Daniel Sokolowski
-description: Profile of Dr. des. Daniel Sokolowski, Doctoral Researcher at the Programming Group.
+title: Dr. Daniel Sokolowski
+description: Profile of Dr. Daniel Sokolowski, former Doctoral Researcher at the Programming Group.
 lastname: Sokolowski
 publications: 'author^=*Sokolowski'
 
@@ -15,21 +15,17 @@ teaser: >
     I focus on advancing Infrastructure as Code (IaC) to achieve reliable deployments for modern DevOps organizations. 
 
 profile:
-    name: Dr. des. Daniel Sokolowski
+    name: Dr. Daniel Sokolowski
     align: right
     image: sokolowski-profile.jpg
     role: Doctoral Researcher
     website: https://dsoko.de
-    email: [email protected]
-    phone: +41 7122 47823
+    email: [email protected]
     twitter: Soko2D
     github: DSoko2
     linkedin: dsoko
     orcid: 0000-0003-2911-8304
-    address: >
-        School of Computer Science<br />
-        Torstrasse 25<br />
-        9000 St. Gallen, Switzerland
+    address: ''
 ---
 
 I am enthusiastic about software engineering and programming language technology for modern distributed systems and cloud applications.