Safe And Efficient Concurrency For Modern Programming Languages