Patents by Inventor Todd Douglas Mytkowicz

Todd Douglas Mytkowicz has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20220164672
    Abstract: An automated system for resolving program merges uses a sequence-to-sequence supervised machine learning model trained from developer-resolved merge conflicts to learn to predict a merge resolution to resolve a three-way program merge. The model utilizes an embedding of the merge tuple (A, B, O) which represents the program syntax, program semantics and the intent of the program inputs. The model uses a pointer mechanism to construct the resolved program in terms of the lines of source code found in the input programs.
    Type: Application
    Filed: February 12, 2021
    Publication date: May 26, 2022
    Inventors: CHRISTIAN BIRD, ELIZABETH DINELLA, SHUVENDU K. LAHIRI, TODD DOUGLAS MYTKOWICZ, NEELAKANTAN SUNDARESAN, ALEXEY SVYATKOVSKIY
  • Publication number: 20220164626
    Abstract: An automated system for resolving program merges uses neural transformers with attention. In one aspect, a neural encoder transformer model is trained from developer-resolved merge conflicts to learn to predict a resolution strategy that aids a developer in constructing a merged program. In a second aspect, a neural decoder transformer model is trained on the syntax and semantics of different source code programming languages to predict a merge resolution consisting of interleaved lines of source code from programs A, B, or O, where programs A and B contain changes to code base O.
    Type: Application
    Filed: February 12, 2021
    Publication date: May 26, 2022
    Inventors: CHRISTIAN BIRD, SHUVENDU K. LAHIRI, TODD DOUGLAS MYTKOWICZ, NEELAKANTAN SUNDARESAN, ALEXEY SVYATKOVSKIY
  • Patent number: 10664927
    Abstract: Various technologies described herein pertain to automation of crowd-sourced polling. At least one query can be received. The at least one query includes a request. A poll can be automatically generated based upon the at least one query, where the poll corresponds to the request. The poll can be submitted to a crowdsourcing backend, where instances of the poll are administered on the crowdsourcing backend. Moreover, crowd-sourced responses to the instances of the poll can be retrieved from the crowdsourcing backend. The crowd-sourced responses to the instances of the poll can respectively include crowd-sourced responses to the request. The crowd-sourced responses to the request can be converted to a random variable. An operation can be performed upon the random variable. The operation can include one or more of a statistical analysis (e.g., hypothesis testing), bias correction, an arithmetic operation, expected value computation, standard deviation computation, etc.
    Type: Grant
    Filed: June 25, 2014
    Date of Patent: May 26, 2020
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Benjamin Livshits, Todd Douglas Mytkowicz
  • Patent number: 10331543
    Abstract: Methods and systems for performance measurements of a program are provided. An execution trace of the program may be captured and stored. The stored execution trace may be replayed in an offline mode. Performance measurements for the program may be determined based on the replaying of the execution trace in the offline mode.
    Type: Grant
    Filed: January 13, 2017
    Date of Patent: June 25, 2019
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Mark Marron, Arunesh Chandra, Todd Douglas Mytkowicz, Hitesh Kanwathirtha
  • Publication number: 20180203786
    Abstract: Methods and systems for performance measurements of a program are provided. An execution trace of the program may be captured and stored. The stored execution trace may be replayed in an offline mode. Performance measurements for the program may be determined based on the replaying of the execution trace in the offline mode.
    Type: Application
    Filed: January 13, 2017
    Publication date: July 19, 2018
    Applicant: Microsoft Technology Licensing, LLC
    Inventors: Mark Marron, Arunesh Chandra, Todd Douglas Mytkowicz, Hitesh Kanwathirtha
  • Publication number: 20150379126
    Abstract: Various technologies described herein pertain to automation of crowd-sourced polling. At least one query can be received. The at least one query includes a request. A poll can be automatically generated based upon the at least one query, where the poll corresponds to the request. The poll can be submitted to a crowdsourcing backend, where instances of the poll are administered on the crowdsourcing backend. Moreover, crowd-sourced responses to the instances of the poll can be retrieved from the crowdsourcing backend. The crowd-sourced responses to the instances of the poll can respectively include crowd-sourced responses to the request. The crowd-sourced responses to the request can be converted to a random variable. An operation can be performed upon the random variable. The operation can include one or more of a statistical analysis (e.g., hypothesis testing), bias correction, an arithmetic operation, expected value computation, standard deviation computation, etc.
    Type: Application
    Filed: June 25, 2014
    Publication date: December 31, 2015
    Inventors: Benjamin Livshits, Todd Douglas Mytkowicz