Kedar N. Swadi

According to our database, Kedar N. Swadi authored at least 6 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Semantic foundations for typed assembly languages.

Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang

ACM Trans. Program. Lang. Syst., 2010

2007

Implicitly Heterogeneous Multi-Stage Programming.

Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha

New Gener. Comput., 2007

2006

A monadic approach for avoiding code duplication when staging memoized functions.

Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2004

Construction of a Semantic Model for a Typed Assembly Language.

Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu

Proceedings of the Verification, 2004

Implementing DSLs in metaOCaml.

Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

A methodology for generating verified combinatorial circuits.

Oleg Kiselyov, Kedar N. Swadi, Walid Taha

Proceedings of the EMSOFT 2004, 2004