Patents by Inventor Adam K. Kavanaugh

Adam K. Kavanaugh 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).

  • Abrasive article including shaped abrasive particles comprising a particular toothed body
    Patent number: 11932802
    Abstract: Various shaped abrasive particles are disclosed. Each shaped abrasive particle includes a body having at least one major surface and a side surface extending from the major surface.
    Type: Grant
    Filed: December 2, 2022
    Date of Patent: March 19, 2024
    Assignee: SAINT-GOBAIN CERAMICS & PLASTICS, INC.
    Inventors: Todd M. Cotter, Francois Wagner, Rene G. Demers, Richard J. Klok, Alexandra Marazano, Adam D. Lior, James A. Salvatore, Sujatha K. Iyengar, David F Louapre, Sidath S. Wijesooriya, Ronald Christopher Motta, Gary A. Guertin, Michael D. Kavanaugh, Doruk O. Yener, Jennifer H. Czerepinski, Jun Jia, Frederic Josseaux, Ralph Bauer, Frank J. Csillag, Yang Zhong, James P. Stewart, Mark P. Dombrowski, Sandhya Jayaraman Rukmani, Amandine Martin, Stephen E. Fox, Nilanjan Sarangi, Dean S. Matsumoto
  • Systems and methods for automatically parallelizing sequential code
    Patent number: 11093372
    Abstract: Systems, methods, and apparatus for automatically parallelizing code segments are provided. For example, an environment includes a profiling agent, a parallelization agent, and a verification agent. The profiling agent executes a code segment and generates a profile of the executed code segment. The parallelization agent analyzes the code segment to determine whether a parallelizable portion is present in the code segment. When a parallelizable portion is present, the parallelization agent determines, based on the profile of the executed code segment, whether to parallelize the parallelizable portion of the code segment. If it is determined to parallelize the parallelizable portion of the code segment, the parallelization agent automatically parallelizes the parallelizable portion of the code segment. The verification agent verifies the functionality and/or correctness of the parallelized code segment.
    Type: Grant
    Filed: August 19, 2019
    Date of Patent: August 17, 2021
    Assignee: Securboration, Inc.
    Inventors: Jacob A. Staples, Lee Krause, James B. Schneider, Adam K. Kavanaugh
  • Systems and methods for automatically parallelizing sequential code
    Patent number: 10725897
    Abstract: Systems, methods, and apparatus for automatically parallelizing code segments are provided. For example, an environment includes a profiling agent, a parallelization agent, and a verification agent. The profiling agent executes a code segment and generates a profile of the executed code segment. The parallelization agent analyzes the code segment to determine whether a parallelizable portion is present in the code segment. When a parallelizable portion is present, the parallelization agent determines, based on the profile of the executed code segment, whether to parallelize the parallelizable portion of the code segment. If it is determined to parallelize the parallelizable portion of the code segment, the parallelization agent automatically parallelizes the parallelizable portion of the code segment. The verification agent verifies the functionality and/or correctness of the parallelized code segment.
    Type: Grant
    Filed: May 3, 2017
    Date of Patent: July 28, 2020
    Assignee: Securboration, Inc.
    Inventors: Jacob A. Staples, Lee Krause, James B. Schneider, Adam K. Kavanaugh
  • SYSTEMS AND METHODS FOR AUTOMATICALLY PARALLELIZING SEQUENTIAL CODE
    Publication number: 20200065231
    Abstract: Systems, methods, and apparatus for automatically parallelizing code segments are provided. For example, an environment includes a profiling agent, a parallelization agent, and a verification agent. The profiling agent executes a code segment and generates a profile of the executed code segment. The parallelization agent analyzes the code segment to determine whether a parallelizable portion is present in the code segment. When a parallelizable portion is present, the parallelization agent determines, based on the profile of the executed code segment, whether to parallelize the parallelizable portion of the code segment. If it is determined to parallelize the parallelizable portion of the code segment, the parallelization agent automatically parallelizes the parallelizable portion of the code segment. The verification agent verifies the functionality and/or correctness of the parallelized code segment.
    Type: Application
    Filed: August 19, 2019
    Publication date: February 27, 2020
    Inventors: Jacob A. Staples, Lee Krause, James B. Schneider, Adam K. Kavanaugh
  • Systems and methods for automatically parallelizing sequential code
    Patent number: 10387293
    Abstract: Systems, methods, and apparatus for automatically parallelizing code segments are provided. For example, an environment includes a profiling agent, a parallelization agent, and a verification agent. The profiling agent executes a code segment and generates a profile of the executed code segment. The parallelization agent analyzes the code segment to determine whether a parallelizable portion is present in the code segment. When a parallelizable portion is present, the parallelization agent determines, based on the profile of the executed code segment, whether to parallelize the parallelizable portion of the code segment. If it is determined to parallelize the parallelizable portion of the code segment, the parallelization agent automatically parallelizes the parallelizable portion of the code segment. The verification agent verifies the functionality and/or correctness of the parallelized code segment.
    Type: Grant
    Filed: October 8, 2013
    Date of Patent: August 20, 2019
    Assignee: Securboration, Inc.
    Inventors: Jacob A. Staples, Lee Krause, James B. Schneider, Adam K. Kavanaugh
  • SYSTEMS AND METHODS FOR AUTOMATICALLY PARALLELIZING SEQUENTIAL CODE
    Publication number: 20170249235
    Abstract: Systems, methods, and apparatus for automatically parallelizing code segments are provided. For example, an environment includes a profiling agent, a parallelization agent, and a verification agent. The profiling agent executes a code segment and generates a profile of the executed code segment. The parallelization agent analyzes the code segment to determine whether a parallelizable portion is present in the code segment. When a parallelizable portion is present, the parallelization agent determines, based on the profile of the executed code segment, whether to parallelize the parallelizable portion of the code segment. If it is determined to parallelize the parallelizable portion of the code segment, the parallelization agent automatically parallelizes the parallelizable portion of the code segment. The verification agent verifies the functionality and/or correctness of the parallelized code segment.
    Type: Application
    Filed: May 3, 2017
    Publication date: August 31, 2017
    Applicant: Securboration, Inc.
    Inventors: Jacob A. Staples, Lee Krause, James B. Schneider, Adam K. Kavanaugh
  • SYSTEMS AND METHODS FOR AUTOMATICALLY PARALLELIZING SEQUENTIAL CODE
    Publication number: 20140101641
    Abstract: Systems, methods, and apparatus for automatically parallelizing code segments are provided. For example, an environment includes a profiling agent, a parallelization agent, and a verification agent. The profiling agent executes a code segment and generates a profile of the executed code segment. The parallelization agent analyzes the code segment to determine whether a parallelizable portion is present in the code segment. When a parallelizable portion is present, the parallelization agent determines, based on the profile of the executed code segment, whether to parallelize the parallelizable portion of the code segment. If it is determined to parallelize the parallelizable portion of the code segment, the parallelization agent automatically parallelizes the parallelizable portion of the code segment. The verification agent verifies the functionality and/or correctness of the parallelized code segment.
    Type: Application
    Filed: October 8, 2013
    Publication date: April 10, 2014
    Inventors: Jacob A. Staples, Lee Krause, James B. Schneider, Adam K. Kavanaugh