Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping.

Hamid Bagheri, Kevin J. Sullivan, Sang H. Son

Browse the full SEKE paper archive.