Search

Barend Hermanus Venter

from Sammamish, WA
Age ~67
Get Report
Also known as:
Barend H Venter, Barend Herman Venter, Barend Hemanus Venter, Barend Her Venter, Barend Myrl Venter, Barend Myrt Venter, Barend Myri Venter, Hermanus Venter Barend, Her Venter Barend
Related to:
Her Venter Barend, 39Myrl W Venter, 66Venter BarendHerman Venter, 67Colleen Venter, 35
Connected to:
Cornelius G Venter, 69Jenny K Venter, 59Kathleen M Venter, 76Liebrecht R Venter, 62Lisa W Venter, 45Margaret A Venter, 84Matthew C Venter, 27Rudolph Venter, 39Sophia M Venter, 65Valerie Venter, 43

Barend Venter Phones & Addresses

  • Sammamish, WA
  • Bothell, WA
  • Seattle, WA
  • Kirkland, WA
  • Bellevue, WA
  • Kiona, WA

Work

Company: Leader standard work Position: Developer

Education

Degree: Bachelors, Bachelor of Science School / High School: Central Washington University 2009 to 2010 Specialities: Computer Science

Skills

Functional Programming • Monads • Taocp • Algorithm • Type Inference • F# • Haskell • If Statement • Ghci • Do Notation

Interests

Mathematics • Music • Programming

Resumes

Resumes

Barend Venter Photo 1

Developer

View page
Location:
3510 254Th Ave, Issaquah, WA 98029
Work:
Leader Standard Work
Developer
Education:
Central Washington University 2009 - 2010
Bachelors, Bachelor of Science, Computer Science Skyline High School 2001 - 2005
Portland State University
Skills:
Functional Programming
Monads
Taocp
Algorithm
Type Inference
F#
Haskell
If Statement
Ghci
Do Notation
Interests:
Mathematics
Music
Programming

Publications

Us Patents

Core Object-Oriented Type System For Semi-Structured Data

View page
US Patent:
7389498, Jun 17, 2008
Filed:
Mar 25, 2003
Appl. No.:
10/396066
Inventors:
Erik Meijer - Mercer Island WA, US
Wolfram Schulte - Bellevue WA, US
Barend H. Venter - Issaquah WA, US
Chia-Hsun Chen - Redmond WA, US
Christopher J. Lovett - Woodinville WA, US
Matthew J. Wararen - Redmond WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
G06F 9/45
US Classification:
717141, 717114, 717126
Abstract:
A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

System And Method For Extending A Compiler Through A Composer

View page
US Patent:
7441237, Oct 21, 2008
Filed:
Mar 25, 2003
Appl. No.:
10/396654
Inventors:
Matthew J. Warren - Redmond WA, US
Barend H. Venter - Issaquah WA, US
Wolfram Schulte - Bellevue WA, US
Erik Meijer - Mercer Island WA, US
Christopher J. Lovett - Woodinville WA, US
Chia-Hsun Chen - Redmond WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
US Classification:
717140, 717146
Abstract:
A system and method for interfacing additional translation logic via composer(s) to a compiler to extend the capabilities of the compiler is provided. Generally, composer(s) can be software libraries that provide employment of componentization and polymorphism to compiler add-ons in order to extend compiler capabilities. One or more composers can be accessible to the compilation process by reference(s) made in a source code file. For example, additional translation logic for data types and/or expressions (e. g. , markup language) created after compiler design can be made accessible to a compiler via composer(s), thus extending the existing compiler. The present invention mitigates problems associated with conventional compiler extending schemes and affords for compile code optimization without having to consider substantially all of the operations of a single query.

Systems And Methods For Implementing Aggregation Containers

View page
US Patent:
7500248, Mar 3, 2009
Filed:
Apr 29, 2003
Appl. No.:
10/426401
Inventors:
Kasy Srinivas - Sammamish WA, US
Barend Hermanus Venter - Issaquah WA, US
C. Douglas Hodges - Sammamish WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
G06F 9/45
US Classification:
719315, 719316, 719330, 717107, 717108
Abstract:
A container object decorated with a proxy attribute is intercepted when instantiated at runtime, and a component that is an instance of a type dynamically created at runtime is returned, which implements interfaces corresponding to each of the individual interfaces of the objects extended in the container object by delegating to the extended objects. Alternately, a similar container object, when instantiated at runtime, would return a proxy object which contains a lookup table that maps interfaces to the extended objects within the component. The proxy object intercepts all calls to the container object and redirects them appropriately to the proxy objects corresponding to the extended objects, which may in turn redirect calls appropriately.

