Parallelizing User-Defined Aggregations using Symbolic Execution
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
Publications
-
-
-
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
-
-
-
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
-
-
-
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
-
Personne
Microsoft
Madan Musuvathi
Partner Research Manager
Jacob Nelson
Principal Research Software Development Engineer
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