Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1

Source URL: rjoshi.org

• Lie algebras
• Lie groups
• Circuit complexity
• NC
• Constructible universe
• Homogeneous spaces
• Mathematics
• Hopf decomposition

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Temporal logic
• Mathematics
• Computation tree logic
• Logic in computer science
• Determinacy
• Distribution
• Linear temporal logic
• Universal representation

Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk

Source URL: www.ponylang.org

BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth

Source URL: membres-lig.imag.fr

• Chivalry
• Military personnel
• Actor model
• Concurrent computing
• Dwight D. Eisenhower

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

Source URL: frenchy64.github.io

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Programming languages
• Procedural programming languages
• Cross-platform software
• Clojure
• Multiple dispatch
• Type system
• Dynamic programming language

Microsoft Word - HotPower_camera_ready_ACM_format

Source URL: seelab.ucsd.edu

• Computing
• Concurrent computing
• Energy economics
• Software
• Parallel computing
• Energy policy
• Distributed computing architecture
• MapReduce
• Apache Hadoop
• Scheduling
• Sustainable energy
• Energy industry

Facebook’s Data Center Network Architecture Nathan Farrington and Alexey Andreyev Facebook, Inc., 1601 Willow Road, Menlo Park, CA 94025, USA Author e-mail address: Abstract: We review Facebook’s c

Source URL: nathanfarrington.com

• Computing
• Concurrent computing
• Data
• Ethernet
• Apache Hadoop
• Apache Software Foundation
• Cloud infrastructure
• Network switch
• MapReduce
• Data center network architectures
• Big data

JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide •

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Computer programming
• Object-oriented programming languages
• Cross-platform software
• Concurrent programming languages
• Java platform
• Functional languages
• Scala
• Java virtual machine
• Foreach loop
• Java

Ghent University at the 2010 Placing Task Olivier Van Laere Department of Information Technology, IBBT Ghent University, Belgium

Source URL: www.multimediaeval.org

• Computing
• Computer cluster
• Concurrent computing
• Parallel computing
• Georeferencing
• Flickr
• Video

Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗

Source URL: www.cs.cornell.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Control flow
• Cross-platform software
• Concurrent programming languages
• Java
• Exception handling
• Iterator
• C++
• Scala