Profile

Cover photo
Anders Møller
Works at Department of Computer Science, Aarhus University
289 followers|116,809 views
AboutPostsPhotos

Stream

Anders Møller

Shared publicly  - 
 
Interesting read from Monoidics FB
1
1
Manu Sridharan's profile photo
Add a comment...

Anders Møller

Shared publicly  - 
 
Our lecture notes on static program analysis are now online - with implementation and exercises.
12
7
Santosh Nagarakatte's profile photomukesh tiwari's profile photo
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  - 
 
 
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
Dimitris Vardoulakis's profile photoV Stolz's profile photo
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
Manu Sridharan's profile photo
Add a comment...

Anders Møller

Shared publicly  - 
 
Breaking news - Politiken afslører nyt fra Aarhus Universitet
 ·  Translate
4
Add a comment...
Have him in circles
289 people
David Leuschner's profile photo
Isil Dillig's profile photo
Siyalrach Anton Thomas's profile photo
Rohde Fischer's profile photo
Erik Ernst's profile photo
Todd Millstein's profile photo
Stephen Fink's profile photo
Junyi Tu's profile photo
Claudio Omar Biale's profile photo

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  - 
 
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
Manu Sridharan's profile photo
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
Christoffer Quist Adamsen's profile photo
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 photoKevin Millikin's profile photoRasmus Pagh's profile photo
 
Congratulations, Anders!
Add a comment...

Anders Møller

Shared publicly  - 
 
 
Our CACM Viewpoints article "In Defense of Soundiness: A Manifesto" is now available
1
Add a comment...
People
Have him in circles
289 people
David Leuschner's profile photo
Isil Dillig's profile photo
Siyalrach Anton Thomas's profile photo
Rohde Fischer's profile photo
Erik Ernst's profile photo
Todd Millstein's profile photo
Stephen Fink's profile photo
Junyi Tu's profile photo
Claudio Omar Biale's profile photo
Basic Information
Gender
Male
Work
Occupation
Associate Professor
Employment
  • Department of Computer Science, Aarhus University
    Associate Professor, 2006 - present
Links
Contributor to