../
UVA
- software analysis
- advanced embedded programming
- software logic
- geometry of data
- spring 2026
- 2025-12-30 assertion generation
- 20251229t105248
- 2025-12-26
- jasper gold course
- understanding the host network on a rpi5
- deep dive into llms like chatgpt
- assertion generation
- active measurement
- summary of llm's verilog knowledge
- finetuning gpt and claude
- vdf talk
- verifiable delay functions
- claude
- comparison of signing in vs signing out in chatgpt responses
- standard coding benchmarks for llms
- lecture 2
- network layers
- how well do llms understand verilog
- does having access to rtl change the metrics being used?
- branch prediction
- llm's understanding of verilog, assertions and assertion generation
- gnn
- scion
- possible metrics of ranking assertions
- harm: a hint-based assertion miner
- project ideas
- building harm
- cs6316 project ideas
- the design of the microarchitecture of ultrasparc
- introducing the ia-64 architecuture
- how to read a paper
- how to read a paper?
- h&p chapter 1.9
- number theory berkeley math 115
- what is the internet
- computer networking - a top down approach
- computer architecture
- computer networks
- machine learning
- introduction to cryptography
- computer science perspectives
- fall 2025 moc
- appian acing your interview workshop (virtual) career prep series
- are we still bayesians with big models
- career center map of contents
- uva map of contents
- technical interviewing workshop with holly zhou
- career launch- recruiting prep for new transfers & grads(tentative)
- linkedin for engineers and cs students