CEAL: A C-based language for self-adjusting computation
My main research project is
CEAL,
a C-based language for self-adjusting computation.
Self-adjusting computation
is a (computer programming) language-based technique
for systematically describing programs that consume and produce
dynamically-changing data.
Publications
(See also: DBLP1,
DBLP2)
-
Self-Adjusting Stack Machines
Matthew A. Hammer,
Georg Neis,
Yan Chen
and
Umut A. Acar
Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 2011).
Portland, Oregon USA. October 2011.
-
Implicit Self-Adjusting Computation for Purely Functional Programs
Yan Chen,
Joshua Dunfield,
Matthew A. Hammer
and
Umut A. Acar
International Conference on Functional Programming
(ICFP'11).
Tokyo, Japan. September 2011
-
CEAL: A C-Based Language for Self-Adjusting Computation
Matthew A. Hammer,
Umut A. Acar and
Yan Chen.
Programming Language Design and Implementation
(PLDI 2009).
Dublin, Ireland. June 2009.
-
Memory Management for Self-Adjusting Computation
Matthew A. Hammer and
Umut A. Acar.
International Symposium on Memory Management
(ISMM 2008).
Tuscon, Arizona. June 2008.
-
A Proposal for Parallel Self-Adjusting Computation
(ps.gz)
Matthew Hammer,
Umut A. Acar,
Mohan Rajagopalan, Anwar Ghuloum
In Proceedings of the Workshop on Declarative Aspects of Multicore
Programming
(DAMP 2007).
Nice, France. January 2007.
-
Running Quake II on a grid
G. Deen, M. Hammer, J. Bethencourt, I. Eiron, J. Thomas, and J. H. Kaufman.
IBM Systems Journal 2006
[
Web |
PDF ].
Some press: [
Technology Review |
eWeek |
Slashdot1 |
Slashdot2
]
Contact
| email: | hammer@mpi-sws.org
|
| tel: | +49 631 9303-9619 |
| fax: | +49 631 9303-9699 |
| post: | Matthew Hammer |
| | MPI-SWS |
| | Gottlieb-Daimler-Strasse |
| | Building 49 |
| | D-67663 Kaiserslautern |
| | Germany |
| |
Notes regarding the post address given above:
- "MPI-SWS" is needed because the building has multiple mail rooms.
- "Germany" is needed outside of the EU; inside of the EU, the "D-"
prefix on the postal code suffices. Using both is redundant.
|