daniel.dantasfiles.com
Princeton University Ph.D in Computer Science - Daniel @ Dantas Files
http://daniel.dantasfiles.com/ph-d-2007
Training & Education. Principles of Programming Languages. Formal Methods in Security Engineering ». Princeton University Ph.D in Computer Science. By Daniel S. Dantas. August 22, 2007. Presented Ph.D Thesis. Analyzing Security Advice in Functional Aspect-oriented Programming Languages. This thesis extends functional programming languages with aspect-oriented features, primarily to explore aspect-oriented enforcement of security policies. Principles of Programming Languages. February 8, 2014. May 31, 2008.
daniel.dantasfiles.com
Daniel S. Dantas - Daniel @ Dantas Files
http://daniel.dantasfiles.com/author/dsdantas
Training & Education. Author Archives: Daniel S. Dantas. By Daniel S. Dantas. February 8, 2014. Principles and Practice of Declarative Programming. By Daniel S. Dantas. September 8, 2009. Language Support for Processing Distributed Ad Hoc Data. With Kenny Zhu, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai and David Walker. At ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. In re Katz Interactive Call Processing Patent Litigation. By Daniel S. Dantas. May 31, 2008.
arunraman.com
Parcae
http://arunraman.com/parcae
August 21, 2012. Arun’s Publications →. I developed Parcae, a generally applicable holistic system for platform-wide dynamic parallelism tuning. Parcae includes:. The Nona compiler, which applies a variety of auto-parallelization techniques to create flexible parallel programs whose tasks can be efficiently paused, reconfigured, and resumed during execution;. The Decima monitor, which measures resource availability and system performance to detect change in the environment; and. Prof David I. August.