E-LIB Suche - Ergebnisse für: Gallego Arias, Emilio Jesus

1

The w-calculus: a synchronous framework for the verified mo..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design,

Gallego Arias, Emilio Jesús ; Jouvelot, Pierre ; Ribstein, Sylvain. - p. 35-46 , 2021

Link: https://dl.acm.org/doi/1..

2

Constraint logic programming with a relational machine:

Gallego Arias, Emilio Jesús ; Lipton, James ; Mariño, Julio
Formal Aspects of Computing. 29 (2017) 1 - p. 97-124 , 2017

Link: https://doi.org/10.1007/..

3

Dual Query: Practical Private Query Release for High Dimens..:

Gaboardi, Marco ; Gallego Arias, Emilio Jesús ; Hsu, Justin..
Journal of Privacy and Confidentiality. 7 (2017) 2 - p. , 2017

Link: https://doi.org/10.29012..

4

Higher-Order Approximate Relational Refinement Types for Me..:

Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesús...
ACM SIGPLAN Notices. 50 (2015) 1 - p. 55-68 , 2015

Link: https://doi.org/10.1145/..

5

Higher-Order Approximate Relational Refinement Types for Me..:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesús... - p. 55-68 , 2015

Link: https://dl.acm.org/doi/1..

6

Really Natural Linear Indexed Type Checking:

, In: Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages,

de Amorim, Arthur Azevedo ; Gaboardi, Marco ; Gallego Arias, Emilio Jesús. - p. 1-12 , 2014

Link: https://dl.acm.org/doi/1..

7

Proving Differential Privacy in Hoare Logic:

, In: 2014 IEEE 27th Computer Security Foundations Symposium,

Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesus... - p. 411-424 , 2014

Link: https://doi.org/10.1109/..

8

Sensitivity analysis using type-based constraints:

, In: Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages,

D'Antoni, Loris ; Gaboardi, Marco ; Gallego Arias, Emilio Jesús.. - p. 43-50 , 2013

Link: https://dl.acm.org/doi/1..

9

A Proposal for Disequality Constraints in Curry:

Gallego Arias, Emilio Jesús ; Carballo, Julio Mariño ; Rey Poza, José María
Electronic Notes in Theoretical Computer Science. 177 (2007) - p. 269-285 , 2007

Link: https://doi.org/10.1016/..

10

An overview of the Sloth2005 curry system : system descr..:

, In: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming,

Gallego Arias, Emilio Jesús ; Mariño, Julio - p. 66-69 , 2005

Link: https://dl.acm.org/doi/1..

11

mCoq : mutation analysis for Coq verification projects:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings,

Jain, Kush ; Palmskog, Karl ; Celik, Ahmet.. - p. 89-92 , 2020

Link: https://dl.acm.org/doi/1..

12

Mutation Analysis for Coq:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Celik, Ahmet ; Palmskog, Karl ; Parovic, Marinela.. - p. 539-551 , 2019

Link: https://doi.org/10.1109/..

13

Mutation analysis for Coq:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,

Celik, Ahmet ; Palmskog, Karl ; Parovic, Marinela.. - p. 539-551 , 2019

Link: https://dl.acm.org/doi/1..

14

Certified Graph View Maintenance with Regular Datalog:

BONIFATI, ANGELA ; DUMBRAVA, STEFANIA ; ARIAS, EMILIO JESÚS GALLEGO
Theory and Practice of Logic Programming. 18 (2018) 3-4 - p. 372-389 , 2018

Link: https://doi.org/10.1017/..

15

Differentially Private Bayesian Programming:

, In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,

Barthe, Gilles ; Farina, Gian Pietro ; Gaboardi, Marco... - p. 68-79 , 2016

Link: https://dl.acm.org/doi/1..