Project Parade

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

Madan Musuvathi

Partner Research Manager

Learn more