Dynamic Semantics of Programming Languages and Applications to Testing

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


Duration: 33:24
1,253 views
6

In my talk I will report on the work in progress. The initial idea of the project was to test available compilers of C-like languages. Our plan is the following: 1. Choose a reasonable subset of the language to be tested. 2. Formalize the semantics of the sub-language in AsmL. 3. Produce tons of different programs. 4. Using the AsmL Test tool, build test sequences for all these programs to check the correctness of the executable binary produced by the compiler. We started with a very simple fragment of the language (if, while, break, goto, simple function call). The next reasonable step is to add exceptions handling, arithmetical expressions, classes. (Joint work with Andrey Novikov.)



Other Videos By Microsoft Research


2016-09-05A CLP Approach to Modelling Systems
2016-09-05Dynamosaics: Dynamic Mosaics with Non-Chronological Time
2016-09-05Automatic Failure Diagnosis in Large-Scale Systems
2016-09-05The Economics of Software Dependability
2016-09-05An Overview of Recent CMU Research on Model-Based Face Processing
2016-09-05Resource acquisition via an unsupervised WSD system
2016-09-05Fast Infinite-State Model Checking in Integer-Based Systems
2016-09-05WeΓÇÖre Friends, Right?: Inside KidsΓÇÖ Culture [1/4]
2016-09-05Accelerated Democracy: How technology might change voting
2016-09-05When Can Formal Methods Make a Real Difference?
2016-09-05Dynamic Semantics of Programming Languages and Applications to Testing
2016-09-05Error Detection using Shape Analysis with Local Reasoning
2016-09-05Type-Safe, Generative, Binding Macros
2016-09-05Social Network Analysis meets the Semantic Web: What FOAF Reveals About LiveJournal
2016-09-05Distributed Multi-robot Exploration and Mapping
2016-09-051.Vision: Extraordinary Computing Experiences & 2. Robots for the Masses: Fiction or Reality
2016-09-05Modeling and Facilitating Human Communication [1/5]
2016-09-05Reducing Errors in Computer Recognition of Handwritten Material
2016-09-05Information wants to be free (but is everywhere in chains)
2016-09-05The art and technology of electronic textiles
2016-09-05Quantum Loop Gas Approach to Topological Phases of Correlated Electrons


Tags:
microsoft research