Sun Microsystems

(05.2005 - 08.2005)

Location:	Sun Labs, Menlo Park, CA, USA
Supervisors:	Russell Kao,  Jo Ebergen
Description:	I was part of the Asynchronous Design Group and was developing their Electric VLSI Design System. The Electric VLSI Design System is a complete and highly flexible Electronic Design Automation (EDA) system that can handle many forms of circuit design. Specifically, I was working on the Network Consistency Checking (NCC) tool. NCC is based on a heavily enhanced Gemini algorithm and is aimed to compare two circuits (usually corresponding schematic and layout).
Language:	Java 1.4
Tech Report:	Design Notes for Electric's Network Consistency Checker  [PDF, 1.9 MB]

XPath over XML Schema

(03.2006 - 08.2006)

Supervisor:	Eric Wohlstadter
Description:	The primary purpose of this software library is to address parts of an XML Schema document with an XPath 1.0 expression written for instances of that Schema. The library may be used, for example, to get at compile-time an approximate set of nodes that will be matched at run-time. A special feature of the XPathOverSchema library is the ability to evaluate one XPath in the context of results of another XPath expression. Another useful extra feature is the ability to get line/column and file offset of a matched node. This library is a part of the Doxpects framework (my M.Sc. thesis project).
	more details

Master's Thesis

(09.2005 - 08.2006)

Title:	''Doxpects: XML Transformation Aspects''
Supervisor:	Eric Wohlstadter
Abstract:	Web services in the context of an Enterprise Service Bus provide an architectural approach to decomposing IT solutions into reusable pieces readily responsive to changing business demands. Developing a web service involves working with two different primary decompositions: the object-oriented design and the XML document structure. XML message transformations, such as encryption and adaptation, often manifest as crosscutting concerns. Some existing middleware standards address such document-oriented concerns by allowing custom Handlers to intercept and transform XML messages at various times during a service invocation. However, handlers do not support the sound software-engineering principle of ''programming to an interface''. Their coarse-grained interface makes it difficult to map the design of concerns to the implementation and prevents useful static checking by a language compiler (e.g. checking whether two handlers may perform conflicting actions). To address this and similar design challenges, we have developed a new programming model, called Doxpects, which simplifies the development and maintenance of Handlers. The main benefit of Doxpects is the ability to perform XML document transformation tasks (insertion, deletion, and replacement) in a familiar object-oriented way. Doxpects enable fine-grained statically-typed handler interfaces and take advantage of them.
	more details

Bachelor's Thesis

(09.2003 - 04.2004)

Title:	Construction of a Secret Sharing Scheme with Multiple Extra Functionalities
Supervisor:	Joel Friedman
	more details

Software Adaptation (CPSC 539c)

(01.2005 - 04.2005)

Title:	Aspectizing Security Concerns
Supervisor:	Eric Wohlstadter
Abstract:	The paper describes how most of the existing security augmentation methods can be implemented in a more modular and evolution-friendly fashion with help of aspect-oriented techniques.
	more details

Asyncronous Design (CPSC 538a)

(09.2004 - 12.2004)

Title:	What makes for worst-case performance?
Supervisor:	Mark Greenstreet
Abstract:	In asynchronous systems computational performance is determined by the speed of handshakes between its components. Very often it is intuitively assumed that the performance of a self-timed system can be measured by the average-case performance of its components...
	more details

Algorithms for Bioinformatics (CPSC 545)

(09.2004 - 01.2005)

Title:	Multiple Sequence Alignment
Supervisor:	Holger Hoos
Abstract:	In this project, we studied two global iterative refinement methods using the sum-of-pairs score as our objective function: PRRP and A*-DCA.
	more details

Computer Graphics (CPSC 314)

(01.2005 - 04.2005)

Title:	Asteroid Safari
Description:	A 3D shooter game. Written in C++ with help of OpenGL and GLUT libraries. The game doesn't have any platform-specific dependencies and can be compiled on any OpenGL-enabled system.
	more details

Advanced Software Engineering (CPSC 410)

(09.2003 - 12.2003)

Title:	Syntax Colouring Plugin for Eclipse
Description:	This Eclipse plugin is able to colourize source code based on user customized XML files.
	more details

Software Engineering Project (CPSC 319)

(01.2003 - 04.2003)

Title:	Eclipse Test Manager
Description:	A plug-in for the Eclipse IDE enabling developers to manage the results of tests created and run using the JUnit testing framework.
	more details