Search

Haryadi S Gunawi

from Chicago, IL
Age ~45
Get Report
Connected to:
Vedat Gunay, 68Lisa A Gunberg, 56Alan Gunby, 89Curtis A Gunby, 65Melissa S Gunby, 44Nelson A Gunby, 46Sarah Gunby, 32Mariya V Gunchak, 52Volodymyr I Gunchak, 56Joseph Gunchenko, 58

Haryadi Gunawi Phones & Addresses

  • 902 E 54Th St, Chicago, IL 60615
  • Albany, CA
  • Naperville, IL
  • 5029 Sheboygan Ave, Madison, WI 53705
  • Marlborough, MA
  • Santa Monica, CA
  • Bellevue, WA

Work

Company: University of chicago Jul 2019 Position: Associate professor

Education

School / High School: University of California, Berkeley 2010 to 2012

Interests

Storage Systems • Software Engineering • Operating Systems • Research In Cloud Computing

Industries

Higher Education

Resumes

Resumes

Haryadi Gunawi Photo 1

Associate Professor

View page
Location:
Chicago, IL
Industry:
Higher Education
Work:
University of Chicago
Associate Professor
Uc Berkeley Jan 2010 - Jul 2012
Postdoctoral Fellow
University of Chicago Jan 2010 - Jul 2012
Assistant Professor
Education:
University of California, Berkeley 2010 - 2012
University of Wisconsin - Madison
Bachelors, Bachelor of Science University of Wisconsin - Madison
Doctorates, Doctor of Philosophy, Computer Science, Philosophy
Interests:
Storage Systems
Software Engineering
Operating Systems
Research In Cloud Computing

Publications

Us Patents

Master And Subordinate Operating System Kernels For Heterogeneous Multiprocessor Systems

View page
US Patent:
20080244599, Oct 2, 2008
Filed:
Mar 30, 2007
Appl. No.:
11/694339
Inventors:
Orion Hodson - Redmond WA, US
Haryadi Gunawi - Madison WI, US
Galen C. Hunt - Bellevue WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/46
US Classification:
718104
Abstract:
Systems and methods establish communication and control between various heterogeneous processors in a computing system so that an operating system can run an application across multiple heterogeneous processors. With a single set of development tools, software developers can create applications that will flexibly run on one CPU or on combinations of central, auxiliary, and peripheral processors. In a computing system, application-only processors can be assigned a lean subordinate kernel to manage local resources. An application binary interface (ABI) shim is loaded with application binary images to direct kernel ABI calls to a local subordinate kernel or to the main OS kernel depending on which kernel manifestation is controlling requested resources.

Model Checker For Finding Distributed Concurrency Bugs

View page
US Patent:
20190332518, Oct 31, 2019
Filed:
Apr 25, 2018
Appl. No.:
15/962873
Inventors:
- Plano TX, US
- Chicago IL, US
Haryadi Gunawi - Chicago IL, US
Feng Ye - Mississauga, CA
Chen Tian - Union City CA, US
Shen Chi Chen - San Jose CA, US
International Classification:
G06F 11/36
Abstract:
Described herein are systems and methods for distributed concurrency (DC) bug detection. The method includes identifying a plurality of nodes in a distributed computing cluster; identifying a plurality of messages to be transmitted during execution of an application by the distributed computing cluster; determining a set of orderings of the plurality of messages for DC bug detection, the set of orderings determined based upon the plurality of nodes and the plurality of messages; removing a subset of the orderings from the set of orderings based upon one or more of a state symmetry algorithm, a disjoint-update independence algorithm, or a zero-crash-impact reordering algorithm; and performing DC bug detection testing using the set of orderings after the subset of the orderings is removed from the set of orderings.

Stream Ciphers For Digital Storage Encryption

View page
US Patent:
20190238312, Aug 1, 2019
Filed:
Feb 1, 2019
Appl. No.:
16/264991
Inventors:
- Chicago IL, US
Haryadi Gunawi - Chicago IL, US
Ariel Feldman - Chicago IL, US
Henry Hoffmann - Chicago IL, US
International Classification:
H04L 9/06
H04L 9/08
G06F 21/60
G06F 16/18
G06F 3/06
Abstract:
An embodiment involves receiving a request to write data to a memory unit. The memory unit is divided into one or more logical blocks, each subdivided into groups of sub-blocks encrypted in accordance with a stream cipher. The memory unit maintains a transaction journal that marks each sub-block as dirty or clean. The memory unit stores keycount values for each of the logical blocks. The embodiment also involves: determining that the request seeks to write a portion of the data to a particular sub-block marked as dirty in the transaction journal, decrypting the particular logical block in accordance with the stream cipher, writing the portion of the data to the particular sub-block, incrementing the keycount value of the particular logical block, encrypting the particular logical block using the stream cipher, a key, and the keycount value, and writing the particular logical block to the memory unit.

Automatically Detecting Distributed Concurrency Errors In Cloud Systems

View page
US Patent:
20180046565, Feb 15, 2018
Filed:
Aug 3, 2017
Appl. No.:
15/668469
Inventors:
- Plano TX, US
- Chicago IL, US
Guangpu Li - Chicago IL, US
Haryadi Gunawi - Chicago IL, US
Chen Tian - Union City CA, US
Feng Ye - Mississauga, CA
International Classification:
G06F 11/36
H04L 29/08
H04L 12/24
Abstract:
A method for detecting distributed concurrency errors in a distributed cloud computing system includes tracing operations that access objects in functions involving inter-process messaging, applying a set of happens-before rules to the traced operations. Analyzing the traced operations to identify concurrent operations that access a common object to generate a list of potential distributed concurrency errors (DCbugs). Pruning the list of DCbugs to remove DCbugs having only local effect and that do not generate run-time errors.
Control profile
Haryadi S Gunawi from Chicago, IL, age ~45 Get Report