![]() The lecture is based on several "retrograde chess puzzles" from the Raymond Smullyan book " The Chess Mysteries of Sherlock Holmes. A recording of a lecture about "retrograde debugging" is available.Tips on writing a research paper ( video recording from Some notes on automatic differentiation and back-propagation ( PDF).`` Non-linear reasoning for invariant synthesis''.`` PMAF: An algebraic framework for static analysis of probabilistic programs''.`` Program analyses using Newton's method''.`` Code vectors: Understanding programs through embedded abstracted symbolic traces''.`` Refinement of path expressions for static analysis''.`` A denotational semantics for low-level probabilistic programs with nondeterminism''.`` Proving unrealizability for syntax-guided synthesis''.`` Templates and recurrences: Better together''.`` Fast graph simplification for interleaved Dyck-reachability''.`` Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems''.`` Learning from, understanding, and supporting DevOps artifacts for Docker''.`` Mutation Testing: Algorithms and Applications'' (Brown thesis).`` Enhancing Algebraic Program Analysis'' (Breck thesis).`` Interprocedural context-unbounded program analysis using observation sequences''.`` On the complexity of bidirected interleaved Dyck-reachability''.`` Sound probabilistic inference via guide types''.`` Central moment analysis for cost accumulators in probabilistic programs''.madPL (UW Programming Languages Group) Recent Items of Note Recent Publications.Computational differentiation and computational divided differencing.Symbolic abstraction and decision procedures.Alias analysis, pointer analysis, and shape analysis. ![]() Program slicing, differencing, and merging.Visitors, Post-Doctoral Associates, and Students ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |