Emir Pasalic

According to our database, Emir Pasalic authored at least 16 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Modelling Machine Learning Algorithms on Relational Data with Datalog.

Nantia Makrynioti, Nikolaos Vasiloglou, Emir Pasalic, Vasilis Vassalos

Proceedings of the Second Workshop on Data Management for End-To-End Machine Learning, 2018

SolverBlox: algebraic modeling in datalog.

Conrado Borraz-Sánchez, Diego Klabjan, Emir Pasalic, Molham Aref

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2015

Design and Implementation of the LogicBlox System.

Molham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, Geoffrey Washburn

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Extending Datalog with Analytics in LogicBlox.

Molham Aref, Benny Kimelfeld, Emir Pasalic, Nikolaos Vasiloglou

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2009

Typed Datalog.

David Zook, Emir Pasalic, Beata Sarna-Starosta

Proceedings of the Practical Aspects of Declarative Languages, 2009

2007

Concoqtion: indexed types now!

Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

2006

A monadic approach for avoiding code duplication when staging memoized functions.

Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2005

Implicitly Heterogeneous Multi-stage Programming.

Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar N. Swadi, Walid Taha

Proceedings of the Generative Programming and Component Engineering, 2005

2004

Two-level types and parameterized modules.

Tim Sheard, Emir Pasalic

J. Funct. Program., 2004

Meta-programming With Built-in Type Equality.

Tim Sheard, Emir Pasalic

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004

Meta-programming with Typed Object-Language Representations.

Emir Pasalic, Nathan Linger

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2002

Tagless staged interpreters for typed languages.

Emir Pasalic, Walid Taha, Tim Sheard

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001

New Constructions of Resilient and Correlation Immune Boolean Functions Achieving Upper Bound on Nonlinearity.

Emir Pasalic, Subhamoy Maitra, Thomas Johansson, Palash Sarkar

Electron. Notes Discret. Math., 2001

Automated translation of legacy code for ATE.

Andrew Moran, Jim Teisher, Andrew Gill, Emir Pasalic, John Veneruso

Proceedings of the Proceedings IEEE International Test Conference 2001, Baltimore, MD, USA, 30 October, 2001

1999

DSL implementation using staging and monads.

Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic

Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1997

Beyond Interoperability - Tracking and Managing the Results of Computational Applications.

Judith Bayard Cushing, Justin Laird, Emir Pasalic, Elizabeth Kutter, Tim Hunkapiller, Frank Zucker, David P. Yee

Proceedings of the Ninth International Conference on Scientific and Statistical Database Management, 1997