2018 ACM SIGPLAN Election

(For the term of 1 July 2018 – 30 June 2021)

 


Candidate Chair

Candidate for Vice-Chair

Candidate for Member-at-Large

PDF of the statements and biographies


Candidate for Chair

Peter Thiemann

Albert-Ludwigs-Universität, Freiburg, Germany

BIOGRAPHY

Academic Background:
Dr. rer.-nat., Universität Tübingen, 1992, Computer Science.

Professional Experience:
Full Professor, Albert-Ludwigs-Universität, Freiburg, Germany, 2011 – Present;
Associate Professor, Albert-Ludwigs-Universität, Freiburg, Germany, 1999 – 2011;
Lecturer, University of Nottingham, UK, 1998 – 1999.

Professional Interest:
Contracts, gradual types, and their semantics; Session types; Static and dynamic analysis;
Language-based security; Partial evaluation.

ACM Activities:
Vice chair, SIGPLAN, 2015 – 2018;
General chair, ICFP, SIGPLAN, 2012;
Program chair, ICFP, SIGPLAN, 2008;
Program chair, PEPM, SIGPLAN, 2002.

Membership and Offices in Related Organizations:
Associate editor/Tutorial editor, Journal of Functional Programming, 2014 – 2020;
Program chair, PPDP, 2018;
Program chair, FLOPS, 2012.

STATEMENT

I have been involved in SIGPLAN conferences for all my academic life, first as a participant and contributor, later as an organizer at all levels. These activities have helped me gain some understanding of the workings of SIGPLAN.

I believe that ACM/SIGPLAN should work for the benefit of the community. Here are three major points that I'd like to address:

  1. Further development of the publication model: move towards journal publication augmented with conference presentations, avoid paywalls as much as possible, experimentation with new reviewing models and virtual conference models.
  1. Rethinking diversity: the current model needs to be revamped to ensure diversity without putting a lot of stress on few shoulders. At the same time, we need to support work on improving diversity in the community starting as early as possible.
  1. Community involvement: some decisions should be borne by the community, rather than by committees. Some conference-related examples are the publication model, the reviewing style, and deadlines.

[top]


Candidate for Chair

Jens Palsberg

University of California, Los Angeles (UCLA), CA, USA

BIOGRAPHY

Academic Background:
Ph.D., University of Aarhus, Denmark, 1992, Computer Science.

Professional Experience:
Professor, UCLA, CA, 2003 – Present;
Professor, Purdue University, West Lafayette, IN, 1996 – 2003;
Visiting Scientist, Massachusetts Institute of Technology (MIT), Cambridge, MA, 1995 – 1996.

Professional Interest:
Programming languages; Software engineering; Embedded systems.

ACM Activities:
Editor-in-chief, TOPLAS, SIGPLAN, 2010 – 2016;
Program chair, POPL, SIGPLAN, 2010;
General chair, POPL, SIGPLAN, 2005;
Vice chair and secretary/treasurer, SIGBED, 2005 – 2009.

Awards Received:
ACM SIGPLAN Distinguished Service Award, 2012.

STATEMENT

I am honored to be nominated to serve as chair of SIGPLAN. SIGPLAN is my intellectual home and the focus of many of my activities. I have published papers of ICFP, OOPSLA, PLDI, and POPL; I have served as TOPLAS editor-in-chief, POPL program chair, and POPL general chair; and I am a proud recipient of the ACM SIGPLAN Distinguished Service Award. I have additional leadership experience from five years as department chair of the Computer Science Department at UCLA and from four years as secretary/treasurer and vice chair of SIGBED. I also received an MBA from UCLA Anderson in 2017. I am impressed and delighted with the progress that SIGPLAN has made this decade. If elected as SIGPLAN chair, my priorities are to strengthen the interface between the SIGPLAN conferences and the newly formed Proceedings of the ACM; strengthen the artifact evaluation and the mentoring workshops; and strengthen the support system for the SIGPLAN conferences, including HotCRP, conference webpages, and conference management. I would also like to strengthen the industry engagement with SIGPLAN conferences, and strengthen the outreach to ACM student chapters at universities around the world.

