Cited By
View all- Ferles KVan Geffen JDillig ISmaragdakis Y(2018)Symbolic reasoning for automatic signal placementACM SIGPLAN Notices10.1145/3296979.319239553:4(120-134)Online publication date: 11-Jun-2018
- Ferles KVan Geffen JDillig ISmaragdakis YFoster JGrossman D(2018)Symbolic reasoning for automatic signal placementProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192395(120-134)Online publication date: 11-Jun-2018
- Hung WGarg V(2017)Automatic-Signal Monitors with Multi-object Synchronization2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS)10.1109/IPDPS.2017.57(927-936)Online publication date: May-2017
- Show More Cited By