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…
Stochastic Program Optimization
An Introduction to Data Representation Synthesis
Reasoning About the Unknown in Static Analysis
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved