News

The difference between distributed computing and concurrent programming is a common area of confusion as there is a significant amount of overlap between the two when you set out to accomplish ...
Both concurrency and distributed programming have the same roots in early computer science. In those early days, problems were often modelled from an asynchronous perspective.
Session Types and Concurrency in Programming Languages Publication Trend The graph below shows the total number of publications each year in Session Types and Concurrency in Programming Languages.
It's been two years since Microsoft Chairman Bill Gates talked up Dryad, Microsoft's concurrent-programming competitor to Google's MapReduce and Apache Hadoop. But this week, Dryad was back on the ...
Concurrency and distributed computing are important tactics that aid in achieving these goals in the technological environment.
The Linux Foundation, the nonprofit tech consortium that manages various open source efforts, today announced the launch of the TLA+ Foundation to promote the adoption and development of the TLA+ ...
Transactional memory systems represent a paradigm shift in concurrent programming by abstracting low-level lock management and enabling sequences of operations to be executed as atomic transactions.
Microsoft announced last week a new version of its Robotics Developer Studio (RDS) suite. Company officials emphasized the fact Microsoft is making the R3 version of RDS available freely to all ...
Kamaelia is an open-source Python framework developed by BBC Research & Development (BBC R&D) for building concurrent and distributed systems. It provides a component-based approach to software ...
Gowtham Kaki is an assistant professor joining the Department of Computer Science in fall 2020. His research is in the areas of Programming Languages and Formal Methods with a focus on automated ...