Sibylle Schupp

Publikationer (27)
Projekt (0)

Visar 27 publikationer

2019

Guaranteeing Privacy Policies using Lightweight Type Systems

Robin Adams, Wolfgang Schulz, Sibylle Schupp et al

Computer Law and Security Review. Vol. 35 (6)

Artikel i vetenskaplig tidskrift

2018

Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components

Robin Adams, Sibylle Schupp

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11294 LNCS, p. 196-214

Paper i proceeding

2018

Privacy-Preserving Architectures with Probabilistic Guaranties

Kai Buvendiek, Sibylle Schupp, Robin Adams

2018 16th Annual Conference on Privacy, Security and Trust, PST 2018, p. 38-47

Paper i proceeding

2011

Automating Exception-Safety Classification

Gustav Munkby, Sibylle Schupp

Science of Computer Programming. Vol. 76 (4), p. 278-289

Artikel i vetenskaplig tidskrift

2010

Generic programming with C++ concepts and Haskell type classes—a comparison

Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski et al

Journal of Functional Programming. Vol. 20 (3-4), p. 271-302

Artikel i vetenskaplig tidskrift

2009

A Semantic Definition of Separate Type Checking in C++ with Concepts

Marcin Zalewski, Sibylle Schupp

Journal of Object Technology. Vol. 8 (5), p. 105-132

Artikel i vetenskaplig tidskrift

2009

WGP'09 Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming

Patrik Jansson, Sibylle Schupp

Samlingsverk (redaktörskap)

2008

Improving Fault Injection of Soft Errors Using Program Dependencies

Gustav Munkby, Sibylle Schupp

IEEE Proc. of the Testing: Academic and Industrial Conference on Practice and Research Techniques (TAIC PART)

Paper i proceeding

2008

A comparison of C++ concepts and Haskell type classes

Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski et al

ACM SIGPLAN Workshop on Generic Programming 2008. Victoria, Canada, 20th September 2008, p. 37-48

Paper i proceeding

2007

A Pattern for Static Reflection on Fields: Sharing Internal Representations in Indexed Family Containers

Andreas Priesnitz, Sibylle Schupp

2nd International Conference on Software and Data Technologies, ICSOFT 2007; Barcelona; Spain; 22 July 2007 through 25 July 2007. Vol. PL (DPS/KE//-), p. 30-37

Paper i proceeding

2007

C++ concepts as institutions: A specification view on concepts

Marcin Zalewski, Sibylle Schupp

ACM SIGPLAN Symposium on Library-Centric Software Design LCSD'07, co-located with the Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'07), p. 76-87

Paper i proceeding

2007

Multi-Language Library Development. From Haskell Type Classes to C++ Concepts.

Marcin Zalewski, Andreas Priesnitz, Cezar Ionescu et al

Multiparadigm Programming with Object-Oriented Languages, an ECOOP workshop

Paper i proceeding

2006

A Static Analysis for the Strong Exception Safety Guarantee

Gustav Munkby, Sibylle Schupp

Proc. 2nd Internat. Workshop on Library-Centric Software Design (LCSD'06)

Paper i proceeding

2006

Proceedings of the Second International Workshop on Library-Centric Software Design (LCSD '06)

Joshua Bloch, Jaakko Järvi, Andreas Priesnitz et al

Samlingsverk (redaktörskap)

2006

Proc. First Internat. Workshop on Library-Centric Software Design (LCSD'05)

Andrew Lumsdaine, David Musser, Sibylle Schupp et al

Samlingsverk (redaktörskap)

2006

Library-Centric Software Design

Joshua Bloch, Jaakko Järvi, David Musser et al

OOPSLA Companion 2006

Kapitel i bok

2006

Change Impact Analysis for Generic Libraries

Marcin Zalewski, Sibylle Schupp

ICSM 2006: 22nd IEEE International Conference on Software Maintenance; Philadelphia, PA; United States; 24 September 2006 through 27 September 2006, p. 35-44

Paper i proceeding

2006

Scrap++: Scrap Your Boilerplate in C++

Gustav Munkby, Andreas Priesnitz, Sibylle Schupp et al

Workshop on Generic Programming

Paper i proceeding

2006

From Generic Invocations to Generic Implementations

Andreas Priesnitz, Sibylle Schupp

5th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing at the 20th European Conference on Object Oriented Programming - POOSC'06 Workshop Notes

Övrigt konferensbidrag

2005

STLlint: lifting static checking from languages to libraries

Douglas Gregor, Sibylle Schupp

Software: Practice & Experience

Artikel i vetenskaplig tidskrift

2005

Changing Iterators with Confidence. A Case Study of Change Impact Analysis Applied to Conceptual Specifications.

Marcin Zalewski, Sibylle Schupp

Library-Centric Software Design, an OOPSLA workshop

Paper i proceeding

2005

Generic Programming and High Performance Libraries

Douglas Gregor, Jaakko Jarvi, Mayuresh Kulkarni et al

International Journal of Parallel Programming

Artikel i vetenskaplig tidskrift

2004

Rapid performance prediction for library components

Sibylle Schupp, Marcin Zalewski, Kyle Ross

Proceedings of the Fourth International Workshop on Software and Performance, WOSP'04; Redwood Shores, CA; United States; 14 January 2004 through 16 January 2004, p. 69-73

Paper i proceeding

2004

Generic Programming and High-Performance Libraries

Jaako Järvi, Andrew Lumsdaine, Douglas Gregor et al

18th International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM); Santa Fe, NM; United States; 26 April 2004 through 30 April 2004. Vol. 18, p. 2767-2774

Paper i proceeding

2004

How to Use a Library?

Sibylle Schupp

Proc. First Internat. Workshop on Coordination and Adaptation Techniques for Software Entities

Paper i proceeding

2003

Retaining Path-Sensitive Relations Across Control-Flow Merges

Douglas Gregor, Sibylle Schupp

Preprint

2003

On the Design of Computer Algebra Systems

Sibylle Schupp, Rudiger Loos

Computer Algebra Handbook, Springer-Verlag 2003

Kapitel i bok

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Sibylle Schupp medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.