2 papers
cs.DC2018
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers
Pablo Chico de Guzman, Felipe Gorostiaga, Cesar Sanchez
Container technologies, like Docker, are becoming increasingly popular. Containers provide exceptional developer experience because containers offer lightweight isolation and ease…
cs.PL2009
A Program Transformation for Continuation Call-Based Tabled Execution
Pablo Chico de Guzman, Manuel Carro, Manuel V. Hermenegildo
The advantages of tabled evaluation regarding program termination and reduction of complexity are well known --as are the significant implementation, portability, and maintenance e…