Sibylle Schupp

Showing 26 publications

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, p. 196-214
Paper in proceedings
2018

Privacy-Preserving Architectures with Probabilistic Guaranties

Kai Buvendiek, Sibylle Schupp, Robin Adams
Annual Conference on Privacy Security and Trust-PST, p. 38-47
Paper in proceedings
2011

Automating Exception-Safety Classification

Gustav Munkby, Sibylle Schupp
Science of Computer Programming. Vol. 76 (4), p. 278-289
Journal article
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
Journal article
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
Journal article
2009

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

Patrik Jansson, Sibylle Schupp
Edited book
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 in proceedings
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 in proceedings
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 in proceedings
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 (DPS/KE//-), p. 30-37
Paper in proceedings
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 in proceedings
2006

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

Andrew Lumsdaine, David Musser, Sibylle Schupp et al
Edited book
2006

Scrap++: Scrap Your Boilerplate in C++

Gustav Munkby, Andreas Priesnitz, Sibylle Schupp et al
Workshop on Generic Programming
Paper in proceedings
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
Conference contribution
2006

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

Joshua Bloch, Jaakko Järvi, Andreas Priesnitz et al
Edited book
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 in proceedings
2006

Library-Centric Software Design

Joshua Bloch, Jaakko Järvi, David Musser et al
OOPSLA Companion 2006
Book chapter
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 in proceedings
2005

Generic Programming and High Performance Libraries

Douglas Gregor, Jaakko Jarvi, Mayuresh Kulkarni et al
International Journal of Parallel Programming
Journal article
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 in proceedings
2005

STLlint: lifting static checking from languages to libraries

Douglas Gregor, Sibylle Schupp
Software: Practice & Experience
Journal article
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, p. 2767-2774
Paper in proceedings
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 in proceedings
2004

How to Use a Library?

Sibylle Schupp
Proc. First Internat. Workshop on Coordination and Adaptation Techniques for Software Entities
Paper in proceedings
2003

On the Design of Computer Algebra Systems

Sibylle Schupp, Rudiger Loos
Computer Algebra Handbook, Springer-Verlag 2003
Book chapter
2003

Retaining Path-Sensitive Relations Across Control-Flow Merges

Douglas Gregor, Sibylle Schupp
Preprint

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Sibylle Schupp participates, but you have to be logged in as a Chalmers employee to see them.