Matzにっき

_ [Ruby] 取材

ITmediaに載せるということで取材を受ける。 写真のためということで、わざわざ松江まで来てくださる。

日経、朝日、と続いて最近取材が続いている。

日経ITpro, ラジオ, で今度のITmediaだ。 なんだか露出が多くて恥ずかしい。

お昼は蕎麦。鴨南蛮と割子蕎麦でおいしい思いをした。 風穴さんも満足げだ。

_ [言語] POPL

1月17日から19日まで、フランスのニースで開かれる ACMのプログラミング言語に関するカンファレンス。

行きたいなあ。

Wednesday, 17 January 2007

Invited Keynote: 9:00 - 10:00

Perl 6: Reconciling the Irreconcilable
Audrey Tang

Session 1: 10:20 - 11:20

Operational Semantics for Multi-Language Programs
Jacob Matthews and Robert Bruce Findler

Semantics of Static Pointcuts in AspectJ
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere

A Typed Intermediate Language for Compiling Multiple Inheritance
Juan Chen

Session 2: 11:30 - 12:30

Cork: Dynamic Memory Leak Detection for Garbage-Collected Languages
Maria Jump and Kathryn S McKinley

Dynamic Heap Type Inference for Program Understanding and Debugging
Marina Polishchuk, Ben Liblit, and Chloe W. Schulze

Compositional Dynamic Test Generation
Patrice Godefroid

Locality Approximation Using Time
Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding

Session 3: 14:00 - 15:15

Modular Type Classes
Derek Dreyer, Robert Harper, and Manuel M.T. Chakravarty

First-Class Nonstandard Interpretations by Opening Closures
Jeffrey Mark Siskind and Barak A. Pearlmutter

PADS/ML: A Functional Data Description Language
Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary Fernandez, and Artem Gleyzer

Generative Unbinding of Names
Andrew M Pitts and Mark R Shinwell

Session 4: 15:45 - 17:15

Types, Bytes, and Separation Logic
Gerwin Klein, Harvey Tuch, Michael Norrish

A Very Modal Model of a Modern, Major, General Type System
Andrew W. Appel, Paul-Andre Mellies, Christopher D. Richards, Jerome Vouillon

Context Logic as Modal Logic: Completeness and Parametric Inexpressivity
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Thursday, 18 January 2007

Invited Keynote: 9:00 - 10:00

From Implementation to Theory in Product Synthesis
Don Batory

Session 5: 10:20 - 11:30

Scrap your boilerplate with XPath-like combinators
Ralf Lammel

Lightweight Fusion by Fixed Point Promotion
Atsushi Ohori , Isao Sasano

Lazy Multivariate Higher-Order Forward-Mode AD
Barak A. Pearlmutter and Jeffrey Mark Siskind

Session 6: 11:30 - 12:30

A Complete, Co-Inductive Syntactic Theory of Sequential Control and State
Kristian Stoevring and Soren B. Lassen

Towards a Mechanized Metatheory of Standard ML
Daniel K. Lee, Karl Crary, Robert Harper

Session 7: 14:00 - 15:30

Logic-Flow Analysis of Higher-Order Programs
Matthew Might

Extracting Queries by Static Analysis of Transparent Persistence
Ben Wiedermann and William R. Cook

Variance analyses from invariance analyses
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter O'Hearn

Session 8: 16:00 - 17:30

Assessing security threats of looping constructs
Pasquale Malacaria

JavaScript Instrumentation for Browser Security
Dachuan Yu, Ajay Chander, Nayeem Islam, and Igor Serikov

Secure Implementations of Typed Channel Abstractions
Michele Bugliesi and Marco Giunti

Friday, 19 January 2007

Invited Keynote: 9:00 - 10:00

Advanced Programming Languages in Enterprise Software: A lambda-calculus theorist wanders into an enterprise datacenter
Chet Murthy

Session 9: 10:20 - 11:20

Proving That Programs Eventually Do Something Good
Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Vardi

Program Verification as Probabilistic Inference
Sumit Gulwani and Nebojsa Jojic

Session 10: 11:30 - 12:30

Lock Allocation
Michael Emmi, Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar

Modular Verification of a Non-Blocking Stack
Matthew Parkinson, Richard Bornat and Peter O'Hearn

On the Analysis of Interacting Pushdown Systems
Vineet Kahlon and Aarti Gupta

Session 11: 14:00 - 15:30

Specialization of CML message-passing primitives
John Reppy, Yingqi Xiao

Conditional Must Not Aliasing for Static Race Detection
Mayur Naik and Alex Aiken

Interprocedural Analysis of Asynchronous Programs
Ranjit Jhala, Rupak Majumdar

Session 12: 16:00 - 17:30

Preferential Path Profiling: Compactly Numbering Interesting Paths
Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi

Geometry of Synthesis: A structured approach to VLSI design
Dan Ghica

A Semantics-Based Approach to Malware Detection
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya Debray

しかたない、Proceedingsを待つか。いつ来るかなあ。

_ [言語] プログラミング言語ヒエラルキー

言語間でお互いにどう見ているかの階層。

「わかるわかる」というものもあれば、 「それは違うんじゃない」というものもある。

ところで、外から見たRubyプログラマへの印象ってのは

Rubyプログラマはどのプログラミング言語利用者よりも自分たちが上だと考えているが、 Webプログラミング言語以外が存在していることを知らないのでPerlよりも上にした。

という感じなんだろうか。実際は、私の周辺では 「Webプログラミング言語以外が存在していることを知らない」人なんてのは 少数派なんだけど。私の周辺は特異点である可能性が高いしな。