Navigation section
programming languages
-
Designing a COM library for Rust
I interned with Microsoft as a Software Engineering Intern in the MSRC UK team in Cheltenham this past summer. I worked in the Safe Systems Programming Language (SSPL) group, which explores safe programming languages as a proactive measure against memory-safety related vulnerabilities. This blog...- News
- Thread
- com library internship memory safety microsoft programming languages rust safe programming security software engineering sspl group
- Replies: 0
- Forum: Security Alerts
-
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 program verification programming languages research software engineering system development teaching theoretical foundations uiuc
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 E2E: Herb Sutter and Erik Meijer - Perspectives on C++
It's not often that we can get two minds of Link Removed and Herb Sutter's caliber together for an impromptu technical conversation during Christmas break at Microsoft... Well, we did and the next hour or so contains a lot of intelligence, knowledge, wisdom, and passion. This is one of the more...- News
- Thread
- c++ c++ standards christmas break computer science e2e engineering erik meijer functional programming geek culture herb sutter innovation linq native code programming programming languages software development technical conversation technical insights technical leadership
- Replies: 0
- Forum: Live RSS Feeds