「運営に関するアンケート」に是非ご協力ください．http://bit.ly/sereading-q
当日の Twitter でのつぶやきが togetter でまとめられてます．感謝．：http://togetter.com/li/158121
対象：ICSE 2011 Technical/Research Trackの 61件の発表
日時：2011年7月5日(火曜日) 10:00-18:00
会場（TV会議でリンクします）
東京会場：東京工業大学 大岡山キャンパス 西8号館E棟 10F 1001号室
名古屋会場：名古屋大学 東山キャンパス IB電子情報館 南棟 562号室
大阪会場：大阪大学 吹田キャンパス 情報科学研究科A棟 2階会議室（A210-212）
※ 会場の問題から，参加希望者は事前に小林あてにご一報いただけると助かります．
UI分野，DB分野などでは，主に若手の有志があつまって， その業界のトップ会議(CHI, VLDB, SIGMOD, ICDE)の全論文を 1日で紹介する勉強会が企画されています．われわれSE分野も ICSEに対して，同じようなことをやりましょう！ というのが 最初の動機です．
論文紹介といっても，真剣な論文紹介ではなく，1論文を5分で ダイジェスト紹介する，ライトニング研究紹介です． 1日で会議の全論文の概要を理解することができ，最新の研究動向を 効果的に調査する機会を共有しようというのが狙いです．
発表時間は1発表あたり5分，1セッション（3発表）あたり15分です（時間厳守）．
すべてのスライド [all slides]
(ルール)
希望をとり調整の末，セッション(2-3件) 単位で研究グループに割り当て．1論文を1名が発表
1論文は 5分で，目的／主要貢献点・手法の概要・評価方法の概要を紹介する．PPTを利用してプレゼン．PPTは事前共有．
スライドはセッションごとにまとめ，セッション番号.{ppt,pptx,pdf} の名前でこのページに添付し，上記表を埋めて下さい．
論文単位で分割する必要がある場合は，00a, 00b 等の連番を振って下さい．
どうやらグループメンバ以外はファイルの添付ができないようです．添付に失敗した場合は，林にメールでファイルをお送り下さい．
A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering
aComment: Mining Annotations from Comments and Code to Detect Interrupt Related Concurrency Bugs
Camouflage: Automated Anonymization of Field Data
A Lightweight Code Analysis and its Role in Evaluation of a Dependability Case
Towards Quantitative Software Reliability Assessment in Incremental Development Processes
The Impact of Fault Models on Software Robustness Evaluations
Transformation for Class Immutability
Refactoring Java Programs for Flexible Locking
Refactoring Pipe-like Mashups for End-User Programmers
Mining Message Sequence Graphs
Automatically Detecting and Describing High Level Actions within Methods
Portfolio: Finding Relevant Functions and Their Usages
Angelic Debugging
Static Extraction of Program Configuration Options
An Empirical Study of Build Maintenance Effort
An Empirical Investigation into the Role of API-Level Refactorings during Software Evolution
Factors Leading to Integration Failures in Global Feature-Oriented Development: An Empirical Analysis
Assessing Programming Language Impact on Development and Maintenance: A Study on C and C++
On-demand Feature Recommendations Derived from Mining Public Product Descriptions (Distinguished Paper)
Inferring Better Contracts
LIME: A Framework for Debugging Load Imbalance in Multi-threaded Execution
Synthesis of Live Behaviour Models for Fallible Domains
Coverage Guided Systematic Concurrency Testing
Inference of Field Initialization
Taming Reflection: Aiding Static Analysis in the Presence of Reflection and Custom Class Loaders
Patching Vulnerabilities with Sanitization Synthesis
Configuring Global Software Teams: A Multi-Company Analysis of Project Productivity, Quality, and Profits (Distinguished Paper)
Does the Initial Environment Impact the Future of Developers?
Socio-Technical Developer Networks: Should We Trust Our Measurements?
Model Projection: Simplifying Models in Response to Restricting the Environment
MeCC: Memory Comparison-based Clone Detector
Frequency and Risks of Changes to Clones
Symbolic Model Checking of Software Product Lines
Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking (Distinguished Paper)
Run-Time Efficient Probabilistic Model Checking (Distinguished Paper)
Non-Essential Changes in Version Histories
Aspect Recommendation for Evolving Software
Identifying Program, Test, and Environmental Changes That Affect Behaviour
Program Abstractions for Behaviour Validation
Programs, Tests, and Oracles: The Foundations of Testing Revisited (Distinguished Paper)
RACEZ: A Lightweight and Non-Invasive Race Detection Tool for Production Applications
Detecting Software Modularity Violations
Feature Cohesion in Software Product Lines: An Exploratory Study
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
Refactoring to Role Objects
Supporting Professional Spreadsheet Users by Generating Leveled Dataflow Diagrams
Reverse Engineering Feature Models
Empirical Assessment of MDE in Industry
Dealing with Noise in Defect Prediction
Ownership, Experience and Defects: A Fine-Grained Study of Authorship
Interface Decomposition for Service Compositions
Unifying Execution of Imperative and Declarative Code
Always-Available Static and Dynamic Feedback
Improving Requirements Quality using Essential Use Case Interaction Patterns
Understanding Broadcast Based Peer Review on Open Source Software Projects
Software Systems as Cities: A Controlled Experiment
Automated Cross-Browser Compatibility Testing
A Framework for Automated Testing of JavaScript Web Applications
Coalescing Executions for Fast Uncertainty Analysis
Mining Parametric Specifications
Estimating Footprints of Model Operations
Precise Identification of Problems for Structural Test Generation