https://programming-group.com/courses/past-ctbd 2017-04-01T00:00:00+00:00 https://programming-group.com/courses/past-copl 2019-09-01T00:00:00+00:00 https://programming-group.com/courses/past-fmcs4b 2020-10-01T00:00:00+00:00 https://programming-group.com/courses/past-pds 2021-04-26T00:00:00+00:00 https://programming-group.com/courses/past-se4ai-phd 2021-04-26T00:00:00+00:00 https://programming-group.com/courses/past-se4ai-tuda 2021-10-01T00:00:00+00:00 https://programming-group.com/courses/past-etit 2022-10-02T00:00:00+00:00 https://programming-group.com/courses/now-hacking-lab 2023-02-01T00:00:00+00:00 https://programming-group.com/courses/now-pm 2023-02-01T00:00:00+00:00 https://programming-group.com/courses/past-coding-ai2025 2023-02-01T00:00:00+00:00 https://programming-group.com/courses/past-ess 2023-02-01T00:00:00+00:00 https://programming-group.com/courses/past-hsg-coding-ai 2023-02-01T00:00:00+00:00 https://programming-group.com/courses/past-pm 2023-02-01T00:00:00+00:00 https://programming-group.com/courses/past-fpl 2023-02-22T00:00:00+00:00 https://programming-group.com/courses/past-daimpl 2023-09-01T00:00:00+00:00 https://programming-group.com/courses/past-impl 2023-09-01T00:00:00+00:00 https://programming-group.com/courses/now-ap 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/now-upl 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-ap 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-ap2025 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-atspe 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-ds 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-ise 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-ise2025 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-itp 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-itp2025 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-pl 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-shsg 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-testing-security-ai2025 2023-10-02T00:00:00+00:00 https://programming-group.com/courses/past-upl 2023-10-02T00:00:00+00:00 https://programming-group.com/members/biagiola 2026-03-26T13:41:00+00:00 https://programming-group.com/members/brazerol 2026-03-26T13:41:00+00:00 https://programming-group.com/members/buehler 2026-03-26T13:41:00+00:00 https://programming-group.com/members/cesario 2026-03-26T13:41:00+00:00 https://programming-group.com/members/delshad 2026-03-26T13:41:00+00:00 https://programming-group.com/members/digrazia 2026-03-26T13:41:00+00:00 https://programming-group.com/members/eskandani 2026-03-26T13:41:00+00:00 https://programming-group.com/members/gasser 2026-03-26T13:41:00+00:00 https://programming-group.com/members/gigon 2026-03-26T13:41:00+00:00 https://programming-group.com/members/koehler 2026-03-26T13:41:00+00:00 https://programming-group.com/members/luley 2026-03-26T13:41:00+00:00 https://programming-group.com/members/marchese 2026-03-26T13:41:00+00:00 https://programming-group.com/members/oak 2026-03-26T13:41:00+00:00 https://programming-group.com/members/salvaneschi 2026-03-26T13:41:00+00:00 https://programming-group.com/members/sokolowski 2026-03-26T13:41:00+00:00 https://programming-group.com/members/spielmann 2026-03-26T13:41:00+00:00 https://programming-group.com/members/staeding 2026-03-26T13:41:00+00:00 https://programming-group.com/members/streule 2026-03-26T13:41:00+00:00 https://programming-group.com/members/weisenburger 2026-03-26T13:41:00+00:00 https://programming-group.com/members/zakhour 2026-03-26T13:41:00+00:00 https://programming-group.com/news/2020-08-01-weisenburger-dissertation 2020-08-01T00:00:00+00:00 https://programming-group.com/news/2020-09-01-stgallen 2020-09-01T00:00:00+00:00 https://programming-group.com/news/2020-10-01-benyamin-joined 2020-10-01T00:00:00+00:00 https://programming-group.com/news/2020-11-20-consyst-oopsla 2020-11-20T00:00:00+00:00 https://programming-group.com/news/2021-02-23-wonderless-msr 2021-02-23T00:00:00+00:00 https://programming-group.com/news/2021-03-31-sng-multitier-programming 2021-03-31T00:00:00+00:00 https://programming-group.com/news/2021-04-08-ecoop-pearl-multitier-choreographic 2021-04-08T00:00:00+00:00 https://programming-group.com/news/2021-05-11-csf-language-for-enclave-paper 2021-05-11T00:00:00+00:00 https://programming-group.com/news/2021-06-21-fse-automating-serverless-deployments 2021-06-21T00:00:00+00:00 https://programming-group.com/news/2021-06-22-ecoop-pearl-multitier-choreographic 2021-06-22T00:00:00+00:00 https://programming-group.com/news/2021-08-01-george-joined 2021-08-01T00:00:00+00:00 https://programming-group.com/news/2021-08-10-secdev-enclave-based-secure-programming-paper 2021-08-10T00:00:00+00:00 https://programming-group.com/news/2021-08-20-mjuz-fse 2021-08-21T00:00:00+00:00 https://programming-group.com/news/2021-10-20-je-secdev 2021-10-20T00:00:00+00:00 https://programming-group.com/news/2021-11-01-daniel-moved 2021-11-01T00:00:00+00:00 https://programming-group.com/news/2021-12-03-safe-dsu-icse-accepted 2021-12-03T00:00:00+00:00 https://programming-group.com/news/2021-12-06-pavetrust-invited-talk 2021-12-06T00:00:00+00:00 https://programming-group.com/news/2022-02-10-ics 2022-02-10T00:00:00+00:00 https://programming-group.com/news/2022-05-04-ecoop-Prisma-acceptance 2022-05-04T00:00:00+00:00 https://programming-group.com/news/2022-05-04-ecoop-XC-acceptance 2022-05-04T00:00:00+00:00 https://programming-group.com/news/2022-05-11-safe-dsu-icse-artifact-award 2022-05-11T00:00:00+00:00 https://programming-group.com/news/2022-06-06-xc-ecoop-artifact-award 2022-06-06T00:00:00+00:00 https://programming-group.com/news/2022-06-16-vcoop-keynote 2022-06-22T00:00:00+00:00 https://programming-group.com/news/2022-08-02-decentralizing-infrastructure-as-code-accepted 2022-08-02T00:00:00+00:00 https://programming-group.com/news/2022-11-06-fse 2022-11-06T00:00:00+00:00 https://programming-group.com/news/2022-12-06-faas-servey-accepted 2022-12-06T00:00:00+00:00 https://programming-group.com/news/2023-02-04-fist 2023-02-04T00:00:00+00:00 https://programming-group.com/news/2023-04-11-type-checking-crdt-convergence-pldi-paper 2023-04-11T00:00:00+00:00 https://programming-group.com/news/2023-05-01-david-joined 2023-05-01T00:00:00+00:00 https://programming-group.com/news/2023-06-09-propel-website 2023-06-09T00:00:00+00:00 https://programming-group.com/news/2023-07-18-linda-visit 2023-07-18T00:00:00+00:00 https://programming-group.com/news/2023-08-08-paper-EDBT24-accepted 2023-08-08T00:00:00+00:00 https://programming-group.com/news/2023-09-14-gcc-2023 2023-09-14T00:00:00+00:00 https://programming-group.com/news/2023-09-24-toplas-Prisma-published 2023-09-24T00:00:00+00:00 https://programming-group.com/news/2023-10-22-splash 2023-10-22T00:00:00+00:00 https://programming-group.com/news/2024-01-10-swiss-verification-day 2024-01-10T00:00:00+00:00 https://programming-group.com/news/2024-01-18-voxxed-days 2024-01-18T00:00:00+00:00 https://programming-group.com/news/2024-01-29-msr-ds-accepted 2024-01-29T00:00:00+00:00 https://programming-group.com/news/2024-02-01-ao-book 2024-02-01T00:00:00+00:00 https://programming-group.com/news/2024-04-15-msr-icse 2024-04-15T00:00:00+00:00 https://programming-group.com/news/2024-04-15-pldi 2024-04-15T00:00:00+00:00 https://programming-group.com/news/2024-04-16-snf 2024-04-15T00:00:00+00:00 https://programming-group.com/news/2024-04-20-proti-accepted 2024-04-20T00:00:00+00:00 https://programming-group.com/news/2024-04-25-sokolowski-dissertation 2024-04-25T00:00:00+00:00 https://programming-group.com/news/2024-05-15-cesario-joined 2024-05-15T00:00:00+00:00 https://programming-group.com/news/2024-06-20-pldi 2024-06-20T00:00:00+00:00 https://programming-group.com/news/2024-07-01-christoph-joined 2024-07-01T00:00:00+00:00 https://programming-group.com/news/2024-09-16-ecoop 2024-09-16T00:00:00+00:00 https://programming-group.com/news/2024-09-27-tse-paper 2024-09-27T00:00:00+00:00 https://programming-group.com/news/2024-11-01-alex-joined 2024-11-01T00:00:00+00:00 https://programming-group.com/news/2024-11-13-cape 2024-11-13T00:00:00+00:00 https://programming-group.com/news/2024-11-14-popl-accpet 2024-11-14T00:00:00+00:00 https://programming-group.com/news/2025-01-13-msr-accepted 2025-01-13T00:00:00+00:00 https://programming-group.com/news/2025-02-01-matteo-joined 2025-02-01T00:00:00+00:00 https://programming-group.com/news/2025-03-01-hiwi-luley-brazerol-streule 2025-03-01T00:00:00+00:00 https://programming-group.com/news/2025-03-15-nicolas-visiting 2025-03-15T00:00:00+00:00 https://programming-group.com/news/2025-06-01-fuzzing-accepted 2025-06-01T00:00:00+00:00 https://programming-group.com/news/2025-08-01-luca-diagrazia-joining 2025-08-01T00:00:00+00:00 https://programming-group.com/news/2025-09-01-cape-paper 2025-09-01T00:00:00+00:00 https://programming-group.com/news/2025-09-09-dare-talk 2025-09-09T00:00:00+00:00 https://programming-group.com/news/2025-09-18-david-ancona-visit 2025-09-18T00:00:00+00:00 https://programming-group.com/news/2025-10-01-beat-buesser 2025-10-01T00:00:00+00:00 https://programming-group.com/news/2025-11-01-andrea-stocco 2025-11-01T00:00:00+00:00 https://programming-group.com/news/2025-12-01-SVD-organization 2025-12-01T00:00:00+00:00 https://programming-group.com/news/2026-01-01-cape-paper 2026-01-01T00:00:00+00:00 https://programming-group.com/news/2026-01-14-popl-src 2026-01-01T00:00:00+00:00 https://programming-group.com/news/2026-02-24-oopsla-accepted 2026-02-24T00:00:00+00:00 https://programming-group.com/news/2026-03-hacking-lab 2026-03-27T00:00:00+00:00 https://programming-group.com/projects/consyst 2026-03-26T13:41:00+00:00 https://programming-group.com/projects/je 2026-03-26T13:41:00+00:00 https://programming-group.com/projects/metaverce 2026-03-26T13:41:00+00:00 https://programming-group.com/projects/mjuz 2026-03-26T13:41:00+00:00 https://programming-group.com/projects/propel 2026-03-26T13:41:00+00:00 https://programming-group.com/projects/proti 2026-03-26T13:41:00+00:00 https://programming-group.com/projects/rescala 2026-03-26T13:41:00+00:00 https://programming-group.com/projects/scala-loci 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/athene 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/cape-edge-computing 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/crossing 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/cyd-IaC-engine-testing 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/cyd-IaC-testing 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/cyd-IaC-verification 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/dfg-322196540 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/dfg-383964710 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/emergencity 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/hsg-gmf-luca 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/hsg-ipf-1031569 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/maki 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/snf-local-first 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/snf-multitier 2026-03-26T13:41:00+00:00 https://programming-group.com/supports/software-factory-4.0 2026-03-26T13:41:00+00:00 https://programming-group.com/theses/general-requests 2021-04-26T00:00:00+00:00 https://programming-group.com/theses/multitier-programming 2021-04-26T00:00:00+00:00 https://programming-group.com/theses/pl-theory 2024-02-06T00:00:00+00:00 https://programming-group.com/theses/infrastructure-as-code 2024-04-26T00:00:00+00:00 https://programming-group.com/ https://programming-group.com/contact https://programming-group.com/gcc-2023 https://programming-group.com/impressum https://programming-group.com/open-positions https://programming-group.com/publications https://programming-group.com/teaching https://programming-group.com/team https://programming-group.com/uzh-summer-school-2022 https://programming-group.com/assets/pdf/papers/2009_Integrated-Detection-of-Attacks-Against-Browsers-Web-Applications-and-Databases.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2010_Context-Oriented-Programming-in-Highly-Concurrent-Systems.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2010_Identifying-Dormant-Functionality-in-Malware-Programs.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2010_On-the-downscaling-of-the-Jazz-platform.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2010_Programming-Language-Support-to-Context-Aware-Adaptation-A-Case-Study-with-Erlang.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2011_An-Evaluation-of-the-Adaptation-Capabilities-in-Programming-Languages.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2011_Finding-Non-trivial-Malware-Naming-Inconsistencies.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2011_JavaCtx-Seamless-Toolchain-Integration-for-Context-Oriented-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2012_An-Analysis-of-Language-Level-Support-for-Self-Adaptive-Software.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2012_Context-oriented-programming-a-software-engineering-perspective.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2012_ContextErlang-introducing-context-oriented-programming-in-the-actor-model.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2013_Reactive-Behavior-in-Object-oriented-Applications-An-Analysis-and-a-Research-Roadmap.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2013_Towards-Distributed-Reactive-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2013_Ways-to-React-Comparing-Reactive-Languages-and-Complex-Event-Processing.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2014_An-Empirical-Study-on-Program-Comprehension-with-Reactive-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2014_Distributed_REScala_An_Update_Algorithm_for_Distributed_Reactive_Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2014_JEScala-Modular-Coordination-with-Declarative-Events-and-Joins.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2014_Programming_with_Implicit_Flows.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2014_REScala-Bridging-The-Gap-Between-Object-Oriented-And-Functional-Style-In-Reactive-Applications.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2014_Towards-Reactive-Programming-for-Object-Oriented-Applications.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2014_We-Have-a-DREAM-Distributed-Reactive-Programming-with-Consistency-Guarantees.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2014_i3QL_Language-Integrated_Live_Data_Views.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2015_ContextErlang-A-language-for-distributed-context-aware-self-adaptive-applications.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2015_Lightweight-Flexible-Object-Oriented-Generics.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2015_Reactive-Programming-A-Walkthrough.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2016_CPL-A-Core-Language-for-Cloud-Computing.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2016_Debugging-Reactive-Programming-with-Reactive-Inspector.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2016_Debugging-for-Reactive-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2016_Multitier-Reactive-Abstractions.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2016_Reactive-Async-Expressive-Deterministic-Concurrency.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2016_SecureScala-Scala-Embedding-of-Secure-Computations.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2016_What-do-we-really-know-about-data-flow-languages.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2017_Consistency-Types-for-Safe-and-Efficient-Distributed-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2017_On-the-Positive-Effect-of-Reactive-Programming-on-Software-Comprehension-An-Empirical-Study.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2017_Quality-aware-runtime-adaptation-in-complex-event-processing.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2018-Thread-safe-reactive-programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2018-Versatile-event-correlation-with-algebraic-effects.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2018_Distributed-System-Development-with-ScalaLoci.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2018_Fault-tolerant-Distributed-Reactive-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2018_Static-Latency-Tracking-with-Placement-Types.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2018_TCEP-Adapting-to-Dynamic-User-Environments-by-Enabling-Transitions-between-Operator-Placement-Mechanisms.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2019_Automated-Refactoring-to-Reactive-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2019_Developing-Distributed-Systems-with-Multitier-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2019_GRASS-Generic-Reactive-Application-Specific-Scheduling.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2019_Language-Integrated-Privacy-Aware-Distributed-Queries.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2019_Multitier-Modules.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2019_Multitier-Reactive-Programming-in-High-Performance-Computing.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2019_Smart-Street-Lights-and-Mobile-Citizen-Apps-for-Resilient-Communication-in-a-Digital-City.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2020_A-Survey-of-Multitier-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2020_Implementing-a-Language-for-Distributed-Systems.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2020_Leveraging-Hybrid-Cloud-HPC-with-Multitier-Reactive-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2020_Rethinking-Safe-Consistency-In-Distributed-Object-Oriented-Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2021_Automating-Serverless-Deployments-for-DevOps-Organizations.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2021_Deployment-Coordination-for-Cross-Functional-DevOps-Teams.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2021_Enclave-Based-Secure-Programming-with-JE.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2021_Impact-of-Programming-Languages-on-Machine-Learning-Bugs.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2021_Language-Support-for-Secure-Software-Development-with-Enclaves.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2021_Multiparty-Languages-The-Choreographic-and-Multitier-Cases.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2021_TCEP-Transitions-in-Operator-Placement-to-Adapt-to-Dynamic-Network-Environments.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2021_The-wonderless-Dataset-for-Serverless-Computing.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2021_Towards_Democratizing_Secure_Enclave_Programming.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2022_Change-Is-the-Only-Constant-Dynamic-Updates-for-Workflows.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2022_Functional-Programming-for-Distributed-Systems-with-XC.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2022_Infrastructure-as-Code-for-Dynamic-Deployments.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2022_Prisma-A-Tierless-Language-for-Enforcing-Contract-Client-Protocols-in-Decentralized-Applications.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2022_The-Uphill-Journey-of-FaaS-in-the-Open-Source-Community.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_A-Direct-Style-Effect-Notation-for-Sequential-and-Parallel-Programs.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Creed-for-Speed-Comprehensive-Infrastructure-as-Code-Testing.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Decentralizing-Infrastructure-as-Code.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Extensible-Testing-for-Infrastructure-as-Code.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_FPGA-Routing-Delay-Sensors-for-Effective-Remote-Power-Analysis-Attacks.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Lightweight-Kubernetes-Distributions.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Prisma-A-Tierless-Language-for-Enforcing-Contract-Client-Protocols-in-Decentralized-Applications.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Safe-Combination-of-Data-Centric-and-Operation-Centric-Consistency.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_TOSCA-for-Microservice-Deployment-in-Distributed-Control-Systems.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Towards-Reliable-Infrastructure-as-Code.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Type-Checking-CRDT-Convergence.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Type-Checking-CRDTs-with-Propel.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2023_Type-Safe-Dynamic-Placement-with-First-Class-Placed-Values.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Automated-Infrastructure-as-Code-Program-Testing.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Automated-Verification-of-Fundamental-Algebraic-Laws.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Bridging-Between-Active-Objects-Multitier-Programming-for-Distributed-Concurrent-Systems.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Compiling-with-Arrays.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Consistent-Local-First-Software-Enforcing-Safety-and-Invariants-for-Local-First-Applications.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Disequalities-in-E-Graphs-An-Experiment.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Exploring-Algebraic-Placement-in-Multiparty-Languages.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Reliable-Infrastructure-as-Code-for-Decentralized-Organizations.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Stateful-Entities-Object-oriented-Cloud-Applications-as-Distributed-Dataflows.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_The-PIPr-Dataset-of-Public-Infrastructure-as-Code-Programs.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Towards-AI-for-Software-Systems.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2024_Unleashing-the-Giants-Enabling-Advanced-Testing-for-Infrastructure-as-Code.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2025_Dis-Equality-Graphs.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2025_hybrid-fuzzing-of-iac-programs.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2025_terra-ds-hcl-dataset.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2026_CAPE-European-Open-Compute-Architecture-for-Powerful-Edge.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2026_Metamorphic-Testing-for-IaC-Engines.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/papers/2026_Save-Time-And-Mechanize.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/pdf/slides/GlobalCyberConf2023.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/uzh-summer-school-2022/ex01.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/uzh-summer-school-2022/ex02.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/uzh-summer-school-2022/ex03.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/uzh-summer-school-2022/slides-part0-introduction.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/uzh-summer-school-2022/slides-part1-intro-to-PL.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/uzh-summer-school-2022/slides-part2-growing-a-language.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/uzh-summer-school-2022/slides-part3-types-at-work.pdf 2026-03-26T13:40:47+00:00 https://programming-group.com/assets/uzh-summer-school-2022/slides-part4-research-in-PL.pdf 2026-03-26T13:40:47+00:00