Patents by Inventor Max Schaefer
Max Schaefer 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: 20160325286Abstract: A method and a device for holding in readiness, transporting, processing and archiving thermoanalytical samples are disclosed. The sample containers, into which the thermoanalytical samples to be investigated are to be introduced, are provided in a magazine.Type: ApplicationFiled: June 23, 2016Publication date: November 10, 2016Inventors: Thomas Denner, Juergen Blumm, Otto Max Schaefer, Markus Hollering, Matthias Gradl, Gunther Herr, André Nijmeh, Thilo Hilpert, Alexander Frenzl, Stefan Lauterbach, Andreas Strobel, Gabriele Kaiser, Stefan Schmoelzer, Markus Meyer, Stephan Knappe, Rolf Preuss, Michael Gebhardt, Elena Moukhina, Alexander Schindler
-
Patent number: 9417985Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for distributing analysis tasks and attribution tasks. One of the methods includes receiving data representing a plurality of snapshots of a code base, wherein each snapshot comprises source code files, wherein one or more snapshots have a parent snapshot in the code base according to a revision graph of snapshots in the code base. An attribution set is generated from the plurality of snapshots, the attribution set having a target set of attributable snapshots to be attributed and a support set of all parent snapshots of all snapshots in the target set. An attribution task is distributed for the attribution set to a particular worker node of a plurality of worker nodes.Type: GrantFiled: November 13, 2015Date of Patent: August 16, 2016Assignee: Semmle LimitedInventors: Arthur Baars, Anders Starcke Henriksen, Max Schaefer
-
Patent number: 9411578Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.Type: GrantFiled: July 8, 2015Date of Patent: August 9, 2016Assignee: Semmle LimitedInventors: Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Max Schaefer, Oege de Moor
-
Patent number: 9411579Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.Type: GrantFiled: December 11, 2015Date of Patent: August 9, 2016Inventors: Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Max Schaefer, Oege de Moor
-
Publication number: 20160140015Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for distributing analysis tasks and attribution tasks. One of the methods includes receiving data representing a plurality of snapshots of a code base, wherein each snapshot comprises source code files, wherein one or more snapshots have a parent snapshot in the code base according to a revision graph of snapshots in the code base. An attribution set is generated from the plurality of snapshots, the attribution set having a target set of attributable snapshots to be attributed and a support set of all parent snapshots of all snapshots in the target set. An attribution task is distributed for the attribution set to a particular worker node of a plurality of worker nodes.Type: ApplicationFiled: November 13, 2015Publication date: May 19, 2016Inventors: Arthur Baars, Anders Starcke Henriksen, Max Schaefer
-
Publication number: 20160132326Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot Tis received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.Type: ApplicationFiled: January 5, 2016Publication date: May 12, 2016Inventors: Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Max Schaefer, Oege de Moor
-
Patent number: 9310259Abstract: A method for conducting a differential thermal analysis, in which a sample disposed in a temperable sample space is tempered according to an essentially linear temperature program extending from a start temperature to an end temperature, such that, from the result of a measurement of the sample temperature conducted during tempering at a number of measurement time points, a DTA signal is calculated as the difference between a measured sample temperature and a reference temperature calculated according to a temperature curve model. According to the invention, for every measurement time point, the relevant reference temperature is calculated by the following steps: (a) establish a time interval containing the relevant measurement time point; (b) calculate a non-linear adjustment function for the measured sample temperature curve in the time interval; and (c) calculate the reference temperature as a value of the adjustment function for the measurement time point.Type: GrantFiled: January 24, 2014Date of Patent: April 12, 2016Assignee: Netzsch-Gerätebau GmbHInventors: Thomas Denner, Juergen Blumm, Otto Max Schaefer, Markus Hollering, Thilo Hilpert, Alexander Frenzl, Stefan Lauterbach, Andreas Strobel, Rolf Preuss, Michael Gebhardt, Elena Moukhina, Alexander Schindler, Mathias Gradl, Gunter Herr, Stephan Knappe, Markus Meyer, Gabriele Kaiser, Andre Nijmeh
-
Publication number: 20160098271Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.Type: ApplicationFiled: December 11, 2015Publication date: April 7, 2016Inventors: Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Max Schaefer, Oege de Moor
-
Patent number: 9262157Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.Type: GrantFiled: April 24, 2015Date of Patent: February 16, 2016Assignee: Semmle LimitedInventors: Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Max Schaefer, Oege de Moor
-
Publication number: 20150369765Abstract: Method and thermal analysis device including a sample holder and at least one temperature detector which is assigned to the holder. The invention further relates to a production method for a temperature detector. A heat flow to be detected is conveyed to the temperature detector between a support surface and the sample holder, wherein the support surface and/or the sample holder include elevations or depressions forming contact points, which define a relevant heat flow zone assigned to the support surface. A thermocouple, which includes at least two elements made of different metals, a first metallic element A, with a higher expansion coefficient compared to a second metallic element B, is introduced in a precisely fitting manner into second metallic element B constituted as a hollow profile and the two elements A, B are heated in a first operational step and then cooled again in a second operational step.Type: ApplicationFiled: August 28, 2015Publication date: December 24, 2015Inventors: Thomas Denner, Juergen Blumm, Otto Max Schaefer, Markus Hollering, Matthias Gradl, Gunther Herr, Andre Nijmeh, Thilo Hilpert, Alexander Frenzl, Stefan Lauterbach, Andreas Strobel, Gabriele Kaiser, Stefan Schmoelzer, Markus Meyer, Stephan Knappe, Rolf Preuss, Michael Gebhardt, Elena Moukhina, Alexander Schindler
-
Publication number: 20150324195Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.Type: ApplicationFiled: July 8, 2015Publication date: November 12, 2015Inventors: Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Max Schaefer, Oege de Moor
-
Publication number: 20150309790Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.Type: ApplicationFiled: April 24, 2015Publication date: October 29, 2015Inventors: Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Max Schaefer, Oege de Moor
-
Publication number: 20150013479Abstract: A method and a device for holding in readiness, transporting, processing and archiving thermoanalytical samples are disclosed. The sample containers, into which the thermoanalytical samples to be investigated are to be introduced, are provided in a magazine.Type: ApplicationFiled: July 3, 2014Publication date: January 15, 2015Inventors: Thomas Denner, Juergen Blumm, Otto Max Schaefer, Markus Hollering, Matthias Gradl, Gunther Herr, Andre Nijmeh, Thilo Hilpert, Alexander Frenzl, Stefan Lauterbach, Andreas Strobel, Gabriele Kaiser, Stefan Schmoelzer, Markus Meyer, Stephan Knappe, Rolf Preuss, Michael Gebhardt, Elena Moukhina, Alexander Schindler
-
Publication number: 20150019157Abstract: A method for evaluating a measurement result of a thermal analysis. A program-controlled computer unit is used to calculate at least one probability of the agreement of the measurement result with at least one dataset previously stored in the computer unit, wherein this calculation is based on a comparison of effect data previously extracted from a measurement curve of the thermal analysis with corresponding stored effect data of the dataset. The evaluation can advantageously include, an automatic recognition and classification of measurement curves and can be carried out in particular more efficiently, more economically and more quickly than previously, with at the same time a high quality of evaluation.Type: ApplicationFiled: July 11, 2014Publication date: January 15, 2015Inventors: Thomas Denner, Juergen Blumm, Otto Max Schaefer, Markus Hollering, Thilo Hilpert, Alexander Frenzl, Stefan Lauterbach, Andreas Strobel, Gabriele Kaiser, Stephan Knappe, Rolf Preuss, Michael Gebhardt, Elena Moukhina, Alexander Schindler, Matthias Gradl, Gunther Herr, André Nijmeh, Stefan Schmoelzer, Markus Meyer
-
Patent number: 8869127Abstract: Disclosed is a novel computer implemented system, on demand service, computer program product and a method that provides a set of lock usages that improves concurrency resulting in execution performance of the software application by reducing lock contention through refactoring. More specifically, disclosed is a method to refactor a software application. The method starts with accessing at least a portion of a software application that can execute in an operating environment where there are more two or more threads of execution. Next, a determination is made if there is at least one lock used in the software application to enforce limits on accessing a resource. In response to determining that there is a lock with a first type of construct with a given set of features, the software application is refactored with the lock to preserve behavior of the software application.Type: GrantFiled: January 3, 2011Date of Patent: October 21, 2014Assignee: International Business Machines CorporationInventors: Julian Dolby, Manu Sridharan, Frank Tip, Max Schaefer
-
Publication number: 20140204971Abstract: A method for conducting a differential thermal analysis, in which a sample disposed in a temperable sample space is tempered according to an essentially linear temperature program extending from a start temperature to an end temperature, such that, from the result of a measurement of the sample temperature conducted during tempering at a number of measurement time points, a DTA signal is calculated as the difference between a measured sample temperature and a reference temperature calculated according to a temperature curve model. According to the invention, for every measurement time point, the relevant reference temperature is calculated by the following steps: (a) establish a time interval containing the relevant measurement time point; (b) calculate a non-linear adjustment function for the measured sample temperature curve in the time interval; and (c) calculate the reference temperature as a value of the adjustment function for the measurement time point.Type: ApplicationFiled: January 24, 2014Publication date: July 24, 2014Inventors: Thomas Denner, Juergen Blumm, Otto Max Schaefer, Markus Hollering, Thilo Hilpert, Alexander Frenzl, Stefan Lauterbach, Andreas Strobel, Rolf Preuss, Michael Gebhardt, Elena Moukhina, Alexander Schindler, Mathias Gradl, Gunter Herr, Stephan Knappe, Markus Meyer, Gabriele Kaiser, Andre Nijmeth
-
Patent number: 8689191Abstract: Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurrent behaviors. We analyze the types of such behavioral changes caused by current refactoring engines and develop techniques to make them behavior-preserving, ranging from simple techniques to deal with concurrency-related language constructs to a framework that computes and tracks synchronization dependencies. By basing our development directly on the Java Memory Model we can state and prove precise correctness results about refactoring concurrent programs. We show that a broad range of refactorings are not influenced by concurrency at all, whereas other important refactorings can be made behavior-preserving for correctly synchronized programs by using our framework. Experience with a prototype implementation shows that our techniques are easy to implement and require only minimal changes to existing refactoring engines.Type: GrantFiled: March 5, 2010Date of Patent: April 1, 2014Assignee: International Business Machines CorporationInventors: Julian Dolby, Max Schaefer, Manu Sridharan, Frank Tip, Emina Torlak
-
Patent number: 8595213Abstract: What is disclosed are a novel system and method for inferring types of database queries. In one embodiment a program and associated database schema that includes a type hierarchy is accessed. The program includes query operations to a database that contains relations described by a database schema. Types are inferred from definitions in the program by replacing each database relationship in the program by the types in the database schema. A new program is generated with the types that have been inferred with the new program only accessing unary relations in the database. In another embodiment, testing of each of the types that have been inferred is performed for type emptiness. In response to type emptiness being found for a type that have been inferred, a variety of different operations are performing including removing the type, providing a notification regarding the emptiness found for the type, and more.Type: GrantFiled: July 15, 2011Date of Patent: November 26, 2013Assignee: Semmle LimitedInventors: Max Schaefer, Oege de Moor
-
Patent number: 8332385Abstract: A method and system is provided for computing an approximation of the results of a query. The approximation represents a superset of all possible results, by computing a set of records of types (as opposed to a set of records of values, which is the normal result of a query). This is different from conventional systems, which typically infer types for each field individually. For each record of types, one may also keep track of equalities of fields to improve the precision of the approximation. The approximation can be used to detect erroneous parts of queries that always return an empty result, regardless of the contents of the data source. Furthermore, the same approximation is also useful in performing optimizations: first, by eliminating parts of procedure calls that are guaranteed to be irrelevant to the calling context, and second, by eliminating unnecessary type tests in the query.Type: GrantFiled: March 11, 2009Date of Patent: December 11, 2012Assignee: Semmle LimitedInventors: Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere, Max Schaefer
-
Publication number: 20120174082Abstract: Disclosed is a novel computer implemented system, on demand service, computer program product and a method that provides a set of lock usages that improves concurrency resulting in execution performance of the software application by reducing lock contention through refactoring. More specifically, disclosed is a method to refactor a software application. The method starts with accessing at least a portion of a software application that can execute in an operating environment where there are more two or more threads of execution. Next, a determination is made if there is at least one lock used in the software application to enforce limits on accessing a resource. In response to determining that there is a lock with a first type of construct with a given set of features, the software application is refactored with the lock to preserve behavior of the software application.Type: ApplicationFiled: January 3, 2011Publication date: July 5, 2012Applicant: International Business Machines CorporationInventors: Julian DOLBY, Manu Sridharan, Frank Tip, Max Schaefer