Todd Mytkowicz

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