The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014

Source URL: sigplan.org

• Computer memory
• Parallel computing
• Concurrent computing
• Compiler construction
• Programming language design
• Linearizability
• Memory model
• C++
• Thread
• Abstraction
• Concurrency
• Memory barrier

The Eighth ACM SIGPLAN Workshop on Transactional Computing (March 2013, Houston, TX) Generic Programming Needs Transactional Memory Justin E. Gottschlich Hans-J. Boehm

Source URL: justingottschlich.com

Daniel R. Licata Personal Information: E-mail:

Source URL: dlicata.web.wesleyan.edu

• Type theory
• International Conference on Functional Programming
• Programming language theory
• Homotopy type theory
• Twelf
• Dependent type
• Logical framework
• Functional programming
• SIGPLAN
• Programming language
• Symposium on Principles of Programming Languages
• Agda

Sam Tobin-Hochstadt School of Informatics & Computing Indiana University  S. Woodlawn Ave. Bloomington, IN 

Source URL: homes.soic.indiana.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Association for Computing Machinery
• Matthias Felleisen
• International Conference on Functional Programming
• Scheme
• SIGPLAN
• Racket
• European Symposium on Programming
• Symposium on Trends in Functional Programming

Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France)

Source URL: alan.petitepomme.net

• Software engineering
• Computer science
• Computing
• Boomerang
• Functional programming
• Symposium on Principles of Programming Languages
• International Conference on Functional Programming
• Benjamin C. Pierce
• SIGPLAN
• Coq
• French Institute for Research in Computer Science and Automation
• Research Institute of Computer Science and Random Systems

TRANSACT ’07: The Second ACM SIGPLAN Workshop on Transactional Computing To be held in conjunction with PODC 2007 Portland, Oregon, August 16, 2007 Preliminary Call for Papers PROGRAM COMMITTEE:

Source URL: www.cs.rochester.edu

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Source URL: cs.nyu.edu

• Computing
• Computer science
• Software engineering
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• SIGPLAN
• Compiler
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• ACM Transactions on Programming Languages and Systems
• Functional languages

FILIP PIZLO Resume • filpizlo.com • 1817 47th Ave • Capitola, CA 95010 • Summary. I’m a systems programmer specializing in compilers, programming language runtimes, memory management,

Source URL: www.filpizlo.com

• Computing
• Software
• Java
• Compilers
• Compiler construction
• Programming language implementation
• Cross-platform software
• Jikes RVM
• SIGPLAN
• LLVM
• Just-in-time compilation
• Real time Java

M. Bravenboer and E. Visser. Parse table composition. separate compilation and binary extensibility of grammars. In D. Gasevic and E. van Wyk, editors, Software Language Engineering (SLE 2008), volume 5452 of Le

Source URL: www.st.ewi.tudelft.nl

• OOPSLA
• Object-oriented programming
• SIGPLAN
• Domain-specific language
• Science
• Computer science
• Computing
• Association for Computing Machinery

Student Travel Grant Application ACM SIGPLAN 5th Workshop on Programming Languages and Analysis for Security (PLASToronto, Canada, June 10, 2010 Sponsored by

Source URL: software.imdea.org

• Email
• Technology
• Association for Computing Machinery
• Programming Language Design and Implementation
• Computing