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:15C. 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:30Ole Lehrmann Madsen. Building Safe Concurrency Abstractions. Draft. To appear in Festschrift for Akinori Yonezawa. Contact Görel for a copy. Niklas Fors
13:45Klaus 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/startYang Xu
14:00Jeffrey Dean and Sanjay Ghemawat. MapReduce: Simplified Data Processing on Large Clusters. OSDI 2004Alma Orucevic-Alagic
14:15Break
14:45Chris Andreae, James Noble, Shane Markstrum, Todd Millstein. A framework for implementing pluggable type systems. OOPSLA 2006. http://doi.acm.org/10.1145/1167473.1167479Jesper Pedersen Notander
15:00Dan Grossman. The transactional memory / garbage collection analogy. OOPSLA 2007. http://doi.acm.org/10.1145/1297027.1297080Patrik Persson
15:15Madanlal 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=77961Magnus Andersson
15:30Max 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_11Alfred Theorin
15:45Break
16:15Mandanlal 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=118655Björn A. Johnsson
16:30Aaron Turon. Reagents: Expressing and Composing Fine-grained Concurrency. PLDI 2012. http://dl.acm.org/citation.cfm?id=2254084(alternative pdf)Mehmet Ali Arslan
16:45X10Usman Mazhar Mirza
17:00Akihiro 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:15End