Concepedia

Sven Stork

SS

5

Publications

158

Citations

5

H-Index

2009

Active since

Affiliations

Carnegie Mellon University(Current)

University of Coimbra

University of Chile

Sven Stork is an author at Carnegie Mellon University specializing in system software, program analysis, and engineering.

Top concepts

EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringProgramming LanguagesFormal MethodsSoftware DesignParallel Computing

Publications per year

2009–2014

5

Publications

5

First-class state change in plaid

Joshua Sunshine, Karl Naden, Sven Stork et al. · 2011 · 68 citations

State Transition, Engineering, Verification +22

Concurrency by default

Sven Stork, Paulo Marques, Jonathan Aldrich · 2009 · 36 citations

Engineering, Compiler Technology, Computer Architecture +20

Sven Stork, Karl Naden, Joshua Sunshine et al. · ACM Transactions on Programming Languages and Systems · 2014 · 27 citations · Full text

Engineering, Data Dependencies, Software Systems +18

Reducing STM overhead with access permissions

Nels E. Beckman, Yoon Phil Kim, Sven Stork et al. · 2009 · 14 citations

Engineering, Information Security, Computer Architecture +21

First-class state change in plaid

Joshua Sunshine, Karl Naden, Sven Stork et al. · ACM SIGPLAN Notices · 2011 · 13 citations · Full text

State Transition, Engineering, Verification +22

Rows per page

1–5 of 5