Christoffer Quist Adamsen


Publications

Awards

  • ACM SIGPLAN Distinguished Paper for
    "Practical Initialization Race Detection for JavaScript Web Applications" (OOPSLA 2017)
  • 2017 Google PhD Fellowship in Programming Languages and Software Engineering
  • ACM SIGSOFT Distinguished Paper for
    "Analyzing Test Completeness for Dynamic Languages" (ISSTA 2016)
  • ACM SIGSOFT Distinguished Paper for
    "Systematic Execution of Android Test Suites in Adverse Conditions" (ISSTA 2015)

Activities

  • Google PhD Student Summit on Compiler & Programming Technology
    Munich, Germany, Dec. 4 - Dec. 6, 2017
  • International Conference on Software Engineering
    Buenos Aires, Argentina, May 24 - May 26, 2017
  • Google PhD Student Summit on Compiler & Programming Technology
    Munich, Germany, Dec. 5 - Dec. 7, 2016
  • Danish Static Analysis Symposium
    Odense, Denmark, Aug. 19, 2016
  • International Symposium on Software Testing and Analysis
    Saarbrücken, Germany, July 18 - July 20, 2016
  • Designing Code Analysis Frameworks
    Saarbrücken, Germany, July 17, 2016
  • Programming Language Design and Implementation
    Santa Barbara, California, June 15 - June 17, 2016
  • Danish Static Analysis Symposium
    Odense, Denmark, Aug. 20, 2015
  • International Symposium on Software Testing and Analysis
    Baltimore, Maryland, July 15 - July 17, 2015
  • International Conference on Software Engineering
    Florence, Italy, May 20 - May 22, 2015
  • Google PhD Student Summit on Compiler & Programming Technology
    Munich, Germany, Dec. 10 - Dec. 12, 2014
  • Workshop on Software Correctness and Reliability
    Zürich, Switzerland, Oct. 3 - Oct. 4, 2014
  • International Static Analysis Symposium
    Munich, Germany, Sep. 11 - Sep. 13, 2014
  • Workshop on Tools for Automatic Program Analysis
    Munich, Germany, Sep. 10, 2014
  • Danish Static Analysis Symposium
    Odense, Denmark, Aug. 21, 2014

Program Committee Work

  • Artifact Evaluation Program Committee member of Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2016

Teaching Assistant Work

  • Regularity and Automata (Bachelor's course), April 2017 - May 2017
  • Programming 2 (Bachelor's course), November 2016 - December 2016
  • Advanced Web Programming (Masters's course), October 2015 - December 2015
  • Regularity and Automata (Bachelor's course), April 2015 - May 2015
  • Advanced Web Programming (Masters's course), October 2014 - December 2014
  • Regularity and Automata (Bachelor's course), April 2014 - May 2014
  • Web Technologies (Bachelor's course), January 2014 - March 2014
  • Client-based Web Programming (Master's course), October 2013 - December 2013
  • Server-based Web Programming (Master's course), August 2013 - October 2013
  • Web Technologies (Bachelor's course), January 2013 - March 2013