sites.google.com
Tsung-Hsien Lee's homepage
https://sites.google.com/site/tsunghsienlee
Visiting Professor, National Tsing Hua University. Google Voice number - rings all my numbers simultaneously. Mnemonic: (909) 5THLEE5), 1 (512) 971-2836. Email: tsung.hsien.lee@gmail.com. And I have completed our book ". Elements of Programming Interviews. It is available for purchase from. I will be a Visiting Professor at Department of Computer Science. At National Tsing Hua University. And will offer a short course. Art of Programming Interviews. Aims to help students learn about how to interview.
exadapt.org
EXADAPT 2011
http://www.exadapt.org/2011/index.html
It is not the strongest of the species that survives, or the most intelligent; it is the one most capable of change". ACM SIGPLAN 1st International Workshop on. Adaptive Self-Tuning Computing Systems for the Exaflop Era. San Jose, California, USA. June 5th, 2011. Co-located with PLDI 2011. San Jose, California. EXADAPT flyer pdf ( A4. EXADAPT CFP ( txt. Proceedings in ACM Digital Library. Autotuning in the Exascale Era! LBNL and UC Berkeley, USA). Keynote presentation is available online. Google, CA, USA.
fsl.cs.illinois.edu
Monitoring-Oriented Programming - FSL
http://fsl.cs.illinois.edu/index.php/MOP
Monitoring-Oriented Programming, abbreviated MOP, is a software development and analysis framework aiming at reducing the gap between formal specification and implementation by allowing them together. Its requirements against its implementation at runtime; as an extension of programming languages with logics. One can add logical statements anywhere in the program, referring to past or future states); and as a lightweight formal method. Please direct all questions to mop@cs.uiuc.edu. Past Time Linear Temp...
pldi12.cs.purdue.edu
Laowai Survival Guide | PLDI 2012
http://pldi12.cs.purdue.edu/content/laowai-survival-guide
Skip to Main Content Area. Important Dates and News. Programming Language Design and Implementation — 11–16 June, Beijing. Read in black on white. Although Beijing is a safe modern city, it can be quite overwhelming for the first-time foreigner ( laowai 老外) visitor. This survival guide provides focused tips for such visitors. After arriving at your hotel, at check-in you will probably need to pay a key deposit using cash and might have to prepay your stay using cash or credit card. Network with a Line 8 ...
parlab.eecs.berkeley.edu
Talks | Par Lab
http://parlab.eecs.berkeley.edu/talks
Skip to Main Content. 2012 Short Course on Parallel Programming. 2011 Short Course on Parallel Programming. 2010 Short Course on Parallel Programming. 2009 Short Course on Parallel Programming. Par Lab's End of Project Celebration May 30, 2013. Par Lab's End of Project Celebration May 30, 2013. Mangpo Phothilimthana and Nishant Tolta Win 2013 Qualcomm Innovations Fellowship. Armando Fox on the PBS NewsHour: How Free Online Courses are Changing the Traditional Liberal Arts Education. At Stanford, CA.
adriansampson.net
Adrian Sampson: CV
http://adriansampson.net/cv
Cornell University Department of Computer Science. PhD, Computer Science and Engineering. Dissertation: Hardware and Software for Approximate Computing. Bachelor of Science with High Distinction, Computer Science. Ldquo;Probability Type Inference for Flexible Approximate Programming.”. Brett Boston, Adrian Sampson, Dan Grossman, and Luis Ceze. Ldquo;Hardware Software Co-Design: Not Just a Cliche.”. Adrian Sampson, James Bornholt, and Luis Ceze. Ldquo;Approximate Storage in Solid-State Memories.”. Ldquo;A...
ss265.host.cs.st-andrews.ac.uk
Susmit Sarkar | Publications
https://ss265.host.cs.st-andrews.ac.uk/publications.html
Skip to Main Content. Susmit Sarkar — Publication List. A list of my publications follows. Bibtex) of the papers I have written. Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection. Andrew J McPherson, Vijay Nagarjan, Susmit Sarkar and Marcelo Cintra. Volume 12, Number 4, 2016, pages 46:1 – 46:23. Detecting synchronisation in unannotated (legacy) programs. Fences in Weak Memory Models (Extended Version). Jade Alglave, Luc Maranget, Susmit Sarkar, and Peter Sewell,. Found...
pldi12.cs.purdue.edu
List of Accepted Papers 论文收录 | PLDI 2012
http://pldi12.cs.purdue.edu/content/list-accepted-papers-论文收录
Skip to Main Content Area. Important Dates and News. Programming Language Design and Implementation — 11–16 June, Beijing. List of Accepted Papers 论文收录. Compiling a High-Level Language for GPUs (via Language Support for Architectures and Compilers). David F. Bacon. Synchronising C/C and POWER. University of Cambridge,. University of Oxford,. Static Analysis and Compiler Implementation of Idempotent Processing. Marc Kruijf, Karthikeyan Sankaralingam, Somesh Jha. University of Wisconsin - Madison. Type-Dir...
pldi12.cs.purdue.edu
Social Program | PLDI 2012
http://pldi12.cs.purdue.edu/content/social-program
Skip to Main Content Area. Important Dates and News. Programming Language Design and Implementation — 11–16 June, Beijing. With Fun Tour: Beijing-Great wall, Forbidden City, Tian'anmen Square. Beijing and Great Wall Highlight. With Fun Tour: Beijing-Great wall, Forbidden City, Tian'anmen Square. With Stretch a Leg: Temples and Academies. Beijing and Great Wall Highlight. With Fun Tour: Beijing-Great wall, Forbidden City, Tian'anmen Square. With Stretch a Leg: The Great Wall and Ming Tomb. Food Walk in Hu...
SOCIAL ENGAGEMENT