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, USA

Personal website: https://cs.brown.edu/~sk/

Contributions

GRACE 2018Author of Gradual Typing: Soundness, Performance and Developer Preference within the GRACE 2018-track
PLDI 2019Committee Member in Program Committee
OCAP 2018Committee Member in Program Committee within the OCAP 2018-track
DLS 2018Author of The Behavior of Gradual Types: A User Study within the DLS 2018-track
SPLASH 2018Speaker in Speakers within the PLMW-track
‹Programming› 2018Keynote Speaker of The Recurring Rainfall Problem within the Keynotes-track
Onward! 2017Author 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 2018Author 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 2017Author of Inferring Scope through Syntactic Sugar within the Research Papers-track
GRACE 2016Author of The Recurring Rainfall Problem within the GRACE-track
DLS 2016Committee Member in Program Committee within the DLS-track
SPLASH 2017Author of (CSES) Student Understanding of Aliasing and Procedure Calls within the SPLASH-E-track
Onward! 2016Committee Member in Steering Committee
ECOOP 2016Speaker 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 2016Onward! 2014 Papers Chair in Steering Committee
ERC member in External Program Committee within the OOPSLA-track
POPL 2016Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
DSLDI 2015Committee Member in Program Committee within the DSLDI-track
PLAS 2015Author of Programming and Verifying Today's and Tomorrow's Networks within the PLAS-track
Onward! 2015Author of Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations within the Onward! Papers-track
Committee Member in Steering Committee
NetPL 2015Speaker of Static and Dynamic Reasoning for SDNs within the NetPL-track
Speaker in Invited Speakers within the NetPL-track
PEPM 2015Author of Invited Talk: Desugaring in Practice: Opportunities and Challenges within the PEPM 2015-track
SPLASH 2015Onward! 2014 Papers Chair in Steering Committee
ECOOP 2015Presenter 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
DLSCommittee Member in Program Committee within the DLS-track
Onward!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 2014Committee 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 2013Author 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! 2013Author of Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems within the Research Papers-track
SPLASH 2013Author 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 2012Author of A tested semantics for getters, setters, and eval in JavaScript within the DLS 2012-track
FOOL 2012Author of Semantics and Types for Objects with First-Class Member Names within the FOOL 2012-track
SPLASH 2012Author of Progressive types within the Onward! Papers-track