https://www.microsoft.com/en-us/research/publication/automated-and-modular-refinement-reasoning-for-concurrent-programs/
Automated and modular refinement reasoning for concurrent programs - Microsoft Research
Oct 17, 2018 - We present CIVL, a language and verifier for concurrent programs based on automated and modular refinement reasoning. CIVL supports reasoning about a...
concurrent programsautomatedmodularrefinementreasoning
https://deepai.org/publication/datalog-based-scalable-semantic-diffing-of-concurrent-programs
Datalog-based Scalable Semantic Diffing of Concurrent Programs | DeepAI
Jul 10, 2018 - 07/10/18 - When an evolving program is modified to address issues related to thread synchronization, there is a need to confirm the change is...
concurrent programsdatalogbasedscalablesemantic
https://deepai.org/publication/safe-execution-of-concurrent-programs-by-enforcement-of-scheduling-constraints
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints | DeepAI
Sep 6, 2018 - 09/06/18 - Automated software verification of concurrent programs is challenging because of exponentially growing state spaces. Verification ...
concurrent programssafeexecutionenforcementscheduling
https://deepai.org/publication/generating-concurrent-programs-from-sequential-data-structure-knowledge
Generating Concurrent Programs From Sequential Data Structure Knowledge | DeepAI
Nov 8, 2020 - 11/08/20 - In this paper we tackle the problem of automatically designing concurrent data structure operations given a sequential data struct...
concurrent programsdata structuregeneratingsequentialknowledge
https://www.microsoft.com/en-us/research/project/chess-find-and-reproduce-heisenbugs-in-concurrent-programs/
CHESS: Find and Reproduce Heisenbugs in Concurrent Programs - Microsoft Research
Nov 12, 2020 - CHESS is a tool for finding and reproducing Heisenbugs in concurrent programs. CHESS repeatedly runs a concurrent test ensuring that every run takes a...
concurrent programschessfindreproduceheisenbugs
https://usd.edu/Academics/Graduate-Programs/Concurrent-Law-Programs
Concurrent Law Programs | University of South Dakota
In addition to offering the standard J.D. program, the Knudson School of Law has partnered with other academic departments to offer concurrent degree programs....
law programsuniversity ofconcurrentsouthdakota