<--- Back to Details
First PageDocument Content
Computing / Computer science / Technology / Symposium on Principles of Programming Languages / SIGPLAN / Actor model / Programming Language Design and Implementation / Spreadsheet / Microsoft Research / Microsoft
Date: 2018-06-25 09:59:57
Computing
Computer science
Technology
Symposium on Principles of Programming Languages
SIGPLAN
Actor model
Programming Language Design and Implementation
Spreadsheet
Microsoft Research
Microsoft

Rishabh Singh Í 1 Microsoft Way Redmond, WA 98052

Add to Reading List

Source URL: rishabhmit.bitbucket.io

Download Document from Source Website

File Size: 216,62 KB

Share Document on Facebook

Similar Documents

I1 / Garbage collection

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

DocID: 1xW3e - View Document

Computing / Computer architecture / Android / System software / Online marketplaces / Google Play / Intent

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

DocID: 1xW0O - View Document

Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

DocID: 1xW0E - View Document

Software engineering / Computing / Programming paradigms / Evaluation strategy / Functional programming / Computer programming / Concurrent programming languages / Functional reactive programming / Reactive programming / Computer architecture / Dataflow programming / Dataflow

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

DocID: 1xVYc - View Document

Computing / Computer graphics / 3D rendering / Video game development / Computer programming / Graphics hardware / Graphics libraries / Texture atlas / Graphics processing unit / Texture mapping / Optimizing compiler / Rendering

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

DocID: 1xVY6 - View Document