“Yan David is definitely one of the high energy colleagues. He brings sharp analysis and great enthusiasm to the team. Would definitely love to work with him again.”
San Francisco, California, United States
Contact Info
6K followers
500+ connections
About
Experience & Education
Publications
-
Expressing Structural Properties as Language Constructs
European Symposium on Programming Languages and Systems
A program should document its organization and decisions about the
programming process. Since the programmer's thinking about
programming and program organization continually evolves, languages
inevitably prove unable to state these decisions in a precise and
adequate fashion. Macro systems could provide a convenient way to
extend a language with such statements, if they had more structure
than traditional C- and Lisp-style macros provide.
With our system, McMicMac…A program should document its organization and decisions about the
programming process. Since the programmer's thinking about
programming and program organization continually evolves, languages
inevitably prove unable to state these decisions in a precise and
adequate fashion. Macro systems could provide a convenient way to
extend a language with such statements, if they had more structure
than traditional C- and Lisp-style macros provide.
With our system, McMicMac, designers can express a variety of
specifications as language constructs, including program
representations of design patterns, high-level recursive programming
operators, and collaboration-based design mechanisms. Unlike
traditional macro systems, McMicMac offers a simple yet powerful means
for describing specifications, prevents unintentional name clashes,
provides feedback in terms of the programmer's source, and has modular
mechanisms for managing specifications. We have implemented and used
McMicMac to define several groups of extensions.Other authorsSee publication -
Implementing Design Patterns as Language Constructs
International Conference on Functional Programming
Patents
-
Systems and methods for digital workflow and communication
Issued US 9,619,770
Systems and methods for authoring and performing procedural workflows, and engaging in multimedia communication, remote assistance, training, data entry, inventory management, authentication, and secure networking using a hands-free or substantially hands-free wearable digital device are described. In one implementation, a user logs into a secure network using existing credentials, and a Quick Response Code is generated to temporarily authorize the user's wearable device within the secure…
Systems and methods for authoring and performing procedural workflows, and engaging in multimedia communication, remote assistance, training, data entry, inventory management, authentication, and secure networking using a hands-free or substantially hands-free wearable digital device are described. In one implementation, a user logs into a secure network using existing credentials, and a Quick Response Code is generated to temporarily authorize the user's wearable device within the secure network. In another implementation, information is encrypted and transferred between a computing device and a remote system, and the computing device is verified as being connected to a particular network and located within a particular geofence. In a further implementation, an interface for authoring a procedural workflow includes defining workflow steps based on selected primitives, and displaying rendered previews of the workflow as it would appear on different user devices.
-
Systems and methods for digital workflow and communication
Issued US 9,619,771
Systems and methods for authoring and performing procedural workflows, and engaging in multimedia communication, remote assistance, training, data entry, inventory management, authentication, and secure networking using a hands-free or substantially hands-free wearable digital device are described. In one implementation, a user logs into a secure network using existing credentials, and a Quick Response Code is generated to temporarily authorize the user's wearable device within the secure…
Systems and methods for authoring and performing procedural workflows, and engaging in multimedia communication, remote assistance, training, data entry, inventory management, authentication, and secure networking using a hands-free or substantially hands-free wearable digital device are described. In one implementation, a user logs into a secure network using existing credentials, and a Quick Response Code is generated to temporarily authorize the user's wearable device within the secure network. In another implementation, information is encrypted and transferred between a computing device and a remote system, and the computing device is verified as being connected to a particular network and located within a particular geofence. In a further implementation, an interface for authoring a procedural workflow includes defining workflow steps based on selected primitives, and displaying rendered previews of the workflow as it would appear on different user devices.
-
Use of a set based approach to constructing complex queries for managing resources built from a set of simple underlying operations
Issued US 7966308
The present invention relates to a system and methodology for resource query management. The system includes a resource manager, a query engine and a filter component. The system facilitates construction and management of a resource query across resource type(s) that may be similar, different, incongruent and/or distinct. Accordingly, an SQL environment is leveraged to perform efficient, complex and intensive queries and/or operations using resource query constraint(s) from a resource…
The present invention relates to a system and methodology for resource query management. The system includes a resource manager, a query engine and a filter component. The system facilitates construction and management of a resource query across resource type(s) that may be similar, different, incongruent and/or distinct. Accordingly, an SQL environment is leveraged to perform efficient, complex and intensive queries and/or operations using resource query constraint(s) from a resource constraint(s) store and the filter component over large set(s) of resources from the resource pool.
-
Use of a set based approach to constructing complex queries for managing resources built from a set of simple underlying operations
Issued US 7707141
The present invention relates to a system and methodology for resource query management. The system includes a resource manager, a query engine and a filter component. The system facilitates construction and management of a resource query across resource type(s) that may be similar, different, incongruent and/or distinct. Accordingly, an SQL environment is leveraged to perform efficient, complex and intensive queries and/or operations using resource query constraint(s) from a resource…
The present invention relates to a system and methodology for resource query management. The system includes a resource manager, a query engine and a filter component. The system facilitates construction and management of a resource query across resource type(s) that may be similar, different, incongruent and/or distinct. Accordingly, an SQL environment is leveraged to perform efficient, complex and intensive queries and/or operations using resource query constraint(s) from a resource constraint(s) store and the filter component over large set(s) of resources from the resource pool.
-
Booking Advertising Campaigns
Filed US 11/769,549
Various aspects can be implemented for automated booking of advertising campaigns based on reach and frequency goals In general, one aspect can be a method that includes receiving campaign criteria including target reach and frequency for an advertising campaign. The method also includes allocating advertising spots based on the campaign criteria, and generating projected campaign reach and frequency based, at least in part, on the allocated advertising spots. The method further includes…
Various aspects can be implemented for automated booking of advertising campaigns based on reach and frequency goals In general, one aspect can be a method that includes receiving campaign criteria including target reach and frequency for an advertising campaign. The method also includes allocating advertising spots based on the campaign criteria, and generating projected campaign reach and frequency based, at least in part, on the allocated advertising spots. The method further includes determining whether projected campaign reach and frequency sufficiently match target reach and frequency, and dynamically adjusting the allocation of advertising spots when the projected campaign reach and frequency do not sufficiently match the target reach and frequency. Other implementations of this aspect include corresponding systems, apparatus, and computer program products.
Languages
-
English
Native or bilingual proficiency
-
French
Native or bilingual proficiency
-
German
Limited working proficiency
Recommendations received
4 people have recommended Yan-David (Yanda)
Join now to viewOther similar profiles
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore More