Todd Mytkowicz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
21
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | How Effectively Do Large Language Models Help with Build Conflict Resolution? | Sheikh Shadab Towqir, Xiaoyan Zang, Todd Mytkowicz, Na Meng |
| 2026 | MSR | Combining Example-Based and Rule-Based Program Transformations to Resolve Build Conflicts. | Sheikh Shadab Towqir, Fei He, Todd Mytkowicz, Na Meng |
| 2023 | NSDI | TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches. | Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi |
| 2022 | ASPLOS | Breaking the computation and communication abstraction barrier in distributed machine learning workloads. | Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Saarikivi |
| 2022 | EMNLP | CodeExp: Explanatory Code Document Generation. | Haotian Cui, Chenglong Wang, Junjie Huang, Jeevana Priya Inala, Todd Mytkowicz, Bo Wang, Jianfeng Gao, Nan Duan |
| 2022 | ICSE | TOGA: A Neural Method for Test Oracle Generation. | Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri |
| 2022 | ISSTA | Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). | Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri |
| 2021 | PPoPP | Synthesizing optimal collective algorithms. | Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi |
| 2019 | PLDI | CHET: an optimizing compiler for fully-homomorphic neural-network inferencing. | Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz |
| 2019 | SOSP | Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. | Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin |
| 2018 | ICSE | Cross-language optimizations in big data systems: a case study of SCOPE. | Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz |
| 2017 | PLDI | Debugging probabilistic programs. | Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley |
| 2017 | PLDI | Fusing effectful comprehensions. | Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi |
| 2016 | ICASSP | Parallelizing WFST speech decoders. | Charith Mendis, Jasha Droppo, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Geoffrey Zweig |
| 2015 | ICML | 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 |
| 2015 | POPL | Data-Parallel String-Manipulating Programs. | Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits |
| 2015 | SOSP | Parallelizing user-defined aggregations using symbolic execution. | Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz |
| 2014 | ASPLOS | Uncertain: a first-order type for uncertain data. | James Bornholt, Todd Mytkowicz, Kathryn S. McKinley |
| 2014 | ASPLOS | Data-parallel finite-state machines. | Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte |
| 2014 | HCOMP | Saving Money While Polling with InterPoll Using Power Analysis. | Benjamin Livshits, Todd Mytkowicz |
| 2014 | PLDI | Expressing and verifying probabilistic assertions. | Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze |
| 2014 | PPoPP | Parallelizing dynamic programming through rank convergence. | Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz |
| 2013 | CGO | SIMD parallelization of applications that traverse irregular data structures. | Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte |
| 2013 | OOPSLA | The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing. | Aman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola |
| 2010 | IDA | Measurement and Dynamical Analysis of Computer Performance Data. | Zachary Alexander, Todd Mytkowicz, Amer Diwan, Elizabeth Bradley |
| 2010 | PLDI | Evaluating the accuracy of Java profilers. | Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
| 2009 | ASPLOS | Producing wrong data without doing anything obviously wrong! | Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney |
| 2009 | CC | Blind Optimization for Exploiting Hardware Features. | Dan Knights, Todd Mytkowicz, Peter F. Sweeney, Michael C. Mozer, Amer Diwan |
| 2009 | OOPSLA | Inferred call path profiling. | Todd Mytkowicz, Devin Coughlin, Amer Diwan |
| 2008 | ICWSM | Understanding the Efficiency of Social Tagging Systems using Information Theory. | Ed H. Chi, Todd Mytkowicz |
| 2007 | MICRO | Time Interpolation: So Many Metrics, So Few Registers. | Todd Mytkowicz, Peter F. Sweeney, Matthias Hauswirth, Amer Diwan |
| 2005 | GECCO | Evolving cooperative strategies for UAV teams. | Marc D. Richards, L. Darrell Whitley, J. Ross Beveridge, Todd Mytkowicz, Duong Nguyen, David Rome |