[top]


Candidate for Vice-Chair

Benjamin C. Pierce

University of Pennsylvania, Philadelphia, PA, USA

BIOGRAPHY

Academic Background:
Ph.D., Carnegie Mellon University (CMU), 1991, Computer Science.

Professional Experience:
Associate Professor/Professor, University of Pennsylvania, Philadelphia, PA, 1998 – Present;
Assistant Professor, Indiana University, Bloomington, IN, 1996 – 1998;
Postdoctoral researcher, University of Cambridge, UK, 1994 – 1996.

Professional Interest:
Programming languages; Formal methods; Type systems; Bidirectional languages; File synchronization.

ACM Activities:
Chair of Ad Hoc Committee on Climate Change, SIGPLAN, 2016 – Present;
POPL PC Chair, SIGPLAN, 2009;
ICFP PC Chair, SIGPLAN, 2005;
ICFP General Chair, SIGPLAN, 2001.

Membership and Offices in Related Organizations:
Chair, IFIP Working Group 2.8 (Functional Programming), 2011 – 2013.

Awards Received:
Doctor Honoris Causa, Chalmers University, 2015;
Most Influential POPL paper from 2005, (announced in 2015);
LICS Test of Time award, 2013;
ACM Fellow, 2012.

STATEMENT

SIGPLAN is my home: I love both the community and the work we do together. My first commitment as vice-chair will be to maintain and foster its tradition of excellence, especially our excellent conferences. I bring significant experience to this task, having served as general chair of ICFP and program chair of both ICFP and POPL.

