Emir Pasalic

I am a computer scientist at LogicBlox . Before that, I was a postdoc at the Rice PLT group. My interests include multi-stage programming, type theory and domain specific languages. I used to help maintain MetaOCaml, a multi-stage dialect of Objective Caml. Recently, I have been developing an extension of MetaOCaml called Concoqtion. I have participated in the development and implmenetation of MetaML and Omega .

I graduated from Oregon Health & Sciences University, OGI School of Science and Engineering [formerly OGI]. While a student, I was a member of the PacSoft research group. My advisor is Tim Sheard.

Contact

Address: Emir Pasalic
LogicBlox Inc.
Two Midtown Plaza, Suite 1880
1349 West Peachtree Street NW
Atlanta GA 30309
Skype:

Professional Activities

Publications

[1] David Zook, Emir Pasalic, and Beata Sarna-Sarosta. Typed datalog. In Practical Aspects of Declarative Languages (PADL '09), to appear. Springer-Verlag, 2009. [ bib ]
[2] Beata Sarna-Sarosta, David Zook, Emir Pasalic, and Molham Aref. Relating constraint handling rules to datalog. In Fifth Workshop on Constraint Handling Rules, July 2008. [ bib ]
[3] Tim Sheard and Emir Pasalic. Meta-programming with built-in type equality (journal version). Electron. Notes Theor. Comput. Sci., 199:49-65, 2008. [ bib | DOI ]
[4] Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, and Walid Taha. Implicitly heterogeneous multi-stage programming (extended version). New Generation Computing, (To appear.), 2007. [ bib ]
[5] Seth Fogarty, Emir Pasalic, Jeremy Siek, and Walid Taha. Concoqtion: Indexed types now! In ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM '07), 2007. [ bib | .pdf | Abstract ]
[6] Emir Pasalic, Jeremy Siek, and Walid Taha. Concoqtion: Mixing indexed types and hindley-milner type inference. Unpublished., 2006. [ bib | .pdf ]
[7] Kedar Swadi, Walid Taha, Oleg Kiselyov, and Emir Pasalic. A monadic approach for avoiding code duplication when staging memoized functions. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '06). ACM Press, January 2006. [ bib | .pdf ]
[8] Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, and Walid Taha. Implicitly heterogeneous multi-stage programming. In Proceedings of the 4th ACM International Conference on Generative Programming and Component Engineering (GPCE'05), volume 3676 of Lecture Notes In Computer Science. Springer-Verlag, September 2005. [ bib | .pdf | Abstract ]
[9] Emir Pasalic and R. Nathan Linger. Meta-programming with typed object-language representations. In Gabor Karsai and Eelco Visser, editors, Generative Programming and Component Engineering: Third International Conference. Lecture Notes in Computer Science, Springer-Verlag, October 2004. [ bib | .pdf | Abstract ]
[10] Tim Sheard and Emir Pasalic. Two-level types and parameterized modules. Journal of Functional Programming, 14(5):547-587, September 2004. [ bib | .pdf | Abstract ]
[11] Tim Sheard and Emir Pasalic. Meta-programming with built-in type equality. In Logical Frameworks and Meta-Languages workshop. Proceedings., 2004. [ bib | .pdf | Abstract ]
[12] Emir Pasalic. The Role of Type Equality in Meta-Programming. PhD thesis, Oregon Health and Sciences University, The OGI School of Science and Engineering, 2004. [ bib | .pdf | Abstract ]
[13] Emir Pasalic and Tim Sheard. Implementing pattern-based binding in typed object languages. Unpublished., 2003. [ bib ]
[14] Emir Pasalic, Tim Sheard, and Walid Taha. Tagless staged interpreters for typed languages. In The International Conference on Functional Programming (ICFP '02). ACM, ACM Press, October 2002. [ bib | .pdf | Abstract ]
[15] Andrew Moran, James Teisher, Andrew Gill, Emir Pasalic, and J. Veneruso. Automated translation of legacy code for ATE. In International Test Conference 2001 (ITC '01), pages 148- 156. IEEE, October 2001. [ bib | .pdf ]
[16] Emir Pasalic, Tim Sheard, and Walid Taha. Dali: An untyped, cbv functional language supporting first-order datatypes with binders. Unpublished., 2000. [ bib | .pdf | Abstract ]
[17] Tim Sheard, Zine-el-Abidine Benaissa, and Emir Pasalic. Dsl implementation using staging and monads. In Second Conference on Domain-Specific Languages (DSL'99), pages 81-94, New York, NY, USA, October 1999. USENIX, ACM Press. [ bib | .pdf ]
[18] Judith Bayard Cushing, Justin Laird, Emir Pasalic, Elizabeth Kutter, Tim Hunkapiller, Frank Zucker, and David P. Yee. Beyond interoperability - tracking and managing the results of computational applications. In Ninth International Conference on Scientific and Statistical Database Management. IEEE Computer Society Press, 1997. [ bib ]