Search

Your search keyword '"Sebastian Kanthak"' showing total 7 results
Start Over Author "Sebastian Kanthak"
7 results on '"Sebastian Kanthak"'

1. Spanner: Google's Globally-Distributed Database.

Author

James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost 0001, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik 0001, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford

Published
2012

6. Spanner: Google's Globally Distributed Database.

Author

James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost 0001, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik 0001, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford

Published
2013
Full Text
View/download PDF

7. Incremental Confined Types Analysis

Author

Sebastian Kanthak, Michael Eichberg, Mira Mezini, Sven Kloppenburg, and Tobias Schuh

Subjects
Theoretical computer science, ownership types, General Computer Science, Alias, Java, Aliasing, Computer science, business.industry, Software development, Static analysis, Mathematical proof, Eclipse, Theoretical Computer Science, Software, static analysis, confined types, business, Software engineering, computer, Implementation, computer.programming_language, Computer Science(all)
Abstract

Research related to alias protection and related concepts, such as, confined types and ownership types has a long tradition and is a promising concept for the design and implementation of more reliable and secure software. Unfortunately, the use of these concepts is not widespread as most implementations are proofs of concept and fall short with respect to the integration with standard software development tools and processes. In this paper, we discuss an implementation of confined types based on Java 5 annotations. The contribution of this paper is twofold: First, we discuss the incrementalization of the confined types analysis and second, we present the integration of the analysis into Eclipse using the static analysis platform Magellan.

Published
2006

Catalog

Books, media, physical & digital resources
See catalog results