Sven Stork

Possui mestrado em Computer Architecture - Universität Mannheim (2006), mestrado em Software Engineering - Carnegie Mellon University (2011), doutorado em Software Engineering pela Universidade de Coimbra (2013) e doutorado em Software Engineering - Carnegie Mellon University (2013). Atualmente é senior member of technical staff - Oracle. Tem experiência na área de , atuando principalmente nos seguintes temas: mpi, grid computing, permissions, cluster e mpi-start.

Informações coletadas do Lattes em 10/11/2022

Acadêmico

Formação acadêmica

Doutorado em Software Engineering

2008 - 2013

Carnegie Mellon University
Título: AEminium: Freeing Programmers from the Shackles of Sequentiality
Orientador: Jonathan Aldrich & Paulo Marques
Bolsista do(a): Fundação para a Ciência e a Tecnologia. Palavras-chave: permissions; software engineering; compiler.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.

Doutorado em Software Engineering

2007 - 2013

Universidade de Coimbra
Título: AEminium : Freeing Programmers from the Shackles of Sequentiality
Orientador: Jonathan Aldrich
Coorientador: Paulo Marques. Bolsista do(a): Fundação para a Ciência e a Tecnologia. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.

Mestrado em Software Engineering

2008 - 2011

Carnegie Mellon University
Orientador: Jonathan Aldrich
com Coorientador: Paulo Marques. Bolsista do(a): Fundação para a Ciência e a Tecnologia.

Mestrado em Computer Architecture

2001 - 2006

Universität Mannheim
Orientador: Ulrich Bruenning
Palavras-chave: computer architecture; MPI; linux kernel; software design.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Alemão

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

Participação em eventos

IBERGRID Conference. Multicore Application Optimization: How not to shoot your own foot. 2011. (Congresso).

