Welcome Krause Rolf to Our Lab

Krause Rolf(Home Page) visited our lab, delivering a speech about the software in Computational Science this noon(4/20/2012).

Rolf's talk

Welcome Walter Binder to Our Lab

Walter Binder(Homepage) with two Doctor candidate Danilo Ansaloni and Lukáš Marek(Homepage) visit our lab, delivering a speech this afternoon(2012/4/18).

The speech began with a welcome and introdution by ZhengYudi.Then Danilo made a presentation about their Dynamic progame Analysis Tool called DiSL, which consists of its overview, ideas, design, implements and evaluation. Moreover, Lukas shows how to design a simple project and how to run it on eclipse. After a short disscssion, the speech ends successfully.

Binder's talk

Welcome Frans & Nickolai to Discuss with our group.

Frans Kaashoek(homepage) and Nickolai Zeldovich(homepage) will come to Shanghai Jiao Tong University this Friday(2012/3/30).

They will deliver a speech in the lecture hall of software building, 10 a.m. The speech is named Scaling addressing spaces & improving integer security in Linux. Here is their introduction of this speech:

“We will describe two recents results that we implemented in the Linux operation system. First, we describe a new design for a virtual memory system, inspired by RCU, that allows address space operations to scale well to many cores. Our changes improve the scalability of a multi-core MapReduce library on an 80-core machine from 22x to 75x. Second, we describe a tool, KINT, for finding integer errors that can lead to security exploits. KINT helped us find and fix nearly 100 such bugs in the Linux Kernel.”

Add a Photo in 2012/3/30

Frans & Nickolai's talk