Selim Arslanbek

June 19, 2015

Automatic locality-friendly array interface extension of numerical functions through C++ template metaprogramming

Numerical functions often need be invoked on views of vectors or matrixes, derived by selecting some elements or by pre-transforming them. For instance, one might want to prescale matrix elements before applying an existing FFT algorithm on them. Often this must be done by copying the elements to a separate array, and then invoking the original FFT algorithm, but this procedure is not efficient because it uses additional space and therefore has higher impact on data caches.

Read more …

January 26, 2018

Thesis defence by Paolo Giarrusso

Paolo Giarrusso
Paolo G. Giarrusso defends his thesis Optimizing and Incrementalizing Collection Queries by AST Transformation.

Read more …

April 10, 2017

Scala 2017 -- Call for Contributions

The Call for Contributions for the Eighth Symposium on Scala, co-organized by members of our research group (Paolo Giarrusso
Paolo G. Giarrusso and Jonathan Brachthäuser
ProfessorJonathan Immanuel Brachthäuser), is now available.

Read more …

October 30, 2016

Presentation at Scala Symposium

Paolo Giarrusso
Paolo Giarrusso delivers a talk entitled Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” at the Scala Symposium 2016 in Amsterdam, The Netherlands. The talk is based on joint work with Jonathan Brachthäuser
ProfessorJonathan Brachthäuser.

Read more …

November 13, 2015

Preprint for POPL paper online

The preprint for our paper on equirecursive types in System Fω, with title “System Fω with Equirecursive Types for Datatype-generic Programming”, is now available online.

Read more …

October 5, 2015

Paper accepted at POPL

Our paper on equirecursive types in System Fω, with title “System Fω with Equirecursive Types for Datatype-generic Programming”, has been accepted for presentation at the annual Symposium on Principles of Programming Languages.

Read more …

March 12, 2015

Community Involvement in Artifact Evaluation

Paolo Giarrusso
Paolo Giarrusso was invited to participate in the Artifact Evaluation Committee of ECOOP 2015.

Read more …

January 22, 2015

Invited Talk at PPS seminar, University Paris Diderot.

Paolo Giarrusso
Paolo G. Giarrusso delivers an invited talk Incrementalizing λ-Calculi by Static Differentiation: A Theory of Changes for Higher-Order Languages and Ongoing Work at the PPS seminar of the University Paris Diderot (Paris 7). The talk is based on our PLDI 2014 paper and ongoing work in the “incremental λ-calculus” project.

Read more …

October 1, 2014

Move to Tübingen

Prof. Klaus Ostermann
ProfessorKlaus Ostermann and part of his group move to Tübingen University, where Prof. Ostermann now holds the chair of programming languages and software technology.

Read more …