Dipl.-Inform. Jan Sinschek

Dipl.-Inform. Jan Sinschek

My research centers on language support for system evolution, with a focus on techniques to address security issues in evolving systems.

I currently work to bring concepts from object capability programming to object-oriented system without system re-implementation. This work uses type information to encode what actions code is allowed to perform. The type system used in this is based on dependent classes, which allow to vary an object's behaviour with the types of the objects that it collaborates with.

Publications

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item type | No grouping
Jump to: 2012 | 2011 | 2010 | 2009
Number of items: 6.

2012

Alsouri, Sami ; Sinschek, Jan ; Sewe, Andreas ; Bodden, Eric ; Mezini, Mira ; Katzenbeisser, Stefan (2012):
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
7483In: Lecture Notes in Computer Science, In: Information Security, In: 15th International Conference on Information Security, Passau, Germany, 19-21 Sep 2012, S. 168-187, ISSN 0302-9743,
[Online-Edition: http://dx.doi.org/10.1007/978-3-642-33383-5_11],
[Conference item]

2011

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Oueslati, Hela ; Mezini, Mira (2011):
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
In: Proceedings of the 33rd International Conference on Software Engineering, New York, NY, USA, In: International Conference on Software Engineering, Waikiki, Honolulu, HI, USA, 21-28 May 2011, S. 241-250, [Online-Edition: http://doi.acm.org/10.1145/1985793.1985827],
[Conference item]

2010

Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira (2010):
Headroom-based Pretenuring.
In: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010), ACM Press, Vienna, Austria, S. 29--38, ISBN 978-1-4503-0269-2,
DOI: 10.1145/1852761.1852767,
[Conference item]

Bodden, Eric ; Sewe, Andreas ; Sinschek, Jan ; Mezini, Mira (2010):
Taming Reflection: Static Analysis in the Presence of Reflection and Custom Class Loaders.
(TUD-CS-2010-0066), [Report]

Sewe, Andreas ; Yuan, Dingwen ; Sinschek, Jan ; Mezini, Mira (2010):
Headroom-based pretenuring: dynamically pretenuring objects that live “long enough”.
In: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10, In: 8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10, Vienna, Austria, 15-17 Sep 2010, S. 29-38, [Online-Edition: http://dx.doi.org/10.1145/1852761.1852767],
[Conference item]

2009

Sinschek, Jan ; Sewe, Andreas ; Mezini, Mira (2009):
VM performance evaluation with functional models: An optimist's outlook.
In: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages - VMIL '09, In: Third Workshop on Virtual Machines and Intermediate Languages, Orlando, FL, USA, [Online-Edition: http://doi.acm.org/10.1145/1711506.1711512],
[Conference item]

This list was generated on Fri Aug 7 05:13:37 2020 CEST.