41 citations · 41 across the 2 of their papers we have counts for
2 papers
cs.SE2019
Scalable Inference of System-level Models from Component Logs
Donghwan Shin, Salma Messaoudi, Domenico Bianculli +3
Behavioral software models play a key role in many software engineering tasks; unfortunately, these models either are not available during software development or, if available, th…
cs.PL2017★ 41 cited
Souper: A Synthesizing Superoptimizer
Raimondas Sasnauskas, Yang Chen, Peter Collingbourne +4
If we can automatically derive compiler optimizations, we might be able to sidestep some of the substantial engineering challenges involved in creating and maintaining a high-quali…