Programming Languages and Software Technology

Paolo G. Giarrusso, M.Sc.

Paolo Giarrusso
Universität Tübingen
WSI - Programmiersprachen und Softwaretechnik
Sand 13
72076 Tübingen
Germany

Telephone
+49 - (0) 70 71 - 29 - 70 516
Telefax
+49 - (0) 70 71 - 29 - 50 82
E-Mail
paolo.giarrusso(at)uni-tuebingen.de
Office
B211
Office hours
by appointment --- see calendar

Publications on Google Scholar

To set up appointments, see my calendar page.

Finished Thesis Topics

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 …

News

Thesis defence by Paolo Giarrusso

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

Read more …

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
Alumni
Paolo G. Giarrusso
and Jonathan Brachthäuser
Researcher
Jonathan Immanuel Brachthäuser
), is now available.

Read more …

Presentation at Scala Symposium

Paolo Giarrusso
Alumni
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
Researcher
Jonathan Brachthäuser
.

Read more …

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 …

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 …

Invited Talk at PPS seminar, University Paris Diderot.

Paolo Giarrusso
Alumni
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 …

Move to Tübingen

Prof. Klaus Ostermann
Head
Klaus 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 …