A Component Language for Structured Concurrent Programming

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=syVhlXwaaN0


Duration: 1:13:13
169 views
4

In this talk, I present a new programming language designed for structured concurrency. The language is based on components which are organized in hierarchical and “pointer-free” structures. The components run concurrently and only interact via communication. With this model, hierarchical encapsulation, statefull interactions, race-free concurrency, flexible polymorphism and a simple memory management is enabled. The language is implemented by a native runtime system which allows the efficient execution of a huge number of light-weight processes. In a case study of traffic simulation, it has been demonstrated that the new language enables a more natural mapping to the program and also offers a higher performance compared to other sequential or con¬current simulations.



Other Videos By Microsoft Research


2016-09-06Word Sense Induction and Disambiguation at Powerset [1/2]
2016-09-06Matching and 3D reconstruction in urban environments
2016-09-06Robust Multiview Reconstruction
2016-09-06Transparency: How Leaders Create a Culture of Candor
2016-09-06Game-theoretic probability and its applications
2016-09-06Born Digital: Understanding the First Generation of Digital Natives
2016-09-06Video denoising
2016-09-06The Myths of Innovation
2016-09-06Innovation Challenges KeyNote Kickoff
2016-09-06Natural Logic and Alignment in Natural Language Inference
2016-09-06A Component Language for Structured Concurrent Programming
2016-09-06First-Order Probabilistic Inference
2016-09-06Globally Optimized Robust System Design
2016-09-06Tools and Strategies for Building the Semantic Desktop
2016-09-06Behind the Code with Rebecca Norlander
2016-09-06City at the End of Time
2016-09-06Research challenges in P2P networking
2016-09-06On the Automatic Verification of Dynamic/Parametrized Systems
2016-09-06Warp Processing -- Dramatically Speeding up Programs by Dynamically Moving them to FPGAs
2016-09-06Distant Speech Recognition: No Black Boxes Allowed
2016-09-06Acoustic Signal Processing for Next-Generation Multichannel Human/Machine


Tags:
microsoft research