35:40

[Doctoral Symposium] Researching with Undergraduates: a Curricular Approach

ACM SIGPLAN

15:53

[Doctoral Symposium] Elevator Pitches

ACM SIGPLAN

30:15

[Doctoral Symposium] Towards a Verified Cost Model for Call-by-Push-Value

ACM SIGPLAN

29:06

[Doctoral Symposium] Formally Verified Resource Bounds through Implicit Computational Complexity

ACM SIGPLAN

27:52

[Doctoral Symposium] Proving Obliviousness of Probabilistic Algorithms with Formal Verification

ACM SIGPLAN

26:27

[Doctoral Symposium] Verification of Programs with Concealed Components

ACM SIGPLAN

23:48

[Doctoral Symposium] Verification of Hardware and Software with Fuzzing and Proofs

ACM SIGPLAN

32:46

[Doctoral Symposium] Programming Support for Local-First Software

ACM SIGPLAN

30:58

[Doctoral Symposium] Modelling the Quantification of Technical Debt

ACM SIGPLAN

27:55

[Doctoral Symposium] Towards Automated Updates of Software Dependencies

ACM SIGPLAN

29:09

[Doctoral Symposium] Grammar Inference for Ad Hoc Parsers

ACM SIGPLAN

21:55

[Doctoral Symposium] Program Synthesis for Artifacts beyond Programs

ACM SIGPLAN