Search

Henning K Rohde

from Seattle, WA
Age ~45
Get Report
Also known as:
Henning Ane Rohde
Related to:
Rohde Ane, 46
Connected to:
Becky W Rohde, 81Birte N Rohde, 104Britt A Rohde, 44Carew M Rohde, 47Carlyanne P Rohde, 45Cathy M Rohde, 63Connie S Rohde, 75Corinne Rohde, 54Daniel P Rohde, 64Darwin D Rohde, 60

Henning Rohde Phones & Addresses

  • Seattle, WA
  • New York, NY
  • Woodinville, WA
  • Bellevue, WA
  • Kiona, WA

Work

Company: Emc Jan 2013 Position: Director of software engineering

Education

Degree: PhD School / High School: Aarhus Universitet 1998 to 2005 Specialities: Computer Science

Skills

Distributed Systems • Software Engineering • Cloud Computing • Software Development • Software Design • C# • Algorithms • C++ • Object Oriented Design • Linux • Java • Web Services • Scalability • Agile Methodologies • Python • .Net • Hadoop • Scrum • C • Computer Science • Machine Learning • System Architecture • Perl • Unix • Soa • Xml • Oop • Architectures • Multithreading • Visual Studio

Languages

English • Danish

Industries

Computer Software

Resumes

Resumes

Henning Rohde Photo 1

Henning Rohde

View page
Location:
701 south Santa Fe St, Pauls Valley, OK 73075
Industry:
Computer Software
Work:
EMC since Jan 2013
Director of Software Engineering
Two Sigma Investments Dec 2011 - Jan 2013
Algorithmic Trading Developer
Microsoft Jan 2006 - Dec 2011
Senior Development Lead
Education:
Aarhus Universitet 1998 - 2005
PhD, Computer Science Holstebro Gymnasium 1995 - 1998
Skills:
Distributed Systems
Software Engineering
Cloud Computing
Software Development
Software Design
C#
Algorithms
C++
Object Oriented Design
Linux
Java
Web Services
Scalability
Agile Methodologies
Python
.Net
Hadoop
Scrum
C
Computer Science
Machine Learning
System Architecture
Perl
Unix
Soa
Xml
Oop
Architectures
Multithreading
Visual Studio
Languages:
English
Danish

Publications

Us Patents

Detecting Data Race And Atomicity Violation Via Typestate-Guided Static Analysis

View page
US Patent:
8510722, Aug 13, 2013
Filed:
Jul 22, 2009
Appl. No.:
12/507230
Inventors:
Yue Yang - Redmond WA, US
Anna Gringauze - Redmond WA, US
Dinghao Wu - Redmond WA, US
Henning K. Rohde - Renton WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
US Classification:
717131
Abstract:
Mechanisms for analyzing computer instructions implementing a program in which typestate analysis is informed by concurrency analysis. The concurrency-guided typestate analysis may simulate the “worst case” scenario due to thread interleaving by transitioning a simulated state of the variable to a special state whenever the variable is not guarded by its intended guarding lock. While in the special state, the analysis may assume that the state of the simulated variable is the worst possible state with respect to processing operations that may lead to an error depending on the state of the variable. Thus, the analysis performed may assume that referencing the variable in a state-dependent operation while the simulated state of the variable is in the special state may lead to an error, and the analysis may generate a warning, accordingly. The analysis may process the computer instructions to infer which lock is intended to guard a shared variable.

Embedded Annotation And Program Analysis

View page
US Patent:
20100325620, Dec 23, 2010
Filed:
Jul 23, 2009
Appl. No.:
12/507869
Inventors:
Henning Korsholm Rohde - Renton WA, US
Avi Samuel Gavlovski - Kirkland WA, US
Bala Neerumalla - Redmond WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/45
US Classification:
717154
Abstract:
Program source code is annotated to support dataflow analysis or other program analysis, without requiring changes to compilers. Annotation statements are embedded inside comments or other non-code-generative portions of the source code. The annotations can be used to express contracts at routine boundaries, allowing an analyzer to check the global correctness of the source code through modular (local) analysis, with performance that is linear in the number of routines. In particular, annotated SQL source code may be analyzed to identify SQL injection vulnerabilities.

Static Analysis Using Interactive And Integration Tools

View page
US Patent:
20110296388, Dec 1, 2011
Filed:
Jun 1, 2010
Appl. No.:
12/791421
Inventors:
HENNING KORSHOLM ROHDE - RENTON WA, US
ANNA GRINGAUZE - REDMOND WA, US
Assignee:
MICROSOFT CORPORATION - REDMOND WA
International Classification:
G06F 9/44
US Classification:
717131
Abstract:
Systems, methods, and computer storage media having computer-executable instructions embodied thereon that facilitate static software program analysis using an interactive tool and/or a disassembly integration tool are provided. An interactive tool enables a user to view alternative error paths in association with an error such that the user can identify any valid errors within program code. A disassembly integration tool provides source code that is interleaved with an intermediate representation of such source code.

Intermediate Representation Construction For Static Analysis

View page
US Patent:
20120079468, Mar 29, 2012
Filed:
Sep 28, 2010
Appl. No.:
12/892869
Inventors:
Anna Gringauze - Redmond WA, US
Henning Korsholm Rohde - Renton WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 9/45
US Classification:
717155, 717157
Abstract:
The analysis of an intermediate representation of source or program code. An initial version of an initial representation of the source or program code is accessed and statically analyzed. For one or more portions of this initial version, the analysis component queries an analysis-time resolution component that provides supplemental intermediate representations corresponding to the portion. This supplemental intermediate representation provides further clarity regarding the portion, and is analyzed. If defects are found, they may be reported.

Globally Sound And Consistent Configuration Management For Distributed Datacenter Components

View page
US Patent:
20120151443, Jun 14, 2012
Filed:
Dec 14, 2010
Appl. No.:
12/967794
Inventors:
HENNING KORSHOLM ROHDE - Renton WA, US
MATTHEW KERNER - Seattle WA, US
KENNETH KAI-BAUN MA - Kirkland WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 9/44
US Classification:
717121
Abstract:
Datacenter configuration needs to be managed. A configuration engine (CE) manages configuration data of clusters and/or datacenters. The CE allows users to check out, edit, and check in configuration components. Versioned interfaces are placed between configuration components through data contracts. The CE supports the expression of constraints that ensure global consistency across configuration components and versions, isolates changes in the datacenter from structural changes in configuration components, and enables partial configuration branching to allow for active snapshots that enable configuration rollback. The CE ensures that types are consistent and constraints are satisfied at check-in time to eliminate unsound or inconsistent configuration in the first place. When the active configuration in the datacenter changes, multiple versions of configuration may be simultaneously deployed for a window of time. The managed set of configuration is permitted to have multiple active versions during these transitional windows to reflect the reality in the datacenter.

Intermediate Representation Construction For Static Analysis

View page
US Patent:
20150212924, Jul 30, 2015
Filed:
Dec 22, 2014
Appl. No.:
14/579564
Inventors:
- Redmond WA, US
Henning Korsholm Rohde - Renton WA, US
Assignee:
Microsoft Technology Lincensing, LLC - Redmond WA
International Classification:
G06F 11/36
G06F 9/44
Abstract:
The analysis of an intermediate representation of source or program code. An initial version of an initial representation of the source or program code is accessed and statically analyzed. For one or more portions of this initial version, the analysis component queries an analysis-time resolution component that provides supplemental intermediate representations corresponding to the portion. This supplemental intermediate representation provides further clarity regarding the portion, and is analyzed. If defects are found, they may be reported.
Control profile
Henning K Rohde from Seattle, WA, age ~45 Get Report