Mayur Naik
1.51K subscribers
42:31
Vijay Krishnan: Improving Foundation Models Using Expert Human Data
Mayur Naik
282 views • 2 days ago
1:37:47
Yann Dubois: Scalable Evaluation of Large Language Models
Mayur Naik
3K views • 2 weeks ago
48:26
Scallop: A Language for Neuro-Symbolic Programming
Mayur Naik
981 views • 1 year ago
20:00
GenSynth: Synthesizing Datalog Programs without Language Bias
Mayur Naik
203 views • 3 years ago
58:12
Module 1: Introduction to Software Analysis
Mayur Naik
5.2K views • 3 years ago
1:35:49
Module 5: Dataflow Analysis
Mayur Naik
3.1K views • 4 years ago
1:06:13
Module 9: Statistical Debugging
Mayur Naik
605 views • 4 years ago
1:37:33
Module 6: Pointer Analysis
Mayur Naik
2.2K views • 4 years ago
1:19:58
Module 8: Type Systems
Mayur Naik
629 views • 4 years ago
47:06
Module 10: Delta Debugging
Mayur Naik
1.2K views • 4 years ago
1:11:32
Module 7: Constraint Based Analysis
Mayur Naik
1K views • 4 years ago
56:16
Module 11: Dynamic Symbolic Execution
Mayur Naik
1.6K views • 4 years ago
1:35:49
Module 5: Dataflow Analysis
Mayur Naik
2.2K views • 4 years ago
1:04:15
Module 4: Automated Test Generation
Mayur Naik
1.6K views • 4 years ago
1:11:11
Module 3: Random Testing
Mayur Naik
1.2K views • 4 years ago
1:26:07
Module 2: Software Specifications
Mayur Naik
1.4K views • 4 years ago
5:17
Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs
Mayur Naik
1K views • 4 years ago
15:08
CIS 547 - Software Analysis: Course Overview
Mayur Naik
1.9K views • 4 years ago
0:18
Real-time video segmentation via computation offloading
Mayur Naik
247 views • 6 years ago
7:23
An AI-based System for Interactively Discovering Software Bugs
Mayur Naik
833 views • 6 years ago
46:48
Chapter 11: Dynamic Symbolic Execution
Mayur Naik
11K views • 8 years ago
35:52
Chapter 10: Delta Debugging
Mayur Naik
4.3K views • 8 years ago
59:38
Chapter 8: Type Systems
Mayur Naik
1.5K views • 8 years ago
51:46
Chapter 9: Statistical Debugging
Mayur Naik
1.2K views • 8 years ago
40:54
Chapter 7: Constraint-Based Analysis
Mayur Naik
4.8K views • 8 years ago
50:10
Chapter 6: Pointer Analysis
Mayur Naik
5.8K views • 8 years ago
40:01
Chapter 5: Dataflow Analysis
Mayur Naik
23K views • 8 years ago
45:53
Chapter 4: Automated Test Generation
Mayur Naik
4.3K views • 8 years ago
35:29
Chapter 3: Random Testing
Mayur Naik
5.2K views • 8 years ago
33:18
Chapter 2: Introduction to Software Testing
Mayur Naik
4.8K views • 8 years ago
Load More