jagijagijag1 tiny tech notes
Rustにおけるゼロコスト抽象化 (zero-cost abstraction) について調べたメモ
February 10, 2020
参考: Abstraction without overhead: traits in Rust | Rust Blog 要するに 言語上の抽象型の扱い方の話 抽象化の処理に最小限のコストしかかからないという意味 Rustでは静的ディスパッチと
Task-based effectiveness of basic visualizations
December 1, 2019
リンク Task-based effectiveness of basic visualizations the morning paper 抜粋・メモ どういうタスクのときにどの可視化手法を使うと良いかを調査 Amazon Mechanical Turkでタスクやってもらって評価 対象にしたのは
The inflection point hypothesis: a principled approach to finding the root cause of a failure
November 16, 2019
リンク The inflection point hypothesis: a principled approach to finding the root cause of a failure the morning paper 抜粋・メモ Kairux: 提案手法 普通のroot cause analysisはfailureからbackwardで探すが，
Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead
November 10, 2019
リンク Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead the morning paper 抜粋・メモ 説明可能AIという言葉のイマイチさと解釈可能AIの正しそう感 既存技術は機械学習モデルを
基礎から学ぶVue.js 個人メモ
October 30, 2019
p.46 createdとmountedの使い分け created リアクティブデータが初期化された直後に呼ばれる ＝ DOMは構築されてない thisにはアクセスできる
Github Actionを途中まで試して諦めたメモ
October 19, 2019
YAMLで書く onでトリガにするイベントを書く 例えばissuesでclosedしたとき，pushがあったときなど jobsで実行するタスクを書
Reproducing Concurrency Failures from Crash Stacks
June 24, 2019
著者/所属機関 Francesco A. Bianchi (Universit della Svizzera italiana) et al. 出典 ESEC/FSE 2017 目的 並行バグを再現するテストコードの自動生成 問題 並行バグ再現に関する既存手法は下記の2つに分類される
Understanding Real-World Concurrency Bugs in Go
June 23, 2019
著者/所属機関 Tengfei Tu (Pennsylvania State University) et al. 出典 ASPLOS 2019 https://songlh.github.io/paper/go-study.pdf 目的 Goはgoroutineやmessage passingで並行処理を書きやすく，バグを埋め込みにくく
Modern Code Review: A Case Study at Google
June 6, 2019
著者/所属機関 Caitlin Sadowski (Google) et al. 出典 ICSE SEiP 2018 目的 Googleにおけるコードレビューの実態調査・知見共有 Methodology Google内の開発者12人へのインタビュー実
Replay without Recording of Production Bugs for Service Oriented Applications
May 8, 2019
著者/所属機関 Nipn Arora (Dropbox) et al. 出典 ASE 2018 目的 Service-Oriented Architecure (SOA) のような分散システムにおけるバグの再現 問題 分散システムでは下記特性のためデバッグが難しい 再現にオー
How bad can it git? Characterizing secret leakage in public GitHub repositories
April 21, 2019
リンク How bad can it git? Characterizing secret leakage in public GitHub repositories | the morning paper 抜粋・メモ GitHubのリポジトリにsecret keyが公開されるケースの調査論文 公開されてしまったs
Teaching rigorous distributed systems with efficient model checking
April 20, 2019
リンク Teaching rigorous distributed systems with efficient model checking | the morning paper 抜粋・メモ 学生に分散アルゴリズムを勉強させる際に，テストでの確認は難しいので，モデル検査を組み込んだ環境(フレ
Are Mobile Banking Apps Secure? What Can Be Improved?
April 9, 2019
著者/所属機関 Sen Chen (East China Normal University) et al. 出典 ESEC/FSE 2018 目的 金融機関が提供するモバイルアプリにおけるセキュリティ対策状況や，セキュリティ報告に対する応対を調査
The Seven Sins: Security Smells in Infrastructure as Code Scripts
March 21, 2019
著者/所属機関 Akod Rahman (North Carolina State University) et al. 出典 ICSE 2019 本会議前なので読んだのはこちらのpre-print 目的 Infrastructure as Code (IaC) のスクリプトに存在するセキュリティ上のリ
REPT: reverse debugging of failures in deployed software
March 16, 2019
リンク REPT: reverse debugging of failures in deployed software | the morning paper 抜粋・メモ 特にメモリダンプしか手に入らない状態での本番環境のクラッシュをデバッグ支援技術 REPTの提案 reco