ホーム

検索結果

"category:/Research"

1 2 3 4 5 6 次へ >>

タイトルと要約 日付/時間
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

1 2 3 4 5 6 次へ >>