Todd Mytkowicz

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 36

Top Topics

Static Analysis

Dynamic Programming Algorithms

Top Venues

Publications

Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
DeepMerge: Learning to Merge Programs. IEEE Trans. Software Eng. 49 (4) (2023)
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches. NSDI (2023)
Haotian Cui, Chenglong Wang, Junjie Huang, Jeevana Priya Inala, Todd Mytkowicz, Bo Wang, Jianfeng Gao, Nan Duan
CodeExp: Explanatory Code Document Generation. CoRR (2022)
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi
Breaking the computation and communication abstraction barrier in distributed machine learning workloads. ASPLOS (2022)
Haotian Cui, Chenglong Wang, Junjie Huang, Jeevana Priya Inala, Todd Mytkowicz, Bo Wang, Jianfeng Gao, Nan Duan
CodeExp: Explanatory Code Document Generation. EMNLP (Findings) (2022)
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri
TOGA: A Neural Method for Test Oracle Generation. ICSE (2022)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). ISSTA (2022)
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Elizabeth Dinella, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu K. Lahiri
Program merge conflict resolution via neural transformers. ESEC/SIGSOFT FSE (2022)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? CoRR (2021)
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh
Synthesizing Collective Communication Algorithms for Heterogeneous Networks with TACCL. CoRR (2021)
Elizabeth Dinella, Shuvendu K. Lahiri, Todd Mytkowicz, Gabriel Ryan
Neural Unit Test Suggestions. CoRR (2021)
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
Synthesizing optimal collective algorithms. PPoPP (2021)
Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
Distributed Training of Embeddings using Graph Analytics. IPDPS (2021)
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
Scaling Distributed Training with Adaptive Summation. MLSys (2021)
Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu K. Lahiri
MergeBERT: Program Merge Conflict Resolution via Neural Transformers. CoRR (2021)
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi
CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning. CoRR (2021)
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
DeepMerge: Learning to Merge Programs. CoRR (2021)
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
Synthesizing Optimal Collective Algorithms. CoRR (2020)
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
Scaling Distributed Training with Adaptive Summation. CoRR (2020)
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
CHET: an optimizing compiler for fully-homomorphic neural-network inferencing. PLDI (2019)
Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
Distributed Word2Vec using Graph Analytics Frameworks. CoRR (2019)
Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. SOSP (2019)
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs. CoRR (2018)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Semantics-Preserving Parallelization of Stochastic Gradient Descent. IPDPS (2018)
Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz
Cross-language optimizations in big data systems: a case study of SCOPE. ICSE (SEIP) (2018)
Adrian Sampson, Kathryn S. McKinley, Todd Mytkowicz
Static stages for heterogeneous programming. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Parallel Stochastic Gradient Descent with Sound Combiners. CoRR (2017)
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi
Static analysis for optimizing big data queries. ESEC/SIGSOFT FSE (2017)
Diman Zad Tootaghaj, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley
High Five: Improving Gesture Recognition by Embracing Uncertainty. CoRR (2017)
Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley
Debugging probabilistic programs. MAPL@PLDI (2017)
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
Fusing effectful comprehensions. PLDI (2017)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Low-Rank Methods for Parallelizing Dynamic Programming Algorithms. ACM Trans. Parallel Comput. 2 (4) (2016)
Charith Mendis, Jasha Droppo, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Geoffrey Zweig
Parallelizing WFST speech decoders. ICASSP (2016)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Efficient parallelization using rank convergence in dynamic programming algorithms. Commun. ACM 59 (10) (2016)
Qiang Xu, Todd Mytkowicz, Nam Sung Kim
Guest Editors' Introduction: Approximate Computing. IEEE Des. Test 33 (1) (2016)
Qiang Xu, Todd Mytkowicz, Nam Sung Kim
Approximate Computing: A Survey. IEEE Des. Test 33 (1) (2016)
Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits
Data-Parallel String-Manipulating Programs. POPL (2015)
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
Uncertain: Abstractions for Uncertain Hardware and Software. IEEE Micro 35 (3) (2015)
Benjamin Livshits, Todd Mytkowicz
InterPoll: Crowd-Sourced Internet Polls. SNAPL (2015)
Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). Dagstuhl Reports 5 (11) (2015)
Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz
Parallelizing user-defined aggregations using symbolic execution. SOSP (2015)
Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz
Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup. ICML (2015)
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems. Proc. VLDB Endow. 8 (10) (2015)
Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze
Expressing and verifying probabilistic assertions. PLDI (2014)
Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte
Data-parallel finite-state machines. ASPLOS (2014)
Bin Ren, Todd Mytkowicz, Gagan Agrawal
A Portable Optimization Engine for Accelerating Irregular Data-Traversal Applications on SIMD Architectures. ACM Trans. Archit. Code Optim. 11 (2) (2014)
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
Uncertain: a first-order type for uncertain data. ASPLOS (2014)
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz
Parallelizing dynamic programming through rank convergence. PPOPP (2014)
Todd Mytkowicz, Wolfram Schulte
language abstractions for parallel programming should be here soon: the multicore transformation (Ubiquity symposium). Ubiquity 2014 (June) (2014)
Benjamin Livshits, Todd Mytkowicz
Saving Money While Polling with InterPoll Using Power Analysis. HCOMP (2014)
Aman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola
The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing. OOPSLA (2013)
Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
SIMD parallelization of applications that traverse irregular data structures. CGO (2013)
Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
Fine-grained parallel traversals of irregular data structures. PACT (2012)
James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
The model is not enough: Understanding energy consumption in mobile devices. Hot Chips Symposium (2012)
Amer Diwan, Matthias Hauswirth, Todd Mytkowicz, Peter F. Sweeney
TraceAnalyzer: a system for processing performance traces. Softw. Pract. Exp. 41 (3) (2011)
Zachary Alexander, Todd Mytkowicz, Amer Diwan, Elizabeth Bradley
Measurement and Dynamical Analysis of Computer Performance Data. IDA (2010)
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
The Effect of Omitted-Variable Bias on the Evaluation of Compiler Optimizations. Computer 43 (9) (2010)
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
Evaluating the accuracy of Java profilers. PLDI (2010)
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
Producing wrong data without doing anything obviously wrong! ASPLOS (2009)
Todd Mytkowicz, Devin Coughlin, Amer Diwan
Inferred call path profiling. OOPSLA (2009)
Dan Knights, Todd Mytkowicz, Peter F. Sweeney, Michael C. Mozer, Amer Diwan
Blind Optimization for Exploiting Hardware Features. CC (2009)
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
We have it easy, but do we have it right? IPDPS (2008)
Ed H. Chi, Peter Pirolli, Bongwon Suh, Aniket Kittur, Bryan A. Pendleton, Todd Mytkowicz
Augmented Social Cognition. AAAI Spring Symposium: Social Information Processing (2008)
Ed H. Chi, Todd Mytkowicz
Understanding the efficiency of social tagging systems using information theory. Hypertext (2008)
Ed H. Chi, Todd Mytkowicz
Understanding the Efficiency of Social Tagging Systems using Information Theory. ICWSM (2008)
Todd Mytkowicz, Peter F. Sweeney, Matthias Hauswirth, Amer Diwan
Time Interpolation: So Many Metrics, So Few Registers. MICRO (2007)
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
Understanding Measurement Perturbation in Trace-based Data. IPDPS (2007)
Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
Aligning traces for performance evaluation. IPDPS (2006)
Marc D. Richards, L. Darrell Whitley, J. Ross Beveridge, Todd Mytkowicz, Duong Nguyen, David Rome
Evolving cooperative strategies for UAV teams. GECCO (2005)