Checking Ruby Programs without Types / Introduction to Safecast

Fri, 25 Nov 2016 19:00 - 21:30


40 participants Paul Gaumer 長沼 啓司 Song An Irfandi Achmad Kevin Kee kishikawa katsumi Indra Bagus Wicaksono Ippei UKAI Akira Yokokawa Tatsuo Sakurai Henrik Falck Paul McMahon Shinichi Goto Laura Eck Daniel Masafumi Okura Matthew Gillingham + 23 more participants
Register

Registration for this event is closed.

¥1,000 prepaid
Drinks and a light meal will be provided

Agenda

19:00 〜 19:30 Doors open

Grab a drink and catch up with your fellow Rubyists.

19:30 〜 19:55 Checking Ruby Programs without Types Soutaro Matsumoto

Many popular program verification techniques take advantage of types, but unfortunately as of 2016, Ruby programs are untyped. Matz says Ruby3 will be typed, but we cannot wait another four years. In the meantime, I built a tool called Querly to check Ruby programs without using types. Querly syntactically checks Ruby programs against user defined rules, and emits warnings about potentially bad method calls. In this talk, I will introduce Querly, and explain how to use it to improve your workflow.

Profile

Soutaro writes programs in many languages including Ruby, Swift, Objective-C, OCaml, and Coq. He is interested in type systems and program analysis, and currently working for SideCI, a code review automation service. Querly is developed as a part of SideCI and is available as an open source project.

20:00 〜 20:25 Introduction to Safecast - open citizen science for the environment Benjamin Dubois

Safecast is an international, volunteer-centered organization devoted to open citizen science for the environment. After the devastating earthquake and tsunami which struck eastern Japan on March 11, 2011, and the subsequent meltdown of the Fukushima Daiichi Nuclear Power Plant, accurate and trustworthy radiation information was publicly unavailable.
This presentation will briefly summarize Safecast historical efforts and then describe Safecast's current architecture and Safecast API as powered by Ruby On Rails.

Profile

Benjamin is a programmer in Tokyo. His interests centers around low level/C programming and real world interactions with technology. He is currently developing a game engine with instruction-set like API gameplay language, a BSD socket based webserver, and a virtual assistant/bot.

20:30 〜 21:30 Open Networking

Discuss the presentations or anything else Ruby related with the other attendees.