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

SPLASH 2024	Committee Member in Review Committee within the OOPSLA 2024-track
HATRA 2023	Committee Member in Program Committee within the HATRA-track
SPLASH 2023	Associate Chair in OOPSLA Review Committee within the OOPSLA-track
FUNARCH 2023	Committee Member in Program Committee within the FUNARCH 2023-track
ICER 2023	Committee Member in Program Committee within the Research Papers-track
‹Programming› 2023	Author of Gradual Soundness: Lessons from Static Python within the Research Papers-track Committee Member in Program Committee within the Research Papers-track Author of Little Tricky Logic: Misconceptions in the Understanding of LTL within the Research Papers-track
HATRA 2022	Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track
SPLASH 2022	Author of Applying cognitive principles to model-finding output: the positive value of negative information within the OOPSLA-track
ICFP 2022	Author of Structural Versus Pipeline Composition of Higher-Order Functions within the ICFP Papers and Events-track
ICER 2022	Author of Plan Composition Using Higher-Order Functions within the Research Papers-track Committee Member in Program Committee within the Research Papers-track Author of Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up within the Research Papers-track
ICPC 2022	Keynote Speaker of Un(der)examined Areas of Program Comprehension for Students within the Research-track
‹Programming› 2022	Author of Automated, Targeted Testing of Property-Based Testing Predicates within the Research Papers-track Author of Types for Tables: A Language Design Benchmark within the Research Papers-track
PADL 2022	Author of Declarative Programming and Education within the PADL 2022-track
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
ICSE 2021	Committee Member in Program Committee within the Technical Track-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
POPL 2021	Presenter of SIGPLAN CARES within the POPL-track Presenter of SIGPLAN CARES within the POPL-track
SPLASH 2020	Committee Member in Program Committe within the CARES-track
HATRA 2020	Committee Member in Program Committee within the HATRA-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
ICER 2020	Author of Using Design Alternatives to Learn About Data Organizations within the Research Papers-track
SEConfig 2019	Author of Synthesizing Mutable Configurations: Setting up Systems for Success within the SEConfig 2019-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
DLS 2018	Author of The Behavior of Gradual Types: A User Study within the DLS 2018-track
GRACE 2018	Author of Three approaches to Gradual Typing within the GRACE 2018-track
OCAP 2018	Committee Member in Program Committee within the OCAP 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
BLOCKS+ 2018	Author of Building an Accessible Block Environment within the BLOCKS+-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
‹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
SPLASH 2017	Author of (CSES) Student Understanding of Aliasing and Procedure Calls within the SPLASH-E-track
ICFP 2017	Author of Inferring Scope through Syntactic Sugar within the Research Papers-track
Onward! 2016	Committee Member in Steering Committee
SPLASH 2016	Onward! 2014 Papers Chair in Steering Committee ERC member in External Program Committee within the OOPSLA-track
DLS 2016	Committee Member in Program Committee within the DLS-track
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
GRACE 2016	Author of The Recurring Rainfall Problem within the GRACE-track
Modularity 2016	Committee Member in Review Committee (External) within the Research Results-track
POPL 2016	Committee Member in Program Committee within the Research Papers-track Committee Member in Program Committee
SPLASH 2015	Onward! 2014 Papers Chair in Steering Committee
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
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
PLAS 2015	Author of Programming and Verifying Today's and Tomorrow's Networks within the PLAS-track
DSLDI 2015	Committee Member in Program Committee within the DSLDI-track
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 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
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
DLS	Committee Member in Program Committee within the DLS-track
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
SPLASH 2012	Author of Progressive types within the Onward! Papers-track
FOOL 2012	Author of Semantics and Types for Objects with First-Class Member Names within the FOOL 2012-track
DLS 2012	Author of A tested semantics for getters, setters, and eval in JavaScript within the DLS 2012-track
SPLASH 2011	Author of Mind Your Language: On Novices’ Interactions with Error Messages within the Onward! -track