All students and faculty are welcome to attend the final defense of EECS graduate students completing their M.S. or Ph.D. degrees. Defense notices for M.S./Ph.D. presentations for this year and several previous years are listed below in reverse chronological order.
Students who are nearing the completion of their M.S./Ph.D. research should schedule their final defenses through the EECS graduate office at least THREE WEEKS PRIOR to their presentation date so that there is time to complete the degree requirements check, and post the presentation announcement online.
Upcoming Defense Notices
JASON GEVARGIZIAN - Executables from Program Slices for Java ProgramsMS Thesis Defense (CS)
February 13, 2015
250 Nichols Hall
Prasad Kulkarni, Chair
that extracts only those program statements that are relevant to particular points
of interest. Executable slices are program slices that are independently executable
and that correctly compute the values in the slicing criteria. Executable slices
can be used during debugging and to improve program performance through
parallelization of partially overlapping slices.
While program slicing and the construction of executable slicers has been
studied in the past, there are few acceptable executable slicers available,
even for popular languages such as Java.
In this work, we provide an extension to the T. J. Watson Libraries for
Analysis (WALA), an open-source Java application static analysis suite, to
generate fully executable slices.
We analyze the problem of executable slice generation in the context
of the capabilities provided and algorithms used by the WALA library.
We then employ this understanding to augment the existing WALA static SSA slicer
to efficiently track non-SSA datapendence, and couple this component with
our exectuable slicer backend.
We evaluate our slicer extension and find that it produces accurate
exectuable slices for all programs that fall within the limitations of the
WALA SSA slicer itself.
Our extension to generate executable program slices facilitates one of the
requirements of our larger project for a Java application automatic
partitioner and parallelizer.
DAVID HARVIE - Targeted Scrum: Software Development Inspired by Mission CommandPhD Dissertation Defense (CS)
February 12, 2015
246 Nichols Hall
Arvin Agah, Chair
BRAD TORRENCE - The Life Changing HERMIT: A Case Study of the Worker/Wrapper TransformationMS Thesis Defense (CoE)
January 30, 2015
2001B Eaton Hall
Andy Gill, Chair
HERMIT is a tool that allows programs implemented in Haskell to be transformed during the compilation process, and has features capable of performing worker/wrapper transformations. Specifically in these experiments, HERMIT is used to apply syntax transformations to replace Life's linked-list based implementation with one that uses other data structures in an effort to explore alternative implementations and improve overall performance.
Previous work has successfully performed the worker/wrapper conversion on an individual function using HERMIT. This thesis presents the first time that a programmer-directed worker/wrapper transformation has been attempted on an entire program. From this experiment, substantial observations have been made. These observations have led to proposed improvements to the HERMIT system, as well as a formal approach to the worker/wrapper transformation process in general.
Past Defense Notices
RAMA KRISHNAMOORTHY - Adding Collision Detection to Functional Active ProgrammingMS Project Defense (CS)
January 28, 2015
2001B Eaton Hall
Andy Gill, Chair
In this project, we have added some reactive features to the Active library as an attempt to enhance the active programming space without complicating the underlying principles. This will let Active elements to detect collisions, or a mouse click event, and change their behavior accordingly. Having built-in reactive features equips the Active programmers with extra tools at their disposal and significantly reduces the efforts needed to code such reactions. These reactive features have been implemented on top of the Blank Canvas.
MAHMOOD HAMEED - Nonlinear Mixing in Optical Multicarrier SystemsPhD Comprehensive Defense (EE)
January 14, 2015
246 Nichols Hall
Ron Hui, Chair
For an OFDM-RoF system, we present a novel technique that minimizes the RF domain signal-signal beat interference, relaxes the phase noise requirement on the RF carrier, realizes the full potential of the optical heterodyne technique, and increases the performance-to-cost ratio of RoF systems. We demonstrate a RoF network that shares the same RF carrier for both downlink and uplink, avoiding the need of an additional RF oscillator in the customer unit.
For direct detection systems, we propose theoretical and experimental investigation of impact of semiconductor optical amplifier nonlinearities on Compatible-SSB signals. As preliminary work, we present experimental comparison of performance degradation of coherent optical OFDM and single carrier Nyquist pulse modulated systems in a nonlinear environment. Furthermore, analysis of distribution properties of optical phases driving a dual-drive MZM and their dependence on scaling factor are proposed for Compatible-SSB modulation format through simulations and experimental results. An optimum scaling factor needs to be found that minimizes residual sideband and signal-signal beat interference in such systems.
JAY FULLER - Scalable, Synchronous, Multichannel DDS System for Radar ApplicationsMS Thesis Defense (EE)
January 12, 2015
Carl Leuschen, Chair
Synchronization between configured DDS ICs is achieved via the on-chip SYNC-IN and SYNC-OUT signals. The master DDS (only one per configuration) generates the SYNC_OUT signal, which is distributed to the SYNC_IN pins on all DDS ICs, including the master. The synchronization signal distribution network was designed to minimize skew such that the SYNC_IN signal reaches the all DDSs at virtually the same time. Even if some skew appears, the AD9915's SYNC_IN and SYNC_OUT signals have adjustable delay. The SYNC_IN signal causes the DDSs to assume a known state. Because all of the DDSs reach the same state at the same time, they are, by definition synchronized.