Pablo Chico de Guzmán

According to our database, Pablo Chico de Guzmán authored at least 14 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.

Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez

CoRR, 2018

i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines.

Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez

Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications.

Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez

Proceedings of the 2018 IEEE International Conference on Web Services, 2018

2013

Supporting Pruning in Tabled LP.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

Estrategias Avanzadas de Tabulación y Paralelismo en Programas Lógicos = Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs.

Pablo Chico de Guzmán

PhD thesis, 2012

A Segment-Swapping Approach for Executing Trapped Computations.

Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2012

A General Implementation Framework for Tabled CLP.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Parallel backtracking with answer memoing for independent and-parallelism.

Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2011

2010

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.

Pablo Chico de Guzmán, Manuel Carro, David Scott Warren

Theory Pract. Log. Program., 2010

2009

A Program Transformation for Continuation Call-Based Tabled Execution

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

CoRR, 2009

Towards a Complete Scheme for Tabled Execution Based on Program Transformation.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2009

A Tabling Implementation Based on Variables with Multiple Bindings.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

An Improved Continuation Call-Based Implementation of Tabling.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2008

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 24th International Conference, 2008