-
Windows 7 ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Link Removed (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods...- News
- Thread
- acm sigsoft awards computer science etaps 2002 executable semantics formal methods grigore rosu hoare logic icse 2011 nasa ames nsf career programming languages research software development software verification system development teaching theoretical foundations uiuc
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 Chris Hawblitzel and Juan Chen: Introduction to Typed Assembly Language (TAL)
Typed Assembly Language (TAL) extends traditional untyped assembly languages with typing annotations, memory management primitives, and a sound set of typing rules. These typing rules guarantee the memory safety, control flow safety, and type safety of TAL programs. Moreover, the typing...- News
- Thread
- compiler optimizations computer science controlflow data types hoare logic low-level code memory management mobile code polymorphic functions research safety static verification structured programming tal type safety type verification typed assembly language verifiably safe code
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 Verve: A Type Safe Operating System
Link Removed(an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, Link Removed that takes a new approach to building an OS stack with verifiable and type safe...- News
- Thread
- architecture design error checking garbage collection hoare logic kernel microsoft nucleus os development programming research safety scientists software static verification theorem prover type safety typed assembly language verve
- Replies: 0
- Forum: Live RSS Feeds