Communications of the ACM
Latest Research
From Communications of the ACM
Stochastic Program Optimization
By encoding constraints of transformation correctness as terms in a cost function, and using a Markov Chain Monte Carlo sampler to explore the space of all possible...
From Communications of the ACM
An Introduction to Data Representation Synthesis
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is declarative and results in provably correct code.
From Communications of the ACM