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: 20240082444Abstract: 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: ApplicationFiled: November 20, 2023Publication date: March 14, 2024Inventor: Peter Cawley
-
Patent number: 11819588Abstract: 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: GrantFiled: February 20, 2023Date of Patent: November 21, 2023Assignee: KIMTRON, INC.Inventor: Peter Cawley
-
Publication number: 20230201400Abstract: 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: ApplicationFiled: February 20, 2023Publication date: June 29, 2023Inventor: Peter Cawley
-
Patent number: 11583602Abstract: 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: GrantFiled: June 23, 2022Date of Patent: February 21, 2023Assignee: KIMTRON, INC.Inventor: Peter Cawley
-
Publication number: 20220409761Abstract: 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: ApplicationFiled: June 23, 2022Publication date: December 29, 2022Inventor: Peter Cawley
-
Patent number: 10048960Abstract: 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: GrantFiled: December 17, 2014Date of Patent: August 14, 2018Assignee: Semmle LimitedInventor: Peter Cawley
-
Patent number: 9946525Abstract: 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: GrantFiled: March 24, 2017Date of Patent: April 17, 2018Assignee: Semmle LimitedInventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
-
Patent number: 9928042Abstract: 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: GrantFiled: March 23, 2017Date of Patent: March 27, 2018Assignee: Semmle LimitedInventor: Peter Cawley
-
Publication number: 20170199732Abstract: 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: ApplicationFiled: March 24, 2017Publication date: July 13, 2017Inventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
-
Publication number: 20170192756Abstract: 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: ApplicationFiled: March 23, 2017Publication date: July 6, 2017Inventor: Peter Cawley
-
Patent number: 9684492Abstract: 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: GrantFiled: September 28, 2015Date of Patent: June 20, 2017Assignee: Semmle LimitedInventor: Peter Cawley
-
Patent number: 9672015Abstract: 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: GrantFiled: September 29, 2015Date of Patent: June 6, 2017Assignee: Semmle LimitedInventor: Peter Cawley
-
Patent number: 9645804Abstract: 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: GrantFiled: November 8, 2016Date of Patent: May 9, 2017Assignee: Semmle LimitedInventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
-
Patent number: 9612850Abstract: 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: GrantFiled: July 8, 2015Date of Patent: April 4, 2017Assignee: Semmle LimitedInventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
-
Publication number: 20170090885Abstract: 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: ApplicationFiled: September 29, 2015Publication date: March 30, 2017Inventor: Peter Cawley
-
Publication number: 20170090884Abstract: 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: ApplicationFiled: September 28, 2015Publication date: March 30, 2017Inventor: Peter Cawley
-
Patent number: 9599593Abstract: 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: GrantFiled: December 28, 2015Date of Patent: March 21, 2017Assignee: Imperial Innovations LimitedInventors: Peter Cawley, Frederick Bert Cegla
-
Publication number: 20170052770Abstract: 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: ApplicationFiled: November 8, 2016Publication date: February 23, 2017Inventors: Julian Tibble, Pavel Avgustinov, Peter Cawley
-
Patent number: 9489182Abstract: 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: GrantFiled: November 20, 2015Date of Patent: November 8, 2016Assignee: Semmle LimitedInventor: Peter Cawley
-
Patent number: 9411556Abstract: 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: GrantFiled: September 30, 2015Date of Patent: August 9, 2016Inventors: Peter Cawley, Joshua George Hale, Luke James Cartey, Geoffrey White