Kedar N. Swadi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2004–2006
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | PEPM | A monadic approach for avoiding code duplication when staging memoized functions. | Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic |
| 2005 | GPCE | Implicitly Heterogeneous Multi-stage Programming. | Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha |
| 2004 | EMSOFT | A methodology for generating verified combinatorial circuits. | Oleg Kiselyov, Kedar N. Swadi, Walid Taha |
| 2004 | OOPSLA | Implementing DSLs in metaOCaml. | Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar N. Swadi, Walid Taha |
| 2004 | VMCAI | Construction of a Semantic Model for a Typed Assembly Language. | Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu |