Joseph P. Near
jnear at csail dot mit dot edu
Publications
- Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, and Daniel Jackson. Equality and Hashing for (almost) Free:
Generating Implementations from Abstraction Functions. In
Proceedings of the 31st International Conference on Software
Engineering, 2009.
- Joseph P. Near, William E. Byrd, and Daniel P. Friedman. alphaleanTAP: A Declarative Theorem Prover for First-Order Classical Logic.
In Proceedings of the 24th International Conference on Logic Programming, 2008.
(pdf)
Room 32-G714
MIT Computer Science and Artificial Intelligence Lab
32 Vassar St.
Cambridge, MA 02139
Last modified: Mon Oct 26 14:21:27 EST 2009