Profile cover photo
Profile photo
Anders Møller
About
Posts

Post has attachment
I'm looking for good postdocs to join my new ERC project "Automated Program Analysis for Advanced Web Applications".

For more information see http://casa.au.dk/open-positions/.
Photo

Post has attachment
Interesting read from Monoidics FB

Post has attachment

Post has attachment
Our lecture notes on static program analysis are now online - with implementation and exercises.

Post has attachment

Post has shared content
We’re looking for a postdoctoral researcher to jump on to an ambitious new project that combines program analysis, probabilistic reasoning, program synthesis, and big data engineering. Collaborate with Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Pavol Cerny, Tom Yeh, and Ken Anderson at the University of Colorado Boulder. http://pl.cs.colorado.edu/news.html#postdoc-call-2015

Post has attachment

Post has shared content
This is the tutorial on pointer analysis that you want to read (and how readable it is!). Thanks +Yannis Smaragdakis and George.

Post has shared content
If you're interested in joining us for a Dart event in Aarhus on June 3, you can register your attendance by following the link below. It's free but you'll need to register or log in using one of your social media accounts (if you've got one):

http://internetweekdenmark.com/events/dart-flight-school

---
Earlier pre-announcement

As part of Internet Week Denmark, we're hosting a Dart event in Aarhus on June 3, 2015 and you're all invited! We plan to give a technical presentation about Dart and spend some time hacking together, but if you've got good ideas for what you would like to learn more about, do not hesitate to let us know.

#dartlang  #iwdk

Post has shared content
There is still a chance to submit your work on program analysis to SOAP: deadline is extended to March 31 
4th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2015)

We have a great set of Invited speakers: Koushik Sen, Atanas Rountev, Frank Tip, and Ben Hardekopf.

See the workshop web site for information about paper submission.
Wait while more posts are being loaded