Reliability of large-scale hardware and software systems often depends on the correctness of the underlying structured data. Examples of structured data include heap-allocated linked data structures, files, and program states in software, and netlists and simulator states for modeling hardware. In this paper, we focus on automatically transforming structured data to make it satisfy certain prop...

Ubiquitination is a post-translational modification pathway involved in myriad cellular regulation and disease pathways. The Ub (ubiquitin) transfer cascade requires three enzyme activities: a Ub-activating (E1) enzyme, a Ub-conjugating (E2) enzyme, and a Ub ligase (E3). Because the E2 is responsible both for E3 selection and substrate modification, E2s function at the heart of the Ub transfer ...