Parallelizing User-Defined Aggregations using Symbolic Execution
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
Publications
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
Microsoft
Madan Musuvathi
Partner Research Manager
Jacob Nelson
Senior Research Software Development Engineer
Olli Saarikivi
Senior Researcher
Interns
Zixian Cai
Research Intern
Australian National University
Roshan Dathathri
Research Intern
University of Texas at Austin
Gurbinder Gill
Research Intern
University of Texas at Austin
Abhinav Jangda
Research Intern
University of Massachusetts Amherst
Amir Hossein Nodehi Sabet
Research Intern
University of California, Riverside
Zhengyang Liu
Research Intern
University of Utah