Laboratory for Software Technology

Search

en

Software Engineering Seminar

2015-09-22:

No meeting today.

2015-09-21:

Notes from Sept 15 posted. The doodle query on possible dates for an extra session is now closed and I'm looking for rooms. Find out more about this seminar

2015-09-15:

Meeting in CAB G 57 at 15:15. Please attend if you want to take this seminar this semester. Given the large number of students who have enrolled, we may have to arrange for extra meetings and/or restrict enrollment to those students who require to take the seminar this semester to graduate.

  1. Abdallah, M., Chetto, M., and Queudet, A. 2012. Scheduling with Quality of Service Requirements in Real-Time Energy Harvesting Sensors external pagePDF
  2. Kooti, H., and Nga Dang, and Mishra, D., and Bozorgzadeh, E. 2012. Energy Budget Management for Energy Harvesting Embedded Systems external pagePDF
  3. Digalwar, M., and Mohan, S., and Raveendran, B.K. 2013. Energy aware real time scheduling algorithm for mixed task set external pagePDF
  4. Houben, Christina K. and Halang, Wolfgang A. 2014. An energy-aware dynamic scheduling algorithm for hard real-time systems external pagePDF
  5. Patrice Godefroid, Nils Klarlund, and Koushik Sen. 2005. DART: directed automated random testing. In Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (PLDI '05). ACM, New York, NY, USA, 213-223. DOI=10.1145/1065010.1065036 external pagePDF n
  6. Hans-J. Boehm and Sarita V. Adve. 2008. Foundations of the C++ concurrency memory model. SIGPLAN Not. 43, 6 (June 2008), 68-78. DOI=10.1145/1379022.1375591 external pagePDF
  7. Hans-J. Boehm. 2011. Performance implications of fence-based memory models. In Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC '11). ACM, New York, NY, USA, 13-19. DOI=10.1145/1988915.1988919 external pagePDF
  8. Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans J. Boehm, and Dhruva R. Chakrabarti. 2011. A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code. In Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '11). ACM, New York, NY, USA, 623-636. DOI=10.1145/1926385.1926457 external pagePDF
  9. Jaroslav Sevcik. 2011. Safe optimisations for shared-memory concurrent programs. SIGPLAN Not. 46, 6 (June 2011), 306-316. DOI=10.1145/1993316.1993534 external pagePDF
  10. Martin Sulzmann, Edmund S.L. Lam, and Simon Marlow. 2009. Comparing the performance of concurrent linked-list implementations in Haskell. In Proceedings of the 4th workshop on Declarative aspects of multicore programming (DAMP '09). ACM, New York, NY, USA, 37-46. DOI=10.1145/1481839.1481845 external pagePDF
  11. Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, and Francesco Zappa Nardelli. 2015. Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. In Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '15). ACM, New York, NY, USA, 209-220. DOI=10.1145/2676726.2676995 external pagePDF
  12. Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, and Jun Kato. 2013. It's alive! continuous feedback in UI programming. SIGPLAN Not. 48, 6 (June 2013), 95-104. DOI=10.1145/2499370.2462170 external pagePDF
  13. Guoqing (Harry) Xu. 2013. "Resurrector: A Tunable Object Lifetime Profiling Tool for Optimizing Real-World Programs", Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications (OOPSLA '13). ACM, New York, NY, USA, 111-130. DOI=10.1145/2509136.2509512 external page PDF
  14. Eric Bodden, Tarsis Toledo, Marcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini: SPLLIFT: statically analyzing software product lines in minutes instead of years. PLDI'13 355-364 external pagePDF
  15. Amitabha Roy, Steven Hand, and Tim Harris. 2009. A runtime system for software lock elision. In Proceedings of the 4th ACM European conference on Computer systems (EuroSys '09). ACM, New York, NY, USA, 261-274. DOI=10.1145/1519065.1519094 external pagePDF
  16. S. Wallace and K. Hazelwood. SuperPin: Parallelizing Dynamic Instrumentation for Real-Time Performance external pagePDF
  17. Q. Zhao, I. Cutcutache, and W.-F. Wong. 2010. Pipa: pipelined profiling and analysis on multi-core systems ACM Trans. Archit. Code Optim. 7, 3, Article 13 (December 2010), external pagePDF
  18. Subrata Mitra, Ignacio Laguna, Dong H. Ahn, Saurabh Bagchi, Martin Schulz, and Todd Gamblin. 2014. Accurate application progress analysis for large-scale parallel debugging. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '14). ACM, New York, NY, USA, 193-203. DOI=10.1145/2594291.2594336 external pagePDF
  19. Santosh Nagarakatte, Sebastian Burckhardt, Milo M.K. Martin, and Madanlal Musuvathi. 2012. Multicore acceleration of priority-based schedulers for concurrency bug detection. In Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '12). ACM, New York, NY, USA, 543-554. DOI=10.1145/2254064.2254128 external pagePDF
  20. Cheng Wang, Wei-Yu Chen, Youfeng Wu, Bratin Saha, and Ali-Reza Adl-Tabatabai. 2007. Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language. In Proceedings of the International Symposium on Code Generation and Optimization (CGO '07). IEEE Computer Society, Washington, DC, USA, 34-48. DOI=10.1109/CGO.2007.4 external pagePDF
  21. Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, and Michael L. Scott. 2009. A comprehensive strategy for contention management in software transactional memory. In Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP '09). ACM, New York, NY, USA, 141-150. DOI=10.1145/1504176.1504199 external pagePDF
  22. Jons-Tobias Wamhoff, Christof Fetzer, Pascal Felber, Etienne RiviC(re, and Gilles Muller. 2013. FastLane: improving performance of software transactional memory for low thread counts. SIGPLAN Not. 48, 8 (February 2013), 113-122. DOI=10.1145/2517327.2442528 external pagePDF
  23. Sebastian Burckhardt, Alexandro Baldassin, and Daan Leijen. 2010. Concurrent programming with revisions and isolation types. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA '10). ACM, New York, NY, USA, 691-707. DOI=10.1145/1869459.1869515 external pagePDF
  24. Abhishek Udupa, Kaushik Rajan, and William Thies. 2011. ALTER: exploiting breakable dependences for parallelization. SIGPLAN Not. 46, 6 (June 2011), 480-491. DOI=10.1145/1993316.1993555 external pagePDF
  25. Omer Tripp, Eric Koskinen, and Mooly Sagiv. 2013. Turning nondeterminism into parallelism. In Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications (OOPSLA '13). ACM, New York, NY, USA, 589-604. DOI=10.1145/2509136.2509533 external pagePDF
  26. Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, and Adam Welc. 2009. Towards transactional memory semantics for C++. In Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures (SPAA '09). ACM, New York, NY, USA, 49-58. DOI=10.1145/1583991.1584012 external pagePDF
  27. Haris Volos, Andres Jaan Tack, Michael M. Swift, and Shan Lu. 2012. Applying transactional memory to concurrency bugs. In Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVII). ACM, New York, NY, USA, 211-222. DOI=10.1145/2150976.2150999 external pagePDF
  28. Rachel Tzoref, Shmuel Ur, and Elad Yom-Tov. 2007. Instrumenting where it hurts: an automatic concurrent debugging technique. In Proceedings of the 2007 international symposium on Software testing and analysis (ISSTA '07). ACM, New York, NY, USA, 27-38. DOI=10.1145/1273463.1273469 external pagePDF
  29. Nicholas Jalbert and Koushik Sen. 2010. A trace simplification technique for effective debugging of concurrent programs. In Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering (FSE '10). ACM, New York, NY, USA, 57-66. DOI=10.1145/1882291.1882302 external pagePDF
  30. Peng Liu, Xiangyu Zhang, Omer Tripp, and Yunhui Zheng. 2015. Light: replay via tightly bounded recording. SIGPLAN Not. 50, 6 (June 2015), 55-64. DOI=10.1145/2813885.2738001 external pagePDF
  31. Andrew Johnson, Lucas Waye, Scott Moore, and Stephen Chong. 2015. Exploring and enforcing security guarantees via program dependence graphs. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015). ACM, New York, NY, USA, 291-302. DOI=10.1145/2737924.2737957 external pagePDF
  32. Vincent Gramoli. 2015. More than you ever wanted to know about synchronization: synchrobench, measuring the impact of the synchronization on concurrent algorithms. In Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2015). ACM, New York, NY, USA, 1-10. DOI=10.1145/2688500.2688501 external pagePDF
  33. Maya Arbel and Adam Morrison. 2015. Predicate RCU: an RCU for scalable concurrent updates. In Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2015). ACM, New York, NY, USA, 21-30. DOI=10.1145/2688500.2688518 external pagePDF
  34. Dan Alistarh, Justin Kopinsky, Jerry Li, and Nir Shavit. 2015. The SprayList: a scalable relaxed priority queue. In Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2015). ACM, New York, NY, USA, 11-20. DOI=10.1145/2688500.2688523 external pagePDF
  35. Mohammad Dashti, Alexandra Fedorova, Justin R. Funston, Fabien Gaud, Renaud Lachaize, Baptiste Lepers, Vivien Quema, Mark Roth: Traffic management: a holistic approach to memory placement on NUMA systems. ASPLOS 2013: 381-394 external pagePDF
  36. Sasa Misailovic, Deokhwan Kim, and Martin Rinard. 2013. Parallelizing Sequential Programs with Statistical Accuracy Tests. ACM Trans. Embed. Comput. Syst. 12, 2s, Article 88 (May 2013), 26 pages. DOI=10.1145/2465787.2465790 external pagePDF

Please make sure that your presentation meets the requirements as discussed in the first meeting. In particular, your presentation must not exceed the time limit of 30 minutes and not fall below 20 minutes. Also, do not forget to rehearse your talk sufficiently.

A summary of the key points of a good presentations are discussed in the first meeting. Please go through those slides before preparing your presentation. As a general advice, try to convey the basic idea of the paper you read and present this idea in such a manner that your colleagues can easily follow. This may require you to include tutorial material.

JavaScript has been disabled in your browser