Michael Ernst's professional service

Also see my page of academic advice.

Program committees on which I have served include:

FSE 2016 SRC
Student Research Competition Committee, ACM SIGSOFT International Symposium on the Foundations of Software Engineering, November 2016, Seattle, WA, USA.
SecDev 2016
IEEE Conference on Secure Development, November 2016
PLDI 2016 EPC, PLDI 2016 DPC
ACM Conference on Programming Language Design and Implementation, External Program Committee and Distinguished Paper Committee, June 2016, Santa Barbara, CA, USA
OOPSLA 2016 ERC
Conference on Object-Oriented Programming Systems, Languages and Applications, External Review Committee, November 2016, Amsterdam, The Netherlands.
ICSE 2016
38th International Conference on Software Engineering, May 2016, Austin, TX, USA.
ESEC/FSE 2015 DS
ESEC/FSE 2015 Doctoral Symposium, September 2015, Bergamo, Italy.
PLDI 2014 ERC
ACM Conference on Programming Language Design and Implementation, External Review Committee, June 2014, Edinburgh, Scotland.
SIGSOFT Dissertation Award 2014
ACM SIGSOFT Outstanding Dissertation Award Committee, 2014.
ESEC/FSE 2013
9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, August 2013, St. Petersburg, Russia
FuSE 2013 (co-chair)
Future of Software Engineering symposium, July 2013, Redmond, WA, USA
ICSE 2013 Tutorials (co-chair)
35th International Conference on Software Engineering, May 2013, San Francisco, CA, USA.
ICSE 2013 Mentoring Committee
35th International Conference on Software Engineering, May 2013, San Francisco, CA, USA.
WODA 2013
11th International Workshop on Dynamic Analysis, March 2013, Houston, TX, USA
SPLASH 2012 Panels (chair)
Systems, Programming, Languages and Applications: Software for Humanity, October 2012
SPLASH 2012 Demos
Systems, Programming, Languages and Applications: Software for Humanity, October 2012
SPLASH 2012 Doctoral symposium
Systems, Programming, Languages and Applications: Software for Humanity, October 2012
OOPSLA 2011
Conference on Object-Oriented Programming Systems, Languages and Applications. October 2011, Portland, OR, USA.
ICSE 2011
33rd International Conference on Software Engineering, May 2011, Waikiki, Hawaii.
TAIC PART 2010
Testing: Academic and Industrial Conference - Practice and Research Techniques, September 2010, Windsor, UK.
WODA 2009
Workshop on Dynamic Analysis, July 2009, Chicago, Illinois.
ICSE 2009 Mentor Program
31st International Conference on Software Engineering, May 2009, Vancouver, BC, Canada.
HotSWUp 2008
ACM Workshop on Hot Topics in Software Upgrades, October 2008, Nashville, TN, USA.
ISSTA 2008
International Symposium on Software Testing and Analysis, July 2008, Seattle, WA, USA.
ESEC/FSE 2007
11th European Software Engineering Conference and ACM SIGSOFT 15th International Symposium on the Foundations of Software Engineering, September 2007, Dubrovnik, Croatia.
TAP 2007
Tests and Proofs, Feb 2007, Zürich, Switzerland.
ICSE 2007 Education Track
29th International Conference on Software Engineering, May 2007, Minneapolis, MN, USA.
eTX 2006
4th Eclipse Technology Exchange Workshop, October 2006, Portland, Oregon.
ISSTA 2006
International Symposium on Software Testing and Analysis, July 2006, Portland, ME, USA.
ECOOP 2006
European Conference on Object-Oriented Programming, July 2006, Nantes, France.
PLDI 2006
ACM Conference on Programming Language Design and Implementation, June 2006, Ottawa, Canada.
WODA 2006
Workshop on Dynamic Analysis, May 2006, Shanghai, China.
CC 2006
International Conference on Compiler Construction, March 2006, Vienna, Austria.
VSTTE 2005
Verified Software: Theories, Tools, Experiments, October 2005, Zurich, Switzerland.
PASTE 2005 (co-chair)
ACM Workshop on Program Analysis for Software Tools and Engineering, September 2005, Lisbon, Portugal.
ESDDT 2005
Workshop on the Evaluation of Software Defect Detection Tools, June 2005, Chicago, IL, USA.
POPL 2005
ACM Symposium on Principles of Programming Languages, January 2005, Long Beach, CA, USA.
FTfJP 2004
Formal Techniques for Java-like Programs Workshop, June 2004, Oslo, Norway.
PASTE 2004
ACM Workshop on Program Analysis for Software Tools and Engineering, June 2004, Washington, DC, USA.
WODA 2004
Workshop on Dynamic Analysis, May 2004, Edinburgh, Scotland.
ICSE 2004
26th International Conference on Software Engineering, May 2004, Edinburgh, Scotland.
PL Day 2004
IBM Programming Language Day Workshop, May 2004, Hawthorne, NY, USA.
eTX 2004
2nd Eclipse Technology Exchange Workshop, March 2004, Barcelona, Spain.
WODA 2003 (co-chair)
Workshop on Dynamic Analysis, May 2003, Portland, OR, USA.
PASTE 2002
ACM Workshop on Program Analysis for Software Tools and Engineering, November 2002, Charleston, SC, USA.
FSE 2002
ACM SIGSOFT Tenth International Symposium on the Foundations of Software Engineering, November 2002, Charleston, SC, USA.
RV 2002
IEEE Workshop on Runtime Verification, July 2002, Copenhagen, Denmark.
NEPLS 6
Sixth New England Programming Languages and Systems Symposium, August 2002, New Haven, CT, USA.
NEPLS 5 (chair)
Fifth New England Programming Languages and Systems Symposium, February 2002, Cambridge, MA, USA.
SCAM 2001
IEEE International Workshop on Source Code Analysis and Manipulation, November 2001, Florence, Italy.
NEPLS 4
Fourth New England Programming Languages and Systems Symposium, October 2001, Burlington, MA, USA.
RV 2001
Workshop on Runtime Verification, July 2001, Paris, France.
IR 1995 (chair)
ACM SIGPLAN Intermediate Representations Workshop, January 1995, San Francisco, CA, USA.

Back to Michael Ernst's home page.