简介：andy gordon

原站：http://whigmaleerie.spaces.live.com/

“A Toosht o Whigmaleeries”的内容更新

累计：145 篇（自 2007-11-17 起）

更新：约3篇/月，最后更新513 天前

A Toosht o Whigmaleeries

New project website and logo for Dminor, our project

see here for our new project website, from where you can download the latest version version 0.1.1. see you next week at icfp 2010, where catalin will be presenting our paper on dminor on monday afternoon. (by the way, no summer talks to post this year, as had some time off, and went walkabout down under, mostly in melbourne.? refreshing to be off work e... (312 天前)

http://inezha.com/w/49ji6hy

A Toosht o Whigmaleeries

Alfredo Pironti Dissertation accepted at Torino!

alfredo has recently completed his phd dissertation.  it’s a very nice piece of work showing how to generate implementation code and conformance monitors from verified spi-calculus descriptions of security protocols. well done, alfredo! alfredo pirontisound automatic implementation generation and monitoring of security protocol implementations from ver... (312 天前)

http://inezha.com/w/czupyhw

A Toosht o Whigmaleeries

Microsoft Research PhD Scholarships

the next call for proposals for phd scholarships is out.  deadline 15 september 2010.  see here.... (312 天前)

http://inezha.com/w/1y28uhe

A Toosht o Whigmaleeries

Some Talks from the Winter

dear readers, i posted slides from a couple of talks i gave recently on our use of the f7 refinement-type checker with crypto protocols: progress on provable implementations of security protocols – an update at essos’10 in pisa on my lics’06 invited talk modular verification of security protocol code by typing – talk from popl’10 in madrid comments... (312 天前)

http://inezha.com/w/pljxrfj

A Toosht o Whigmaleeries

Microsoft Academic Search

stumbled today on a new (to me) search engine for academic citations: microsoft academic search from microsoft research asia. here is my permanent link. compared to google scholar, this engine has a nicer ui, but its database is less complete (and actually less accurate).  but i imagine they’re working on that.... (312 天前)

http://inezha.com/w/33uu2fn

A Toosht o Whigmaleeries

Spi2Java Released

i hear from davide pozza that the latest version of spi2java is out: spi2java is a model driven development (mdd) framework to semi-automatically generate java security protocol implementations from verified spi calculus formal specifications of such protocols. the aim of the framework is to provide high correctness confidence on the generated code, thu... (312 天前)

http://inezha.com/w/6v2vbfa

A Toosht o Whigmaleeries

Announcing Dminor 0.1: Semantic Subtyping with an SM

this year my main research theme has been refinement types (where a type is qualified by a formula, eg, the refinement type of positive numbers is x:integer {x>0}).  i gave a series of lectures on principles and applications of refinement types. we have been working on an experimental interpreter and typechecker, called dminor, for refinement types as f... (312 天前)

http://inezha.com/w/f5j3jf7

订阅者 ( 1 )

相关订阅源