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

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

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

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

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

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