Search

Ravi K Chugh

from Chicago, IL
Age ~39
Get Report
Also known as:
Ravi Kumar Chugh, Ravi Ghugh, Chugh Ravi
Phone and address:
5454 S Shore Dr APT 705, Chicago, IL 60615
Related to:
Aisha A Chugh, 23Sanjay K Chugh, 49Sunanda Chugh, 80Lalit K Chugh, 87Sunanda Chugh, 67
Connected to:
Arjun A Chugh, 28Chetan Chugh, 43Harsh V Chugh, 53Naresh Chugh, 48Nisha Chugh, 39Preeti Chugh, 47Rahul Chugh, 49Ramesh C Chugh, 66Tanya Chugh, 30Akhtar S Chughtai, 73

Ravi Chugh Phones & Addresses

  • 5454 S Shore Dr APT 705, Chicago, IL 60615
  • La Jolla, CA
  • San Diego, CA
  • Philadelphia, PA
  • Edison, NJ
  • Mountain View, CA

Publications

Us Patents

Type-Preserving Compiler For Security Verification

View page
US Patent:
20110185345, Jul 28, 2011
Filed:
Jan 27, 2010
Appl. No.:
12/694295
Inventors:
Nikhil Swamy - Seattle WA, US
Juan Chen - Sammamish WA, US
Ravi Kumar Chugh - La Jolla CA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/45
G06F 9/445
US Classification:
717146, 717174
Abstract:
Described is a source program code language that facilitates the association of security proofs obtained from a solver (e.g., a Z3 theorem prover) with the program code. The code may include affine types, dependent types and/or refinement types. A derefinement procedure replaces each refinement type with a dependent pair type corresponding to the proof. A target code type checker verifies the target code with respect to the security policies. If verified as complying with security policy, a verified program corresponding to the translated program may then be installed and run.

Bidirectional Evaluation For General- Purpose Programming

View page
US Patent:
20210263729, Aug 26, 2021
Filed:
Apr 9, 2021
Appl. No.:
17/227227
Inventors:
- Chicago IL, US
Ravi Chugh - Chicago IL, US
International Classification:
G06F 8/71
G06F 8/34
Abstract:
A method of facilitating bidirectional programming of a user may include receiving an original program source code and evaluating the original program source code in the forward direction to generate a program output. The evaluation may occur in a programming environment. The program output may be displayed, and an indication of the user corresponding to modifying the program output may be received. The modified program output may be evaluated to generate an updated program source code, wherein the updated program source code, when evaluated, may generate the modified program output. The modified program output may be displayed in a display device of the user. A computing system including a bidirectional programming environment may also be included.
Control profile
Ravi K Chugh from Chicago, IL, age ~39 Get Report