Static Analysis for Amy: Introduction to AST-based Analysis

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (29)

Page 3 of 3

Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.

Concept Selection and Tradespace Exploration

Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.

Project Management: Portfolio Management

Focuses on project planning, execution, and key user involvement for effective project management.

Smart Contract Implementation: Coin

Covers the implementation of a smart contract for a simple coin and discusses financial blockchain applications.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

Benchmarking Parallel Programs

Covers testing, benchmarking, performance factors, measurement methodologies, ScalaMeter, JVM warmup, and configuration in parallel programming.

Query Optimization: Distributed Execution and Testing

Explores query optimization, distributed execution, and testing in a SmartDataLake project.

GoogleTest, Pytest, Git Submodule/Subtree, Python os.path

Covers Google Test, Pytest, Git submodule/subtree, and Python file manipulation.

Property-Based Testing: QuickChick

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.