How low can safe languages go?

Channel:
Microsoft Research
Subscribers:
349,000
Published on ● Video Link: https://www.youtube.com/watch?v=Fk0j8C4Y9SE


Duration: 1:17:52
60 views
1

Safe languages try to increase software reliability and security by checking for errors at compile time and run time. For example, Java and C# check types (mostly at compile time) and check array bounds (usually at run time). Unfortunately, these safety checks restrict the operations that a program can perform. Typical safe programs cannot explicitly free memory, cannot change the types of allocated data after allocation, cannot read and write to memory-mapped I/O addresses and I/O ports, cannot initiate DMA, and have limited control over how words are arranged in memory. As a result, most safe languages rely on run-time system code and operating system code, written in unsafe languages, to mediate access to low-level resources like devices and memory words. To alleviate these restrictions, we have developed a safe language called Clay, which uses polymorphic types, linear types, arithmetic types, and delayed types to give safe code flexible and efficient access to low-level resources. This talk will describe experiences developing low-level systems, including garbage collectors and device drivers, in Clay.



Other Videos By Microsoft Research


2016-09-05Automatic Identification and Classification of Protein Domains
2016-09-05Social Computing Symposium - What is Community anyway?
2016-09-05Supporting Informal Collaboration in Groupware
2016-09-05Rethinking Database Systems for Modern Architectures
2016-09-05Query Processing for Large-Scale XML Message Brokering
2016-09-05QoS-Based Resource Management [1/4]
2016-09-05Semi-supervised Clustering: Probabilistic Models, Algorithms and Experiments
2016-09-05Verifying Safety Policies with Size Properties and Alias Controls
2016-09-05Reformulating the HMM as a trajectory model
2016-09-05Reasoning about Reliability and Security Using Boolean Methods
2016-09-05How low can safe languages go?
2016-09-05Exceptional Situations and Program Reliability
2016-09-05Model drive development of enterprise applications
2016-09-05Self-Monitoring of Thread Interactions in Multithreaded Systems
2016-09-05Exploiting Redundancy for Robust Sensing
2016-09-05Multiple View Geometry and L-infinity Optimization
2016-09-05Pseudorandom Walks in Directed Graphs and the RL vs. L Question [1/3]
2016-09-05Applied Nonparametric Bayes and Statistical Machine Learning
2016-09-05Reliability Estimation during Architectural Design
2016-09-05Program Analysis with Binary Decision Diagrams
2016-09-05Making Wireless LANs Faster and Fairer


Tags:
microsoft research