lunduniversity.lu.se

Software Development and Environments

Computer Science | Faculty of Engineering, LTH

Denna sida på svenska This page in English

Article presentations

Tuesday Dec 17, 2013 13:15-17:15

13:15 C. A. R. Hoare. Communicating Sequential Processes. CACM 1978. http://dl.acm.org/citation.cfm?id=359585 . See also http://ro.uow.edu.au/compsciwp/8/ Gustav Cedersjö
13:30 Ole Lehrmann Madsen. Building Safe Concurrency Abstractions. Draft. To appear in Festschrift for Akinori Yonezawa. Contact Görel for a copy. Niklas Fors
13:45 Klaus Havelund, Thomas Pressburger. Model checking Java programs using Java PathFinder. STTT 2000. http://dx.doi.org/10.1007/s100090050043. See also tutorials at http://babelfish.arc.nasa.gov/trac/jpf/wiki/presentations/start Yang Xu
14:00 Jeffrey Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. OSDI 2004 Alma Orucevic-Alagic
14:15 Break
14:45 Chris Andreae, James Noble, Shane Markstrum, Todd Millstein. A framework for implementing pluggable type systems. OOPSLA 2006. http://doi.acm.org/10.1145/1167473.1167479 Jesper Pedersen Notander
15:00 Dan Grossman. The transactional memory / garbage collection analogy. OOPSLA 2007. http://doi.acm.org/10.1145/1297027.1297080 Patrik Persson
15:15 Madanlal Musuvathi, Shaz Qadeer, Tom Ball, Gerard Basler, Piramanayakam Arumuga Nainar, and Iulian Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008. http://research.microsoft.com/apps/pubs/default.aspx?id=77961 Magnus Andersson
15:30 Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip. Correct Refactoring of Concurrent Java Code. ECOOP 2010. http://dx.doi.org/10.1007/978-3-642-14107-2_11 Alfred Theorin
15:45 Break
16:15 Mandanlal Musuvathi, Sebastian Burckhardt, Pravesh Kothari, Santosh Nagarakatte. A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs. ASPLOS 2010. http://research.microsoft.com/apps/pubs/default.aspx?id=118655 Björn A. Johnsson
16:30 Aaron Turon. Reagents: Expressing and Composing Fine-grained Concurrency. PLDI 2012. http://dl.acm.org/citation.cfm?id=2254084 (alternative pdf) Mehmet Ali Arslan
16:45 X10 Usman Mazhar Mirza
17:00 Akihiro Hayashi, Max Grossman, Jisheng Zhao, Jun Shirako, and Vivek Sarkar. Speculative Execution of Parallel Programs with Precise Exception Semantics on GPUs. LCPC 2013. https://parasol.tamu.edu/lcpc2013/papers/lcpc2013_submission_37.pdf . Jesper Öqvist
17:15 End