ACM的通信
研究档案
该研究档案提供了对过去问题发表的所有研究文章的访问。
2016年2月
从ACM的通信
技术视角：在卸载计算中捕捉谎言（和错误）
“Pinocchio：几乎实际可验证计算”中描述的系统精制Gennaro等人的重要理论前进。这两种作品在一起表示速度，一般性和功能的戏剧性改善......
从ACM的通信
技术视角：使用随机技术的程序合成
“随机节目优化”的作者开发了一种随机搜索技术并将其应用于编程优化。
从ACM的通信
随机计划优化
通过以成本函数的术语编码转换正确性的约束，并使用Markov Chain Monte Carlo采样器探索所有可能的代码序列的空间，我们能够产生积极优化的......
从ACM的通信
Pinocchio：几乎实用的可验证计算
我们介绍Pinocchio，一个建筑系统，用于有效地验证一般计算，同时仅依赖于加密假设。