Publication
Publication
A framework for exact synthesis
Publication
Iterative Cycle Detection via Delaying Explorers
Publication
Greedy Algorithms Make Efficient Mechanisms
Video
Long-Range Planning with Time-Inconsistency: A Class of Computational Problems in Behavioral Economics
There are many settings where people set long-range goals and make plans to achieve them. Such long-range planning is becoming an integral of the experience in many on-line contexts, where for example people work toward…
Project
Fennel
This is a project looking into design and evaluation of efficient and deployable algorithms for assignment of complex workloads to resources in modern cloud service platforms. Alumni Jennifer Iglesias (Carnegie Mellon University; summer internship 2014)…
Publication