Profile

Cover photo
Anders Møller
Works at Department of Computer Science, Aarhus University
201,053 views
AboutPostsPhotos

Stream

Anders Møller

Shared publicly  - 
 
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/.
4
2
Add a comment...

Anders Møller

Shared publicly  - 
 
Great list of speakers at WSCR 2015!
Software Correctness and Reliability, ETH Zurich
1
Add a comment...

Anders Møller

Shared publicly  - 
 
This article looks at what PL research is, at least in part, and why it is effective.
1
Anders Møller's profile photoRasmus Pagh's profile photo
3 comments
 
At ITU, for a definition of PL researcher that may be broader than what he considers, it is about 1/3 of the CS faculty.
Add a comment...

Anders Møller

Shared publicly  - 
 
 
This is the tutorial on pointer analysis that you want to read (and how readable it is!). Thanks +Yannis Smaragdakis and George.
View original post
1
2
Add a comment...

Anders Møller

Shared publicly  - 
 
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.
View original post
1
1
Add a comment...

Anders Møller

Shared publicly  - 
 
Breaking news - Politiken afslører nyt fra Aarhus Universitet
 ·  Translate
4
Add a comment...

Anders Møller

Shared publicly  - 
 
Interesting read from Monoidics FB
1
1
Add a comment...

Anders Møller

Shared publicly  - 
 
Our lecture notes on static program analysis are now online - with implementation and exercises.
12
7
Add a comment...

Anders Møller

Shared publicly  - 
 
 
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
The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate in the area of program analysis and program synthesis. The position is on the Fixr project, a large project examining ...
View original post
1
Add a comment...

Anders Møller

Shared publicly  - 
 
Program for SOAP 2015, Portland, OR, 14 June.
Co-hosted Workshops; ARRAY 2015 ARRAY Research Papers · CHIUW 2015 CHIUW · PLOOC 2015 · SOAP 2015 SOAP · WAX 2015: Workshop on Approximate Computing WAX · WOW 2015: Workshop on WALA WOW Research Papers · X10 2015 X10; Co-hosted Symposiums; Scala 2015 SCALA Research Papers. Committees ...
3
1
Add a comment...

Anders Møller

Shared publicly  - 
 
 
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
7 comments on original post
1
1
Add a comment...

Anders Møller

Shared publicly  - 
 
Thanks to a generous ERC Consolidator Grant, I'm looking for new PhD students and postdocs interested in program analysis and web applications to join my research team at Center for Advanced Software Analysis, Aarhus University. More info: http://casa.au.dk/
10
2
Nils Klarlund's profile photo
 
Congratulations, Anders!
Add a comment...
Work
Occupation
Associate Professor
Employment
  • Department of Computer Science, Aarhus University
    Associate Professor, 2006 - present
Links
Contributor to
Basic Information
Gender
Male