Emir Pasalic - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2018

SolverBlox: algebraic modeling in datalogConrado Borraz-Sánchez, Diego Klabjan, Emir Pasalic, Molham Aref. In Michael Kifer, Yanhong Annie Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications. pages 331-354, ACM / Morgan & Claypool, 2018. [doi]

Modelling Machine Learning Algorithms on Relational Data with DatalogNantia Makrynioti, Nikolaos Vasiloglou, Emir Pasalic, Vasilis Vassalos. SIGMOD 2018: [doi]

2015

Extending Datalog with Analytics in LogicBloxMolham Aref, Benny Kimelfeld, Emir Pasalic, Nikolaos Vasiloglou. amw 2015: [doi]

Design and Implementation of the LogicBlox SystemMolham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, Geoffrey Washburn. SIGMOD 2015: 1371-1382 [doi]

2009

Typed DatalogDavid Zook, Emir Pasalic, Beata Sarna-Starosta. PADL 2009: 168-182 [doi]

2008

Meta-programming With Built-in Type EqualityTim Sheard, Emir Pasalic. ENTCS, 199:49-65, 2008. [doi]

2007

Implicitly Heterogeneous Multi-Stage ProgrammingJason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha. ngc, 25(3):305-336, 2007. [doi]

Concoqtion: indexed types now!Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha. PEPM 2007: 112-121 [doi]

2006

A monadic approach for avoiding code duplication when staging memoized functionsKedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic. PEPM 2006: 160-169 [doi]

2005

Implicitly Heterogeneous Multi-stage ProgrammingJason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha. GPCE 2005: 275-292 [doi]

2004

Meta-programming with Typed Object-Language RepresentationsEmir Pasalic, Nathan Linger. GPCE 2004: 136-167 [doi]

Two-level types and parameterized modulesTim Sheard, Emir Pasalic. JFP, 14(5):547-587, 2004. [doi]

2002

Tagless staged interpreters for typed languagesEmir Pasalic, Walid Taha, Tim Sheard. ICFP 2002: 218-229 [doi]

2001

Automated translation of legacy code for ATEAndrew Moran, Jim Teisher, Andy Gill, Emir Pasalic, John Veneruso. itc 2001: 148-156

New Constructions of Resilient and Correlation Immune Boolean Functions Achieving Upper Bound on NonlinearityEmir Pasalic, Subhamoy Maitra, Thomas Johansson, Palash Sarkar. endm, 6:158-167, 2001. [doi]

1999

DSL implementation using staging and monadsTim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic. DSL 1999: 81-94 [doi]

1997

Beyond Interoperability - Tracking and Managing the Results of Computational ApplicationsJudith Bayard Cushing, Justin Laird, Emir Pasalic, Elizabeth Kutter, Tim Hunkapiller, Frank Zucker, David P. Yee. ssdbm 1997: 223-236 [doi]

Sign in or sign up to see more results.

runs on WebDSL