Object-Oriented Programming, Systems, Languages, and Applications (O. 2011. (Congresso).

2nd Annual Carnegie Mellon Portugal Conference.AEminium: Freeing Programmers from the Shackles of Sequentiality. 2010. (Simpósio).

International Super Computing Conference. 2009. (Congresso).

Object-Oriented Programming, Systems, Languages, and Applications (O. Concurrency by Default: Using Permissions to Express Dataflow in Stateful Programs. 2009. (Congresso).

European Conference on Object-Oriented Programming. 2009. (Congresso).

EGEE/I2G MPI-Workshop.EGEE/I2G MPI-Workshop. 2007. (Oficina).

Grid & e-Science Course.Grid & e-Science Course. 2007. (Encontro).

German-Russian Summer School of Parallel Programming.German-Russian Summer School of Parallel Programming. 2006. (Seminário).

Grid & e-Science Course.Grid & e-Science Course. 2006. (Encontro).

International Super Computing Conference. 2005. (Congresso).

Orientou

Manual Mohr

AEminium Compilation Theory in the Context of the Plaid Language; 2011; Dissertação (Mestrado em Computer Science) - Karlsruher Institut für Technologie,; Coorientador: Sven Stork;

Produções bibliográficas

DICHEV, K. ; STORK, S. ; KELLER, R. ; FERNANDEZ, E. . MPI SUPPORT ON THE GRID. Computing and Informatics , v. 28, p. 213, 2008.
SUNSHINE, J. ; NADEN, K. ; STORK, S. ; ALDRICH, J. . First-class state change in plaid. In: Object oriented programming systems languages and applications, 2011. OOPSLA '11 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications.
ALDRICH, J. ; GARCIA, R. ; HAHNENBERG, M. ; MOHR, M. ; NADEN, K. ; SAINI, D. ; STORK, S. ; SUNSHINE, J. ; TANTER, E. ; WOLFF, R. . Permission-based programming languages (NIER track). In: International Conference on Software Engineering, 2011. ICSE '11 Proceedings of the 33rd International Conference on Software Engineering.
STORK, S. ; MARQUES, P. ; ALDRICH, J. . Concurrency by default: using permissions to express dataflow in stateful programs. In: Onward!, 2009. OOPSLA '09 Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications.
BECKMAN, N. ; KIM, Y. P. ; STORK, S. ; ALDRICH, J. . Reducing STM overhead with access permissions. In: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, 2009, Genova. Proceeding IWACO '09 International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, 2009.
POLCIENNIK, M. ; OWSIAK, M. ; FERNANDEZ, E. ; HEYMANN, E. ; SENAR, M. A. ; KENNY, S. ; COGHLAN, B. ; STORK, S. ; HEINZLREITER, P. ; ROSMANITH, H. ; CAMPOS, I. ; VALLES, R. . Int.EU.Grid Project Approach on Supporting Interactive Applications in Grid Environment. In: Ingrid 2007, 2009. Grid Enabled Remote Instrumentation.
SANCHEZ, C. F. ; TARRES, L. G. ; GARCIA, C. V. ; CACHEIRO, J. L. ; CAMPOS, I. ; STORK, S. . An study and implementation of virtual servers for a parallel grid application. In: Ibergrid 2007, 2007, Santiago de Compostella. Ibergrid 2007.: 1st Iberian Grid Infrastructure Conference Proceedings..
CAMPOS, I. ; POLCIENNIK, M. ; ROSMANITH, H. ; STORK, S. . Applications Support in Int.EU.Grid. In: Ibergrid 2007, 2007, Santiago de Compostella. Ibergrid 2007.: 1st Iberian Grid Infrastructure Conference Proceedings., 2007.
STORK, S. ; ALDRICH, J. ; MARQUES, P. . AEminium: A Concurrent-By-Default Programming Language. 2011. (Apresentação de Trabalho/Congresso).
STORK, S. . Multicore Application Optimization: How not to shoot your own foot. 2011. (Apresentação de Trabalho/Outra).
STORK, S. . AEminium : Freeing Programmers from the Shackles of Sequentiality. 2010. (Apresentação de Trabalho/Simpósio).
STORK, S. ; MARQUES, P. ; ALDRICH, J. . Concurrency by default: using permissions to express dataflow in stateful programs. 2009. (Apresentação de Trabalho/Conferência ou palestra).

Projetos de pesquisa

2009 - 2013

Plaid, Descrição: A new programming with first class support for state change.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (5) / Doutorado: (3) . , Integrantes: Sven Stork - Coordenador / Joshua Sunshine - Integrante / Karl Naden - Integrante / Jonathan Aldrich - Integrante., Número de produções C, T & A: 2 / Número de orientações: 1
2007 - 2013

AEminium, Descrição: As concurrent-by-default programming language based on access permissions.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Número de produções C, T & A: 3 / Número de orientações: 1
2007 - 2008

AtomicPower!, Descrição: Optimize software transaction memory operations using access permission information.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sven Stork - Coordenador / Jonathan Aldrich - Integrante / Nels Beckman - Integrante / Yoon Phil Kim - Integrante.
2007 - 2008

SimUAV, Descrição: Connecting multiple SIMSAT simulator instances through High Level Architecture infrastructure middle ware.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Sven Stork - Coordenador / Paulo Marques - Integrante.
2006 - 2007

Open MPI, Descrição: The ultimate MPI implementation.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sven Stork - Coordenador / Rainer Keller - Integrante / effrey M. Squyres - Integrante / Galen M. Shipman - Integrante / Brian Barrett - Integrante / Torsten Hoefler - Integrante / Richard L. Graham - Integrante.
2005 - 2006

Extoll, Descrição: The successor to the Atoll project.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (5) / Doutorado: (3) . , Integrantes: Sven Stork - Coordenador / Ulrich Brüning - Integrante / Heiner Litz - Integrante / David Slogsnat - Integrante / Christian Leber - Integrante / Holger Fröning - Integrante / Mondrian Nüssle - Integrante.
2000 - 2006

Atoll, Descrição: Highe performance cluster network interconnection connection.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sven Stork - Coordenador / Ulrich Brüning - Integrante / Heiner Litz - Integrante / David Slogsnat - Integrante / Christian Leber - Integrante / Holger Fröning - Integrante / Markus Fischer - Integrante / Patrick R. Haspel - Integrante / Mondrian Nüssle - Integrante.

Prêmios

2008

CMU|Portugal Scholarship, FCT.

Histórico profissional

Experiência profissional

2012 - Atual

Oracle

Vínculo: Formal labor contract, Enquadramento Funcional: Senior Member of Technical Staff, Carga horária: 40, Regime: Dedicação exclusiva.

2008 - 2008

Carnegie Mellon University

Vínculo: Colaborator, Enquadramento Funcional: Visiting Researcher, Carga horária: 40

2007 - 2012

University of Coimbra

Vínculo: Scholarship, Enquadramento Funcional: Ph.D Student, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2007 - 10/2012
Pesquisa e desenvolvimento , DEI, .,Linhas de pesquisa

2006 - 2007

High Performance Computing Center Stuttgart

Vínculo: Formal labor contract, Enquadramento Funcional: Research Associate, Carga horária: 40, Regime: Dedicação exclusiva.

2004 - 2005

Critical Software

Vínculo: Intern, Enquadramento Funcional: Intern, Carga horária: 400, Regime: Dedicação exclusiva.

2001 - 2005

Universität Mannheim

Vínculo: Formal labor contract, Enquadramento Funcional: Student Research Assistent, Carga horária: 20