I will introduce one major new initiative: helping SIGPLAN and ACM address climate change in a serious, balanced way. Indeed, I am already deeply involved in this task, as chair of an ad-hoc SIGPLAN committee formed last year to explore possible responses to climate change (http://www.sigplan.org/Resources/Climate). As vice-chair I will lead the community in developing, building consensus for, and implementing strategies for minimizing the carbon impact of our activities -- again, especially conferences -- while maximizing their scientific and social benefits.

A vote for me is thus a vote for making climate change a significant part of SIGPLAN planning and decision making. If you find this a bad idea, I warmly encourage you to vote for one of my opponents, either of whom will do an outstanding job!

[top]


Candidate for Vice-Chair

Giuseppe Castagna

CNRS, Université Paris Diderot, Paris, France

BIOGRAPHY

Academic Background:
Ph.D., Université Paris 7, 1994, Computer Science.

Professional Experience:
Senior Research Scientist, CNRS, Université Paris Diderot, France, 2006 – Present;
Research Scientist, CNRS, Ecole Normale Supérieure de Paris, France, 1994 – 2006.

Professional Interest:
Functional programming; Types and Subtyping; XML Processing Languages;
Object-Oriented Programming; Language-Integrated Queries.

ACM Activities:
General Chair, POPL, SIGPLAN, 2017;
Chair of the Steering Committee, POPL, SIGPLAN, 2017 – Present;
Member of the Editorial Board of PACMPL, SIGPLAN, 2017 – Present.

Membership Offices in Related Organizations:
Chair of the Steering Committee, European Symposium on Programming (ESOP), 2011 – 2017;
Member of the Steering Committee, European Conference on Object-Oriented Programming (ECOOP), AiTO, 2013 – Present;
Member of the Steering Committee, European Joint Conference on Theory and Practice of Software (ETAPS), 2007 – 2017.

Awards Received::
Member of the Academia Europea (peer elected), 2011.

STATEMENT

Thanks to its past and current Executive Committees, SIGPLAN leads the way in improving various aspects of the research landscape in computing: open access publication; a tighter integration between conferences and journals and the alignment of our publications practices to academic evaluation criteria of other disciplines; the emphasis and promotion of reproducibility of scientific results. I am sincerely honored to have the opportunity to take part in this movement and as SIGPLAN vice-chair I will push on all these fronts. We must strengthen the (already important) efforts to support the participation (in various forms) of students and young researchers to SIGPLAN events, so as to create and promote a sense of community among them. We must enlarge our SIG community by facilitating the involvement of underrepresented geographical areas. We must innovate to foster the clustering of satellite events around main ones, in order to offer more opportunities for gathering and exchange; this must be accompanied by increasing logistical and procedural support for SIGPLAN event organizers. Finally, we must reinforce the exchange of ideas among the various SIGPLAN conferences so that the best practices of one can be experimented by and adapted to the others.

[top]


Candidate for Vice-Chair

Christoph Kirsch

University of Salzburg, Austria

BIOGRAPHY

Academic Background:
Dr.Ing., Saarland University/Max-Planck Institute for Computer Science, 1999, Computer Science.

Professional Experience:
Full Professor and Chair of the Computational Systems Group, University of Salzburg, Austria,
2004 – Present;
Visiting Professor, UC Berkeley, Department of Civil and Environmental Engineering, Berkeley, CA, 2014;
Postdoctoral Scholar, University of California Berkeley, CA, 1999 – 2004.

Professional Interest:
Principled engineering of software systems; Embedded, real-time, concurrent, and mobile programming; Memory management;
Virtual execution environments; Software verification.

ACM Activities:
General Chair, ISMM, 2017;
Chair, SIGBED, 2011 – 2013;
General Chair, EuroSys, 2011;
PC Co-Chair, EMSOFT, 2007.

Awards Received:
IBM Faculty Award, 2007.

STATEMENT

Imagine a world in which virtually everyone at least intuitively understands the fundamental principles of information and computation. Computer Science for All is a phrase that has become a synonym for the global trend towards making computer science accessible to broader audiences. However, computer science, in research and in education, is still a young field compared to others and lacks maturity despite the enormous demand created by information technology. The topic of our SIG puts us in the ideal position to co-lead, together with other core disciplines in computing, the effort of addressing the technological and societal importance of computer science. My interest in this effort is rooted in my background which is in the intersection of systems, programming languages, and formal methods.

[top]


Candidate for Member-at-Large

Albert Cohen

INRIA, Paris, France

BIOGRAPHY

Academic Background:
Habilitation thesis, Université Paris Sud 11, 2007, Computer Science – Compilers.

Professional Experience:
Visiting Scientist (part time), Facebook, Paris, France, 2017 – Present;
Senior Research Scientist, INRIA, Paris, France, 2000 – Present;
Associate Professor (part time), École Polytechnique, Paris, France, 2006 – 2015.

Professional Interest:
Parallelizing and optimizing compilation; Parallel programming languages;
Synchronous programming and compilers; Polyhedral compilation;
Transfer of polyhedral compilation to production and industry.

ACM Activities:
General Chair: PPoPP, 2015 and PLDI, 2017;
Steering Committee Member: PPoPP, 2015 – Present; PLDI 2017 - Present;
Associate Editor, ACM TACO, 2012 – Present;
Member: ACM, 2002 – Present; SIGPLAN, 2008 – Present.

Membership and Offices in Related Organizations:
Steering Committee member, HiPEAC network, 2006 – Present.

Awards Received:
SIGPLAN Programming Software Award - for GCC – as the nominator, 2014.

STATEMENT

SIGPLAN has been actively promoting discussion, collecting feedback, data, to improve our conferences and journals, supporting students and awards. SIGPLAN is also immensely useful to conference organizers through its long-term commitment with conference managers, and supporting HotCRP and researchr.org. Having served as the GC of major SIGPLAN events (PLDI 2017, PPoPP 2015) and related conferences (HiPEAC 2012) and served in numerous PCs, I wish to directly contribute to the adventure.

This is a time of heated debate among publication models, and competition with highly visible application areas (machine learning, data, graphics, HPC...). PL scientists and engineers are highly demanded in all areas. The community should remain dynamic and inclusive: dynamic in adapting its publication culture; inclusive to all areas (science, engineering, humanities) while promoting its core CS heritage. This balance may only be achieved through sustained communication and transparency.

I will support bolder moves towards both green and inexpensive gold open access, towards journal-first publication models, and strengthening conferences on what they do best: giving exposure to PL results and systems, networking, interacting across areas, academia, industry and education, and providing financial resources through large colocated events. I will defend SIGPLAN interests within the ACM and the broader scientific community.

[top]


Candidate for Member-at-Large

Antony Hosking

Purdue University, West Lafayette, IN, USA

BIOGRAPHY

Academic Background:
Ph.D., University of Massachusetts at Amherst, 1995, Computer Science.

Professional Experience:
Professor, Australian National University, Canberra, Australia, 2015 – Present;
Associate Professor, Purdue University, West Lafayette, IN, 2001 – 2017;
Assistant Professor, Purdue University, West Lafayette, IN, 1995 – 2001.

Professional Interest:
Programming Language Implementation; Concurrency and Parallelism, Transactional Memory;
SPLASH: Steering Committee Chair, (2015 – 2017); General Chair, SIGPLAN, (2012 – 2013);
ISMM Steering Committee Chair, SIGPLAN, 2015 – 2016;
VEE Steering Committee Chair, SIGPLAN/SIGOPS, 2012 – 2013;
ACM Senior Member, 2008.

ACM Activities:
SPLASH: Steering Committee Chair, (2015 – 2017); General Chair, SIGPLAN, (2012 – 2013);
ISMM Steering Committee Chair, SIGPLAN, 2015 – 2016;
VEE Steering Committee Chair, SIGPLAN/SIGOPS, 2012 – 2013;
ACM Senior Member, 2008.

Membership and Offices in Related Organizations:
Member, Association Internationale pour les Technologies Objets (AITO), 2013 – Present.

Awards Received:
ACM Distinguished Scientist, 2012.

STATEMENT

I have a deep and abiding commitment to the success of SIGPLAN across all of its activities, and have served on the program committees of PLDI, OOPSLA, POPL, ISMM, and VEE. I have also served on the selection committees of several ACM SIGPLAN awards: the Robin Milner Young Researcher Award, the John C. Reynolds Doctoral Dissertation Award, and the Programming Languages Software Award. I have been Steering Committee Chair of SPLASH/OOPSLA, VEE, and ISMM. These roles have given me a strong appreciation for where our field comes from and where it is going.

As publishing models for flagship SIGPLAN conferences are changing it is important that we maintain the health of all our venues, since they play such an important role in nurturing new ideas and new entrants to our field. As we apply new rigor in assessing artifacts and experimental evaluations in support of scientific claims we must take care that associated processes remain streamlined. I will work with all SIGPLAN constituencies in this time of change to ensure that PL continues to be an open, vibrant, and exciting area in which to base a career, attractive to all.

[top]


Candidate for Member-at-Large

Mira Mezini

Technische Universität Darmstadt, Germany

BIOGRAPHY

Academic Background:
Ph.D., Universität Siegen, 1997, Computer Science.

Professional Experience:
Professor of Computer Science, Department Head, VP for Research, Technische Universität Darmstadt, Germany, 2000 – Present;
Research Associate, Universität of Siegen, Germany, 1998 – 2000;
Assistant Professor, Northeastern University, Boston, MA, 1997 – 1998.

Professional Interest:
Programming Languages; Distributed Data Intensive and Reactive Software Systems;
Software Security; Data-driven Software Engineering; Software Analysis.

ACM Activities:
PC/ERC Memberships, OOPSLA, SIGPLAN, 2002 – 2017;
PC resp. EPC Members, PLDI, SIGPLAN, 2013 – 2017;
ERC resp. PC Members, POPL, SIGPLAN, 2016 – 2017;
PC Memberships of ICSE/FSE/ASE, SIGSOFT, 2012 – 2017.

Membership and Offices in Related Organizations:
Board Member and Vice-President, AITO, 2004 – Present;
Program Chair, ESEC/FSE, ESEC Steering Committee in Cooperation with SIGSOFT, 2013;
PC Chair, ECOOP, AITO, 2011.

Awards Received:
Election, German National Academy Science and Engineering, 2016; IBM Eclipse Innovation Award, 2016; European Research Council (ERC) Advanced Grant, 2012; IBM Faculty Award, 2005.

STATEMENT

In 20 years of involvement with SIGPLAN Conferences, I have highly appreciated SIGPLAN’s work, but also identified challenges that I'd like to help address:

(a) Research and development are increasingly interdisciplinary. Within computing, area boarders are getting blurred. Often this involves programming languages and platforms. How can we ensure that SIGPLAN events/activities foster active interactions across areas/disciplines?

(b) Exciting PL research is happening at R&D departments of Google, Facebook, Twitter, etc. How can we foster interaction between the research communities across academia and industry?

(c) Submissions to few flagship conferences are growing in numbers, while mediumsize/ specialized conferences are being marginalized. Hence, a large number of good papers struggle to get exposure. I believe, this is unhealthy in the long term. NIPS' experiment indicates one eventual related problem:  increasing randomness of peer reviewing processes. How can we address this issue?

(d) Ensuring diversity in all levels and dimensions, including gender, minorities, as well as geographic dimensions. How can we more actively engage communities from Europe, Asia and elsewhere in the world.

My experience with forefront research, community services, and managerial positions will help me in contributing to address these challenges.

[top]


Candidate for Member-at-Large

Azadeh Farzan

University of Toronto, Canada

BIOGRAPHY

Academic Background:
Ph.D., University of Illinois at Urbana Champaign, 2007, Computer Science.

Professional Experience:
Associate Professor, University of Toronto, Canada, 2014 – Present;
Assistant Professor, University of Toronto, Canada, 2008 – 2014;
Post Doctoral Fellow, Carnegie Mellon University, Pittsburgh, PA, 2007 – 2008.

Professional Interest:
Programming Languages; Formal Methods; Logic; Automata Theory; Parallel Computing.

ACM Activities:
Member, SIGPLAN, 2012 – Present.

Awards Received:
NSERC Accelerated Discovery Award, 2015;
Ontario Ministry of Research Early Researcher Award, 2014;
Connaught Early Researcher Award, 2009.

STATEMENT

We are at a juncture in PL research. On one hand, PL technology is increasingly central to external communities from networks to security. On the other hand, our community has grown more slowly than others and has less visibility. I see a need to nurture and grow the PL community and accelerate dissemination of our ideas within and outside our community. My mission as a SIGPLAN officer would be to help us do so. Specifically, I want to facilitate the dispatching of new ideas, while maintaining the rigor of the selection process in our top conferences. I believe a move towards rotating deadlines (in the style of VLDB or SIGGRAPH) can help achieve this goal.

Effective mentoring can also have a big impact on sustained growth of the community. We have taken steps towards good mentoring practices through PLMW. I want to expand these practices by pairing senior or mid-career PL researchers with junior researchers for long-term mentoring relationships across institutions.

I have been active in SIGPLAN for over eight years, served on the PC of POPL twice, and chaired CAV in 2016.

[top]


Candidate for Member-at-Large

Ranjit Jhala

University of California, San Diego, CA, USA

BIOGRAPHY

Academic Background:
Ph.D., University of California, Berkeley, 2004, Computer Science.

Professional Experience:
Professor, University of California, San Diego, CA, 2014 – Present;
Associate Professor, University of California, San Diego, CA, 2010 – 2014;
Assistant Professor, University of California, San Diego, CA, 2004 – 2010.

Professional Interest:
Programming Languages; Software Engineering; Formal Methods.

ACM Activities:
Member, POPL Steering Committee, SIGPLAN, 2017 – Present;
General Chair, POPL 2018, SIGPLAN, 2017 – 2018.

Membership and Offices in Related Organizations:
Program Chair for CC 2013: International Conference on Compiler Construction, ETAPS, 2012 – 2013;
Program Chair for APLAS 2012: Asian Symposium on Programming Languages and Systems, APLAS,
2011 – 2012;
Program Chair for VMCAI 2011: International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI, 2010 – 2011.

Awards Received:
Best Paper Award, ACM/USENIX NSDI 2007;
David J. Sakrison Memorial Prize, University of California, Berkeley, 2004;
Most Influential Paper Award for POPL 2004, (announced 2014).

STATEMENT

I have been part of the SIGPLAN community since POPL 2002, when my hair was (mostly) black, and have come to learn how vital SIGPLAN is to PL. As General Chair of POPL 2018, I have come to appreciate the staggering levels of dedication that SIGPLAN has to build, maintain and grow the community. Thus, I am honored by the nomination to serve on the EC and grateful for a chance to pay forward some of the support that I have received.

SIGPLAN has been in excellent hands; there are some directions I will try to especially help along.

  • I would like to accelerate the initiatives aimed towards lowering the monetary and environmental costs of physical co-location, including online PC meetings and remote conference participation
    (c.f. POPL 2018), and more ambitiously, a single federated SIGPLAN conference.
  • There has been an explosion in interest in PL technology in the developer community. SIGPLAN could benefit by tapping into this interest, e.g by co-locating with developer focused conferences
    (e.g. ICFP@StrangeLoop) and by including developers in SIGPLAN conferences. Closer ties would make the community, more diverse, and accelerate the adoption of research ideas.

[top]


Candidate for Member-at-Large

Tobias Wrigstad

Uppsala University, Sweden

BIOGRAPHY

Academic Background:
Ph.D., Royal Institute of Technology, 2006, Computer and Systems Science.

Professional Experience:
Associate Professor, Department of Information Technology, Uppsala University, Sweden, 2012 – Present;
Assistant Professor, Department of Information Technology, Uppsala University, Sweden, 2010 – 2012;
Postdoctoral Research Associate, Department of Computer Science, Purdue University, IN, 2007 – 2009.

Professional Interest:
Type systems; Concurrent and parallel programming; Managed run-times; Software engineering; Scripting languages.

ACM Activities:
SPLASH/OOPSLA PC member, 2018;
PLDI PC member, 2018;
SPLASH/OOPSLA PC member, 2015;
POPL PC member, 2013.

Membership and Offices in Related Organizations:
Vice President, AITO, 2017 – Present;
General Chair, ECOOP, 2014.

Awards Received:
Dahl-Nygaard Junior Prize (given by AITO), 2012;
Teacher of the Year (given by students in the department), 2017.

STATEMENT

As a long-time member, I am honoured to be nominated to serve SIGPLAN. As SIGPLAN members know, programming languages is one of the most important technologies of the last decades. Without the advances in our field, the face of the computer revolution would be a very different -- and less exciting -- one. Yet, outside of our field, programming languages are often considered a "solved problem", or possibly one soon to be made obsolete by advances in machine learning.

Yet, at the same time, we are seeing programming entering education from the very first years of school. We are facing a future where computer literacy in general and coding skills in particular are on the rise. As a consequence of this change, not only do we need to adapt what we teach at university -- both to cater to a more mature and more diverse student population, but also work closely with schools and junior curricula to influence how programming is taught from the very beginning.

Programming languages help shape our thoughts and guide our minds as the building blocks for the core of programming -- problem solving. In SIGPLAN, I will work hard to advocate our field's importance and relevance.

[top]


Candidate for Member-at-Large

Emery Berger

University of Massachusetts Amherst, MA, USA

BIOGRAPHY

Academic Background:
Ph.D., University of Texas at Austin, 2002, Computer Science.

Professional Experience:
Professor, University of Massachusetts Amherst, MA, 2014–Present;
Associate Professor, University of Massachusetts Amherst, MA, 2008–2014;
Visiting Professor, Universitat Politècnica de Catalunya, Barcelona, Spain, 2008–2009.

Professional Interest:
Programming languages; Systems; Security.

ACM Activities:
Member-at-Large, SIGPLAN EC, 2015–Present;
SIGPLAN: Associate Editor, ACM TOPLAS, 2007–2017; Program Chair, PLDI 2016, 2015–2016;
Chair, SIGOPS Dissertation Committee, SIGOPS, 2017;
ACM Senior Member, 2011.

Awards Received:
Most Influential Paper Award, PLDI 2016;
Best Paper Award, SOSP 2015;
Most Influential Paper Award, OOPSLA 2012.

STATEMENT

I served as Member-at-Large for the last three years and look forward to serving another term, both to provide continuity on the EC and to continue to serve the SIGPLAN community.

I believe my background brings a broad perspective to the EC. While my "home" is Programming Languages, I also publish in the Systems community (among others). I am a frequent visiting researcher at Microsoft Research, and have worked and lived overseas, including as a visiting professor at the UPC/Barcelona Supercomputing Center. I hope to continue to work with the EC in the following areas:

Programming languages help shape our thoughts and guide our minds as the building blocks for the core of programming -- problem solving. In SIGPLAN, I will work hard to advocate our field's importance and relevance.

  • Increasing the visibility of PL: On the EC, I chaired a number of awards committees including SIGPLAN Research Highlights. Last year, two of our three nominees were selected as CACM Research Highlights, helping give visibility to great work coming out of our community.
  • Attracting and retaining students: Just as one example, we should include them in all of our banquets and excursions!
  • Increasing the participation of women and under-represented minorities.
  • Continuing our role as leaders of the CS community in terms of scientific rigor, reproducibility, and credibility. (e.g., the AEC process, which the ACM has now adopted).

[top]


Candidate for Member-at-Large

Gavin Bierman

Oracle Labs, Cambridge, United Kingdom

BIOGRAPHY

Academic Background:
Ph.D., University of Cambridge, 1994, Computer Science.

Professional Experience:
Consulting member of technical staff, Oracle Labs, Cambridge, UK, 2014 – Present;
Senior Researcher, Microsoft Research, Cambridge, UK, 2004 – 2014;
University Lecturer, University of Cambridge Computer Laboratory, Cambridge, UK, 2000 – 2004.

Professional Interest:
Design and Implementation of Programming Languages; Object-oriented software;
Type systems; Dynamic languages; Database programming languages.

ACM Activities:
Member, SIGPLAN, 2003 – Present.

STATEMENT

I am honoured to be considered to represent the SIGPLAN community as a member-at-large. SIGPLAN is a broad community, and I want to strengthen links between the different groups within that community: from the academics to the practitioners, from the functional programmers to the embedded systems developers. We have a lot to learn from each other. Finding new collaborations and directions will strengthen our field. Having been variously an academic, a blue-sky researcher in an industrial lab, and a researcher working with product teams, I bring a breadth of experience that will help in strengthening these connections. I am particularly keen to improve the connections between the academic and industrial sides of the SIGPLAN community. I am optimistic for the future of our area. Many of the important shifts in our industry, e.g. AI, cryptocurrencies, non-volatile memories are ripe for the techniques, methodologies and insights of SIGPLAN members. As a member-at-large I would like to be an advocate for the field and help us impact on other important areas of Computer Science.

[top]


Candidate for Member-at-Large

Cindy Rubio-Gonzalez

University of California, Davis, CA, USA

BIOGRAPHY

Academic Background:
Ph.D., University of Wisconsin-Madison, 2012, Computer Science.

Professional Experience:
Assistant Professor, University of California, Davis, CA, 2014 – Present;
Postdoctoral Researcher, University of California, Berkeley, CA, 2012 – 2014.

Professional Interest:
Programming Languages; Software Engineering; Scientific Computing; Systems.

ACM Activities:
Program Committee Member, OOPSLA '18, SIGPLAN, 2018;
Co-Chair CORRECTNESS '17 Workshop at SC, SIGHPC, 2017;
Program Committee Member, PLDI '16, SIGPLAN, 2016;
Co-Chair Student Research Competition at FSE '16, SIGSOFT, 2016.

Membership and Offices in Related Organizations:
International Fellowships Selection Panel, American Association of University Women (AAUW),
2018 – 2020;
Member, Latinas in Computing, 2008 – Present.

Awards Received:
National Science Foundation CAREER Award, 2018;
University of California, Davis Hellman Fellow, 2017;
University of California, Davis CAMPOS Faculty Scholar, 2014.

STATEMENT

This is my first time running for an ACM SIGPLAN Member-at-Large position, and I would be honored to be elected. I have been an ACM member since I was a graduate student. I have been mainly involved with three ACM Special Interest Groups: SIGPLAN, SIGSOFT, and SIGHPC. Since I joined UC Davis as an Assistant Professor three years ago, I have served on several program committees across these groups, including OOPSLA '18, ISSTA '18/17, PLDI '16, CC '17, and SC '17/16. I also co-organized the First International Workshop on Software Correctness for HPC Applications (CORRECTNESS '17) co-located with SC, and the Student Research Competition at FSE '16.

