http://ssel.vub.ac.be/ssel/ 2010-01-30T21:33:39+01:00 http://ssel.vub.ac.be/ssel/ http://ssel.vub.ac.be/ssel/lib/images/favicon.ico text/html 2009-05-20T16:51:06+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/adaptorcomply?rev=1242831066&do=diff Research Context The time of closed big monolithic systems imprisoning the user has all but disappeared. Users want to be free. Free to tweak and adjust a system to their business context, to their task at hand, to their liking. All to often we are confronted with system to which, we, the users need to adapt. We've all encountered administration software which frustrates the staff and users because it failed to adopt the actual processes and practices. We've all encountered software in which … text/html 2009-05-07T15:07:58+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/architecturedmp?rev=1241701678&do=diff Research Context Architectural description languages (ADL) provide a technological platform to write down the architectural specifications of a software system. These languages contain constructs that make it possible to define the various components that are present in a system, together with the dependencies between these components. text/html 2009-05-08T14:56:26+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/contexthop09?rev=1241787386&do=diff Research Context Take a look at the following Scheme-based software development kit for web applications, HOP (go to the “Demos” tab to have a quick overview). Array HOP is a new higher-order extension to the Scheme programming language especially designed to build highly interactive web applications such as web agendas, web galleries, music players, games, etc. It provides simple yet expressive means to cope with the distributed nature of such applications - where logic and GUIs normally ru… text/html 2009-05-04T14:59:56+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/debug_at?rev=1241441996&do=diff Context AmbientTalk[3] is a distributed programming language especially designed for developing applications deployed on mobile ad hoc networks. AmbientTalk is a small, dynamically typed object-oriented language which combines elements from languages such as Scheme (closures), Smalltalk (pure OO) and Self (prototypes and delegation). What makes the language suitable for developing mobile ad hoc applications is its actor-based, event-driven concurrency model in combination with its built-in peer… text/html 2009-04-24T16:22:33+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/distrioo_iot?rev=1240582953&do=diff Distributed Object-Oriented Programming in an Internet of Things The Context Because of the proliferation of mobile computing devices, research fields such as ubiquitous and pervasive computing are slowly becoming reality. These research areas envision distributed applications that are smoothly integrated in our environment and unobtrusively help us perform every day tasks. For example: a smart fridge that tells the user (by communicating with an application on his personal computing device su… text/html 2009-05-22T14:06:56+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/gengen?rev=1242994016&do=diff Go back to Context Generics are a type system facility that was added to the Java programming language in 2004 as a part of the Java 5 release; it represents the most significant update to the Java type system since its initial conception. Generics allow to track in the type system that a class or method may operate on objects of various types. To this end, type variables are employed in the typing of such generic classes or methods. This provides compile-time type safety and allows to omit … text/html 2009-05-05T10:39:59+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/jit_for_manycore?rev=1241512799&do=diff Research Context With the rise of multi-core systems and many-core processors like the Tilera TILE64 [1, 2] concurrency becomes a major issue in the daily life of a programmer. Virtual machines like Sun’s Java Virtual Machine (JVM) and Microsoft’s Common Language Runtime (CLR) host a wide range of different languages and programming models and will have to provide support for different concurrent programming models, too. We are currently doing research on instruction set extensions, which add … text/html 2009-06-11T09:39:23+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/orm?rev=1244705963&do=diff Context ORM stands for object-relational mapping. It comprises solutions for the problem of dumping objects in a relational database. Problem ORM is very well-understood for class-based languages such as Java. A pattern-based methodology exists that helps us decide how to map class-structures onto tables in a relational database. The structure of the class hierarchy is an important tool to do so. text/html 2009-06-11T09:41:17+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/overview?rev=1244706077&do=diff Feel free to contact us for more information on the topics below. Note that the topics are not 100% fixed. We are always open for suggestions and are willing to tailor a proposal that matches your particular interests/background. Go back to... Software Evolution * Smart Annotations (Andy Kellens - PROG, Kris De Schutter - PROG) * A Declarative Framework for Architectural Description Languages (Veronica Uquillas - PROG, Andy Kellens - PROG) * Do you adapt or do you comply: on configura… text/html 2009-05-08T15:17:25+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/pervasiveids?rev=1241788645&do=diff In the pervasive computing paradigm, technology disappears in the environment embedded in everyday devices. Whereas from the hardware point of view this is becoming ever real, from a software perspective several issues still remain unresolved. Among them the way in which the identity of software applications should be treated. Consider the case of a software application for communication like Skype, Google Talk or iChat. The main property of such an application is to offer multiple traditional a… text/html 2009-05-04T10:47:37+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/profiling_at?rev=1241426857&do=diff Tom Van Cutsem, PROG Christophe Scholliers, PROG The goal of this apprenticeship proposal is to perform a thorough profiling and optimization of the AmbientTalk programming language. AmbientTalk is a dynamically typed language in the spirit of Ruby and Python, but specifically targeted at writing distributed applications in mobile (ad hoc) networks. text/html 2009-05-08T13:28:05+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/quantum_parallel_programming?rev=1241782085&do=diff Context This thesis fits in the context of our quantum computing research, specifically the CRYPTASC project of the Brussels' region in cooperation with the ULB. If interested, there is also the possibility for a more theoretical research topic around this project. text/html 2008-12-04T16:25:11+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/rte_in_mdspl?rev=1228404311&do=diff Go back to... Context In Software Product Lines (SPLs), commonalities between closely related software products are leveraged by integrating all those products in a single production line. Our Instant Messenger case study is an example of such a product line, where multiple versions of an instant messenger are generated from a central specification, as shown below: text/html 2009-05-07T13:21:46+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/smart_annotations?rev=1241695306&do=diff Research Context Languages such as Java allow developers to write annotations in the source code. These annotations can be added to the different entities that are present in the code (classes, methods, field ...) and provide additional information about these source-code entities. For example, a developer can use such annotations to indicate that a method implements a transaction, that a class is involved in a design pattern and so on. text/html 2009-05-06T14:48:02+01:00 http://ssel.vub.ac.be/ssel/teaching/thesis0910/proposals/vm_for_fewcore?rev=1241614082&do=diff Research Context The objective is to investigate the role that can be played by dual-core or quad-core processors in optimizing (conventional) virtual machines and programming language interpreters. General Objectives The goal of this thesis is to identify specific tasks performed inside a virtual machine that are available for execution in a separate thread on a separate core. Obvious candidates are memory management, cache management and the like; less obvious ones depend on the possible …