关注
José Manuel Calderón Trilla
José Manuel Calderón Trilla
Galois, Inc.
在 jmct.cc 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
582019
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
122018
Improving Implicit Parallelism
JM Calderón Trilla, C Runciman
ACM SIGPLAN Notices 50 (12), 153-164, 2015
8*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
22020
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
系统目前无法执行此操作，请稍后再试。
文章 1–8