Follow
José Manuel Calderón Trilla
José Manuel Calderón Trilla
Galois, Inc.
Verified email at jmct.cc - Homepage
Title
Cited by
Cited by
Year
Ramparts: A programmer-friendly system for building homomorphic encryption applications
DW Archer, JM Calderón Trilla, J Dagit, A Malozemoff, Y Polyakov, ...
Proceedings of the 7th acm workshop on encrypted computing & applied …, 2019
512019
What’s the Over/Under? Probabilistic Bounds on Information Leakage
I Sweet, JM Calderón Trilla, C Scherrer, M Hicks, S Magill
International Conference on Principles of Security and Trust, 3-27, 2018
112018
Improving Implicit Parallelism
JM Calderón Trilla, C Runciman
ACM SIGPLAN Notices 50 (12), 153-164, 2015
7*2015
Weaving Parallel Threads
JM Calderon Trilla, S Poulding, C Runciman
International Symposium on Search Based Software Engineering, 62-76, 2015
3*2015
Probabilistic Abstract Interpretation:Sound Inference and Application to Privacy
JM Calderón Trilla, M Hicks, S Magill, P Mardziel, I Sweet
Foundations of Probabilistic Programming, 361, 2020
2020
Privacy-aware Adaptive Scheduling for Coalition Operations
SM KL Myers, T Lee, L Tam, JM Calderon Trilla, B Davis
ICAPS 2019 Workshop SPARK, 2019
2019
Expressing and Controlling Parallelism in Lazy Functional Programs
JM Calderón Trilla
2012
Mutual Information in 1D Cellular Automata
JM Calderón Trilla
2011
The system can't perform the operation now. Try again later.
Articles 1–8