If elected, I would be excited to work on:

(1) promoting the participation of women and underrepresented minorities in SIGPLAN conferences,

(2) supporting outreach programs for students to pursue graduate studies in Programming Languages through student research competitions, mentoring workshops, and travel support grants to attend SIGPLAN conferences, and

(3) supporting SIGPLAN's efforts to facilitate the reproducibility of experiments through the Artifact Evaluation process.

[top]


Candidate for Member-at-Large

Jeffrey S. Foster

University of Maryland, College Park, MD, USA

BIOGRAPHY

Academic Background:
Ph.D., University of California, Berkeley, 2002, Computer Science.

Professional Experience:
Professor, University of Maryland, College Park, MD, 2014 – Present;
Associate Chair for Graduate Education, University of Maryland, College Park, MD, 2012 – Present;
Assistant and Associate Professor, University of Maryland, College Park, MD, 2003 – 2014.

Professional Interest:
Programming Languages; Program Analysis; Type Systems; Software Engineering; Cybersecurity.

ACM Activities:
General Chair, PLDI, 2018 – Present;
Associate Editor, TOPLAS, 2016 – Present;
Co-Chair, PASTE, 2013;
Treasurer, POPL, 2007 – 2010.

Membership and Offices in Related Organizations:
Member, IFIP Working Group 2.4, 2015 – Present;
Co-Chair, Workshop on Hot Topics in Software Updates (HotSWUp), 2013.

Awards Received:
Department of Computer Science Teaching Award, 2006;
NSF CAREER Award, 2004.

STATEMENT

It would be a privilege to serve the SIGPLAN community as a member at large.

SIGPLAN hosts some of the most influential conferences and journals in computer science. Our community is also a leader within ACM, with recent movement toward PACM and open access, artifact evaluation, and the PLMW workshop for students, among others. However, we still face many challenges, which I will work toward solving if elected.

To remain vibrant, we must recruit and retain strong students to the field. While we have some student-focused activities (e.g, PLMW, OPLSS [which I have been involved in in the past], SRC’s, etc.), we should do more. We should also do more to welcome contributions from researchers in other fields, while maintaining our high standards, and to advertise our work across ACM. We should strive to increase the diversity of our community. We need to monitor the move to PACM to make sure it is meeting the needs of the community, and we need to watch the interaction with TOPLAS so our top journal remains strong. Finally, we need to continually improve our policies and procedures so that we encourage and promote the highest quality work.

[top]