Proof Obligations Preserving Compilation. - Gilles Barthe; Tamara Rezk; Ando Saabas (Formal Aspects in Security and Trust, 2005)

Visual tool for generative programming. - Pavel Grigorenko; Ando Saabas; Enn Tyugu (ESEC/SIGSOFT FSE, 2005)

COCOVILA - Compiler-Compiler for Visual Languages. - Pavel Grigorenko; Ando Saabas; Enn Tyugu (LDTA@ETAPS, 2005)

Compositional Type Systems for Stack-Based Low-Level Languages. - Ando Saabas; Tarmo Uustalu (CATS, 2006)

Foundational certification of data-flow analyses. - Maria João Frade; Ando Saabas; Tarmo Uustalu (TASE, 2007)

Type Systems for Optimizing Stack-based Code. - Ando Saabas; Tarmo Uustalu (Bytecode@ETAPS, 2007)

A compositional natural semantics and Hoare logic for low-level languages. - Ando Saabas; Tarmo Uustalu (Theor. Comput. Sci., 2007)

Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). - Margus Veanes; Ando Saabas (ABZ, 2008)

On Bounded Reachability of Programs with Set Comprehensions. - Margus Veanes; Ando Saabas (LPAR, 2008)

Program and proof optimizations with type systems. - Ando Saabas; Tarmo Uustalu (J. Log. Algebraic Methods Program., 2008)

Bidirectional data-flow analyses, type-systematically. - Maria João Frade; Ando Saabas; Tarmo Uustalu (PEPM, 2009)

Program Repair as Sound Optimization of Broken Programs. - Bernd Fischer 002; Ando Saabas; Tarmo Uustalu (TASE, 2009)

Proof optimization for partial redundancy elimination. - Ando Saabas; Tarmo Uustalu (J. Log. Algebraic Methods Program., 2009)

Explaining International Migration in the Skype Network: The Role of Social Network Features. - Riivo Kikas; Marlon Dumas; Ando Saabas (Sideways@HT, 2015)

ICASSP 2021 Acoustic Echo Cancellation Challenge: Datasets and Testing Framework. - Kusha Sridhar; Ross Cutler; Ando Saabas; Tanel Pärnamaa; Hannes Gamper; Sebastian Braun; Robert Aichner; Sriram Srinivasan 003 (CoRR, 2020)

Crowdsourcing Approach for Subjective Evaluation of Echo Impairment. - Ross Cutler; Babak Nadari; Markus Loide; Sten Sootla; Ando Saabas (ICASSP, 2021)

ICASSP 2021 Acoustic Echo Cancellation Challenge: Datasets, Testing Framework, and Results. - Kusha Sridhar; Ross Cutler; Ando Saabas; Tanel Pärnamaa; Markus Loide; Hannes Gamper; Sebastian Braun; Robert Aichner; Sriram Srinivasan 003 (ICASSP, 2021)

INTERSPEECH 2021 Acoustic Echo Cancellation Challenge. - Ross Cutler; Ando Saabas; Tanel Pärnamaa; Markus Loide; Sten Sootla; Marju Purin; Hannes Gamper; Sebastian Braun; Karsten Sørensen; Robert Aichner; Sriram Srinivasan 003 (Interspeech, 2021)

ICASSP 2022 Acoustic Echo Cancellation Challenge. - Ross Cutler; Ando Saabas; Tanel Pärnamaa; Marju Purin; Hannes Gamper; Sebastian Braun; Karsten Sørensen; Robert Aichner (ICASSP, 2022)

AECMOS: A Speech Quality Assessment Metric for Echo Impairment. - Marju Purin; Sten Sootla; Mateja Sponza; Ando Saabas; Ross Cutler (ICASSP, 2022)

INTERSPEECH 2022 Audio Deep Packet Loss Concealment Challenge. - Lorenz Diener; Sten Sootla; Solomiya Branets; Ando Saabas; Robert Aichner; Ross Cutler (INTERSPEECH, 2022)

Deep model with built-in self-attention alignment for acoustic echo cancellation. - Evgenii Indenbom; Nicolae-Catalin Ristea; Ando Saabas; Tanel Pärnamaa; Jegor Guzvin (CoRR, 2022)

PLCMOS - A Data-driven Non-intrusive Metric for The Evaluation of Packet Loss Concealment Algorithms. - Lorenz Diener; Marju Purin; Sten Sootla; Ando Saabas; Robert Aichner; Ross Cutler (INTERSPEECH, 2023)

DeepVQE: Real Time Deep Voice Quality Enhancement for Joint Acoustic Echo Cancellation, Noise Suppression and Dereverberation. - Nicolae-Catalin Ristea; Evgenii Indenbom; Ando Saabas; Tanel Pärnamaa; Jegor Guzvin; Ross Cutler (INTERSPEECH, 2023)

ICASSP 2023 Acoustic Echo Cancellation Challenge. - Ross Cutler; Ando Saabas; Tanel Pärnamaa; Marju Purin; Evgenii Indenbom; Nicolae-Catalin Ristea; Jegor Guzvin; Hannes Gamper; Sebastian Braun; Robert Aichner (CoRR, 2023)

The Icassp 2024 Audio Deep Packet Loss Concealment Grand Challenge. - Lorenz Diener; Solomiya Branets; Ando Saabas; Ross Cutler (ICASSP Workshops, 2024)

ICASSP 2024 Speech Signal Improvement Challenge. - Nicolae-Catalin Ristea; Ando Saabas; Ross Cutler; Babak Naderi; Sebastian Braun; Solomiya Branets (ICASSP Workshops, 2024)

Personalized Speech Enhancement Without a Separate Speaker Embedding Model. - Tanel Pärnamaa; Ando Saabas (INTERSPEECH, 2024)

The ICASSP 2024 Audio Deep Packet Loss Concealment Challenge. - Lorenz Diener; Solomiya Branets; Ando Saabas; Ross Cutler (CoRR, 2024)