carnegie-mellon univ pittsburgh pa school of computer science, 2005
This dissertation presents a framework for verifying concurrent message-passing C programs in an automated manner. First, programs are modeled as finite state...
2021 IEEE 17th International Conference on Group IV Photonics (GFP), IEEE, 7 décembre 2021
We demonstrate devices and architectures enabling applications such as light detection and ranging (LiDAR) and optical switches, including dispersive optical...