Designing secure distributed applications requires an unreasonable amount of vigilance. I study language-based approaches to security and distributed computing that help developers build safer and more performant programs by construction.
Program analysis and synthesis enable seamlessly moving data and functionality between app and database servers.
For consistently good performance, Pyxis automatically migrates computation between the client and the database server.
A new architecture for secure mobile code, supporting secure use, publication, and sharing of code across trust domains.