Implementation Of Alias Preserving Structural Subtyping With Precise Types Using Transparent Adapters

View page
US Patent:
7530080, May 5, 2009
Filed:
Mar 25, 2003
Appl. No.:
10/395973
Inventors:
Wolfram Schulte - Bellevue WA, US
Barend H. Venter - Issaquah WA, US
Chia-Hsun Chen - Redmond WA, US
Erik Meijer - Mercer Island WA, US
Christopher J. Lovett - Woodinville WA, US
Matthew J. Warren - Redmond WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 3/00
G06F 9/44
G06F 9/46
G06F 13/00
US Classification:
719330, 719313, 719320
Abstract:
A system and method for employing a programming language based on structural types on top of a nominal type runtime environment is disclosed. The system utilizes adapters and coercive subtyping to achieve precise typing while preserving aliasing. Furthermore, the system employs a universal value representation to achieve cross-assembly type equivalence.

Core Object-Oriented Type System For Semi-Structured Data

View page
US Patent:
8060859, Nov 15, 2011
Filed:
Jun 16, 2008
Appl. No.:
12/139712
Inventors:
Erik Meijer - Mercer Island WA, US
Wolfram Schulte - Bellevue WA, US
Barend H. Venter - Issaquah WA, US
Chia-Hsun Chen - Redmond WA, US
Christopher J. Lovett - Woodinville WA, US
Matthew J. Warren - Redmond WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
G06F 9/45
US Classification:
717114, 717128, 717141
Abstract:
A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

Core Object-Oriented Type System For Semi-Structured Data

View page
US Patent:
8112740, Feb 7, 2012
Filed:
Jun 16, 2008
Appl. No.:
12/139693
Inventors:
Erik Meijer - Mercer Island WA, US
Wolfram Schulte - Bellevue WA, US
Barend H. Venter - Issaquah WA, US
Chia-Hsun Chen - Redmond WA, US
Christopher J. Lovett - Woodinville WA, US
Matthew J. Warren - Redmond WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
US Classification:
717114, 717126
Abstract:
A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.

Secure Multi-Principal Web Browser

View page
US Patent:
8250653, Aug 21, 2012
Filed:
Apr 30, 2009
Appl. No.:
12/433788
Inventors:
Jiahe Helen Wang - Redmond WA, US
Barend H. Venter - Issaquah WA, US
Christopher L. Grier - Urbana IL, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 21/00
US Classification:
726 22, 726 11, 726 12, 726 13, 713164
Abstract:
A web browser operating system using a browser kernel places principals having different origins in separate principal instances, where each separate principal instance executes in a separate protection domain. Principal origin may be determined using the combination of protocol, domain name, and port. The browser kernel mediates communications between principal instances, and between the principal instances and the operating system. Within each principal instance, a browser runtime executes as a restricted operating system process (ROSP), while any plugins are executed as a separate ROSP. Renderings from each browser runtime are combined by the browser kernel for presentation to a user.

Logical Extensions To Intermediate Code

View page
US Patent:
8443338, May 14, 2013
Filed:
Oct 8, 2008
Appl. No.:
12/247304
Inventors:
Krzysztof J. Cwalina - Sammamish WA, US
Michael C. Fanning - Redmond WA, US
Brian M. Grunkemeyer - Redmond WA, US
Brent E. Rector - Redmond WA, US
Barend H. Venter - Issaquah WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
US Classification:
717106
Abstract:
An assembly aggregate comprising a virtual, logical view of an arbitrarily defined collection of intermediate code and metadata can be authored, factored, accessed, modified, and distributed. Multiple physical containers of assembly information can be aggregated to create a single logical assembly called an assembly aggregate. An assembly can thus be redefined as a logical view against (or projection over) the assembly aggregate. Such an assembly can be targeted to the requester: that is, an assembly can be redefined according to tool and/or execution context rather than conforming to explicit or implicit requirements enforced by the runtime.
Control profile
Barend Hermanus Venter from Sammamish, WA, age ~67 Get Report