Shriram Krishnamurthi

Registered user since Sat 5 Apr 2014

Name:Shriram Krishnamurthi
Bio:

I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.

I believe tropical fruit are superior to all other kinds. I’d probably rather be out riding a bike up a mountain (slowly). I am terrified of success, because I may be forced to buy a suit. You can learn other things about me from my very serious Web site.

I am also known to interrogate my audiences to ensure they’re paying attention. So, be alert. You can read email later.

Affiliation:Brown University, United States
Personal website:https://cs.brown.edu/~sk/

Contributions

HATRA 2021 Committee Member in Program Committee within the HATRA 2021-track
SPLASH 2021 Author of Future of Conferences within the SIGPLAN Business-track
Committee Member in Program Committe within the CARES-track
ICER 2021 Program Committee Member in Program Committee within the Research Papers-track
Author of Early Post-Secondary Student Performance of Adversarial Thinking within the Research Papers-track
Author of Developing Behavioral Concepts of Higher-Order Functions within the Research Papers-track
HATRA 2020 Committee Member in Program Committee within the HATRA-track
POPL 2021 Presenter of SIGPLAN CARES within the POPL-track
Presenter of SIGPLAN CARES within the POPL-track
ICER 2020 Author of Using Design Alternatives to Learn About Data Organizations within the Research Papers-track
‹Programming› 2021 Committee Member in Program Committee within the Research Papers-track
Author of Using Relational Problems to Teach Property-Based Testing within the Research Papers-track
SPLASH 2020 Committee Member in Program Committe within the CARES-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Author of SIGPLAN CARES within the Social Events-track
Author of SIGPLAN CARES within the Social Events-track
SEConfig 2019 Author of Synthesizing Mutable Configurations: Setting up Systems for Success within the SEConfig 2019-track
ICSE 2021 Committee Member in Program Committee within the Technical Track-track
GRACE 2018 Author of Three approaches to Gradual Typing within the GRACE 2018-track
BLOCKS+ 2018 Author of Building an Accessible Block Environment within the BLOCKS+-track
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
‹Programming› 2019 Author of Event Loops as First-Class Values: A Case Study in Pedagogic Language Design within the Research Papers-track
OCAP 2018 Committee Member in Program Committee within the OCAP 2018-track
DLS 2018 Author of The Behavior of Gradual Types: A User Study within the DLS 2018-track
SPLASH 2018 Author of The story of Arjun Guha, or: the arc of a research project within the PLMW-track
Speaker in Speakers within the PLMW-track
‹Programming› 2018 Keynote Speaker of The Recurring Rainfall Problem within the Keynotes-track
Onward! 2017 Author of Error Messages are Classifiers: A Process to Design and Evaluate Error Messages within the Onward! Papers-track
Author of Can We Crowdsource Language Design? within the Onward! Papers-track
PLDI 2018 Author of Putting in All the Stops: Execution Control for JavaScript within the PLDI Research Papers-track
Author of Inferring Type Rules for Syntactic Sugar within the PLDI Research Papers-track
ICFP 2017 Author of Inferring Scope through Syntactic Sugar within the Research Papers-track
GRACE 2016 Author of The Recurring Rainfall Problem within the GRACE-track
DLS 2016 Committee Member in Program Committee within the DLS-track
SPLASH 2017 Author of (CSES) Student Understanding of Aliasing and Procedure Calls within the SPLASH-E-track
Onward! 2016 Committee Member in Steering Committee
ECOOP 2016 Speaker of Building a Research Program for Scripting Languages within the Summer School-track
Program Chair in Program Committee within the Research Track-track
Committee Member in Speakers within the Summer School-track
Modularity 2016 Committee Member in Review Committee (External) within the Research Results-track
SPLASH 2016 Onward! 2014 Papers Chair in Steering Committee
ERC member in External Program Committee within the OOPSLA-track
POPL 2016 Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
DSLDI 2015 Committee Member in Program Committee within the DSLDI-track
PLAS 2015 Author of Programming and Verifying Today's and Tomorrow's Networks within the PLAS-track
Onward! 2015 Author of Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations within the Onward! Papers-track
Committee Member in Steering Committee
NetPL 2015 Speaker of Static and Dynamic Reasoning for SDNs within the NetPL-track
Speaker in Invited Speakers within the NetPL-track
PEPM 2015 Author of Invited Talk: Desugaring in Practice: Opportunities and Challenges within the PEPM 2015-track
SPLASH 2015 Onward! 2014 Papers Chair in Steering Committee
ECOOP 2015 Presenter of The Evolving Design of Pyret within the Summer School-track
Invited Guest of The story of Arjun Guha, or: The arc of a research project within the Doctoral Symposium-track
Invited Guest in Academic Panel within the Doctoral Symposium-track
DLS Committee Member in Program Committee within the DLS-track
Onward! 2014 Session Chair of Session the Third (part of Onward! Papers)
Chair in Program Committee within the Onward! Papers-track
Committee Member in Steering Committee
SPLASH 2014 Committee Member in Program Committee within the OOPSLA-track
Session Chair of Peter Norvig Keynote (part of Keynotes)
Session Chair of Gary McGraw Keynote (part of Keynotes)
Onward! PC Chair in Organizing Committee
DLS 2013 Author of Whalesong: Running Racket in the Browser within the Research Papers-track
Author of TejaS: Retrofitting Type Systems for JavaScript within the Research Papers-track
Onward! 2013 Author of Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems within the Research Papers-track
SPLASH 2013 Author of Panel — MOOCs: Early Experience within the SPLASH-E-track
Author of Bootstrap: Programming Games with Algebra within the SPLASH-E-track

Author of Debate: Should Software Conferences Respect Software? within the Panels-track
Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track
Author of JavaScript as an Intermediate Language within the Keynotes-track
DLS 2012 Author of A tested semantics for getters, setters, and eval in JavaScript within the DLS 2012-track
FOOL 2012 Author of Semantics and Types for Objects with First-Class Member Names within the FOOL 2012-track
SPLASH 2012 Author of Progressive types within the Onward! Papers-track
SPLASH 2011 Author of Mind Your Language: On Novices’ Interactions with Error Messages within the Onward! -track