ACM的通信
研究档案
该研究档案提供了对过去问题发表的所有研究文章的访问。
2018年2月
从ACM的通信
技术视角：构建免费编译器
怎么做越野车编纂者？“对窥视优化实际验证的”作者“给了我们一个引人注目和实际的答案。
从ACM的通信
对窥视孔优化的实际验证
我们创建了一种特定于域的语言，用于编写正确的Peephole优化，并自动证明它们正确或者生成的对策。
从ACM的通信
技术视角：设计算法和它们应该满足的公平标准
“这是他们最公平的（租金）？”专注于租金部门的问题，并以应用于解决方案的各种技术脱颖而出。
从ACM的通信
哪个是他们最公平的（租金）？
将房间分配给几个室友的公平方式是什么？我们开发了一般的算法框架，使得能够计算优化的多项式时间中的解决方案。