Parallelizing User-Defined Aggregations using Symbolic Execution
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
Project Parade
Established: October 17, 2014
Publications
Publications by Year
-
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
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
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
-
Data-Parallel Finite-State Machines
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Parallelizing Dynamic Programming Through Rank Convergence
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
-
Data-Parallel String-Manipulating Programs
Margus Veanes, David Molnar, Todd Mytkowicz, Ben Livshits
MSR-TR-2012-72 | July 2012
Publications by Research Area
-
Parallelizing User-Defined Aggregations using Symbolic Execution
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
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
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
Data-Parallel Finite-State Machines
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Parallelizing Dynamic Programming Through Rank Convergence
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
-
Parallelizing User-Defined Aggregations using Symbolic Execution
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
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
Data-Parallel Finite-State Machines
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Parallelizing Dynamic Programming Through Rank Convergence
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
-
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
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
-
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
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
-
Data-Parallel Finite-State Machines
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Parallelizing Dynamic Programming Through Rank Convergence
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
-
Data-Parallel String-Manipulating Programs
Margus Veanes, David Molnar, Todd Mytkowicz, Ben Livshits
MSR-TR-2012-72 | July 2012
Publications by Type
-
Parallelizing User-Defined Aggregations using Symbolic Execution
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
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
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
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
Data-Parallel Finite-State Machines
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Parallelizing Dynamic Programming Through Rank Convergence
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
-
Data-Parallel String-Manipulating Programs
Margus Veanes, David Molnar, Todd Mytkowicz, Ben Livshits
MSR-TR-2012-72 | July 2012
People
Madan Musuvathi
Partner Research Manager
Olli Saarikivi
Senior Researcher