About Marcel Böhme

Marcel is a PhD candidate advised by A/Prof. Abhik Roychoudhury in the Programming Languages & Software Engineering Lab at the School of Computing, National University of Singapore. His research interest covers a wide spectrum ranging from databases (views, consistency), over programming languages (implicit parallelism, behaviour composition) to software engineering (software evolution, model-code round-trip, verification). However, the main focus of his PhD-related research is on Automated Test Suite Augmentation for Changed Behavior in Evolving Programs. That includes automatic regression testing, fault and change correlation/impact analysis, semantic differencing, semantic coverage criteria, concolic execution, amongst others.

Office

COM1 #01-19, 13 Computing Drive, Singapore 117417, Republic of Singapore

Teaching

• CS3215 Software Engineering Project - AY10/11 S1 (Teaching Assistant)

Research Projects

• JSlice is a dynamic backward slicing tool that finds for a given set of slicing criteria all program elements that a slicing criterion instance is semantically dependent on. Recently, our tool has been extended by a dynamic symbolic execution component that generates a path condition for a program path that is exercised by a given program input.
• SimTL is a template engine and a collection of template language concepts to facilitate template-based Round-Trip Engineering. The abstract and concrete syntax of an object language (e.g., Java) is extended by the SimTL concepts to create an object language-aware template language (e.g., SimTL4J). The object language-independent SimTL engine generates a template instance from parameter models and a template. Changes are propagated to all involved artifacts (replay/back propagation). The template instantiation is type-safe.
• Tornado2 is a Triple Graph Grammar engine that comes with a bidirectional transformation language, debugging, and traceability features. A transformation definition and two EMF models (left- and right-hand side) serve as input to the engine. For a given typed pattern, a rule specifies which elements are to be added to or removed from this pattern. The concepts and initial version of Tornado was developed by Tobias Haupt. My contribution was a complete revamp of the engine and pattern matcher - Tornado2.
• EMFText is an Eclipse plug-in that allows to define a textual concrete syntax for languages described by an Ecore metamodel. EMFText enables developers to define textual Domain Specific Languages quickly and without the need to learn new technologies and concepts. An abstract syntax (metamodel) defines structure and types for its model instances while a concrete syntax specifies their representation. I made minor contributions during my time as RA at the Software-Technologie group at TU Dresden.

Talks

• Increasing the Contrast of Importance - Everyday we are overwhelmed by the vast choices and decisions we have to make, while equally burdening others with choices and decisions. This talk is about making your and other peoples' life easier by the simple concept of pruning unimportant decisions.
• BehaviorBoxes: A new Parallel Paradigm Beyond OO - Nowadays, we start with a sequential program and explicitly add parallelism. Indeterministic behavior introduces problems such as race conditions. Then, locks, mutexes, and monitors are complex attempts to tackle this indeterminism, introducing yet other problems, such as deadlocks or starvation. This is no minor nuisance! We will discuss BehaviorBoxes as a new programming paradigm that renders parallelism implicit.
• NUS SoC Graduate Outreach @ TU Dresden - An invitation of the informatics-students of my alma mater to apply for internship, research assistantships, or a graduate program at the School of Computing, NUS.

Service

• since Jan'11 - Co-Organizer of a seminar-style talk series -- CSTalks
• Jan'10 to May'11 - Graduate Student Representative for PhD Students
• since Aug'09 - University Ambassador for my alma mater TU Dresden

Affiliations

Recent Publications