Syllabus of sem-4 subjects
1. Formal Methods - 2:
- Operational semantics:
i) Strutural Semantics (small step)
ii) Natural Semantics (big step)
- Axiomatics semantics
- Denotational semantics
- Data flow analysis:
i) control flow graph
ii) Available expression
iii) Reaching Defination
iv) Very busy expression
v) Live Variable
- Workflow algorithm (worklist)
- Interprocedural analysis
- concolic execution (testing)
- execution path/tree
- symbolic execution + concrete execution
2. DevOps and services:
- Virtualization, VM, Container, containerization
- Docker (installtion, runnung, commands)
- Saas,Ias,Iac,Paas
- yaml, linux commands, git
- aws,azure,gcp
- container orchestration, kubernetes, play with kubernetes
- kubernetes architecure, components/objects.
- devsecops, nvd
- trivy, sonarQube (H2 database),RBAC
- ansible,terraform,chef,bash (optional)
- tushar
- docker compose, port forwarding, scanning images to check vunerabilites
- SAST, DAST
- CI/CD, github actions
- ELK (elasticsearch, logstack, kibana), APM tools
- docker security (memory restriction, cpu restriction)
- docker swarm vs kubernetes
- SonarQube***
3. Digital Image processing:
- PPM, PGM format
- Read ppm,pgm
- grey(ppm)
- thresholding
- rotation (clockwise,anticlockwise), mirror, scaling
- cutting text line wise images
- blurring/smoothing, sharpening.
- Morphological transformation (dilation, erosion, opening and closing)
- Image compression (huffman encoding, predective coding)
- noise removal
- histogram equalization
- OCR implementaion (finding contours(keep only edges of text), finding patterns)
- Hough transformer (detecting lines)
- convulation
4. SPC NASM:
- Finding error lines
- Finding symbol table struct
- Finding symbol table data structure
- Finding where labels are stored
- Finding where symbol types are stored
- Finding number of passes during compilation
