summaryrefslogtreecommitdiff
path: root/user/jkoenig/gsoc2011_proposal.mdwn
diff options
context:
space:
mode:
authorJeremie Koenig <jk@jk.fr.eu.org>2011-04-08 16:31:13 +0200
committerJeremie Koenig <jk@jk.fr.eu.org>2011-04-08 18:03:03 +0200
commitb02cb9177df853ffef97e73f98a31b4204479747 (patch)
treef4ce6c769025c9ee55305bf80148f9a9e30fdd25 /user/jkoenig/gsoc2011_proposal.mdwn
parent3fd06c9149344aafa928d8db454991a35cd7e875 (diff)
gsoc2011 (java): miscellaneous fixes
Diffstat (limited to 'user/jkoenig/gsoc2011_proposal.mdwn')
-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