PL Lunch

Programming Languages Lunch - Srinivas Nedunuri, Rice University, "ROBOSYNTH: An SMT-based tool for synthesizing integrated task and motion plans"

November 13, 2014

Dec 2, 2014 12:00pm - 1:00pm

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

Tags: Feature, PL Lunch

Programming Languages Lunch - William Cook, UTCS, "A View on the Past, Present and Future of Objects"

September 4, 2014

Oct 7, 2014 12:00pm - 1:00pm

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

Tags: Feature, PL Lunch

Programming Languages Lunch - Ashay Rane, UTCS, "A Hybrid Approach to Application Instrumentation"

September 4, 2014

Sep 23, 2014 12:00pm - 1:00pm

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

Tags: Feature, PL Lunch

Programming Languages Lunch - Yu Feng, UTCS, "Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis"

August 28, 2014

Oct 14, 2014 12:00pm - 1:00pm

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

Tags: Feature, PL Lunch

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

April 25, 2014

Apr 29, 2014 12:00pm - 1:00pm

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

Apr 8, 2014 3:00pm - 4:00pm

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

Apr 1, 2014 12:00pm - 1:00pm

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

Mar 18, 2014 12:00pm - 1:30pm

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

Tags: PL Lunch

Programming Languages Lunch - Jim Browne, Leonardo Fialho, and Ashay Rane, UTCS, "Unification and Automation of Compile Time and Runtime Performance Optimization"

November 14, 2013

Nov 25, 2013 12:00pm - 1:00pm

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

Dec 2, 2013 12:00pm - 1:00pm

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