Kedar N. Swadi

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
Semantic foundations for typed assembly languages. ACM Trans. Program. Lang. Syst. 32 (3) (2010)
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha
Implicitly Heterogeneous Multi-Stage Programming. New Gener. Comput. 25 (3) (2007)
Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic
A monadic approach for avoiding code duplication when staging memoized functions. PEPM (2006)
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha
Implicitly Heterogeneous Multi-stage Programming. GPCE (2005)
Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu
Construction of a Semantic Model for a Typed Assembly Language. VMCAI (2004)
Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha
Implementing DSLs in metaOCaml. OOPSLA Companion (2004)
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
A methodology for generating verified combinatorial circuits. EMSOFT (2004)