研究発表会/2019年度の履歴(No.12) - PukiWiki

[ トップ ] [ 新規 | 一覧 | 検索 | 最終更新 | ヘルプ ]

研究発表会

開催日：毎週月曜日10:00
内容 : 研究発表×1，輪講×2
発表順：輪講→研究発表

研究発表のルール
- 持ち時間20分（発表12分，質疑8分）※輪講は特に時間厳守
- 特別な事情がない限り原則，全員参加（３年生は任意で参加可）
- 発表前日までに資料をアップすること（質の悪いスライドを全員に共有させない．）
- 急な予定が入った場合は，代わりの人を自分で探して下さい
- 司会者は小ゼミ進行と議事録をとる

備考
- 卒論・修論の成績に関係するので出席すること
- 発表の練習や研究のフィードバックを受けられる貴重な機会なので積極的に参加する方が好ましい

研究発表の順番
- 以下の順番で2人ずつ発表する

発表順	輪講1	輪講2	輪講3
1	福井	山崎	野口
2	吉富	池内	加藤
3	木村	作島	堀口

5/16†

輪講1†

発表者：木村
- 発表タイトル：Predicting Node Failure in Cloud Service Systems
- 発表資料（Predicting node failure in cloud service systems_0.pdf）
- 論文資料（Predicting Node Failure in Cloud Service Systems.pdf）

輪講2†

発表者：作島大智
- DeepSim: Deep Learning Code Functional Similarity
- 発表資料（DeepSim_Deep Learning Code Functional Similarity.pdf）
- 論文資料（DeepSim_Deep Learning Code Functional Similarity_paper.pdf）

輪講3†

発表者：堀口日向
- Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
- 発表資料（fse18sustainability_presentation_0.pdf）
- 論文資料（fse18sustainability.pdf）

5/7†

輪講1†

発表者：𠮷富
- 発表タイトル：Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
- 発表資料（Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems_1.pdf）
- 論文資料（2018-fse-creb.pdf）

輪講2†

発表者：池内
- 発表タイトル：Deep Learning Type Inference
- 発表資料（Deep Learning Type Inference_0.pdf）
- 論文資料（Deep Learning Type Inference.pdf）

輪講3†

発表者：加藤
- 発表タイトル：Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
- 発表資料（Time-Related Misuse of Issue Tracking Data_0.pdf）
- 論文資料（Be careful when_1.pdf）

4/25†

輪講1†

発表者：福井
- 発表タイトル：Towards a Theory of Software Development Expertise
- 発表資料（Towards a Theory of Software Development Expertise.pdf）
- 論文資料（fse18main-id155-p_0.pdf）

輪講2†

発表者：山崎
- 発表タイトル
- 発表資料（What_Makes_A_Code.pdf）
- 論文資料（Ram et al_0. - 2018 - What makes a code change easier to review an empi.pdf）

輪講3†

発表者：野口
- 発表タイトル：Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
- 発表資料（ddmin_with_AST_0.pdf）
- 論文資料（fse18main-id289-p.pdf）

テンプレート†

輪講1†

発表者：
- 発表タイトル：
- 発表資料（ [添付]）
- 論文資料（ [添付]）

輪講2†

発表者：氏名
- 発表タイトル
- 発表資料（ [添付]）
- 論文資料（ [添付]）

輪講3†

発表者：氏名
- 発表タイトル
- 発表資料（ [添付]）
- 論文資料（ [添付]）

４月５月の輪講テーマ：FSE2018†

https://dl.acm.org/citation.cfm?id=3236024

SESSION: Software Analysis I†

RefiNym: using names to refine types

Darwinian data structure selection

Scalability-first pointer analysis with self-tuning context-sensitivity

SESSION: Deep Learning†

（作島）DeepSim: deep learning code functional similarity

（池内）Deep learning type inference

Code vectors: understanding programs through embedded abstracted symbolic traces

（堀口）MODE: automated neural network model debugging via state differential analysis and input selection

SESSION: Developer Studies†

（福井）Towards a theory of software development expertise

（山崎）What makes a code change easier to review: an empirical investigation on code change reviewability

SESSION: Testing I†

Singularity: pattern fuzzing for worst case complexity

Bug synthesis: challenging bug-finding tools with deep faults

Modify, enhance, select: co-evolution of combinatorial models and test plans

SESSION: Security†

The impact of regular expression denial of service (ReDoS) in practice: an empirical study at the ecosystem scale

FraudDroid: automated ad fraud detection for Android apps

SESSION: Mobile Apps†

AppFlow: using machine learning to synthesize robust, reusable UI tests

Winning the app production rally

SESSION: Software Maintenance I†

（加藤）One size does not fit all: an empirical study of containerized continuous deployment workflows

（加藤）Be careful of when: an empirical study on time-related misuse of issue tracking data

（木村）Do the dependency conflicts in my project matter?

SESSION: Software Analysis II†

Do Android taint analysis tools keep their promises?

Neural-augmented static analysis of Android communication

(作島)Oreo: detection of clones in the twilight zone

SESSION: Symbolic Execution and Constraint Solving†

Concurrency verification with maximal path causality

Adversarial symbolic execution for detecting concurrency-related cache timing leaks

Symbolic execution with existential second-order constraints

Parameterized model counting for string and numeric constraints

SESSION: Mining†

NAR-miner: discovering negative association rules from code for bug detection

Path-based function embedding and its application to error-handling specification mining

SESSION: Estimation and Prediction†

（木村）A novel automated approach for software effort estimation based on data augmentation

（木村）Predicting Node failure in cloud service systems

SESSION: Repair and Synthesis†

（池内）Detecting speech act types in developer question/answer conversations during bug repair

Visual web test repair

Syntax-guided synthesis of Datalog programs

SESSION: Software Maintenance II†

Large-scale study of substitutability in the presence of effects

（吉富）An empirical study on crash recovery bugs in large-scale distributed systems

（福井）Complementing global and local contexts in representing API descriptions to improve API retrieval tasks

SESSION: Debugging and Bug Localization†

（野口）Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes

（野口）Feedback-directed differential testing of interactive debuggers

Improving IR-based bug localization with context-aware query reformulation

How should compilers explain problems to developers?

SESSION: Ecosystems and Crowdsourcing†

（堀口）Ecosystem-level determinants of sustained activity in open-source projects: a case study of the PyPI ecosystem

SESSION: Testing II†

Optimizing test prioritization via test distribution analysis

How well are regular expressions tested in the wild?

Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF

SESSION: Formal Analysis†

Modeling and testing a family of surgical robots: an experience report

Efficient static checking of library updates