Wolfram Schulte

From FSL

Wolfram Schulte is Research in Software Engineering Area Manager at Microsoft Research Redmond, and a collaboratory with the FSL. His webpage is http://research.microsoft.com/en-us/people/schulte/. Here are some recent publications of Wolfram Schulte jointly with FSL members.

Runtime Verification of C Memory Safety 

Grigore Rosu, Wolfram Schulte and Traian Florin Serbanuta
RV'09, LNCS 5779, pp 132-151. 2009
PDF, RV slides, RV'09, LNCS, BIB

From Rewriting Logic Executable Semantics to Matching Logic Program Verification 

Grigore Rosu, Chucky Ellison and Wolfram Schulte
Technical Report http://hdl.handle.net/2142/13159, July 2009
PDF, TR@UIUC, BIB

Matching Logic --- Extended Report 

Grigore Rosu and Wolfram Schulte
Technical Report UIUCDCS-R-2009-3026, January 2009
TR@UIUC, BIB