14 records found
1
Disnix: A toolset for distributed deployment
Declarative Testing and Deployment of Distributed Systems
Preventing injection attacks with syntax embeddings
Automating System Tests Using Declarative Virtual Machines
NixOS: A Purely Functional Linux Distribution
Automated Deployment of a Heterogeneous Service-Oriented System
Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs
Software deployment in a dynamic cloud: From device to service orientation in a hospital environment
Report on the Tenth ICFP Programming Contest
Maximal Laziness - An Efficient Interpretation Technique for Purely Functional DSLs
Atomic Upgrading of Distributed Systems
Preventing Injection Attacks with Syntax Embedding -- A Host and Guest Language Independent Approach
