Semantic foundations for typed assembly languages. - Ahmed, Amal; Appel, Andrew W.; Richards, Christopher D.; Swadi, Kedar N.; Tan, Gang; Wang, Daniel C. (ACM Trans. Program. Lang. Syst., 2010)

Implicitly Heterogeneous Multi-Stage Programming. - Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar N.; Taha, Walid (New Gener. Comput., 2007)

A monadic approach for avoiding code duplication when staging memoized functions. - Swadi, Kedar N.; Taha, Walid; Kiselyov, Oleg; Pasalic, Emir (2006)

Implicitly Heterogeneous Multi-stage Programming. - Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar N.; Taha, Walid (2005)

A methodology for generating verified combinatorial circuits. - Kiselyov, Oleg; Swadi, Kedar N.; Taha, Walid (2004)

Implementing DSLs in metaOCaml. - Guerrero, Miguel; Pizzi, Edward; Rosenbaum, Robert; Swadi, Kedar N.; Taha, Walid (2004)

Construction of a Semantic Model for a Typed Assembly Language. - Tan, Gang; Appel, Andrew W.; Swadi, Kedar N.; Wu, Dinghao (2004)