Resource Planning
Tibor Bercsey, Tamas Rick, Istvan Groma, Adam Granicz.
GA-Based Flexible and Effective Task Scheduling and Resource Allocation
. In the
Proceedings of the World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI), pp. 119-124, Orlando, Florida, USA, 2005.
Extensible Compilers
Adam Granicz, Daniel M. Zimmerman, and Jason Hickey.
Rewriting UNITY. In the
Proceedings of Rewriting Techniques and Applications (RTA), Valencia, Spain, 2003.
Download:
- PDF
- PS
Adam Granicz and Jason Hickey.
Phobos: A front-end approach to extensible compilers. In the
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS). IEEE, Waikoloa, Hawaii, 2002.
Download:
- PDF
- PS
Formal Environments and Compilers
Jason Hickey, Aleksey Nogin, Adam Granicz, and Brian Aydemir.
Formal Compiler Implementation in a Logical Framework. In the
Proceedings of MERLIN, Second ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding, Uppsala, Sweden. 2003.
Download:
- PDF
- PS
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, and Xin Yu.
MetaPRL - A Modular Logical Environment. In the
Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)
, Rome, Italy, 2003.
Brian Aydemir, Adam Granicz, and Jason Hickey.
Formal Design Environments.
International Conference on Theorem Proving in Higher Order Logics (TPHOLs)
, Hampton, Virginia, 2002. Appears in NASA technical report NASA/ CP-2002-211736.
Download:
- PDF
- PS
Technical Reports
Jason Hickey, Justin D. Smith, Brian Aydemir, Nathaniel Gray, Adam Granicz, and Cristian Tapus.
Process Migration and Transactions Using a Novel Intermediate Language. Technical Report caltechCSTR2007.007, California Institute of Technology, Computer Science, July 2002.
Download:
- PDF
- PS
Miscellaneous
The below articles and notes were prepared as part of graduate course preparation. They are posted here in the hopes
of being useful without any promise to be accurate.
|
•
|
Graph Colorings | (pdf) |
(ps)
|
Nov 15, 2001
|
|
This document gives some basic definitions around graphs and graph colorings.
|
|
•
|
The Permanent and #P | (pdf) |
(ps)
|
May 31, 2001
|
|
|
This article describes the complexity of computing the permanent; based on a 1979 paper by L.G. Valiant.
|