Schedule

Possible Research Paper Topics

• Incremental View Maintenance via Algebraic Derivatives of Queries

• Computability of Derivatives and Conditional Probabilities

• Beyond Standard AD & Inference: Discontinuities & Exact Observations

• Purely Functional Reverse-Mode AD

• Speeding Up Probabilistic Programs

• Scheduling of Probabilistic Programs

• Uncertainty Propagation

• Higher-order Probabilistic Programs

• Automatic Integration

• Testing Probabilistic Programs

• Recursive Probabilistic Models of Social Cognition

• Verifying Randomized Programs