Programming Language Theory & Compilers Courses and Certifications

Neso Academy

Compiler Design

7 ratings

Master compiler design fundamentals from lexical analysis to code optimization, covering parsers, grammars, syntax trees, and translation schemes with solved problems.

• YouTube
• 6 hours 58 minutes
• Self-Paced
• Free Video

Verification and Synthesis of Autonomous Systems

Explore techniques for verifying and designing controllers for autonomous systems, covering stability, regular properties, and omega-regular properties through various methods and theoretical frameworks.

• Coursera
• 11 hours 17 minutes
• Self-Paced
• Paid Course

Introduction to Modeling for Formal Verification

Dive into functional verification and model checking concepts, learning transition systems, program graphs, and system composition techniques for hardware and software verification.

• Coursera
• 13 hours 48 minutes
• Self-Paced
• Paid Course

Career Certificate

Fundamentals of Model Checking

Discover formal verification through model checking fundamentals, covering modeling formalisms, temporal logics, algorithms, and optimization techniques for computing systems.

• Coursera
• 8 weeks, 10 hours/week
• Self-Paced
• Paid Course
• 3 courses

Temporal Logic Model Checking

Explore temporal logic model checking, functional verification, and modeling formalisms for hardware and software systems, including LTL, CTL, and symbolic model checking techniques.

• Coursera
• 1 day 21 hours 39 minutes
• Self-Paced
• Paid Course

Equivalences, Abstraction, and Partial Order Reduction

Explore advanced techniques for reducing system model complexity through bisimulation, simulation relations, and partial order methods for efficient verification.

• Coursera
• 16 hours 51 minutes
• Self-Paced
• Paid Course

Packt

Introduction to NLP and Syntactic Processing

Master NLP fundamentals, from text encoding to advanced syntactic processing. Apply techniques like RegEx, lexical analysis, and probabilistic parsing to real-world projects, enhancing your ability to process and analyze natural language.

• Coursera
• 13 hours 38 minutes
• Self-Paced
• Paid Course

Pragmatic AI Labs

Design by Provable Contracts

Explore Design by Provable Contracts, climbing a five-rung provability ladder—from lint and types to Lean 4 proofs—applied to softmax, producing machine-checked guarantees for safety-critical numerical kernels.

• Coursera
• 5 weeks, 1 hour a week
• Self-Paced
• Paid Course

Computer Language Engineering (SMA 5502)

Analyze programming language implementation, covering compiler concepts, optimization techniques, and practical application. Includes hands-on project building a Java-based compiler generating MIPS code.

• MIT OpenCourseWare
• Self-Paced
• Free Online Course

Verification Series Part 6 : SystemVerilog Assertions Basics

498 ratings at Udemy

Master SystemVerilog assertions through hands-on examples covering immediate, deferred, and concurrent assertions. Build expertise in temporal and non-temporal verification for effective RTL debugging and validation.

• Udemy
• 10 hours 8 minutes
• Self-Paced
• Paid Course

Compilers: Theory and Practice

This course teaches the theory and practice behind building compilers for higher level programming languages.

• Udacity
• 16 hours
• Self-Paced
• Free Online Course

Compilation Principle

Master the fundamentals of compiler design, from lexical analysis and parsing to code generation. Explore grammar types, runtime environments, and intermediate code techniques for building efficient compilers.

• XuetangX
• Self-Paced
• Free Online Course

Compilers Techniques

Master compiler construction fundamentals from lexical analysis to code generation, including hands-on implementation of a Python-based compiler and practical understanding of parsing techniques.

• XuetangX
• Self-Paced
• Free Online Course

Formal Methods for System Verification

Master formal verification techniques including SAT and model checking, essential for software and hardware industries, with real-world case studies and applications used by top tech companies.

• Swayam
• Self-Paced
• Free Online Course

Idris

Master Idris through 57 hands-on exercises covering algorithms, ciphers, data structures, and more, with expert mentoring to sharpen your functional programming skills.

• Exercism
• Self-Paced
• Free Online Course