14 records found
1
Disnix: A toolset for distributed deployment
Automated Deployment of a Heterogeneous Service-Oriented System
Preventing injection attacks with syntax embeddings
Automating System Tests Using Declarative Virtual Machines
Declarative Testing and Deployment of Distributed Systems
NixOS: A Purely Functional Linux Distribution
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
Maximal Laziness - An Efficient Interpretation Technique for Purely Functional DSLs
Atomic Upgrading of Distributed Systems
Report on the Tenth ICFP Programming Contest
Preventing Injection Attacks with Syntax Embedding -- A Host and Guest Language Independent Approach