Yannick Welsch

According to our database, Yannick Welsch authored at least 12 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MotherDuck: DuckDB in the cloud and in the client.

R. J. Atwal, Peter A. Boncz, Ryan Boyd, Antony Courtney, Till Döhmen, Florian Gerlinghoff, Jeff Huang, Joseph Hwang, Raphael Hyde, Elena Felder, Jacob Lacouture, Yves Le Maout, Boaz Leskes, Yao Liu, Alex Monahan, Dan Perkins, Tino Tereshko, Jordan Tigani, Nick Ursa, Stephanie Wang, Yannick Welsch

Proceedings of the 14th Conference on Innovative Data Systems Research, 2024

2014

A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries.

Yannick Welsch, Arnd Poetzsch-Heffter

Sci. Comput. Program., 2014

2013

Location Types for Safe Programming with Near and Far References.

Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Reasoning about Backward Compatibility of Class Libraries.

Yannick Welsch

PhD thesis, 2013

2012

A type system for checking specialization of packages in object-oriented programming.

Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch

Proceedings of the ACM Symposium on Applied Computing, 2012

Model-Based Compatibility Checking of System Modifications.

Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Verifying backwards compatibility of object-oriented libraries using Boogie.

Yannick Welsch, Arnd Poetzsch-Heffter

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2011

Location Types for Safe Distributed Object-Oriented Programming.

Yannick Welsch, Jan Schäfer

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Full Abstraction at Package Boundaries of Object-Oriented Languages.

Yannick Welsch, Arnd Poetzsch-Heffter

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

A Component Model for the ABS Language.

Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2008

Grey-box specifications for object-oriented program components.

Yannick Welsch

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

CoCoME - The Common Component Modeling Example.

Sebastian Herold, Holger Klus, Yannick Welsch, Constanze Deiters, Andreas Rausch, Ralf H. Reussner, Klaus Krogmann, Heiko Koziolek, Raffaela Mirandola, Benjamin Hummel, Michael Meisinger, Christian Pfaller

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007