YAROM GABAY

• Resume
• MA research project: Towards Formalizing Java's Weak References. [pdf] [ps]

Papers and Reports

• Yarom Gabay and Assaf J. Kfoury. A Calculus for Java's Reference Objects. ACM SIGPLAN Not. 42, 8 (Aug. 2007), 9-17. [pdf]
• Kurt Rohloff, Richard Schantz and Yarom Gabay. High-Level Dynamic Resource Management for Distributed, Real-Time Embedded Systems. Submitted to the 5th Symposium on Design, Analysis and Simulation of Distributed Systems, 2007. [pdf]
• Kurt Rohloff, Yarom Gabay, Jianming Ye and Richard Schantz. Scalable, Distributed, Dynamic Resource Management for the ARMS Distributed Real-Time Embedded System. The 15th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2007), Long Beach, California, March 26-27, 2007. [pdf]
• Yarom Gabay, Michael J. Ocean, Assaf J. Kfoury, and Likai Liu. Computational Properties of SNAFU. Technical Report: BUCS-TR-2006-001, February 6, 2006. [pdf] [ps]
• Yarom Gabay, Assaf J. Kfoury, Likai Liu, Azer Bestavros, Adam D. Bradley, and Ibrahim Matta. Type Systems for a Network Specification Language With Multiple-Choice Let. Technical Report: BUCS-TR-2005-034, December 28, 2005. [pdf] [ps]

Projects

• Check out TRAFFIC's web demo as part of the iBench Initiative.
• A journal about delegation in object-oriented languages can be found here.
• A journal about weak references in Java can be found here.

Teaching

• XML introductory exercise
• Java Swing exercise
• Eclipse and CVS
• Generics in Java
• Selected solutions