1 compiler-"https:" Postdoctoral positions at Uppsala universitet

Up to 2 Postdoctoral Positions in Programming Languages and Program Verification

Uppsala universitet | Sweden | 3 months ago

concurrency safety. Managed languages offer memory safety and null safety, but most do not offer concurrency safety. This means that undefined behaviours are still possible and compilers may optimise programs