Author:
Sulzmann Martin,Stadtmüller Kai
Publisher
Springer International Publishing
Reference11 articles.
1. Fidge, C.J.: Timestamps in message-passing systems that preserve the partial ordering 10(1), 56–66 (1987)
2. Flanagan, C., Freund, S.N.: Fasttrack: Efficient and precise dynamic race detection. In: Proc. of PLDI 2009, pp. 121–133. ACM (2009)
3. Garg, V.K., Skawratananond, C., Mittal, N.: Timestamping messages and events in a distributed system using synchronous communication. Distributed Computing 19(5–6), 387–402 (2007)
4. The Go programming language. https://golang.org/
5. Trace-based run-time analysis of message-passing Go programs. https://github.com/KaiSta/gopherlyzer-GoScout
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enabling Go Program Analysis in Rascal;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02
2. Automated verification of concurrent go programs via bounded model checking;Automated Software Engineering;2023-08-26
3. GoAT: Automated Concurrency Analysis and Debugging Tool for Go;2021 IEEE International Symposium on Workload Characterization (IISWC);2021-11
4. Automated Verification of Go Programs via Bounded Model Checking;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
5. GoDetector: Detecting Concurrent Bug in Go;IEEE Access;2021