Re: call for documentation on MLton-enabled research and projects

Hi Matthew,

I'm an undergrad at Georgia Tech, and I use MLton for my bioinformatics
research. I haven't yet published any papers about my work, but you can
read a little about it here:

http://www.cos.gatech.edu/news/Math-Computing-Double-Major-Wins-Coveted-Goldwater


The NSF always likes to hear that a project is helping undergrads
(preparing the next generation of future scientists, etc). Best of luck
with your proposal!



On Mon, Oct 7, 2013 at 3:36 PM, Christof Leng <[email protected]>wrote:

>  Hi Matthew,
>
> Wesley Terpstra, Max Lehn, and I used MLton for our peer-to-peer system
> research. There are three results from that research:
>
> - BubbleStorm: A sophisticated peer-to-peer search engine and distributed
> storage system. http://www.dvs.tu-darmstadt.de/research/bubblestorm/
> MLton is mentioned (an cited) in my PhD thesis " BubbleStorm: Replication,
> Updates, and Consistency in Rendezvous Information Systems "
>
> - CUSP: A novel transport protocol that enables ad-hoc stream
> multiplexing, security, and stream priorities.
> http://www.dvs.tu-darmstadt.de/research/cusp/
> The paper is called "Channel-based Unidirectional Stream Protocol (CUSP)"
> and appeared in INFOCOM'10, but unfortunately does not mention MLton.
>
> - A distributed systems testbed and simulator: The framework has been used
> to prototype and evaluate BubbleStorm, CUSP, our Kademlia implementation,
> and even an online game prototype.
> We had a poster and a demo at SIGCOMM'11 called "Designing a Testbed for
> Large-scale Distributed Systems" and "An Online Gaming Testbed for
> Peer-to-Peer Architectures" respectively. The poster abstract mentions
> Standard ML.
>
> The source of all projects is available at
> https://github.com/DVS-P2P/bubblestorm and the papers can be downloaded
> at http://www.dvs.tu-darmstadt.de/staff/cleng/#publications
>
> For our projects Wesley had to tweak MLton a bit, especially adding
> support to generate libraries.
>
> I hope this is helpful. Good luck with the grant proposal, and keep up the
> great work!
>
> Christof
>
>
>
> On 07.10.13 08:51, Matthew Fluet wrote:
>
> Luke Ziarek (MultiMLton) and I are preparing a grant proposal seeking
> funding for infrastructure enhancements for MLton through the NSF CISE
> Research Infrastructure program.  The NSF places a high value on the
> "broader impact" of proposals and projects, and one way to make the
> case that MLton *will* have a broad impact is to demonstrate that
> MLton *has* already had a broad impact.  We are looking to the
> community for additional documentation that demonstrates how MLton has
> enabled research and projects.
>
> Any and all documentation would be helpful, but in order of decreasing
> value to the NSF, here are some specific kinds of documentation that
> we are looking for:
>  * Pointers to citable papers that describe research that was done in
> the context of MLton (i.e., research that required hacking the
> compiler).
>  * Pointers to citable papers that describe research that was enabled
> by MLton.  This is research that required you to write some software,
> you chose to write SML and compile with MLton, and there is one brief
> mention in the paper that "we used MLton".  These are the ones that
> are hardest for us to find, because they often don't use a citation
> reference.
>  * Pointers to other written work that describes research or projects
> that were done in the context of MLton or were enabled by MLton.  This
> might be course projects with a written report or BS/MS theses that
> were never turned into a peer-reviewed paper.
>  * Pointers to other non-written work that uses MLton.  This might be
> (non-trivial) projects that are implemented in SML and compiled with
> MLton.  Links to GitHub or BitBucket (or other) repositories with a
> README that mentions MLton are great, but at the very least we should
> be able to easily find the Makefile with the "mlton prog.mlb"
> invocation.
>
> Feel free to reply to the list if you want to advertise your work.  Or
> just reply to me if you don't.  And feel free to mention work that you
> know of, but aren't the author of.  Even brief Google and ACM Digitial
> Library searches have turned up projects mentioning MLton done by
> individuals that I'm fairly certain are not subscribed to the MLton
> users list.
>
> Thanks!
> -Matthew
>
> To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
>
> ------------------------------------------------------------------------------
> October Webinars: Code for Performance
> Free Intel webinars can help you accelerate application performance.
> Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from
> the latest Intel processors and coprocessors. See abstracts and register >http://pubads.g.doubleclick.net/gampad/clk?id=60134791&iu=/4140/ostg.clktrk
> _______________________________________________
> MLton-user mailing [email protected]; [email protected]://lists.sourceforge.net/lists/listinfo/mlton-user
>
>
>
>
> ------------------------------------------------------------------------------
> October Webinars: Code for Performance
> Free Intel webinars can help you accelerate application performance.
> Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most
> from
> the latest Intel processors and coprocessors. See abstracts and register >
> http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk
> _______________________________________________
> MLton-user mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-user
>
>


-- 
Cheers,

Gautam C. Goel

------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from 
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk

_______________________________________________
MLton-user mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-user