- 宮下 剛輔, 第10回 日本OSS奨励賞, 昨今要求が高まっているシステム配備の自動化の実現に欠かすことができないサーバの状態を自動的にテストするツールServerspecを開発し、インフラ分野における業務の効率化に貢献, 2015年10月
- 宮下 剛輔, Black Duck Open Source Rookies of the Year 2013, 2013年に始まったオープンソースプロジェクトの中で優れたもの10種の中にServerspecが選出, 2014年1月
- 宮下 剛輔, 栗林 健太郎, 松本 亮介, Serverspec: 宣言的記述でサーバの設定状態をテスト可能な汎用性の高いテストフレームワーク, 情報処理学会論文誌, Vol.61, No.3, pp.677-686, 2020年3月.
- 松本 亮介, 坪内 佑樹, 宮下 剛輔, 分散型データセンターOSを目指したリアクティブ性を持つコンテナ実行基盤技術, 情報処理学会研究報告インターネットと運用技術(IOT), No.2019-IOT-44, Vol.27, pp.1-8, 2018年3月.
- 宮下 剛輔, 栗林 健太郎, 松本 亮介,serverspec: 宣言的記述でサーバの状態をテスト可能な汎用性の高いテストフレームワーク, 情報処理学会研究報告インターネットと運用技術(IOT), 2014-IOT-24(15), 1-6, 2014年2月.
- 松本 亮介, 坪内 佑樹 ,宮下 剛輔, 青山 真也, 「超個体型データセンター」コンセプトで目指す未来像、チームで研究に取り組む理由【後編】研究員たちが考える、さくらインターネット研究所「これから」の10年, ASCII.jp TECH 連載, 2019年10月.
- 宮下 剛輔, オープンさは私のキャリアの原動力 ─ SIer、Web系、フリーランスという変遷で実感した「オープンにすること」の大切さ, IT・Webエンジニア特化型転職・求人サイト【GeekOut (ギークアウト) 】, 2018年3月
- Kief Morris 著、宮下 剛輔 監訳、長尾 高弘 訳, Infrastructure as Code, O'Reilly Japan, Inc., 2017年3月
- 宮下 剛輔, 「一つのことをうまくやる」に忠実たれ。Serverspec開発者mizzyが語る成功するOSSの設計, エンジニアHub|若手Webエンジニアのキャリアを考える!, 2018年1月
- 宮下 剛輔, Serverspec, O'Reilly Japan, Inc., 2015年1月
- 宮下 剛輔, テスト駆動インフラ/インフラCIの潮流、Serverspecが果たす役割, Think IT(シンクイット) | オープンソース技術の実践活用メディア, 2014年6月
- 宮下 剛輔, 特集2 実践テスト駆動インフラ&CI Infrastructure as Codeがもたらすワークフローの変革, WEB+DB PRESS Vol.80, 技術評論社, 2014年4月
- 宮下 剛輔, 第4回 宮下剛輔(mizzy)~はたらきながら大学に通う:シューカツ女子ともよの会社訪問記―知りたい!あの人のはたらきかた, gihyo.jp … 技術評論社, 2013年4月
- 宮下 剛輔, 【第2回】サーバスペックの向上を実現するために〜paperboy&co. 宮下 剛輔〜:企画特集, CNET Japan, 2009年7月
- 宮下 剛輔, 和田 修一, 越川 康則, 長野 雅広, 第2特集 ~サーバエンジニアがプログラムを知る意味~ システム運用/管理に役立つ「開発力」~楽天,mixi,paperboy&co.の事例紹介!~, Software Design 2009年4月号, 技術評論社, 2009年3月
- 宮下 剛輔, 第39回 宮下剛輔 氏 :: Webエンジニア武勇伝.net, Webエンジニア武勇伝.net, 2008年10月
- 宮下 剛輔, 宮下剛輔――「自分を知ってもらう努力をしよう」 - @IT自分戦略研究所, ITエキスパートのための問題解決メディア - @IT, 2008年7月
- 宮下 剛輔, 特集 管理コスト/作業ミスを大幅削減 Puppetでシステム管理を自動化しよう, Software Design 2007年12月号, 技術評論社, 2007年11月
- 宮下 剛輔, オープンソースなシステム自動管理ツール Puppet:連載|gihyo.jp … 技術評論社, 2007年6月
- 宮下 剛輔, Infrastructure as Codeのこれまでとこれから, 第5回さくらインターネット研究会, 2020年11月.
- 宮下 剛輔, Configuration Managementツールのポリシー定義用中間言語に関する考察, 第7回WebSystemArchitecture研究会, 2020年11月. [予稿]
- 宮下 剛輔, Infrastructure as Codeのこれまでとこれから, Infra Study Meetup #1「Infrastructure as Code」 - connpass, 2020年04月
- 宮下 剛輔, OCIランタイム比較のためにやっていることあれこれ, Hosting Casual Talks #5, 2019年3月
- 宮下 剛輔, 運用管理OSS Serverspecの公開とその影響, 2018年電子情報通信学会ソサイエティ大会 企画講演セッション BI-7 「システム運用管理OSSの開発と公開」, 2018年9月
- 宮下 剛輔, Rustで書いたライブラリをRuby/mrubyから呼び出す実践的な方法, 福岡Ruby会議02 by Fukuoka.rb & Engineer Lab. Fukuoka, 2017年11月
- 宮下 剛輔, libspecinfraの概要と現状と今後, MasterCloud #7 × ヒカ☆ラボ - connpass, 2017年11月
- 宮下 剛輔, Infrastructure as Codeとは何かそして何であるべきか, Codenize Meetup - connpass, 2016年12月
- 宮下 剛輔, Infrastructure as Code のこれまでとこれから, 第三回リクルートテクノロジーズオープンラボ, 2016年7月
- 宮下 剛輔, Walter ファミリーの紹介, Shibuya.go#1 - connpass, 2016年2月
- 宮下 剛輔, Serverspec, Testing Framework Meeting|IT勉強会ならTECH PLAY[テックプレイ], 2015年9月
- 宮下 剛輔, Serverspecに見る技術トレンドを生み出すヒント, JTF2014, 2014年6月
- 宮下 剛輔, Immutable Infrastructure時代の構成管理ツールSpecInfra, Track2: Immutable Infrastructure | JAWS DAYS 2014, 2014年3月
- 宮下 剛輔, Immutable InfrastructureとProvisioning Testing, Immutable Infrastructure Conference #1, 2014年3月
- 宮下 剛輔, サーバプロビジョニングのこれまでとこれから, Developers Summit 2014:開発者のためのITカンファレンス, 2014年2月
- 宮下 剛輔, サーバプロビジョニングのこれまでとこれから, 週末ランサーズ 第5回「クラウド環境構築最速選手権」, 2013年11月
- 宮下 剛輔, Sqaleでcgroupsにfork bomb対策を入れた話, 第2回 コンテナ型仮想化の情報交換会 - connpass, 2013年10月
- 宮下 剛輔, Serverspec, JTF 2013, 2013年7月
- 宮下 剛輔, Serverspec, hbstudy#45 - connpass, 2013年6月
- 宮下 剛輔, NoSQLに関するまとめ, paperboy&co.社内勉強会, 2013年6月
- 宮下 剛輔, イベント駆動プログラミングとI/O多重化, paperboy&co.社内勉強会, 2013年4月
- 宮下 剛輔, Maglica - A Simple Internal Cloud Tool, #techkayac, 2013年2月
- 宮下 剛輔, How Perl Changed My Life, YAPC::Asia Tokyo 2012, 2012年9月
- 宮下 剛輔, Inside Sqale's Backend, YAPC::Asia Tokyo 2012, 2012年9月
- 宮下 剛輔, Inside Sqale's Backend, Sapporo RubyKaigi 2012 (札幌Ruby会議2012), 2012年9月
- 宮下 剛輔, Assurer - a pluggable server testing/monitoring framework, YAPC::Asia Tokyo 2011, 2011年8月
- 宮下 剛輔, Open Source System Administration Framework - Func, 第4回 KLab勉強会, 2011年8月
- 宮下 剛輔, 10分でわかるDevOps, 第1回 DevOpsカンファレンス, 2011年6月
- 宮下 剛輔, DevOpsって何?, NTTレゾナント社内勉強会, 2010年5月
- 宮下 剛輔, Puppetのススメ, hbstudy#8, 2010年2月
- 宮下 剛輔, Puppet Best Practices?, Cookpad社内勉強会, 2009年12月
- 宮下 剛輔, How Danga::Socket handles asynchronous processing and how to write as…, YAPC::Asia 2009 - Sep 10-11 in Tokyo, JAPAN, 2009年9月
- 宮下 剛輔, Danga::Socketの非同期処理の仕組みとPerlbalで非同期処理するプラグインを書く方法, YAPC::Asia 2009 - Sep 10-11 in Tokyo, JAPAN, 2009年9月
- 伊藤 洋也, 宮下 剛輔, ペパボでのPerlの使い方, YAPC::Asia 2009 - Sep 10-11 in Tokyo, JAPAN, 2009年9月
- 宮下 剛輔, Operating Xen domains through LL(Perl/Python) with libvirt, Xen Summit Asia 2008, 2008年11月
- 宮下 剛輔, 30days Albumの裏側, KOF2008:関西オープンソース2008, 2008年11月
- 宮下 剛輔, How To Build A Scalable Storage System with OSS, Tokyo Linux Users Group, 2008年9月
- 宮下 剛輔, Easy system administration programming with a framework, YAPC::Asia 2008 - May 15-16th in Tokyo, JAPAN, 2008年5月
- 宮下 剛輔, Serverspec: The Simplest Server Testing Tool Ever, ChefConf 2014, 2014年4月
- 宮下 剛輔, Inside Sqale's Backend, RubyConf Taiwan 2012, 2012年12月