Sibylle Schupp

Visar 26 publikationer

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 i proceeding
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 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

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
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
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

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 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

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

Andrew Lumsdaine, David Musser, Sibylle Schupp et al
Samlingsverk (redaktörskap)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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

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

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
2005

Generic Programming and High Performance Libraries

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

STLlint: lifting static checking from languages to libraries

Douglas Gregor, Sibylle Schupp
Software: Practice & Experience
Artikel i vetenskaplig tidskrift
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 i proceeding
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

How to Use a Library?

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

On the Design of Computer Algebra Systems

Sibylle Schupp, Rudiger Loos
Computer Algebra Handbook, Springer-Verlag 2003
Kapitel i bok
2003

Retaining Path-Sensitive Relations Across Control-Flow Merges

Douglas Gregor, Sibylle Schupp
Preprint

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.