12
Publications
541
Citations
10
H-Index
1896
Active since
Affiliations
Stephen Weeks is an author at Princeton University specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsSoftware AnalysisAutomated ReasoningProgram AnalysisFormal VerificationParallel ProgrammingCompilersParallel Computing
Publications per year
1896–2012
12
12
Understanding trust management systems
Stephen Weeks · 2002 · 137 citations
Engineering, Trust Management Systems, Information Security +22
Whole-program compilation in MLton
Stephen Weeks · 2006 · 94 citations
Suresh Jagannathan, Peter Thiemann, Stephen Weeks et al. · 1998 · 56 citations · Full text
Contification using dominators
Matthew Fluet, Stephen Weeks · 2001 · 30 citations
Rows per page
1–5 of 12