BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Estonia
1 × India
1 × Japan
1 × Norway
1 × Poland
1 × Slovenia
2 × Italy
2 × Sweden
2 × The Netherlands
20 × USA
3 × Austria
3 × Germany
4 × Canada
5 × France
5 × United Kingdom
Collaborated with:
K.Fisler M.Felleisen J.Pombrio J.G.Politz P.T.Graunke G.H.Cooper D.J.Dougherty M.Flatt R.B.Findler A.Guha D.R.Licata C.Saftoiu H.C.Li J.P.Baskin T.Nelson G.Marceau H.Q.l.Vallee S.P.Reiss O.Kiselyov John Wrenn M.Greenberg T.Antoniu C.Flanagan L.A.Meyerovich J.Li D.Patterson A.D.Ferguson S.Egelman A.Oates K.Burchett D.Ignatoff C.D.Harris M.McGuire J.F.Hughes D.S.Batory K.E.Gray Y.Erlich B.F.Duba D.P.Friedman Preston Tunnell Wilson B.S.Lerner L.Elberty J.Li D.Yoo E.Schanzer T.Giannakopoulos D.Yoo M.C.Tschantz C.Blundell P.V.Hentenryck Y.Ahmad S.Goldwater C.M.Kennedy T.Wooldridge S.V.D.Hoeven N.Danas T.Nelson S.Saghafi J.M.Walsh W.Zimrin G.Pettyjohn J.Clements J.Marshall P.A.Steckler E.Neuwirth S.Weirich Samuel Baxter Rachit Nigam A.Bromfield D.Clarke T.Clear M.Hauswirth V.Tirronen T.Wrigstad A.Martinez M.Milano S.Warren A.Chitipothu
Talks about:
program (18) languag (13) system (7) control (6) static (6) function (5) design (5) error (5) type (5) flow (5)

♂ Person: Shriram Krishnamurthi

DBLP DBLP: Krishnamurthi:Shriram

Facilitated 8 volumes:

Onward! 2014Ed
PASTE 2008Ed
CC 2007Ed
CBSE 2004PrCo
CBSE 2003PrCo
CBSE 2002PrCo
PADL 2002Ed
ECOOP 2016Ed

Contributed to:

FM 20152015
ICFP 20152015
Onward! 20152015
PEPM 20152015
ITiCSE 20142014
ITiCSE-WGR 20142014
PLDI 20142014
ECOOP 20132013
ICSE 20132013
OOPSLA 20132013
Onward! 20132013
POPL 20132013
Onward! 20122012
SAS 20122012
CHI 20112011
ESOP 20112011
ITiCSE 20112011
Onward! 20112011
ECOOP 20102010
FM 20092009
ICFP 20092009
OOPSLA 20092009
RecSys 20092009
FSE 20082008
PEPM 20072007
ESOP 20062006
FLOPS 20062006
IJCAR 20062006
ICFP 20052005
ICSE 20052005
ASE 20042004
FSE 20042004
ICSE 20042004
ASE 20032003
ESOP 20032003
ICSE 20032003
PADL 20032003
ASE 20022002
ESOP 20022002
FSE 20022002
ICSE 20022002
ASE 20012001
CBSE 20012001
ESEC/FSE 20012001
ESOP 20012001
PADL 20002000
ESOP 19991999
GCSE 19991999
ICFP 19991999
ECOOP 19981998
FSE 19981998
POPL 19981998
PLILP 19971997
PLDI 19961996
ESEC/FSE 20172017
Onward! 20172017
PLDI 20182018

Wrote 64 papers:

