Todd Mytkowicz

Affiliations:
  • Microsoft Corporation, Redmond, VA, USA


According to our database1, Todd Mytkowicz authored at least 64 papers between 2005 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
DeepMerge: Learning to Merge Programs.
IEEE Trans. Software Eng., April, 2023

TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches.
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2022
Program merge conflict resolution via neural transformers.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper).
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

TOGA: A Neural Method for Test Oracle Generation.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

CodeExp: Explanatory Code Document Generation.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

Breaking the computation and communication abstraction barrier in distributed machine learning workloads.
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?
CoRR, 2021

Synthesizing Collective Communication Algorithms for Heterogeneous Networks with TACCL.
CoRR, 2021

Neural Unit Test Suggestions.
CoRR, 2021

MergeBERT: Program Merge Conflict Resolution via Neural Transformers.
CoRR, 2021

CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning.
CoRR, 2021

Synthesizing optimal collective algorithms.
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

Scaling Distributed Training with Adaptive Summation.
Proceedings of Machine Learning and Systems 2021, 2021

Distributed Training of Embeddings using Graph Analytics.
Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

2019
Distributed Word2Vec using Graph Analytics Frameworks.
CoRR, 2019

Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

CHET: an optimizing compiler for fully-homomorphic neural-network inferencing.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs.
CoRR, 2018

Semantics-Preserving Parallelization of Stochastic Gradient Descent.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Cross-language optimizations in big data systems: a case study of SCOPE.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017
Static stages for heterogeneous programming.
Proc. ACM Program. Lang., 2017

High Five: Improving Gesture Recognition by Embracing Uncertainty.
CoRR, 2017

Parallel Stochastic Gradient Descent with Sound Combiners.
CoRR, 2017

Static analysis for optimizing big data queries.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Fusing effectful comprehensions.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Debugging probabilistic programs.
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

2016
Low-Rank Methods for Parallelizing Dynamic Programming Algorithms.
ACM Trans. Parallel Comput., 2016

Approximate Computing: A Survey.
IEEE Des. Test, 2016

Guest Editors' Introduction: Approximate Computing.
IEEE Des. Test, 2016

Efficient parallelization using rank convergence in dynamic programming algorithms.
Commun. ACM, 2016

Parallelizing WFST speech decoders.
Proceedings of the 2016 IEEE International Conference on Acoustics, 2016

2015
TOP: A Framework for Enabling Algorithmic Optimizations for Distance-Related Problems.
Proc. VLDB Endow., 2015

Uncertain<T>: Abstractions for Uncertain Hardware and Software.
IEEE Micro, 2015

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491).
Dagstuhl Reports, 2015

Parallelizing user-defined aggregations using symbolic execution.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

InterPoll: Crowd-Sourced Internet Polls.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Data-Parallel String-Manipulating Programs.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Yinyang K-Means: A Drop-In Replacement of the Classic K-Means with Consistent Speedup.
Proceedings of the 32nd International Conference on Machine Learning, 2015

2014
Waiting for Godot? the <i>right</i> language abstractions for parallel programming should be here soon: the multicore transformation (Ubiquity symposium).
Ubiquity, 2014

A Portable Optimization Engine for Accelerating Irregular Data-Traversal Applications on SIMD Architectures.
ACM Trans. Archit. Code Optim., 2014

Parallelizing dynamic programming through rank convergence.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Expressing and verifying probabilistic assertions.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Saving Money While Polling with InterPoll Using Power Analysis.
Proceedings of the Seconf AAAI Conference on Human Computation and Crowdsourcing, 2014

Data-parallel finite-state machines.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

Uncertain: a first-order type for uncertain data.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013
The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

SIMD parallelization of applications that traverse irregular data structures.
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012
The model is not enough: Understanding energy consumption in mobile devices.
Proceedings of the 2012 IEEE Hot Chips 24 Symposium (HCS), 2012

Fine-grained parallel traversals of irregular data structures.
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011
TraceAnalyzer: a system for processing performance traces.
Softw. Pract. Exp., 2011

2010
The Effect of Omitted-Variable Bias on the Evaluation of Compiler Optimizations.
Computer, 2010

Evaluating the accuracy of Java profilers.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Measurement and Dynamical Analysis of Computer Performance Data.
Proceedings of the Advances in Intelligent Data Analysis IX, 9th International Symposium, 2010

2009
Inferred call path profiling.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Blind Optimization for Exploiting Hardware Features.
Proceedings of the Compiler Construction, 18th International Conference, 2009

Producing wrong data without doing anything obviously wrong!
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2008
We have it easy, but do we have it right?
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Understanding the efficiency of social tagging systems using information theory.
Proceedings of the HYPERTEXT 2008, 2008

Augmented Social Cognition.
Proceedings of the Social Information Processing, 2008

2007
Time Interpolation: So Many Metrics, So Few Registers.
Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-40 2007), 2007

Understanding Measurement Perturbation in Trace-based Data.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006
Aligning traces for performance evaluation.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
Evolving cooperative strategies for UAV teams.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005


  Loading...