Get your Krispy Kreme’s here!

Categories: Event

On November 2nd, we’re going to try something we’ve never done before.

What happens when we order 600 Krispy Kreme donuts and attempt to consume them all in one day. “But that’s not possible!” you exclaim! That’s right, so we’re going to enlist your aid in helping us, if you don’t mind.

For the paltry sum of [amount to be announced once our math whizzes have finished deliberating], you’ll be helping us rid the campus of donuts, the likes of which UBC has never seen before. And also, your generously given coin will help Your Student Society arrange bigger and more lavish things for you.

It would be a shame if the engineers beat you to it. So come out next Wednesday… For great justice!

$1 for one donut
$2 for three donuts
$8 per dozen

When: 

Wednesday, November 2, 2005 - 10:00 to 12:00

Where: 

Between CICSR and Dempster

Tags: 

Social

When: to

Where: Between CICSR and Dempster - 6245 Agronomy Rd, Vancouver, BC, V6T 1Z4

Add to my calendar

Victor Yodaiken: Modularity and real-time programing in RTLinux

Categories: Event

FSMLabs produces RTLinux, the popular real-time operating system. Dr. Yodaiken is in Vancouver specifically to announce the formal opening of the company’s newly-established Vancouver office.

Modular programming is difficult in a real-time environment efficiency is critical and where interactions that change timing can cause hidden dependencies. RTLinux decouples real-time from non-real-time and provides the programmer some methods of separating programs into simpler components and the first part of this talk will cover the interfacing of real-time and non-real-time modules and connecting real-time software to networked services. The second part will look at modularity within real- time components particularly on limiting the global timing effects of synchronization.

If you are interested in meeting with Victor during his visit, please contact Hermie Lam [email protected]

When: 

Thursday, October 20, 2005 - 15:30 to 17:00

Where: 

ICICS X736

Tags: 

Career

When: to

Where: ICICS X736 - 2366 Main Mall, Vancouver, BC, V6T 1Z4

Add to my calendar

CSSS Licensed BBQ

Categories: Event

Come join us after class on Friday, Oct. 14 at the first CSSS Licensed BBQ of the year! The event will be taking place in the student lounge area (outside the Reboot Cafe) of the new wing, and the BBQ will be just outside it, between the old wing and the new wing.

Time: 4:00 - 8:00 p.m. We’ll be starting the BBQ’s up at 4:00 p.m. and the licenced portion of the event will start shortly after 4:00 p.m. as well.

Please note that valid picture ID is required for entrance to the licensed area (the outdoor BBQ will be open to everyone). And if you’re going to join us for the fun, remember to plan a safe trip home (use your UPass!).

Hope to see you at the there!

When: 

Friday, October 14, 2005 - 16:00 to 20:00

Where: 

CS/ICICS Building in the new wing, Student Lounge (outside the Reboot Cafe)

Tags: 

Social

When: to

Where: CS/ICICS Building in the new wing, Student Lounge (outside the Reboot Cafe) - 2366 Main Mall, Vancouver, BC, V6T 1Z4

Add to my calendar

Chandu Thekkath: Distributed Storage Systems: Hints for Building them when you can’t dodge them

Categories: Event

It is often preferable to build a storage service out of a collection of individual components rather than out of a single monolithic server. The reasons for preferring such a structure are increased fault-tolerance, scalability, and economics. However, the distributed nature of the system can make it complex to design, difficult to implement, and nearly impossible to test making the whole enterprise a daunting one. One of the ways of reducing the complexity of distributed storage systems is to first design a set of simple abstractions and services that can then be composed easily to provide the required functionality. The talk will illustrate examples of this technique with reference to some systems – Petal ‘96, Frangipani ‘97, Boxwood ‘04, and Eclipse ‘05– on which I have worked. These systems demonstrate that it is feasible to build complex storage systems using a set of building blocks that are easy to design, implement, and test.

For more information about the speaker, see: http://research.microsoft.com/~thekkath/

When: 

Thursday, October 13, 2005 - 16:00 to 17:30

Where: 

DMP 310

Tags: 

Career

When: to

Where: DMP 310 - 6245 Agronomy Rd, Vancouver, BC, V6T 1Z4

Add to my calendar

Byron Cook: Automatically Proving the Termination of C Programs

Categories: Event

Byron Cook is a researcher at Microsoft’s research lab at Cambridge University:

In this talk I will discuss Terminator, the first known automatic program termination prover to support large programs with arbitrarily nested loops or recursive functions, and imperative features such as references, functions with side-effects, and function pointers.

Terminator is based on a newly discovered method of counterexample-guided abstraction refinement for program termination proofs. Additionally, to increase the proof power, Terminator computes inductive invariants of the program when checking the lemmas that imply termination. The talk will close with results from recent experiments with Terminator on dispatch routines from Windows device drivers. This is joint work with Andreas Podelski and Andrey Rybalchenko.

For more information about the speaker, see http://research.microsoft.com/~bycook/

When: 

Friday, October 7, 2005 - 10:00 to 11:00

Where: 

ICICS/CS Board Room (288)

Tags: 

Career

When: to

Where: ICICS/CS Board Room (288) - 2366 Main Mall, Vancouver, BC, V6T 1Z4

Add to my calendar