Rinard, Martin

An analysis of patch plausibility and correctness for generate-and-validate patch generation systems

Qi, Z., Long, F., Achour, S., & Rinard, M. (2015) · Proceedings of the 2015 International Symposium on Software Testing and Analysis

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 420

An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems

Long, F., & Rinard, M. (2016) · Proceedings of the 38th International Conference on Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 167

Automatic parallelization of divide and conquer algorithms

Rugina, R., & Rinard, M. (1999) · Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming

Parallel Computing and Optimization TechniquesLogic, programming, and type systems

Cited by 103

Efficient Exact Verification of Binarized Neural Networks

Jia, K., & Rinard, M. (2020) · arXiv

Adversarial Robustness in Machine LearningFormal Methods in Verification

Cited by 33

Automatic synthesis of parallel unix commands and pipelines with KumQuat

Shen, J., Rinard, M., & Vasilakis, N. (2022) · Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Parallel Computing and Optimization TechniquesAdvanced Database Systems and Queries

Cited by 4

An order-aware dataflow model for parallel Unix pipelines

Handa, S., Kallas, K., Vasilakis, N., & Rinard, M. C. (2021) · Proceedings of the ACM on Programming Languages

Parallel Computing and Optimization TechniquesLogic, programming, and type systems

Cited by 4