FM-2015-NelsonFK #difference #network #program analysis
Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
ICFP-2015-PombrioK #composition
Hygienic resugaring of compositional desugaring (JP, SK), pp. 75–87.
Onward-2015-LiPPK #semantics
Slimming languages by reducing sugar: a case for semantics-altering transformations (JL, JP, JGP, SK), pp. 90–106.
PEPM-2015-Krishnamurthi #challenge
Desugaring in Practice: Opportunities and Challenges (SK), pp. 1–2.
ITiCSE-2014-PolitzKF #framework #named #overview #platform #programming
CaptainTeach: a platform for in-flow peer review of programming assignments (JGP, SK, KF), p. 332.
ITiCSE-2014-PolitzPKF #bibliography #multi #named #programming
CaptainTeach: multi-stage, in-flow peer review for programming assignments (JGP, DP, SK, KF), pp. 267–272.
ITiCSE-WGR-2014-ClarkeCFHKPTW #bibliography #perspective
In-Flow Peer Review (DC, TC, KF, MH, SK, JGP, VT, TW), pp. 59–79.
PLDI-2014-PombrioK #evaluation #named #sequence
Resugaring: lifting evaluation sequences through syntactic sugar (JP, SK), p. 38.
ECOOP-2013-LernerELK #source code #static typing
Combining Form and Function: Static Types for JQuery Programs (BSL, LE, JL, SK), pp. 79–103.
ICSE-2013-NelsonSDFK #named
Aluminum: principled scenario exploration through minimality (TN, SS, DJD, KF, SK), pp. 232–241.
OOPSLA-2013-PolitzMMWPLCK #named #python
Python: the full monty (JGP, AM, MM, SW, DP, JL, AC, SK), pp. 217–232.
Onward-2013-ValleeWZFK #modelling #problem #reasoning #security
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems (HQdlV, JMW, WZ, KF, SK), pp. 1–16.
POPL-2013-Krishnamurthi #programming language
From principles to programming languages (and back) (SK), pp. 233–234.
Onward-2012-PolitzVK
Progressive types (JGP, HQdlV, SK), pp. 55–66.
SAS-2012-Krishnamurthi #analysis #javascript #semantics #web
Semantics and Analyses for JavaScript and the Web (SK), p. 4.
CHI-2011-EgelmanOK #data access #facebook #fault
Oops, I did it again: mitigating repeated access control errors on facebook (SE, AO, SK), pp. 2295–2304.
ESOP-2011-GuhaSK #analysis #type system #using
Typing Local Control and State Using Flow Analysis (AG, CS, SK), pp. 256–275.
ITiCSE-2011-YooSKF #named #programming
WeScheme: the browser is your programming environment (DY, ES, SK, KF), pp. 163–167.
Onward-2011-MarceauFK #error message #fault #interactive
Mind your language: on novices’ interactions with error messages (GM, KF, SK), pp. 3–18.
ECOOP-2010-GuhaSK #javascript
The Essence of JavaScript (AG, CS, SK), pp. 126–150.
FM-2009-GiannakopoulosDFK #alloy #semantics #towards
Towards an Operational Semantics for Alloy (TG, DJD, KF, SK), pp. 483–498.
ICFP-2009-FelleisenFFK #functional
A functional I/O system or, fun for freshman kids (MF, RBF, MF, SK), pp. 47–58.
OOPSLA-2009-MeyerovichGBCGBK #ajax #named #programming language
Flapjax: a programming language for Ajax applications (LAM, AG, JPB, GHC, MG, AB, SK), pp. 1–20.
RecSys-2009-BaskinK #recommendation
Preference aggregation in group recommender systems for committee decision-making (JPB, SK), pp. 337–340.
FSE-2008-KrishnamurthiFDY #alloy #implementation #named #specification
Alchemy: transmuting base alloy specifications into implementations (SK, KF, DJD, DY), pp. 158–169.
PEPM-2007-BurchettCK #functional #named #optimisation
Lowering: a static optimization technique for transparent functional reactivity (KB, GHC, SK), pp. 71–80.
ESOP-2006-CooperK #call-by #data flow
Embedding Dynamic Dataflow in a Call-by-Value Language (GHC, SK), pp. 294–308.
FLOPS-2006-IgnatoffCK #adaptation #framework #functional #object-oriented
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages (DI, GHC, SK), pp. 259–276.
IJCAR-2006-DoughertyFK #policy #reasoning #specification
Specifying and Reasoning About Dynamic Access-Control Policies (DJD, KF, SK), pp. 632–646.
ICFP-2005-PettyjohnCMKF #continuation #stack
Continuations from generalized stack inspection (GP, JC, JM, SK, MF), pp. 216–227.
ICSE-2005-FislerKMT #impact analysis #policy #verification
Verification and change-impact analysis of access-control policies (KF, SK, LAM, MCT), pp. 196–205.
ASE-2004-BlundellFKH #interface #product line #verification
Parameterized Interfaces for Open System Verification of Product Lines (CB, KF, SK, PVH), pp. 258–267.
ASE-2004-LicataK #interactive #source code #verification #web
Verifying Interactive Web Programs (DRL, SK), pp. 164–173.
ASE-2004-MarceauCKR #data flow #debugging
Dataflow Language for Scriptable Debugging (GM, GHC, SK, SPR), pp. 218–227.
FSE-2004-KrishnamurthiFG #verification
Verifying aspect advice modularly (SK, KF, MG), pp. 137–146.
ICSE-2004-AntoniuSKNF #correctness #source code #spreadsheet #validation
Validating the Unit Correctness of Spreadsheet Programs (TA, PAS, SK, EN, MF), pp. 439–448.
ASE-2003-AhmadAGK #detection #fault #spreadsheet #type system
A Type System for Statically Detecting Spreadsheet Errors (YA, TA, SG, SK), pp. 174–183.
ASE-2003-LicataHK #evolution #source code
The Feature Signatures of Evolving Programs (DRL, CDH, SK), pp. 281–285.
ESOP-2003-GraunkeFKF #interactive #modelling #web
Modeling Web Interactions (PTG, RBF, SK, MF), pp. 238–252.
ICSE-2003-ReissKWK #evolution #named
CLIME: An Environment for Constrained Evolution Demonstration Description (SPR, CMK, TW, SK), pp. 818–819.
PADL-2003-KiselyovK #named #xml
SXSLT: Manipulation Language for XML (OK, SK), pp. 256–272.
PADL-2003-Krishnamurthi #how
The CONTINUE Server (or, How I Administered PADL 2002 and 2003) (SK), pp. 2–16.
ASE-2002-LiKF #composition #interface #verification
Interfaces for Modular Feature Verification (HCL, SK, KF), pp. 195–204.
ESOP-2002-McGuireKH #programming language
Programming Languages for Compressing Graphics (MM, SK, JFH), pp. 68–82.
FSE-2002-LiKF #verification
Verifying cross-cutting features as open systems (HCL, SK, KF), pp. 89–98.
ICSE-2002-GraunkeK #control flow #flexibility #user interface #visual notation
Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs (PTG, SK), pp. 277–287.
ASE-2001-GraunkeFKF #automation #source code
Automatically Restructuring Programs for the We (PTG, RBF, SK, MF), pp. 211–222.
CBSE-2001-FislerKB #collaboration #component #design #verification
Verifying Component-Based Collaboration Designs (KF, SK, DSB), p. 17.
ESEC-FSE-2001-FislerK #composition #design #verification
Modular verification of collaboration-based software designs (KF, SK), pp. 152–163.
ESOP-2001-GraunkeKHF #programming language #web
Programming the Web with High-Level Programming Languages (PTG, SK, SVDH, MF), pp. 122–136.
PADL-2000-KrishnamurthiGG #xml
Transformation-by-Example for XML (SK, KEG, PTG), pp. 249–262.
ESOP-1999-KrishnamurthiEF
Expressing Structural Properties as Language Constructs (SK, YDE, MF), pp. 258–272.
GCSE-1999-KrishnamurthiFD #generative #metaprogramming #reuse
From Macros to Reusable Generative Programming (SK, MF, BFD), pp. 105–120.
ICFP-1999-FlattFKF #lisp #operating system #programming language
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) (MF, RBF, SK, MF), pp. 138–147.
ECOOP-1998-KrishnamurthiFF #design #functional #object-oriented
Synthesizing Object-Oriented and Functional Design to Promote Re-Use (SK, MF, DPF), pp. 91–113.
FSE-1998-KrishnamurthiF #formal method #towards
Toward a Formal Theory of Extensible Software (SK, MF), pp. 88–98.
POPL-1998-FlattKF #mixin
Classes and Mixins (MF, SK, MF), pp. 171–183.
PLILP-1997-FindlerFFKF #named #programming
DrScheme: A Pedagogic Programming Environment for Scheme (RBF, CF, MF, SK, MF), pp. 369–388.
PLDI-1996-FlanaganFKWF #debugging #invariant #web
Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.
ESEC-FSE-2017-NelsonDDK #power of #why
The power of “why” and “why not”: enriching scenario exploration with provenance (TN, ND, DJD, SK), pp. 106–116.
Onward-2017-WilsonPK #crowdsourcing #design #question
Can we crowdsource language design? (PTW, JP, SK), pp. 1–17.
Onward-2017-WrennK #classification #design #error message #fault #process
Error messages are classifiers: a process to design and evaluate error messages (JW, SK), pp. 134–147.
PLDI-2018-BaxterNPKG #execution #javascript
Putting in all the stops: execution control for JavaScript (SB, RN, JGP, SK, AG), pp. 30–45.
PLDI-2018-PombrioK
Inferring type rules for syntactic sugar (JP, SK), pp. 812–825.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.