Vilhelm Sjöberg

I'm a phd student at the Department of Computer and Information Science, University of Pennsylvania. My advisor is Stephanie Weirich.

My research interests are in programming languages, type systems and logic—in particular dependent types.

Contact Information

Email:   vilhelm@cis.upenn.edu
Office:   Levine 513

Publications

[1]	Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, and Stephanie Weirich. Irrelevance, heterogeneous equality, and call-by-value dependent type systems. In MSFP '12: Proceedings of the Fourth Workshop on Mathematically Structured Functional Programming, 2012. [ bib | .pdf ]
[2]	Chris Casinghino, Vilhelm Sjöberg, and Stephanie Weirich. Step-indexed normalization for a language with general recursion. In MSFP '12: Proceedings of the Fourth Workshop on Mathematically Structured Functional Programming, 2012. [ bib | .pdf ]
[3]	Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, and Ki Yung Ahn. Equational reasoning about programs with general recursion and call-by-value semantics. In PLPV '12: Proceedings of the sixth workshop on Programming languages meets program verification, 2012. [ bib | .pdf ]
[4]	Peter-Michael Osera, Vilhelm Sjöberg, and Steve Zdancewic. Dependent interoperability. In PLPV '12: Proceedings of the sixth workshop on Programming languages meets program verification, 2012. [ bib | .pdf ]
[5]	Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg, and Brent Yorgey. Software Foundations. Distributed electronically, 2011. [ bib | http ]
[6]	Vilhelm Sjöberg and Aaron Stump. Equality, quasi-implicit products, and large eliminations. In ITRS '10: Proceedings of the Fifth Workshop on Intersection Types and Related Systems, 2010. [ bib | techreport version | .pdf ]
[7]	Aaron Stump, Vilhelm Sjöberg, and Stephanie Weirich. Termination casts: A flexible approach to termination with general recursion. In PAR '10: Proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010. [ bib | techreport version | .pdf ]
[8]	Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, and Stephanie Weirich. Dependent types and program equivalence. In POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 275-286, 2010. [ bib | .pdf ]
[9]	Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, and Steve Zdancewic. Reactive noninterference. In CCS '09: Proceedings of the 16th ACM conference on Computer and communications security, pages 79-90, New York, NY, USA, 2009. ACM. [ bib ]