Interfaces for a set of experimental abstraction libraries