Adaptive Caches: Effective Shaping of Cache Behavior to Workloads. - Ranjith Subramanian; Yannis Smaragdakis; Gabriel H. Loh (MICRO, 2006)

Scalable automatic test data generation from modeling diagrams. - Yannis Smaragdakis; Christoph Csallner; Ranjith Subramanian (ASE, 2007)

Scalable satisfiability checking and test data generation from modeling diagrams. - Yannis Smaragdakis; Christoph Csallner; Ranjith Subramanian (Autom. Softw. Eng., 2009)