Closure Under Reversal of Languages over Infinite Alphabets

Source URL: web.eecs.umich.edu

• Pebble
• Smartwatches
• Mathematical logic
• Mathematics
• Differential topology
• Lie algebras
• Moschovakis coding lemma

LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu

Source URL: dacongy.github.io

Parallelization of Dynamic Languages: Synchronizing Built-in Collections

Source URL: ssw.jku.at

• Computing
• Software engineering
• Computer programming
• Concurrency control
• Data types
• Abstract data types
• Parallel computing
• Arrays
• Hash table
• Array data type
• Ruby
• Monitor

To appear in ACM TOGSupplemental Material for VizGen: Accelerating Visual Computing Prototypes in Dynamic Languages Yuting Yang1 1

Source URL: www.connellybarnes.com

• Computer programming
• Computing
• Software engineering
• Cross-platform software
• High-level programming languages
• Programming languages
• Object-oriented programming languages
• Python
• Compiler
• Microsoft Visual C++
• 64-bit computing

Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

Source URL: uclmr.github.io

• Computational neuroscience
• Applied mathematics
• Cybernetics
• Mathematics
• Cognitive science
• Artificial intelligence
• Computational statistics
• Artificial neural networks
• Neural network
• Outline of machine learning
• Machine learning
• Shortest path problem

Extensible Debuggers for Extensible Languages Domenik Pavletic1 , Markus Voelter2 , Syed Aoun Raza3 , Bernd Kolb3 , and Timo Kehrer4 1 itemis,

Source URL: mbeddr.com

• Computer programming
• Software engineering
• Computing
• Debugging
• Debuggers
• Cross-platform software
• High-level programming languages
• Software testing
• Breakpoint
• Program animation
• Extensible programming
• JavaScript

U.S. Department of Education International Education Programs Service Access to the World and Its Languages The mission of the International Education Programs Service (IEPS) is to meet the national needs for expertise

Source URL: www2.ed.gov

• Education
• Fulbright Scholars
• Bureau of Educational and Cultural Affairs
• Student exchange
• Fulbright Program
• United States Department of State
• Learning
• Master of Business Administration
• Fulbright Commission Belgium

Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis

Source URL: files.sri.inf.ethz.ch

• Probabilistic programming language
• Machine learning
• Information retrieval
• Cognition
• Cognitive science

To appear in ACM TOGVizGen: Accelerating Visual Computing Prototypes in Dynamic Languages Yuting Yang1 1 ours

Source URL: www.connellybarnes.com

• Software engineering
• Computing
• Computer programming
• Compiler optimizations
• Compiler construction
• Object-oriented programming languages
• Programming language implementation
• High-level programming languages
• Optimizing compiler
• Compiler
• Automatic parallelization
• Array data type

LNCSMildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars

Source URL: web.eecs.umich.edu

• Logic
• Mathematics
• Mathematical logic
• Formal languages
• Grammar frameworks
• Symbol
• Substitution
• Indexed grammar
• Table of stars with Bayer designations