UCLA Compilers Group

Talks given by our visitors

2008

• Thu May 15, 2008, 2:00-3:50: Sumit Gulwani, Microsoft Research, Logical Abstract Interpretation (part 2)
• Tue May 13, 2008, 2:00-3:50: Sumit Gulwani, Microsoft Research, Logical Abstract Interpretation
• Mon May 12, 2008, 12:00-1:50: Vijay Saraswat, IBM Research, APGAS: Programming for concurrency and distribution
• Thu May 8, 2008, 4:15: Gilad Bracha, Cadence Design Systems Network Serviced Programming: Can we Cure the Curse of Compatibility?
• Tue May 6, 2008, 4:15: John Gregory Morrisett, Harvard University, An Ultimate Type System
• Wed Mar 12, 2008, 11:00: Jan Vitek, Purdue University, StreamFlex: High-throughput Stream Processing in Java

2007

• Thu Nov 8, 2007, 4:15: Rajeev Alur, University of Pennsylvania, Architecture-aware Analysis of Concurrent Software
• Wed Oct 17, 2007, 11:00: Jeff Foster, University of Maryland, Rule-Based Static Analysis of Network Protocol Implementations
• Fri Jun 15, 2007, 11:00: Thorsten Altenkirch, University of Nottingham, An Overview of Dependently Typed Programming
• Thu Apr 5, 2007, 4:15: Eric Van Wyk, University of Minnesota, Extensible Programming and Specification Languages
• Thu Mar 1, 2007, 4:15: Martin Rinard, MIT, Eliminating Fatal Errors in Software Systems
• Tue Feb 20, 2007, 11:00: Vivek Sarkar, IBM Watson, X10: A High-Productivity Approach to Programming Multi-Core Systems

2006

• Tue Nov 21, 2006, 4:15: Anupam Datta, Stanford University, Reasoning about Security and Privacy
• Fri Oct 27, 2006, 11:00: Emery Berger, U Massachusetts, Amherst, Exploiting Multiple Cores Now: Scalability and Reliability for Off-the-shelf Software
• Thu Oct 19, 2006, 4:15: Michael Goodrich, UC Irvine, Efficiency and Security Issues for Distributed Data Structures
• Wed Jul 26, 2006, 2:30: Vikram Adve, University of Illinois, Urbana-Champaign, SAFECode: A Platform for Developing Reliable Software in Unsafe Languages
• Thu Jul 6, 2006, 11:00: Mitchell Wand, Northeastern University, Reasoning About Higher-Order Procedures and Local Storage
• Fri Apr 14, 2006, 10:30: Vijay Menon, Intel, Compiler and Runtime Support for Efficient Software Transactional Memory
• Thu Apr 13, 2006, 1:00: Neal Glew, Intel, Typed STIR: Formalising Type Systems for SSA and Fact Checking
• Wed Mar 15, 2006, 10:30: Fabrice Rastello, ENS Lyon, France, Complexity results for register coalescing
• Tue Mar 14, 2006, 4:00: Fabrice Rastello, ENS Lyon, France, Complexity results for register allocation with spilling
• Mon Mar 13, 2006, 1:00: Fabrice Rastello, ENS Lyon, France, Register allocation: What does Chaitin's proof really prove?
• Tue Feb 7, 4:15: Peter Lee, CMU, What Are We Trying to Prove? Prospects for Certified Code

2005

• Mon+Tue Nov 28-29: Pat McCarthy, IBM, Eclipse Tutorial
• Wed Oct 26, 11:00: Sebastian Hack, University of Karlsruhe, Germany, Towards Register Allocation for Programs in SSA-form
• Fri Oct 14, 11:00: Frank Tip, IBM Watson, Practical Refactoring Tools Using Type Constraints
• Thu Sep 22, 3:30: Y.N. Srikant, Indian Institute of Science, Bangalore, Compiler Optimizations for Energy Efficiency: Energy-Aware Instruction Scheduling
• Wed Sep 7, 11:00: Scott Smolka, SUNY Stony Brook, Efficient Modeling of Excitable Cells Using Hybrid Automata
• Fri Aug 12, 11:00: Vijay Saraswat, IBM Watson, Computing at Scale -- the Design of X10
• Mon Aug 8, 12:00: Christoph Kirsch, University of Salzburg, Traffic Shaping System Calls Using Threading by Appointment
• Thu Apr 28, 4:00: David Bacon, IBM Watson, The Metronome: Real-time Garbage Collection
• Thu Mar 24, 10:30: Rajeev Barua, University of Maryland, Compiler Technologies for Efficiency and Reliability in Embedded Systems
• Tue Mar 15, 12:00: John Whaley, Stanford, Program Analysis with Binary Decision Diagrams
• Mon Jan 17, 11:00: Michael Hind, IBM, Debunking Dynamic Optimization Myths
• Tue Jan 11, 4:00: Andrew Appel, Princeton University, Foundational Proof-Carrying Code

2004

• Fri Nov 12, 11:00: C. Barry Jay, University of Technology, Sydney, Higher-Order Patterns
• Mon Nov 1, 11:00: Shaz Qadeer, Microsoft Research, Context-bounded Model Checking of Concurrent Software
• Thu Oct 21, 4:00: Christian Collberg, University of Arizona, Tucson, Software Watermarking: State of the Art and Future
• Fri Oct 8, 12:00: Olaf Landsiedel, University of Tubingen, Germany, Accurate Prediction of Power Consumption in Sensor Networks
• Thu Aug 26, 11:00: Tayssir Touili, CMU, Reachability Analysis of Process Rewrite Systems: Application to the Verification of Multithreaded Recursive Programs
• Fri Aug 20, 2:30: Jianwen Zhu, U Toronto, Taming Pointers -- A Symbolic Approach
• Mon Jul 12, 11:00: Neal Glew, Intel, ORP & StarJIT: High-Performance Java on IPF
• Wed Jun 30, 11:00: Scott Smolka, SUNY Stony Brook, Monte Carlo LTL Model Checking
• Mon Jun 7, 1:00: Rainer Leupers, Aachen University of Technology, Germany, Compiler Generation and ASIP Instruction Set Design based on LISA processor models
• Tue Apr 20, 4:00: Gerald Holzmann, JPL, Model-Driven Software Verification
• Fri Mar 5, 11:00: Chris Stone, Harvey Mudd College, Extensional Equivalence and Singleton Types
• Thu Feb 12, 4:15: Tom Henzinger, Berkeley, Embedded Software: Better Models, Better Code

2003

• Wed Nov 5, 10:30: Darko Marinov, MIT, Testing Based on a Solver for Executable Predicates
• Mon Nov 3, 10:30: Larry Koved, IBM Watson, Beyond Code Generation: using Compiler Technology for Security and Software Defect Identification