1 / 6

Code generation from software blueprints

Code generation from software blueprints. class Binary : public Expr { … const Expr* getLeft(); const Expr* getRight(); … }; … class Choice : public Binary{ … virtual void Accept( ExprVisitor& ); … };. 2. Expr. Binary. Unary. …. Choice. Reliable Software.

kharvin
Download Presentation

Code generation from software blueprints

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Code generation from software blueprints class Binary : public Expr { … const Expr* getLeft(); const Expr* getRight(); … }; … class Choice : public Binary{ … virtual void Accept( ExprVisitor& ); … }; 2 Expr Binary Unary … Choice

  2. Reliable Software • Specification of temporal properties • Test oracles • Automated generation of software components • Modeling and analysis of concurrent and real-time systems

  3. FAULT-TOLERANCE • Unified Framework for Fault-Tolerance • Separate concerns of designing functionality and fault-tolerance. • Two components (detectors and correctors) that are necessary and sufficient to add fault-tolerance. • Framework using detectors and correctors to help in the design, testing, verification and automation of fault-tolerance. • Current Projects in the areas of distributed programs, network protocols, ad-hoc networks, sensor networks, middleware design, security.

  4. Processor Chip Host Processor L2 Cache L1 Cache Memory Processor Memory Chip L1 Cache DRAM Compiler Research at MSU • An Optimizing Compiler for Explicitly Parallel Programs and Relaxed Memory Consistency Models. • Developing a (Java) compiler which presents to programmers a sequentially consistent view of the underlying architecture and guarantees correctness in classical compiler optimizations for concurrent programs. • Compilers for Processors in Memory (PIM) Architectures. • Developing compiler techniques for a multiprocessor computer system that consists of multiple commodity host microprocessors and multiple PIM chips.

  5. Pavilion and RAPIDware Projects • Protocols and software frameworks for heterogeneous mobile computing • Experimental work on wireless testbed • Example subprojects: • VGuide:synchronous collaborative virtual reality tool — you see what I see. • Pocket Pavilion:extend collaborative web browsing to wireless handheld PCs • Proxy-based adaptive forward error correction for streaming compressed audio/video across wireless networks • Use of mobile agent techniques to support adaptive middleware

More Related