From SMS Wiki

This web page is not actively maintained anymore and is made available only for archival purposes.

Activities - Publications - Seminar - Staff - Positions

---

Welcome to the webpage & Wiki of the Software Methodologies and Systems (SMS) research group at the Computer Science and Engineering Department of Chalmers University of Technology.

With strong roots in computing science, the group seeks to transfer knowledge from programming methodology and program analysis to the construction of reusable high-performance systems of industrial strength. Of particular interest thereby are software libraries, a recent avenue towards the standardization of software. The group has developed library-level analyses, which, for example, assist in the safe use of the Standard Template Library and detect inconsistencies in the refactoring of (generic) libraries.

News & Events

Consider submitting to Workshop on Generic Programming 2009 May 22, 2008: Kasper Østerbye is visiting and will give a talk at ST Seminar Apr. 22, 2008: We are offering master thesis/exjobb mentoring (here and here) Nov. 5-9, 2007: Nicola Botta and Daniel Lincke, both from the Potdam Institute of Climate Impact Research (PIK) , visit us as part of the joint GeRBAD project. Aug 29, 2007: Welcome Jean-Philippe Bernardy (MSc, Université Libre de Bruxelles)! Jean-Philippe will join us as a Ph.D. student on Sept. 3. Aug 01, 2007: MPOOL workshop at ECOOP; Marcin Zalewski talks about Multi-Language Library Development and Andreas Priesnitz talks about A Static Framework for Scalable Emulation of Evaluation Semantics. Jul 22, 2007: ICSOFT; Andreas Priesnitz talks about A Pattern for Static Reflection on Fields. Apr 16-20, 2007: Marcin Zalewski and Andreas Priesnitz visit PIK for joint work on GeRBAD. Feb 06-14, 2007: Nicola Botta and Cezar Ionescu from PIK are visiting to start working with us on GeRBAD and to give seminar talks about their research. Jan 09, 2007: Generic Software Components for Relation-Based Computations (GeRBAD), a joint project with the Program Development and Tools group at the Potsdam Institute for Climate Impact Research (PIK), has been approved by the PPP programme of DAAD/STINT. Oct 22, 2006: 2nd Workshop on Library-Centric Software Design (LCSD) at OOSPLA; Gustav Munkby talks about A Static Analysis for the Strong Exception-Safety Guarantee. Sep 16, 2006: Workshop on Generic Programming (WGP) at ICFP; Marcin Zalewski talks about Scrap++: Scrap Your Boilerplate in C++. Aug 08-09, 2006: Kasper Østerbye, IT Univ. Copenhagen, is visiting us and gives a seminar talk. Jul 03, 2006: Workshop on Parallel/High-Performance Object-Oriented Scientific Computing (POOSC) at ECOOP; Andreas Priesnitz talks about From Generic Invocations to Generic Implementations. Jul 01, 2006 Having picked up his Master's degree, Gustav Munkby continues as a Ph.D. student in our group. Jun 15, 2006: Licentiate seminar by Marcin Zalewski on Support for Development and Maintenance of Generic Libraries, discussion leader is Ulrich Eisenecker, University of Leipzig. Jun 14-16, 2006: Ulrich Eisenecker, University of Leipzig, is visiting us and gives a seminar talk. more...