Engineering 14
- Database Transactions: ACID, Isolation, and Internals
- A Deep Dive into N-Tier Systems
- Automated Testing and Verification Structure
- The Art of Static Verification: shifting Quality Left
- Static Analysis (SAST) & Building Your Own Rules
- Hacking Code with Pure Math - Formal Verification
- Data Analysis: From Raw Data to Insights
- Code Intelligence: Bridging Static Analysis and Generative AI
- Model Transformation and Code Generation
- Security Engineer’s Guide to MDE & Code Gen
- Code Coverage and Randoop
- Software Performance Benchmarking
- Textual Modeling for Security Pros
- Graph Modeling & Logic Solvers