Columbia University

Microsoft Technology Licensing, LLC

Jingyue Wu

JunFeng Yang

Heming Cui

Qifa Ke

Yuan Yu

Yinglian Xie

Vijayan Prabhakaran

Methods, systems, and media for providing determinism in multithreaded programs are provided. In some embodiments, methods for providing determinism in multithreaded programs are provided, the methods comprising: instrumenting a program with: a proxy that: receives inputs to the program; and determines whether a schedule corresponding to a set of input constraints satisfied by the inputs has been memoized; and a replayer that: if it is determined that a schedule corresponding to a set of input constraints satisfied by the inputs has been memoized, processes the inputs by the program according to the schedule.

Methods, systems, and media for providing determinism in multithreaded programs

A data partitioning plan is automatically generated that&#x2014;given a data-parallel program and a large input dataset, and without having to first run the program on the input dataset&#x2014;substantially optimizes performance of the distributed execution system that explicitly measures and infers various properties of both data and computation to perform cost estimation and optimization. Estimation may comprise inferring the cost of a candidate data partitioning plan, and optimization may comprise generating an optimal partitioning plan based on the estimated costs of computation and input/output.

Optimizing data partitioning for data-parallel computing

Methods, systems, and media for protecting applications from races are provided. In some embodiments, methods for protecting applications from races are provided, the methods comprising: adding to at least one cycle of the application an update check to determine when an update to the application is to be made; adding an update engine to the application, wherein the update engine is configured to: receive an update plan that is based on an execution filter that specifies how operations of the application are to be synchronized; and cause synchronization operations to be added to the application based on the update plan that prevent the race from occurring.

Methods, systems, and media for protecting applications from races

Growing community of inventors

New York, NY, United States of America

Jingyue Wu