Strong Memory Models: 5 Simple Tricks to Beat SC
I am an associate professor with the School of Electrical and Computer Engineering at Purdue University.
My research area is Programming Languages and Compilers, and my interests lie specifically in developing languages, compilers and runtimes that support efficient programming and high performance on emerging complex architectures.
I graduated in 2002 with a B.S. in both Computer Science and Computer Engineering from North Carolina State University. I received my Ph.D. in Computer Science from Cornell University. My advisor was Keshav Pingali. While pursuing my Ph.D., I was supported by a Department of Energy High Performance Computer Science (HPCS) Fellowship. After receiving my Ph.D., I joined the Institute for Computational Sciences and Engineering at the University of Texas at Austin as a postdoc, where I worked with the Intelligent Software Systems (ISS) group. Since the fall of 2009, I have been in the School of Electrical and Computer Engineering at Purdue University.
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
10:30 - 12:00
|Strong Memory Models: 5 Simple Tricks to Beat SC|
Milind Kulkarni Purdue University
|Constructing Dynamic Control Flow Graphs from Execution Traces|
|Dynamic Verification of Inter-parameter Constraints in Web Applications|