Parasail

Established: October 17, 2014

Publications

View by:

- Parallelizing User-Defined Aggregations using Symbolic Execution
  
  Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
  
  October 2015
  
  Publication Publication Project
- Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup
  
  Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
  
  Publication Publication Project
- TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
  
  Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  PVLDB | June 2015
  
  Publication Publication Project
- Data-Parallel String-Manipulating Programs
  
  Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  
  Publication Publication Project
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  Publication Publication Project
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  Publication Project
- Data-Parallel String-Manipulating Programs
  
  Margus Veanes, David Molnar, Todd Mytkowicz, Ben Livshits
  
  MSR-TR-2012-72 | July 2012
  
  Publication Project

- Parallelizing User-Defined Aggregations using Symbolic Execution
  
  Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
  
  October 2015
  
  Publication Publication Project
- Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup
  
  Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
  
  Publication Publication Project
- TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
  
  Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  PVLDB | June 2015
  
  Publication Publication Project
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  Publication Publication Project
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  Publication Project
- Parallelizing User-Defined Aggregations using Symbolic Execution
  
  Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
  
  October 2015
  
  Publication Publication Project
- Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup
  
  Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
  
  Publication Publication Project
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  Publication Publication Project
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  Publication Project
- Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup
  
  Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
  
  Publication Publication Project
- TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
  
  Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  PVLDB | June 2015
  
  Publication Publication Project
- TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
  
  Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  PVLDB | June 2015
  
  Publication Publication Project
- Data-Parallel String-Manipulating Programs
  
  Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  
  Publication Publication Project
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  Publication Publication Project
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  Publication Project
- Data-Parallel String-Manipulating Programs
  
  Margus Veanes, David Molnar, Todd Mytkowicz, Ben Livshits
  
  MSR-TR-2012-72 | July 2012
  
  Publication Project

- Parallelizing User-Defined Aggregations using Symbolic Execution
  
  Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
  
  October 2015
  
  Publication Publication Project
- Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup
  
  Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
  
  Publication Publication Project
- TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
  
  Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
  
  PVLDB | June 2015
  
  Publication Publication Project
- Data-Parallel String-Manipulating Programs
  
  Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  
  Publication Publication Project
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  Publication Publication Project
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  Publication Project
- Data-Parallel String-Manipulating Programs
  
  Margus Veanes, David Molnar, Todd Mytkowicz, Ben Livshits
  
  MSR-TR-2012-72 | July 2012
  
  Publication Project

People

Microsoft

Madan Musuvathi

Partner Research Manager

Learn more

Jacob Nelson

Principal Research Software Development Engineer

Learn more

Interns

Zixian Cai

Research Intern

Australian National University

Learn more

Portrait of Roshan Dathathri

Roshan Dathathri

Research Intern

University of Texas at Austin

Learn more

Portrait of Gurbinder Gill

Gurbinder Gill

Research Intern

University of Texas at Austin

Learn more

Portrait of Abhinav Jangda

Abhinav Jangda

Research Intern

University of Massachusetts Amherst

Learn more

Portrait of Amir Hossein Nodehi Sabet

Amir Hossein Nodehi Sabet

Research Intern

University of California, Riverside

Learn more

Zhengyang Liu

Research Intern

University of Utah

Learn more