The Experts below are selected from a list of 210 Experts worldwide ranked by ideXlab platform
Y. Yamabalashi - One of the best experts on this subject based on the ideXlab platform.
-
Highly precise bit-phase Synchronization technique for an optically controlled time-division demultiplexer
IEEE Photonics Technology Letters, 2000Co-Authors: Kentaro Uchiyama, E. Hashimoto, Y. YamabalashiAbstract:We propose a new technique for synchronizing, in terms of bit phase, control pulses to the incoming signal pulses in optically controlled time-division demultiplexers. We demonstrate 1-h stable bit-phase Synchronization Operation with timing error of under /spl plusmn/0.7 ps.
Suman Nath - One of the best experts on this subject based on the ideXlab platform.
-
sherlock unsupervised Synchronization Operation inference
Architectural Support for Programming Languages and Operating Systems, 2021Co-Authors: Dongjie Chen, Madanlal Musuvathi, Suman NathAbstract:Synchronizations are fundamental to the correctness and performance of concurrent software. Unfortunately, correctly identifying all Synchronizations has become extremely difficult in modern soft-ware systems due to the various types of Synchronizations. Previous work either only infers specific type of Synchronization by code analysis or relies on manual effort to annotate the Synchronization. This paper proposes SherLock, a tool that uses unsupervised inference to identify Synchronizations. SherLock leverages the fact that most Synchronizations appear around the conflicting Operations and form it into a linear system with a set of Synchronization proper-ties and hypotheses. To collect enough observations, SherLock runs the unit tests a small number of times with feedback-based delay injection. We applied SherLock on 8 C# open-source applications. Without any prior knowledge, SherLock inferred 122 unique Synchronizations, with few false positives. These inferred Synchronizations cover a wide variety of types, including lock Operations, fork-join Operations, asynchronous Operations, framework Synchronization, and custom Synchronization.
-
SherLock: unsupervised Synchronization-Operation inference
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021Co-Authors: Dongjie Chen, Madanlal Musuvathi, Suman NathAbstract:Synchronizations are fundamental to the correctness and performance of concurrent software. They determine which Operations can execute concurrently and which can-not—the key to detecting and fixing concurrency bugs, as well as understanding and tuning performance. Unfortunately, correctly identifying all Synchronizations has become extremely difficult in modern software systems due to the various forms of concurrency and various types of Synchronizations. Previous work either only infers specific type of Synchronization by code analysis or relies on manual effect to annotate the Synchronization. This paper proposes SherLock, a tool that automatically infers Synchronizations without code analysis or annotation. SherLock leverages the fact that most Synchronizations appear around the conflicting Operations and encodes the inference problem into a linear system with properties and hypotheses about how Synchronizations are typically used. To collect useful observations, SherLock runs the target problem for a small number of runs with feedback-guided delay injection. We have applied SherLock on 8 C# open-source applications. Without any prior knowledge, SherLock automatically inferred more than 120 unique Synchronizations, with few false positives. These inferred Synchronizations cover a wide variety of types, including lock Operations, fork-join Operations, asynchronous Operations, framework Synchronization, and custom Synchronization.
Kentaro Uchiyama - One of the best experts on this subject based on the ideXlab platform.
-
Highly precise bit-phase Synchronization technique for an optically controlled time-division demultiplexer
IEEE Photonics Technology Letters, 2000Co-Authors: Kentaro Uchiyama, E. Hashimoto, Y. YamabalashiAbstract:We propose a new technique for synchronizing, in terms of bit phase, control pulses to the incoming signal pulses in optically controlled time-division demultiplexers. We demonstrate 1-h stable bit-phase Synchronization Operation with timing error of under /spl plusmn/0.7 ps.
-
Highly precise bit-phase Synchronization technique for an optically controlled time-division demultiplexer
Optical Fiber Communication Conference. Technical Digest Postconference Edition. Trends in Optics and Photonics Vol.37 (IEEE Cat. No. 00CH37079), 1Co-Authors: Kentaro Uchiyama, E. Nashimoto, Y. YamabayashiAbstract:We propose a new technique for synchronizing, in terms of bit-phase, control pulses to the incoming signal pulses in optically controlled time-division demultiplexers. We demonstrate one hour stable bit-phase Synchronization Operation with timing error of under 0.7 ps under.
Dongjie Chen - One of the best experts on this subject based on the ideXlab platform.
-
sherlock unsupervised Synchronization Operation inference
Architectural Support for Programming Languages and Operating Systems, 2021Co-Authors: Dongjie Chen, Madanlal Musuvathi, Suman NathAbstract:Synchronizations are fundamental to the correctness and performance of concurrent software. Unfortunately, correctly identifying all Synchronizations has become extremely difficult in modern soft-ware systems due to the various types of Synchronizations. Previous work either only infers specific type of Synchronization by code analysis or relies on manual effort to annotate the Synchronization. This paper proposes SherLock, a tool that uses unsupervised inference to identify Synchronizations. SherLock leverages the fact that most Synchronizations appear around the conflicting Operations and form it into a linear system with a set of Synchronization proper-ties and hypotheses. To collect enough observations, SherLock runs the unit tests a small number of times with feedback-based delay injection. We applied SherLock on 8 C# open-source applications. Without any prior knowledge, SherLock inferred 122 unique Synchronizations, with few false positives. These inferred Synchronizations cover a wide variety of types, including lock Operations, fork-join Operations, asynchronous Operations, framework Synchronization, and custom Synchronization.
-
SherLock: unsupervised Synchronization-Operation inference
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021Co-Authors: Dongjie Chen, Madanlal Musuvathi, Suman NathAbstract:Synchronizations are fundamental to the correctness and performance of concurrent software. They determine which Operations can execute concurrently and which can-not—the key to detecting and fixing concurrency bugs, as well as understanding and tuning performance. Unfortunately, correctly identifying all Synchronizations has become extremely difficult in modern software systems due to the various forms of concurrency and various types of Synchronizations. Previous work either only infers specific type of Synchronization by code analysis or relies on manual effect to annotate the Synchronization. This paper proposes SherLock, a tool that automatically infers Synchronizations without code analysis or annotation. SherLock leverages the fact that most Synchronizations appear around the conflicting Operations and encodes the inference problem into a linear system with properties and hypotheses about how Synchronizations are typically used. To collect useful observations, SherLock runs the target problem for a small number of runs with feedback-guided delay injection. We have applied SherLock on 8 C# open-source applications. Without any prior knowledge, SherLock automatically inferred more than 120 unique Synchronizations, with few false positives. These inferred Synchronizations cover a wide variety of types, including lock Operations, fork-join Operations, asynchronous Operations, framework Synchronization, and custom Synchronization.
E. Hashimoto - One of the best experts on this subject based on the ideXlab platform.
-
Highly precise bit-phase Synchronization technique for an optically controlled time-division demultiplexer
IEEE Photonics Technology Letters, 2000Co-Authors: Kentaro Uchiyama, E. Hashimoto, Y. YamabalashiAbstract:We propose a new technique for synchronizing, in terms of bit phase, control pulses to the incoming signal pulses in optically controlled time-division demultiplexers. We demonstrate 1-h stable bit-phase Synchronization Operation with timing error of under /spl plusmn/0.7 ps.
