NDLI logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '16)
  2. Programming Uncertain hings
Loading...

Please wait, while we are loading the content...

Programming Uncertain hings
WiSync: An Architecture for Fast Synchronization through On-Chip Wireless Communication
Paravirtual Remote I/O
Prudent Memory Reclamation in Procrastination-Based Synchronization
How to Build Static Checking Systems Using Orders of Magnitude Less Code
M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores
True IOMMU Protection from DMA Attacks: When Copy is Faster than Zero Copy
Synopsis of the ASPLOS '16 Wild and Crazy Ideas (WACI) Invited-Speakers Session
Brain Inspired Computing
Scaling up Superoptimization
Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques
NVWAL: Exploiting NVRAM in Write-Ahead Logging
Interference Management for Distributed Parallel Applications in Consolidated Clusters
LDX: Causality Inference by Lightweight Dual Execution
Scalable Kernel TCP Design and Implementation for Short-Lived Connections
Programmer Productivity in a World of Mushy Interfaces: Challenges of the Post-ISA Reality
RAPID Programming of Pattern-Recognition Processors
Generating Configurable Hardware from Parallel Patterns
PIFT: Predictive Information-Flow Tracking
ProteusTM: Abstraction Meets Performance in Transactional Memory
ReBudget: Trading Off Efficiency vs. Fairness in Market-Based Multicore Resource Allocation via Runtime Budget Reassignment
High Performance Packet Processing with FlexNIC
Whirlpool: Improving Dynamic Cache Management with Static Data Classification
TxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory
Sidewinder: An Energy Efficient and Developer Friendly Heterogeneous Architecture for Continuous Mobile Sensing
Silent Shredder: Zero-Cost Shredding for Secure Non-Volatile Main Memory Controllers
Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers
The Computational Sprinting Game
High-Performance Transactions for Persistent Memories
Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications
TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems
SpaceJMP: Programming with Multiple Virtual Address Spaces
Proactive Control of Approximate Programs
DySel: Lightweight Dynamic Selection for Kernel-based Data-parallel Programming Model
HIPStR: Heterogeneous-ISA Program State Relocation
CSR: Core Surprise Removal in Commodity Operating Systems
Dirigent: Enforcing QoS for Latency-Critical Tasks on Shared Multicore Systems
Specifying and Checking File System Crash-Consistency Models
TPC: Target-Driven Parallelism Combining Prediction and Correction to Reduce Tail Latency in Interactive Services
Cogent: Verifying High-Assurance File System Implementations
OpenPiton: An Open Source Manycore Research Framework
Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services
Architecture-Adaptive Code Variant Tuning
An Energy-interference-free Hardware-Software Debugger for Intermittent Energy-harvesting Systems
High-Density Image Storage Using Approximate Memory Cells
HCloud: Resource-Efficient Provisioning in Shared Cloud Systems
RID: Finding Reference Count Bugs with Inconsistent Path Pair Checking
memif: Towards Programming Heterogeneous Memory Asynchronously
AxGames: Towards Crowdsourcing Quality Target Determination in Approximate Computing
Baymax: QoS Awareness and Increased Utilization for Non-Preemptive Accelerators in Warehouse Scale Computers
ANVIL: Software-Based Protection Against Next-Generation Rowhammer Attacks
CASPAR: Breaking Serialization in Lock-Free Multicore Synchronization
COATCheck: Verifying Memory Ordering at the Hardware-OS Interface
Failure-Atomic Persistent Memory Updates via JUSTDO Logging
CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs
A DNA-Based Archival Storage System
Analyzing Behavior Specialized Acceleration

Similar Documents

...
Programming Uncertain hings

Article

...
Programming Uncertain hings

Article

...
Programming Uncertain hings

Article

...
Programming the world of uncertain things (keynote)

Article

...
Programming the world of uncertain things (keynote)

Article

...
Lazy evaluation in logic programming

Article

...
AgentSpeak(PL): A New Programming Language for BDI Agents with Integrated Bayesian Network Model

Article

...
Programming the Internet of Uncertain hings

Article

...
Uncertain: a first-order type for uncertain data

Article

Programming Uncertain hings

Content Provider ACM Digital Library
Author McKinley, Kathryn S.
Abstract Innovation flourishes with good abstractions. For instance, codification of the IEEE Floating Point standard in 1985 was critical to the subsequent success of scientific computing. Programming languages currently lack appropriate abstractions for uncertain data. Applications already use estimates from sensors, machine learning, big data, humans, and approximate algorithms, but most programming languages do not help developers address correctness, programmability, and optimization problems due to estimates. To address these problems, we propose a new programming abstraction called Uncertain embedded into languages, such as C#, C++, Java, Python, and JavaScript. Applications use familiar discrete operations for estimates with Uncertain. Overloaded conditional operators specify hypothesis tests and applications use them to control false positives and negatives. A simple compositional operator expresses domain knowledge. We carefully restrict expressiveness such that we can build a runtime that implements correct statistical reasoning at conditionals. Our system relieves developers of the need to implement or deeply understand statistics. We demonstrate substantial programmability, correctness, and efficiency benefits of this programming model for GPS sensor navigation, approximate computing, machine learning, and xBox. We encourage the community to develop and use abstractions for estimates.
Starting Page 1
Ending Page 2
Page Count 2
File Format PDF
ISBN 9781450340915
DOI 10.1145/2872362.2872416
Language English
Publisher Association for Computing Machinery (ACM)
Publisher Date 2016-03-25
Publisher Place New York
Access Restriction Subscribed
Subject Keyword Measurement Probabilistic programming Bayesian logic Languages Verification Programming with estimates Lazy evaluation
Content Type Text
Resource Type Article
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Library of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
I will try my best to help you...
Cite this Content
Loading...