Code Completion with Neural Attention and Pointer Networks Jian Li, Yue Wang, Irwin King, and Michael R. Lyu arXiv:1711.09573v1 [cs.CL] 27 NovDepartment of Computer Science and Engineering

Source URL: arxiv.org

Analyzing the Effects of Disk-Pointer Corruption Lakshmi N. Bairavasundaram, Meenali Rungta‡ , Nitin Agrawal, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift University of Wisconsin-Madison ‡

Source URL: research.cs.wisc.edu

Design and Evaluation of Gradual Typing for Python Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, and Jim Baker* Indiana University Bloomington *Rackspace, Inc

Source URL: homes.soic.indiana.edu

• Software engineering
• Computer programming
• Computing
• Data types
• Object
• Functional programming
• Immutable object
• Reference
• Objective-C
• Pointer
• Immutable interface

OpenPOWER: Reengineering a server ecosystem for large-scale data centers Michael Gschwind IBM Power Systems

Source URL: www.hotchips.org

• Computing
• Software
• Computer architecture
• Cross-platform software
• Google
• IBM
• Nvidia
• OpenPOWER Foundation
• Power Architecture
• Pointer
• POWER8
• Linux

Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek

Source URL: homes.soic.indiana.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Subroutines
• Data types
• Functional programming
• Type theory
• Parameter
• Type system
• Higher-order function
• Pointer

System V Application Binary Interface AMD64 Architecture Processor Supplement Draft VersionEdited by Michael Matz , Jan Hubiˇcka2 , Andreas Jaeger3 , Mark Mitchell4 1

Source URL: refspecs.linuxbase.org

• X86 architecture
• Subroutines
• X86-64
• Application binary interface
• X86
• 64-bit computing
• Calling convention
• Fortran
• Pointer
• Call stack
• Portable Executable

Implementing a Generic Radix Trie in Rust Michael Sproul University of California, Santa Cruz University of Sydney Introduction

Source URL: michaelsproul.github.io

• Data types
• Procedural programming languages
• Functional programming
• Concurrent programming languages
• Functional languages
• Trie
• Rust
• Radix tree
• Associative array
• Pointer
• Go
• Immutable object

JITProf: Pinpointing JIT-Unfriendly JavaScript Code Liang Gong1 , Michael Pradel2 , and Koushik Sen1 1 2 EECS Department, University of California, Berkeley, USA

Source URL: mp.binaervarianz.de

• Data types
• Compiler construction
• Software optimization
• Cross-platform software
• Java
• Just-in-time compilation
• Profiling
• JavaScript
• Static single assignment form
• Array data type
• Pointer
• Final

Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar

Source URL: cs-www.cs.yale.edu

• Concurrency control
• Computing
• Computer programming
• Concurrent computing
• Non-blocking algorithm
• Hazard pointer
• Mutual exclusion
• Lock
• Concurrent data structure
• Synchronization
• Compare-and-swap
• Linearizability

Lecture Notes on Static Analysis Michael I. Schwartzbach BRICS, Department of Computer Science University of Aarhus, Denmark

Source URL: www.itu.dk

• Data types
• C++
• Subroutines
• Type theory
• C
• Pointer
• Const
• C dynamic memory allocation
• Dereference operator
• Function pointer
• Dangling pointer
• Reference