検索結果
"category:/Research"
タイトルと要約 | 日付/時間 | |
---|---|---|
1
|
A Type System for Quantified Information-Flow Security in Java-Like Languages
Middleweight Javaに対して量的情報流解析を行う型シ... |
2017/03/14 19:00:00 |
2
|
Lightweight Transformation and Fact Extraction with the srcML Toolkit
srcML ツールキットのチュートリアル的な論文。重... |
2013/01/24 12:46:00 |
3
|
Constraint-Free Type Error Slicing
型付け規則を制約条件集合を解く問題に落と... |
2012/11/13 13:10:00 |
4
|
Theory and Implementation of a Real-Time Extension to the π-Calculus
π計算の新しい時間拡張の提案。稠密時間で... |
2012/08/31 16:45:00 |
5
|
The Eval That Men Do: A Large-Scale Study of the Use of Eval in JavaScript Applications
JavaScript を利用した Web アプリケーションにおける eval の利用に関する大規模な調査。10000 サイトについて 55 万回の eval 呼び出しを調査。引数に渡された文字列は全... |
2012/08/19 10:57:00 |
6
|
Gradual Typing for Generics
ジェネリクスを考慮した漸進的型付け。同じ... |
2012/08/17 18:10:00 |
7
|
A Generic Calculus of XML Editing Deltas
XML文書に対する挿入と削除およびそれら... |
2012/03/22 17:09:00 |
8
|
On the Detection of Anomalous System Call Arguments
システムコールの引数に着目して攻撃を発見... |
2011/06/20 10:23:00 |
9
|
Immutability Specification and its Applications
Java に immutability を入れる仕組みを考えました、という論文。... |
2011/05/02 12:17:00 |
10
|
Privacy-Sensitive Information Flow with JML
JML を拡張して非干渉性に関する条件を書けるよ... |
2010/10/28 13:18:00 |
11
|
名古屋
今日は所用でというか仕事で名古屋。エクス... |
2010/09/29 23:57:00 |
12
|
論文
間に合わないかと思った論文も何とか形にな... |
2010/07/30 22:21:00 |
13
|
原稿
今日が締切だった論文の最終原稿は昨日のう... |
2010/07/26 20:33:00 |
14
|
An Analysis of the Dynamic Behavior of JavaScript Programs
既存の JavaScript プログラムにおいて動的な要素がどの程度利... |
2010/07/09 22:13:00 |
15
|
The Essence of JavaScript
JavaScript の意味論の提案。JavaScript のコアとなる要素の意味論を定義し、コア以... |
2010/06/12 23:52:00 |
16
|
名古屋
お祝いごとで名古屋。それと某 S プロジェクトの話とか、その他の研究の話と... |
2010/06/11 23:59:00 |
17
|
Type Qualifier Inference for Java
Java プログラムに対し、新しい型と型間の半順序... |
2010/05/14 17:08:00 |
18
|
Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems
並行プログラムを対象とする情報流解析の型... |
2010/05/02 13:49:00 |
19
|
Prof. Robin Milner
Robin Milner 教授が亡くなられたようです。僕は学生時代... |
2010/03/24 23:54:00 |
20
|
Towards an XML-based Bytecode Level Transformation Framework
CLR から JVM への変換を XML を使ってやったという論文。それぞれのバイ... |
2010/02/16 17:26:00 |