| A PropEr integration of types and function specifications with property-based testing M Papadakis, K Sagonas Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 39-50, 2011 | 120 | 2011 |
| Soleil-X: turbulence, particles, and radiation in the Regent programming language H Torres, M Papadakis, L Jofre Cruanyes SC'19: Proceedings of the International Conference for High Performance …, 2019 | 21 | 2019 |
| Scaling implicit parallelism via dynamic control replication M Bauer, W Lee, E Slaughter, Z Jia, M Di Renzo, M Papadakis, ... Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021 | 19 | 2021 |
| Predicting airfare prices M Papadakis Clerk Maxwell, 2014 | 16 | 2014 |
| Multifidelity modeling of irradiated particle-laden turbulence subject to uncertainty L Jofre, M Papadakis, PT Roy, A Aiken, G Iaccarino International Journal for Uncertainty Quantification 10 (6), 2020 | 13 | 2020 |
| In situ visualization with task-based parallelism A Heirich, E Slaughter, M Papadakis, W Lee, T Biedert, A Aiken Proceedings of the In Situ Infrastructures on Enabling Extreme-Scale …, 2017 | 11 | 2017 |
| Automatic random testing of function properties from specifications M Papadakis Undergraduate thesis, Department of Electrical and Computer Engineering …, 2010 | 8 | 2010 |
| A constraint-based approach to automatic data partitioning for distributed memory execution W Lee, M Papadakis, E Slaughter, A Aiken Proceedings of the International Conference for High Performance Computing …, 2019 | 7 | 2019 |
| Supercomputing in python with legate M Bauer, W Lee, M Papadakis, M Zalewski, M Garland Computing in Science & Engineering 23 (4), 73-79, 2021 | 5 | 2021 |
| Index launches: scalable, flexible representation of parallel task groups R Soi, M Bauer, S Treichler, M Papadakis, W Lee, P McCormick, A Aiken, ... Proceedings of the International Conference for High Performance Computing …, 2021 | 4 | 2021 |
| New Directions in Uncertainty Quantification Using Task-based Programming M Papadakis Stanford University, 2019 | 2 | 2019 |
| Multifidelity ensemble-based prediction of turbulent flows at the Exascale L Jofre, M Papadakis, A Aiken, G Iaccarino APS Division of Fluid Dynamics Meeting Abstracts, P16. 005, 2019 | 1 | 2019 |
| Seam: Provably safe local edits on graphs M Papadakis, GL Bernstein, R Sharma, A Aiken, P Hanrahan Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-29, 2017 | 1 | 2017 |
| Legate Sparse: Distributed Sparse Computing in Python R Yadav, W Lee, M Elibol, M Papadakis, T Lee-Patti, M Garland, A Aiken, ... Proceedings of the International Conference for High Performance Computing …, 2023 | | 2023 |
Alex AikenProfessor of Computer Science, Stanford UniversityCorreu electrònic verificat a cs.stanford.edu
