PL Lunch

Programming Languages Lunch - Mohit Tiwari, UT ECE, "Hardware support for systems security"

April 25, 2014

Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties   Talk Abstract: Applications today span mobile devices and datacenters and spread fast and wide through app-stores.  This opens up new vulnerabilities -- mobile malware spreads through repackaged applications in app-stores, while malicious datacenter employees can get physical access to computation. In this talk, I will describe our proposed defenses for each of these two vulnerabilities.   ...

Tags: Feature, PL Lunch

Graduate Student Roundtable

April 4, 2014

Graduate Student Roundtable with Chris Vick. ...

Tags: PL Lunch

Programming Languages Lunch - Martin Schatz, "A Domain-specific Language for Distributed Tensor Computation"

March 27, 2014

Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties ...

Tags: PL Lunch

Programming Languages Lunch - John A. Thywissen and Arthur Peters, "Cohesive Programming for Distributed Systems"

March 5, 2014

Talk Audience: UTCS Faculty, Grads, Undergrads, Other Interested Parties ...

Tags: PL Lunch

Programming Languages Lunch - Jayadev Misra, UTCS, "A general theory of semantics and verification of concurrent systems"

November 11, 2013

Talk Abstract: We suggest a general theory for semantics and verification of concurrent systems. The theory is general enough that every conceivable concurrent system fits within it. A large class of safety, and linear and branching progress properties can be established using this theory. The theory is built on many of the familiar concepts such as, trace, partially-ordered sets, prefix-closure, denotation, Scott continuity theorem etc. ...

Tags: PL Lunch
Syndicate content