2009 |
13 | EE | David Zook,
Emir Pasalic,
Beata Sarna-Starosta:
Typed Datalog.
PADL 2009: 168-182 |
2008 |
12 | EE | Tim Sheard,
Emir Pasalic:
Meta-programming With Built-in Type Equality.
Electr. Notes Theor. Comput. Sci. 199: 49-65 (2008) |
2007 |
11 | EE | Seth Fogarty,
Emir Pasalic,
Jeremy G. Siek,
Walid Taha:
Concoqtion: indexed types now!
PEPM 2007: 112-121 |
10 | EE | Jason Eckhardt,
Roumen Kaiabachev,
Emir Pasalic,
Kedar N. Swadi,
Walid Taha:
Implicitly Heterogeneous Multi-Stage Programming.
New Generation Comput. 25(3): 305-336 (2007) |
2006 |
9 | EE | Kedar N. Swadi,
Walid Taha,
Oleg Kiselyov,
Emir Pasalic:
A monadic approach for avoiding code duplication when staging memoized functions.
PEPM 2006: 160-169 |
2005 |
8 | EE | Jason Eckhardt,
Roumen Kaiabachev,
Emir Pasalic,
Kedar N. Swadi,
Walid Taha:
Implicitly Heterogeneous Multi-stage Programming.
GPCE 2005: 275-292 |
2004 |
7 | EE | Emir Pasalic,
Nathan Linger:
Meta-programming with Typed Object-Language Representations.
GPCE 2004: 136-167 |
6 | EE | Tim Sheard,
Emir Pasalic:
Two-level types and parameterized modules.
J. Funct. Program. 14(5): 547-587 (2004) |
2002 |
5 | EE | Emir Pasalic,
Walid Taha,
Tim Sheard:
Tagless staged interpreters for typed languages.
ICFP 2002: 218-229 |
2001 |
4 | | Andrew Moran,
Jim Teisher,
Andrew Gill,
Emir Pasalic,
John Veneruso:
Automated translation of legacy code for ATE.
ITC 2001: 148-156 |
3 | EE | Emir Pasalic,
Subhamoy Maitra,
Thomas Johansson,
Palash Sarkar:
New Constructions of Resilient and Correlation Immune Boolean Functions Achieving Upper Bound on Nonlinearity.
Electronic Notes in Discrete Mathematics 6: 158-167 (2001) |
1999 |
2 | EE | Tim Sheard,
Zine-El-Abidine Benaissa,
Emir Pasalic:
DSL implementation using staging and monads.
DSL 1999: 81-94 |
1997 |
1 | EE | Judith Bayard Cushing,
Justin Laird,
Emir Pasalic,
Elizabeth Kutter,
Tim Hunkapiller,
Frank Zucker,
David P. Yee:
Beyond Interoperability - Tracking and Managing the Results of Computational Applications.
SSDBM 1997: 223-236 |