A PropEr integration of types and function specifications with property-based testing. - Manolis Papadakis; Konstantinos Sagonas (Erlang Workshop, 2011)

In situ visualization with task-based parallelism. - Alan Heirich; Elliott Slaughter; Manolis Papadakis; Wonchan Lee; Tim Biedert; Alex Aiken (ISAV@SC, 2017)

Seam: provably safe local edits on graphs. - Manolis Papadakis; Gilbert Louis Bernstein; Rahul Sharma 001; Alex Aiken; Pat Hanrahan (Proc. ACM Program. Lang., 2017)

A constraint-based approach to automatic data partitioning for distributed memory execution. - Wonchan Lee; Manolis Papadakis; Elliott Slaughter; Alex Aiken (SC, 2019)

New directions in uncertainty quantification using task-based programming. - Manolis Papadakis (2019)

Scaling implicit parallelism via dynamic control replication. - Michael Bauer 001; Wonchan Lee; Elliott Slaughter; Zhihao Jia; Mario Di Renzo; Manolis Papadakis; Galen M. Shipman; Patrick S. McCormick; Michael Garland; Alex Aiken (PPoPP, 2021)

Index launches: scalable, flexible representation of parallel task groups. - Rupanshu Soi; Michael Bauer 001; Sean Treichler; Manolis Papadakis; Wonchan Lee; Patrick S. McCormick; Alex Aiken; Elliott Slaughter (SC, 2021)

Supercomputing in Python With Legate. - Michael Bauer 001; Wonchan Lee; Manolis Papadakis; Marcin Zalewski; Michael Garland; Konrad Hinsen; Anshu Dubey (Comput. Sci. Eng., 2021)

Legate Sparse: Distributed Sparse Computing in Python. - Rohan Yadav; Wonchan Lee; Melih Elibol; Manolis Papadakis; Taylor Lee-Patti; Michael Garland; Alex Aiken; Fredrik Kjolstad; Michael Bauer 001 (SC, 2023)