From b02cb9177df853ffef97e73f98a31b4204479747 Mon Sep 17 00:00:00 2001 From: Jeremie Koenig Date: Fri, 8 Apr 2011 16:31:13 +0200 Subject: gsoc2011 (java): miscellaneous fixes --- user/jkoenig/gsoc2011_proposal.mdwn | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) (limited to 'user/jkoenig') diff --git a/user/jkoenig/gsoc2011_proposal.mdwn b/user/jkoenig/gsoc2011_proposal.mdwn index 92bed1b4..d9617ab5 100644 --- a/user/jkoenig/gsoc2011_proposal.mdwn +++ b/user/jkoenig/gsoc2011_proposal.mdwn @@ -14,7 +14,8 @@ Contact information: I am a first year M.Sc. student in Computer Science at University of Strasbourg (France). My interests include capability-based security, -programming languages and formal methods (in particular, proof-carrying code). +programming languages and formal methods +(in particular, object-capability languages and proof-carrying code). ### Proposal summary @@ -27,8 +28,7 @@ as well as libraries to make translator development easier. ### Previous involvement -Although I have known the Hurd for some time, -I did not contribute until last summer, +I started contributing to Hurd last summer, during which I participated to Google Summer of Code as a student for the Debian project. I worked on porting Debian-Installer to Hurd. @@ -72,14 +72,16 @@ as the Debian-Installer and procfs projects gave me the opportunity to fiddle with many parts of the system. Initially, -I started working on this project because I wanted to use Joe-E +I started working on this project because I wanted to use +[Joe-E](http://code.google.com/p/joe-e/) (a subset of Java) to investigate the potential [[applications of object-capability languages|objcap]] in a Hurd context. -I also believe that imrpoving Java support on Hurd +I also believe that improving Java support on Hurd would be an important milestone. + ## Improve Java support ### Justification @@ -87,6 +89,8 @@ would be an important milestone. Java is a popular language and platform used by many desktop and web applications (mostly on the server side). As a consequence, competitive Java support is important for any general-purpose operating system. +Better Java support would also be a prerequisite +for the second part of my proposal. ### Current situation @@ -442,8 +446,8 @@ to design and implement similar solutions for Java. ### Packaging and long-term maintenance -The Java libraries resulting from this work -(including any MIG support classes), +The Java libraries resulting from this work, +including any MIG support classes as well as the class files built from the MIG-generated code for the Mach and Hurd interface definition files, would be provided as single `hurd-java` package for -- cgit v1.2.3