Patents by Inventor Peter Cawley

Peter Cawley 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: 20240082444
    Abstract: An irradiation system is provided which comprises a cabinet housing one or more X-ray tubes providing an irradiation source for a biomass contained within a cylindrical container arranged on a rotating device. The X-ray tubes generate directional X-ray beams and are provided in ultra-close proximity to the container, and the X-ray tubes can be configured to traverse the container. The rotational movement and traversal during the irradiation process ensure a more even irradiation of the entire biomass in the container.
    Type: Application
    Filed: November 20, 2023
    Publication date: March 14, 2024
    Inventor: Peter Cawley
  • Patent number: 11819588
    Abstract: An irradiation system is provided which comprises a cabinet housing one or more X-ray tubes providing an irradiation source for a biomass contained within a cylindrical container arranged on a rotating device. The X-ray tubes generate directional X-ray beams and are provided in ultra-close proximity to the container, and the X-ray tubes can be configured to traverse the container. The rotational movement and traversal during the irradiation process ensure a more even irradiation of the entire biomass in the container.
    Type: Grant
    Filed: February 20, 2023
    Date of Patent: November 21, 2023
    Assignee: KIMTRON, INC.
    Inventor: Peter Cawley
  • Publication number: 20230201400
    Abstract: An irradiation system is provided which comprises a cabinet housing one or more X-ray tubes providing an irradiation source for a biomass contained within a cylindrical container arranged on a rotating device. The X-ray tubes generate directional X-ray beams and are provided in ultra-close proximity to the container, and the X-ray tubes can be configured to traverse the container. The rotational movement and traversal during the irradiation process ensure a more even irradiation of the entire biomass in the container.
    Type: Application
    Filed: February 20, 2023
    Publication date: June 29, 2023
    Inventor: Peter Cawley
  • Patent number: 11583602
    Abstract: An irradiation system is provided which comprises a cabinet housing one or more X-ray tubes providing an irradiation source for a biomass contained within a cylindrical container arranged on a rotating device. The X-ray tubes generate directional X-ray beams and are provided in ultra-close proximity to the container, and the X-ray tubes can be configured to traverse the container. The rotational movement and traversal during the irradiation process ensure a more even irradiation of the entire biomass in the container.
    Type: Grant
    Filed: June 23, 2022
    Date of Patent: February 21, 2023
    Assignee: KIMTRON, INC.
    Inventor: Peter Cawley
  • Publication number: 20220409761
    Abstract: An irradiation system is provided which comprises a cabinet housing one or more X-ray tubes providing an irradiation source for a biomass contained within a cylindrical container arranged on a rotating device. The X-ray tubes generate directional X-ray beams and are provided in ultra-close proximity to the container, and the X-ray tubes can be configured to traverse the container. The rotational movement and traversal during the irradiation process ensure a more even irradiation of the entire biomass in the container.
    Type: Application
    Filed: June 23, 2022
    Publication date: December 29, 2022
    Inventor: Peter Cawley
  • Patent number: 10048960
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for identifying source code used to build executable. One of the methods includes determining that a first newly created process is a compiler, the compiler being invoked to compile a source code file; after the compiler exits, generating a first hash value of an object file generated by the compiler; generating an object artifact that identifies the source code file and includes the first hash value of contents of the object file generated by the compiler; determining that the second newly created process is a linker, the linker being invoked to generate an executable file from one or more object files; generating a link artifact that includes respective hash values of each of the one or more object files used to generate the executable file; and providing the link artifact and object artifact to a static analysis system.
    Type: Grant
    Filed: December 17, 2014
    Date of Patent: August 14, 2018
    Assignee: Semmle Limited
    Inventor: Peter Cawley
  • Patent number: 9946525
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for extracting source code. One of the methods includes receiving, by a newly created process, a request to execute code of an executable file in the newly created process, wherein the request specifies a parameter. The newly created process loads a process interception library. Library initialization code of the process interception library determines whether the parameter should be intercepted. In response to determining that the parameter should be intercepted, the parameter is provided to another process.
    Type: Grant
    Filed: March 24, 2017
    Date of Patent: April 17, 2018
    Assignee: Semmle Limited
    Inventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
  • Patent number: 9928042
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for automatically determining configuration properties of a compiler. One of the methods includes determining that an executable of the newly created process is a compiler called by the build system to compile source code of a source code file. In response to the determining, a plurality of configuration properties of the compiler called by the build system are determined, the configuration properties including first properties of a plurality of built-in functions of the compiler, second properties of a plurality of built-in types of the compiler, or both. A compiler emulator is configured to emulate the behavior of the compiler called by the build system using the determined configuration properties. Access to the source code is provided to the compiler emulator configured using the determined configuration properties.
    Type: Grant
    Filed: March 23, 2017
    Date of Patent: March 27, 2018
    Assignee: Semmle Limited
    Inventor: Peter Cawley
  • Publication number: 20170199732
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for extracting source code. One of the methods includes receiving, by a newly created process, a request to execute code of an executable file in the newly created process, wherein the request specifies a parameter. The newly created process loads a process interception library. Library initialization code of the process interception library determines whether the parameter should be intercepted. In response to determining that the parameter should be intercepted, the parameter is provided to another process.
    Type: Application
    Filed: March 24, 2017
    Publication date: July 13, 2017
    Inventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
  • Publication number: 20170192756
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for automatically determining configuration properties of a compiler. One of the methods includes determining that an executable of the newly created process is a compiler called by the build system to compile source code of a source code file. In response to the determining, a plurality of configuration properties of the compiler called by the build system are determined, the configuration properties including first properties of a plurality of built-in functions of the compiler, second properties of a plurality of built-in types of the compiler, or both. A compiler emulator is configured to emulate the behavior of the compiler called by the build system using the determined configuration properties. Access to the source code is provided to the compiler emulator configured using the determined configuration properties.
    Type: Application
    Filed: March 23, 2017
    Publication date: July 6, 2017
    Inventor: Peter Cawley
  • Patent number: 9684492
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for automatically determining configuration properties of a compiler. One of the methods includes determining that an executable of the newly created process is a compiler called by the build system to compile source code of a source code file. In response to the determining, a plurality of configuration properties of the compiler called by the build system are determined, the configuration properties including first properties of a plurality of built-in functions of the compiler, second properties of a plurality of built-in types of the compiler, or both. A compiler emulator is configured to emulate the behavior of the compiler called by the build system using the determined configuration properties. Access to the source code is provided to the compiler emulator configured using the determined configuration properties.
    Type: Grant
    Filed: September 28, 2015
    Date of Patent: June 20, 2017
    Assignee: Semmle Limited
    Inventor: Peter Cawley
  • Patent number: 9672015
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for automatically determining configuration properties of a compiler. One of the methods includes determining that an executable of the newly created process is a compiler called by the build system to compile source code of a source code file. In response to the determining, a plurality of configuration properties of the compiler called by the build system are determined, the configuration properties including first properties of a plurality of built-in functions of the compiler, second properties of a plurality of built-in types of the compiler, or both. A compiler emulator is configured to emulate the behavior of the compiler called by the build system using the determined configuration properties. Access to the source code is provided to the compiler emulator configured using the determined configuration properties.
    Type: Grant
    Filed: September 29, 2015
    Date of Patent: June 6, 2017
    Assignee: Semmle Limited
    Inventor: Peter Cawley
  • Patent number: 9645804
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for extracting source code. One of the methods includes receiving, by a newly created process, a request to execute code of an executable file in the newly created process, wherein the request specifies a parameter. The newly created process loads a process interception library. Library initialization code of the process interception library determines whether the parameter should be intercepted. In response to determining that the parameter should be intercepted, the parameter is provided to another process.
    Type: Grant
    Filed: November 8, 2016
    Date of Patent: May 9, 2017
    Assignee: Semmle Limited
    Inventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
  • Patent number: 9612850
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for extracting source code. One of the methods includes receiving, by a newly created process, a request to execute code of an executable file in the newly created process, wherein the request specifies a parameter. The newly created process loads a process interception library. Library initialization code of the process interception library determines whether the parameter should be intercepted. In response to determining that the parameter should be intercepted, the parameter is provided to another process.
    Type: Grant
    Filed: July 8, 2015
    Date of Patent: April 4, 2017
    Assignee: Semmle Limited
    Inventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
  • Publication number: 20170090885
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for automatically determining configuration properties of a compiler. One of the methods includes determining that an executable of the newly created process is a compiler called by the build system to compile source code of a source code file. In response to the determining, a plurality of configuration properties of the compiler called by the build system are determined, the configuration properties including first properties of a plurality of built-in functions of the compiler, second properties of a plurality of built-in types of the compiler, or both. A compiler emulator is configured to emulate the behavior of the compiler called by the build system using the determined configuration properties. Access to the source code is provided to the compiler emulator configured using the determined configuration properties.
    Type: Application
    Filed: September 29, 2015
    Publication date: March 30, 2017
    Inventor: Peter Cawley
  • Publication number: 20170090884
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for automatically determining configuration properties of a compiler. One of the methods includes determining that an executable of the newly created process is a compiler called by the build system to compile source code of a source code file. In response to the determining, a plurality of configuration properties of the compiler called by the build system are determined, the configuration properties including first properties of a plurality of built-in functions of the compiler, second properties of a plurality of built-in types of the compiler, or both. A compiler emulator is configured to emulate the behavior of the compiler called by the build system using the determined configuration properties. Access to the source code is provided to the compiler emulator configured using the determined configuration properties.
    Type: Application
    Filed: September 28, 2015
    Publication date: March 30, 2017
    Inventor: Peter Cawley
  • Patent number: 9599593
    Abstract: An apparatus and method for ultrasonic non-destructive testing provides an elongate strip of ultrasound transmissive material coupled at a proximal end to an object under test. The elongate strip has a transverse cross-section with a width and thickness giving an aspect ratio greater than unity and matched to the ultrasonic transducer such that excitation induces an ultrasonic signal to propagate along the elongate strip to the proximal end and to enter the object under test. These pulses are particularly suited for time-of-flight measurements, thickness measurements, crack measurements and the like. The elongate strip helps to separate the transducer from a potentially hostile environment associated with the object under test. The elongate strip also has a large area of contact with the object under test allowing efficient transmission of energy into the object under test.
    Type: Grant
    Filed: December 28, 2015
    Date of Patent: March 21, 2017
    Assignee: Imperial Innovations Limited
    Inventors: Peter Cawley, Frederick Bert Cegla
  • Publication number: 20170052770
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for extracting source code. One of the methods includes receiving, by a newly created process, a request to execute code of an executable file in the newly created process, wherein the request specifies a parameter. The newly created process loads a process interception library. Library initialization code of the process interception library determines whether the parameter should be intercepted. In response to determining that the parameter should be intercepted, the parameter is provided to another process.
    Type: Application
    Filed: November 8, 2016
    Publication date: February 23, 2017
    Inventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
  • Patent number: 9489182
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for transparently instrumenting a build system. One of the methods includes setting, in an execution environment of a computer system, a first environment variable that specifies a custom agent to be executed in the execution environment. A request by the system to create a virtual machine using a default create VM function is intercepted by a custom create VM function. The custom create VM function removes the first environment variable from the execution environment, and the custom create VM function executes the default create VM function to invoke a VM having the custom agent without the execution environment having the first environment variable being set.
    Type: Grant
    Filed: November 20, 2015
    Date of Patent: November 8, 2016
    Assignee: Semmle Limited
    Inventor: Peter Cawley
  • Patent number: 9411556
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for inlining software dependencies. One of the methods includes receiving data representing dependencies between software elements in a project, wherein the plurality of software elements includes a first software element that includes a usage of a template parameterized by a type, a second software element that is or occurs within a definition of the template, and a third software element. If the dependencies include a first dependency of the first software element on the second software element, and a second dependency of the second software element on the third software element, the second dependency is removed and a new dependency is generated of (i) the first software element on (ii) the third software element.
    Type: Grant
    Filed: September 30, 2015
    Date of Patent: August 9, 2016
    Inventors: Peter Cawley, Joshua George Hale, Luke James Cartey, Geoffrey White