Aggelos Biboudis

Publications

138

Citations

H-Index

2015

Active since

Affiliations

National and Kapodistrian University of Athens(Current)

École Polytechnique Fédérale de Lausanne

Tohoku University

Aggelos Biboudis is an author at National and Kapodistrian University of Athens specializing in software engineering, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal MethodsComputer EngineeringCompilersData ScienceSoftware Design

Publications per year

2015–2018

Publications

Stream fusion, to completeness

Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos et al. · 2016 · 43 citations · Full text

Simplicitly: foundations and applications of implicit function types

Martin Odersky, Olivier Blanvillain, Fengyun Liu et al. · Proceedings of the ACM on Programming Languages · 2017 · 28 citations · Full text

Engineering, Verification, Software Engineering +18

A practical unification of multi-stage programming and macros

Nicolas Stucki, Aggelos Biboudis, Martin Odersky · 2018 · 21 citations · Full text

Novel Unification, Engineering, Compiler Technology +19

Streams a la carte: Extensible Pipelines with Object Algebras

Aggelos Biboudis, Nick Palladinos, George Fourtounis et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 20 citations · Full text

Automating ad hoc data representation transformations

Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis et al. · 2015 · 13 citations · Full text

Data Representation, Engineering, Compiler Technology +25

Rows per page

1–5 of 6