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: Krishnamurthi:Shriram
Facilitated 8 volumes:
Ed
Ed
Ed
PrCoPrCoPrCo
Ed
EdContributed to:
2015
20152015
2015
20142014
20142013
2013
20132013
20132012
2012
2011
2011201120112010200920092009
2009
200820072006
2006
200620052005
2004200420042003200320032003200220022002200220012001
2001200120001999
19991999199819981998
19971996201720172018Wrote 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.