cs.purdue.edu
Secure Software Systems (S3) | Homepage
https://www.cs.purdue.edu/s3
Department of Computer Science. Group brings together researchers exploring diverse aspects of programming language design and implementation. Extending MLton for scalable, multicore platforms. A dynamically-typed concurrent language. Open source implementation of Safety-critical Java. The Ovm open-source virtual machine framework for Java. Open source real-time benchmarks. Data-centric concurrency control for Java. Programming languages and paradigms for multithreaded applications. Are here, 10/10.
krilnon.com
best of 2004-2014 programming discussions
http://www.krilnon.com/best-discussions
Best of 2004-2014 programming discussions. This page hosts a collection of my responses to programming questions and discussions from the past decade or so on kirupa.com. I read through 10,000 posts, selected about 70 of them from an October 2014 database backup, and assembled them here in early 2015. Presented in reverse-chronological order. Enjoy! Best of the best. Explanation of a confusing stack balance error caused by a compiler bug. How nested functions can cause memory leaks. Rest of the best.
me.reclipse.net
best of 2004-2014 programming discussions
http://me.reclipse.net/best-discussions
Best of 2004-2014 programming discussions. This page hosts a collection of my responses to programming questions and discussions from the past decade or so on kirupa.com. I read through 10,000 posts, selected about 70 of them from an October 2014 database backup, and assembled them here in early 2015. Presented in reverse-chronological order. Enjoy! Best of the best. Explanation of a confusing stack balance error caused by a compiler bug. How nested functions can cause memory leaks. Rest of the best.
softwareengineering.vazexqi.com
OOPSLA '09: Dynamic Languages Symposium (DLS)
http://softwareengineering.vazexqi.com/2009/10/27/oopsla-09-dynamic-languages-symposium-dls.html
OOPSLA '09: Dynamic Languages Symposium (DLS). October 27, 2009. There were three interesting talks that I attended at the DLS this year:. Of Scripts and Programs: Tall Tales, Urban Legends, and Future Prospects. Unfortunately, I missed the first 10 minutes of the talk where Jan was talking about his experiences with the Pluto language). The investigation that he and his team did to measure how much. GMail, Facebook, Flickr and Apple Me. Some aspects of their evaluation include:. Jan's slides should be a...
wrigstad.com
Papers on Thorn
http://www.wrigstad.com/papers/thorn.html
Papers on Thorn (scripting, dynamic PLs, gradual typing) / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /. Integration of Typed and Untyped Code in Thorn. Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund and Jan Vitek. Accepted for POPL 2010. Download [EXTENDED] paper [WITH PROOFS]. Thorn- -Robust, Concurrent, Extensible Scripting on the JVM. Bard Bloom, John Field, Nate Nystrom Johan Östlund, Gregor Richards Rok Strnisa, Jan Vitek, and Tobias Wrigstad.
ecoop2010.uni-mb.si
ECOOP summer school
http://ecoop2010.uni-mb.si/summer_school.html
This year's conference photos are now published here. HOW TO REACH MARIBOR. Wednesday, 23 June. Thursday, 24 June. Friday, 25 June. PRACTICAL SYNTHESIS OF CONCURRENT SYSTEMS. LANGUAGE AGNOSTIC CONTRACTS FOR .NET. SHARED MEMORY, AN ELUSIVE ABSTRACTION. PROGRAMMING THE PHYSICAL WORLD USING F#. BIT ROT - CAUSED BY TYPES, FOUGHT WITH TYPES? THORN - ROBUST, CONCURRENT SCRIPTING ON THE JVM.