summaryrefslogtreecommitdiff
path: root/user
diff options
context:
space:
mode:
Diffstat (limited to 'user')
-rw-r--r--user/jkoenig/gsoc2011_proposal.mdwn18
1 files changed, 11 insertions, 7 deletions
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