dblp.uni-trier.dewww.uni-trier.de

Kedar N. Swadi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
6EEJason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha: Implicitly Heterogeneous Multi-Stage Programming. New Generation Comput. 25(3): 305-336 (2007)
2006
5EEKedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic: A monadic approach for avoiding code duplication when staging memoized functions. PEPM 2006: 160-169
2005
4EEJason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha: Implicitly Heterogeneous Multi-stage Programming. GPCE 2005: 275-292
2004
3EEOleg Kiselyov, Kedar N. Swadi, Walid Taha: A methodology for generating verified combinatorial circuits. EMSOFT 2004: 249-258
2EEMiguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha: Implementing DSLs in metaOCaml. OOPSLA Companion 2004: 41-42
1EEGang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu: Construction of a Semantic Model for a Typed Assembly Language. VMCAI 2004: 30-43

Coauthor Index

1Andrew W. Appel [1]
2Jason Eckhardt [4] [6]
3Miguel Guerrero [2]
4Roumen Kaiabachev [4] [6]
5Oleg Kiselyov [3] [5]
6Emir Pasalic [4] [5] [6]
7Edward Pizzi [2]
8Robert Rosenbaum [2]
9Walid Taha [2] [3] [4] [5] [6]
10Gang Tan [1]
11Dinghao Wu [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)