UCSD Programming Systems

@UC0K6tv1otDFtbh2EXlrjb_g - 87 subscribers

Home Videos Live Playlists

Investigating the Impact of Using a Live Programming Environment in a CS1 Course

Investigating the Impact of Using a Live Programming Environment in a CS1 Course UCSD Programming Systems

126 views - 4 years ago

STORM - Disco Demo

STORM - Disco Demo UCSD Programming Systems

108 views - 4 years ago

Curry-Howard Correspondence: Correct Code [by just writing more code]

Curry-Howard Correspondence: Correct Code [by just writing more code] UCSD Programming Systems

572 views - 5 years ago

Read-Eval-Synth Loop (1 minute demo)

Read-Eval-Synth Loop (1 minute demo) UCSD Programming Systems

261 views - 5 years ago

Constraint Solvers for the Working PL Researcher - Nadia Polikarpova at PLMW@ICFP

Constraint Solvers for the Working PL Researcher - Nadia Polikarpova at PLMW@ICFP UCSD Programming Systems

1.6K views - 5 years ago

Small-Step Live Programming by Example

Small-Step Live Programming by Example UCSD Programming Systems

338 views - 5 years ago

How to Design Talks - Ranjit Jhala at PLMW@PLDI

How to Design Talks - Ranjit Jhala at PLMW@PLDI UCSD Programming Systems

1.8K views - 5 years ago

Small-Step Live Programming by Example (Preview)

Small-Step Live Programming by Example (Preview) UCSD Programming Systems

296 views - 5 years ago