@inproceedings{Krishnamurthi13,
  title = {From principles to programming languages (and back)},
  author = {Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1145/2429069.2429097},
  url = {http://doi.acm.org/10.1145/2429069.2429097},
  researchr = {https://researchr.org/publication/Krishnamurthi13},
  cites = {0},
  citedby = {0},
  pages = {233-234},
  booktitle = {POPL},
}

@inproceedings{PettyjohnCMKF05,
  title = {Continuations from generalized stack inspection},
  author = {Greg Pettyjohn and John Clements and Joe Marshall and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2005},
  doi = {10.1145/1086365.1086393},
  url = {http://doi.acm.org/10.1145/1086365.1086393},
  researchr = {https://researchr.org/publication/PettyjohnCMKF05},
  cites = {0},
  citedby = {0},
  pages = {216-227},
  booktitle = {ICFP},
}

@inproceedings{GuhaSK10,
  title = {The Essence of JavaScript},
  author = {Arjun Guha and Claudiu Saftoiu and Shriram Krishnamurthi},
  year = {2010},
  doi = {10.1007/978-3-642-14107-2_7},
  url = {http://dx.doi.org/10.1007/978-3-642-14107-2_7},
  tags = {programming languages, semantics, JavaScript, meta programming, meta-model, modeling language, modeling, language modeling, testing, type system, security, operational semantics, Meta-Environment, process modeling},
  researchr = {https://researchr.org/publication/GuhaSK10},
  cites = {21},
  citedby = {0},
  pages = {126-150},
  booktitle = {ECOOP},
}

@inproceedings{Marceau2011,
  title = {Mind your language: on novices' interactions with error messages},
  author = {Marceau, Guillaume and Fisler, Kathi and Shriram Krishnamurthi},
  year = {2011},
  doi = {10.1145/2048237.2048241},
  url = {http://doi.acm.org/10.1145/2048237.2048241},
  researchr = {https://researchr.org/publication/Marceau2011},
  cites = {0},
  citedby = {0},
  pages = {3-18},
  booktitle = {Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software},
}

@article{PolitzGK14,
  title = {Typed-based verification of Web sandboxes},
  author = {Joe Gibbs Politz and Arjun Guha and Shriram Krishnamurthi},
  year = {2014},
  doi = {10.3233/JCS-140504},
  url = {http://dx.doi.org/10.3233/JCS-140504},
  researchr = {https://researchr.org/publication/PolitzGK14},
  cites = {0},
  citedby = {0},
  journal = {jcs},
  volume = {22},
  number = {4},
  pages = {511-565},
}

@inproceedings{GuhaMFK07,
  title = {Relationally-parametric polymorphic contracts},
  author = {Arjun Guha and Jacob Matthews and Robby Findler and Shriram Krishnamurthi},
  year = {2007},
  doi = {10.1145/1297081.1297089},
  url = {http://doi.acm.org/10.1145/1297081.1297089},
  tags = {contracts},
  researchr = {https://researchr.org/publication/GuhaMFK07},
  cites = {0},
  citedby = {0},
  pages = {29-40},
  booktitle = {DLS},
}

@inproceedings{PolitzCGFK16,
  title = {The Sweep: Essential Examples for In-Flow Peer Review},
  author = {Joe Gibbs Politz and Joseph M. Collard and Arjun Guha and Kathi Fisler and Shriram Krishnamurthi},
  year = {2016},
  doi = {10.1145/2839509.2844626},
  url = {http://doi.acm.org/10.1145/2839509.2844626},
  researchr = {https://researchr.org/publication/PolitzCGFK16},
  cites = {0},
  citedby = {0},
  pages = {243-248},
  booktitle = {sigcse},
}

@inproceedings{KrishnamurthiFD99,
  title = {From Macros to Reusable Generative Programming},
  author = {Shriram Krishnamurthi and Matthias Felleisen and Bruce F. Duba},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1799/17990105.htm},
  tags = {generative programming, reuse, macros, programming},
  researchr = {https://researchr.org/publication/KrishnamurthiFD99},
  cites = {0},
  citedby = {0},
  pages = {105-120},
  booktitle = {gcse},
}

@inproceedings{BlundellFKH04,
  title = {Parameterized Interfaces for Open System Verification of Product Lines},
  author = {Colin Blundell and Kathi Fisler and Shriram Krishnamurthi and Pascal Van Hentenryck},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/ase/2004/2131/00/21310258abs.htm},
  tags = {source-to-source, Pascal, open-source},
  researchr = {https://researchr.org/publication/BlundellFKH04},
  cites = {0},
  citedby = {0},
  pages = {258-267},
  booktitle = {jckbse},
}

@article{DutchynTK06,
  title = {Semantics and scoping of aspects in higher-order languages},
  author = {Christopher Dutchyn and David B. Tucker and Shriram Krishnamurthi},
  year = {2006},
  doi = {10.1016/j.scico.2006.01.003},
  url = {http://dx.doi.org/10.1016/j.scico.2006.01.003},
  tags = {control systems, semantics, rule-based, Perl, formal semantics, language design, macros, AspectScheme, security, operational semantics, design, Ruby},
  researchr = {https://researchr.org/publication/DutchynTK06},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {63},
  number = {3},
  pages = {207-239},
}

@inproceedings{GiannakopoulosDFK09,
  title = {Towards an Operational Semantics for Alloy},
  author = {Theophilos Giannakopoulos and Daniel J. Dougherty and Kathi Fisler and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1007/978-3-642-05089-3_31},
  url = {http://dx.doi.org/10.1007/978-3-642-05089-3_31},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/GiannakopoulosDFK09},
  cites = {0},
  citedby = {0},
  pages = {483-498},
  booktitle = {FM},
}

@article{Krishnamurthi13-0,
  title = {Artifact evaluation for software conferences},
  author = {Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1145/2464526.2464530},
  url = {http://doi.acm.org/10.1145/2464526.2464530},
  researchr = {https://researchr.org/publication/Krishnamurthi13-0},
  cites = {0},
  citedby = {0},
  journal = {sigsoft},
  volume = {38},
  number = {3},
  pages = {7-10},
}

@article{KoKMS15,
  title = {Human-Centric Development of Software Tools (Dagstuhl Seminar 15222)},
  author = {Andrew J. Ko and Shriram Krishnamurthi and Gail C. Murphy and Janet Siegmund},
  year = {2015},
  doi = {10.4230/DagRep.5.5.115},
  url = {http://dx.doi.org/10.4230/DagRep.5.5.115},
  researchr = {https://researchr.org/publication/KoKMS15},
  cites = {0},
  citedby = {0},
  journal = {dagstuhl-reports},
  volume = {5},
  number = {5},
  pages = {115-132},
}

@inproceedings{KrishnamurthiNV13,
  title = {Should software conferences respect software?},
  author = {Shriram Krishnamurthi and James Noble and Jan Vitek},
  year = {2013},
  doi = {10.1145/2508075.2516929},
  url = {http://doi.acm.org/10.1145/2508075.2516929},
  researchr = {https://researchr.org/publication/KrishnamurthiNV13},
  cites = {0},
  citedby = {0},
  pages = {71-72},
  booktitle = {OOPSLA},
}

@inproceedings{LernerCKVK12,
  title = {Modeling and Reasoning about DOM Events},
  author = {Benjamin S. Lerner and Matthew J. Carroll and Dan P. Kimmel and Hannah Quay-de la Vallee and Shriram Krishnamurthi},
  year = {2012},
  url = {https://www.usenix.org/conference/webapps12/technical-sessions/presentation/lerner},
  researchr = {https://researchr.org/publication/LernerCKVK12},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {webapps},
}

@inproceedings{McGuireSPK06,
  title = {Abstract shade trees},
  author = {Morgan McGuire and George Stathis and Hanspeter Pfister and Shriram Krishnamurthi},
  year = {2006},
  doi = {10.1145/1111411.1111425},
  url = {http://doi.acm.org/10.1145/1111411.1111425},
  researchr = {https://researchr.org/publication/McGuireSPK06},
  cites = {0},
  citedby = {0},
  pages = {79-86},
  booktitle = {si3d},
}

@inproceedings{PolitzMMWPLCK13,
  title = {Python: the full monty},
  author = {Joe Gibbs Politz and Alejandro Martinez and Matthew Milano and Sumner Warren and Daniel Patterson and Junsong Li and Anand Chitipothu and Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1145/2509136.2509536},
  url = {http://doi.acm.org/10.1145/2509136.2509536},
  researchr = {https://researchr.org/publication/PolitzMMWPLCK13},
  cites = {0},
  citedby = {0},
  pages = {217-232},
  booktitle = {OOPSLA},
}

@inproceedings{KrishnamurthiEF99,
  title = {Expressing Structural Properties as Language Constructs},
  author = {Shriram Krishnamurthi and Yan-David Erlich and Matthias Felleisen},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1576/15760258.htm},
  researchr = {https://researchr.org/publication/KrishnamurthiEF99},
  cites = {0},
  citedby = {0},
  pages = {258-272},
  booktitle = {ESOP},
}

@inproceedings{LernerPGK13,
  title = {TeJaS: retrofitting type systems for JavaScript},
  author = {Benjamin S. Lerner and Joe Gibbs Politz and Arjun Guha and Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1145/2508168.2508170},
  url = {http://doi.acm.org/10.1145/2508168.2508170},
  researchr = {https://researchr.org/publication/LernerPGK13},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {DLS},
}

@inproceedings{LiFK02,
  title = {The Influence of Software Module Systems on Modular Verification},
  author = {Harry C. Li and Kathi Fisler and Shriram Krishnamurthi},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2318/23180060.htm},
  tags = {C++},
  researchr = {https://researchr.org/publication/LiFK02},
  cites = {0},
  citedby = {0},
  pages = {60-78},
  booktitle = {spin},
}

@article{Krishnamurthi06,
  title = {Web Verification: Perspective and Challenges},
  author = {Shriram Krishnamurthi},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.044},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.044},
  researchr = {https://researchr.org/publication/Krishnamurthi06},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {157},
  number = {2},
  pages = {41-46},
}

@inproceedings{FislerKMT05,
  title = {Verification and change-impact analysis of access-control policies},
  author = {Kathi Fisler and Shriram Krishnamurthi and Leo A. Meyerovich and Michael Carl Tschantz},
  year = {2005},
  doi = {10.1145/1062455.1062502},
  url = {http://doi.acm.org/10.1145/1062455.1062502},
  tags = {analysis, access control policies, access control},
  researchr = {https://researchr.org/publication/FislerKMT05},
  cites = {0},
  citedby = {0},
  pages = {196-205},
  booktitle = {ICSE},
}

@inproceedings{PolitzKF14,
  title = {CaptainTeach: a platform for in-flow peer review of programming assignments},
  author = {Joe Gibbs Politz and Shriram Krishnamurthi and Kathi Fisler},
  year = {2014},
  doi = {10.1145/2591708.2602687},
  url = {http://doi.acm.org/10.1145/2591708.2602687},
  researchr = {https://researchr.org/publication/PolitzKF14},
  cites = {0},
  citedby = {0},
  pages = {332},
  booktitle = {iticse},
}

@article{KrishnamurthiB05,
  title = {Discussion summary: characteristics of web services and their impact on testing, analysis and verification},
  author = {Shriram Krishnamurthi and Tevfik Bultan},
  year = {2005},
  doi = {10.1145/1039174.1039189},
  url = {http://doi.acm.org/10.1145/1039174.1039189},
  tags = {web service, testing, analysis, web services},
  researchr = {https://researchr.org/publication/KrishnamurthiB05},
  cites = {0},
  citedby = {0},
  journal = {sigsoft},
  volume = {30},
  number = {1},
  pages = {5},
}

@inproceedings{NelsonBDFK10,
  title = {The Margrave Tool for Firewall Analysis},
  author = {Timothy Nelson and Christopher Barratt and Daniel J. Dougherty and Kathi Fisler and Shriram Krishnamurthi},
  year = {2010},
  url = {https://www.usenix.org/conference/lisa10/margrave-tool-firewall-analysis},
  researchr = {https://researchr.org/publication/NelsonBDFK10},
  cites = {0},
  citedby = {0},
  booktitle = {lisa},
}

@inproceedings{GraunkeFKF03,
  title = {Modeling Web Interactions},
  author = {Paul T. Graunke and Robby Findler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2618/26180238.htm},
  tags = {meta-model, modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/GraunkeFKF03},
  cites = {0},
  citedby = {0},
  pages = {238-252},
  booktitle = {ESOP},
}

@inproceedings{GuhaKJ09,
  title = {Using static analysis for Ajax intrusion detection},
  author = {Arjun Guha and Shriram Krishnamurthi and Trevor Jim},
  year = {2009},
  doi = {10.1145/1526709.1526785},
  url = {http://doi.acm.org/10.1145/1526709.1526785},
  tags = {AJAX, analysis, static analysis},
  researchr = {https://researchr.org/publication/GuhaKJ09},
  cites = {0},
  citedby = {0},
  pages = {561-570},
  booktitle = {WWW},
}

@inproceedings{MarceauFK11,
  title = {Measuring the effectiveness of error messages designed for novice programmers},
  author = {Guillaume Marceau and Kathi Fisler and Shriram Krishnamurthi},
  year = {2011},
  doi = {10.1145/1953163.1953308},
  url = {http://doi.acm.org/10.1145/1953163.1953308},
  researchr = {https://researchr.org/publication/MarceauFK11},
  cites = {0},
  citedby = {0},
  pages = {499-504},
  booktitle = {sigcse},
}

@inproceedings{GuhaK10,
  title = {Minding the (semantic) gap: engineering programming language theory},
  author = {Arjun Guha and Shriram Krishnamurthi},
  year = {2010},
  doi = {10.1145/1882362.1882395},
  url = {http://doi.acm.org/10.1145/1882362.1882395},
  tags = {programming languages, language engineering, programming},
  researchr = {https://researchr.org/publication/GuhaK10},
  cites = {0},
  citedby = {0},
  pages = {155-156},
  booktitle = {FSE},
}

@inproceedings{NelsonFK15,
  title = {Static Differential Program Analysis for Software-Defined Networks},
  author = {Tim Nelson and Andrew D. Ferguson and Shriram Krishnamurthi},
  year = {2015},
  doi = {10.1007/978-3-319-19249-9_25},
  url = {http://dx.doi.org/10.1007/978-3-319-19249-9_25},
  researchr = {https://researchr.org/publication/NelsonFK15},
  cites = {0},
  citedby = {0},
  pages = {395-413},
  booktitle = {FM},
}

@inproceedings{PombrioK15,
  title = {Hygienic resugaring of compositional desugaring},
  author = {Justin Pombrio and Shriram Krishnamurthi},
  year = {2015},
  doi = {10.1145/2784731.2784755},
  url = {http://doi.acm.org/10.1145/2784731.2784755},
  researchr = {https://researchr.org/publication/PombrioK15},
  cites = {0},
  citedby = {0},
  pages = {75-87},
  booktitle = {ICFP},
}

@article{FelleisenK09,
  title = {Viewpoint - Why computer science doesn t matter},
  author = {Matthias Felleisen and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1145/1538788.1538803},
  url = {http://doi.acm.org/10.1145/1538788.1538803},
  tags = {e-science},
  researchr = {https://researchr.org/publication/FelleisenK09},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {52},
  number = {7},
  pages = {37-40},
}

@inproceedings{NelsonFYFK15,
  title = {Exodus: toward automatic migration of enterprise network configurations to SDNs},
  author = {Tim Nelson and Andrew D. Ferguson and Da Yu and Rodrigo Fonseca and Shriram Krishnamurthi},
  year = {2015},
  doi = {10.1145/2774993.2774997},
  url = {http://doi.acm.org/10.1145/2774993.2774997},
  researchr = {https://researchr.org/publication/NelsonFYFK15},
  cites = {0},
  citedby = {0},
  booktitle = {sosr},
}

@inproceedings{KrishnamurthiFG04,
  title = {Verifying aspect advice modularly},
  author = {Shriram Krishnamurthi and Kathi Fisler and Michael Greenberg},
  year = {2004},
  doi = {10.1145/1029894.1029916},
  url = {http://doi.acm.org/10.1145/1029894.1029916},
  researchr = {https://researchr.org/publication/KrishnamurthiFG04},
  cites = {0},
  citedby = {0},
  pages = {137-146},
  booktitle = {ESEC/FSE},
}

@inproceedings{Krishnamurthi15-1,
  title = {Tierless Programming and Reasoning for Networks},
  author = {Shriram Krishnamurthi},
  year = {2015},
  doi = {10.1145/2786558.2786559},
  url = {http://doi.acm.org/10.1145/2786558.2786559},
  researchr = {https://researchr.org/publication/Krishnamurthi15-1},
  cites = {0},
  citedby = {0},
  pages = {42},
  booktitle = {ECOOP},
}

@article{FelleisenFFK98,
  title = {The DrScheme Project: An Overview},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {1998},
  researchr = {https://researchr.org/publication/FelleisenFFK98},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {33},
  number = {6},
  pages = {17-23},
}

@inproceedings{McCarthyK08,
  title = {Minimal backups of cryptographic protocol runs},
  author = {Jay A. McCarthy and Shriram Krishnamurthi},
  year = {2008},
  doi = {10.1145/1456396.1456398},
  url = {http://doi.acm.org/10.1145/1456396.1456398},
  tags = {protocol},
  researchr = {https://researchr.org/publication/McCarthyK08},
  cites = {0},
  citedby = {0},
  pages = {11-20},
  booktitle = {ccs},
}

@inproceedings{IgnatoffCK06,
  title = {Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages},
  author = {Daniel Ignatoff and Gregory H. Cooper and Shriram Krishnamurthi},
  year = {2006},
  doi = {10.1007/11737414_18},
  url = {http://dx.doi.org/10.1007/11737414_18},
  researchr = {https://researchr.org/publication/IgnatoffCK06},
  cites = {0},
  citedby = {0},
  pages = {259-276},
  booktitle = {FLOPS},
}

@article{AllenBBBFFHKKLLLPRRSTW08,
  title = {SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations},
  author = {Eric Allen and Mark W. Bailey and Rastislav Bodík and Kim B. Bruce and Kathleen Fisher and Stephen N. Freund and Robert Harper and Chandra Krintz and Shriram Krishnamurthi and James R. Larus and Doug Lea and Gary T. Leavens and Lori L. Pollock and Stuart Reges and Martin C. Rinard and Mark Sheldon and Franklyn A. Turbak and Mitchell Wand},
  year = {2008},
  doi = {10.1145/1480828.1480831},
  url = {http://doi.acm.org/10.1145/1480828.1480831},
  tags = {programming languages, C++, programming},
  researchr = {https://researchr.org/publication/AllenBBBFFHKKLLLPRRSTW08},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {43},
  number = {11},
  pages = {6-29},
}

@inproceedings{CooperGKMF13,
  title = {Teaching garbage collection without implementing compiler or interpreters},
  author = {Gregory H. Cooper and Arjun Guha and Shriram Krishnamurthi and Jay A. McCarthy and Robby Findler},
  year = {2013},
  doi = {10.1145/2445196.2445314},
  url = {http://doi.acm.org/10.1145/2445196.2445314},
  researchr = {https://researchr.org/publication/CooperGKMF13},
  cites = {0},
  citedby = {0},
  pages = {385-390},
  booktitle = {sigcse},
}

@article{FelleisenFFK04,
  title = {The structure and interpretation of the computer science curriculum},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {2004},
  doi = {10.1017/S0956796804005076},
  url = {http://dx.doi.org/10.1017/S0956796804005076},
  tags = {e-science},
  researchr = {https://researchr.org/publication/FelleisenFFK04},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {14},
  number = {4},
  pages = {365-378},
}

@inproceedings{FlattKF99,
  title = {A Programmer s Reduction Semantics for Classes and Mixins},
  author = {Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1523/15230241.htm},
  tags = {semantics, Java},
  researchr = {https://researchr.org/publication/FlattKF99},
  cites = {0},
  citedby = {0},
  pages = {241-269},
  booktitle = {java},
}

@article{GomathiCK08,
  title = {Efficient Power Aware and Reputation-Based Routing Protocol for MANET},
  author = {S. Sankara Gomathi and Richard Chbeir and Shriram Krishnamurthi},
  year = {2008},
  tags = {rule-based, protocol, reputation, context-aware, routing},
  researchr = {https://researchr.org/publication/GomathiCK08},
  cites = {0},
  citedby = {0},
  journal = {jdim},
  volume = {6},
  number = {1},
  pages = {21-29},
}

@inproceedings{Krishnamurthi15-0,
  title = {The story of Arjun Guha, or: the arc of a research project},
  author = {Shriram Krishnamurthi},
  year = {2015},
  doi = {10.1145/2792434.2792441},
  url = {http://doi.acm.org/10.1145/2792434.2792441},
  researchr = {https://researchr.org/publication/Krishnamurthi15-0},
  cites = {0},
  citedby = {0},
  pages = {7},
  booktitle = {POPL},
}

@inproceedings{Krishnamurthi05,
  title = {Web Verification: Perspective and Challenges},
  author = {Shriram Krishnamurthi},
  year = {2005},
  researchr = {https://researchr.org/publication/Krishnamurthi05},
  cites = {0},
  citedby = {0},
  pages = {3-8},
  booktitle = {wwv},
}

@misc{patterson2015pyret,
  title = {Pyret Language Reference. PLT, Brown University, 5.3. 2014},
  author = {D. Patterson and J. G. Politz and Shriram Krishnamurthi},
  year = {2015},
  researchr = {https://researchr.org/publication/patterson2015pyret},
  cites = {0},
  citedby = {0},
}

@article{Krishnamurthi06:0,
  title = {Educational Pearl: Automata via macros},
  author = {Shriram Krishnamurthi},
  year = {2006},
  doi = {10.1017/S0956796805005733},
  url = {http://dx.doi.org/10.1017/S0956796805005733},
  tags = {macros},
  researchr = {https://researchr.org/publication/Krishnamurthi06%3A0},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {16},
  number = {3},
  pages = {253-267},
}

@inproceedings{NelsonSDFK13,
  title = {Aluminum: principled scenario exploration through minimality},
  author = {Timothy Nelson and Salman Saghafi and Daniel J. Dougherty and Kathi Fisler and Shriram Krishnamurthi},
  year = {2013},
  url = {http://dl.acm.org/citation.cfm?id=2486820},
  researchr = {https://researchr.org/publication/NelsonSDFK13},
  cites = {0},
  citedby = {0},
  pages = {232-241},
  booktitle = {ICSE},
}

@article{KrishnamurthiV15,
  title = {The real software crisis: repeatability as a core value},
  author = {Shriram Krishnamurthi and Jan Vitek},
  year = {2015},
  doi = {10.1145/2658987},
  url = {http://doi.acm.org/10.1145/2658987},
  researchr = {https://researchr.org/publication/KrishnamurthiV15},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {58},
  number = {3},
  pages = {34-36},
}

@inproceedings{GuhaSK11,
  title = {Typing Local Control and State Using Flow Analysis},
  author = {Arjun Guha and Claudiu Saftoiu and Shriram Krishnamurthi},
  year = {2011},
  doi = {10.1007/978-3-642-19718-5_14},
  url = {http://dx.doi.org/10.1007/978-3-642-19718-5_14},
  tags = {analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/GuhaSK11},
  cites = {0},
  citedby = {0},
  pages = {256-275},
  booktitle = {ESOP},
}

@article{Krishnamurthi13-1,
  title = {Artifact evaluation for software conferences},
  author = {Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1145/2502508.2502518},
  url = {http://doi.acm.org/10.1145/2502508.2502518},
  researchr = {https://researchr.org/publication/Krishnamurthi13-1},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {48},
  number = {4S},
  pages = {17-21},
}

@book{0017450,
  title = {Programming languages - application and interpretation},
  author = {Shriram Krishnamurthi},
  year = {2003},
  url = {http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/0017450},
  cites = {0},
  citedby = {0},
  publisher = {e-book},
}

@inproceedings{Krishnamurthi12,
  title = {Semantics and Analyses for JavaScript and the Web},
  author = {Shriram Krishnamurthi},
  year = {2012},
  doi = {10.1007/978-3-642-33125-1_3},
  url = {http://dx.doi.org/10.1007/978-3-642-33125-1_3},
  researchr = {https://researchr.org/publication/Krishnamurthi12},
  cites = {0},
  citedby = {0},
  pages = {4},
  booktitle = {SAS},
}

@inproceedings{LicataK04,
  title = {Verifying Interactive Web Programs},
  author = {Daniel R. Licata and Shriram Krishnamurthi},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/ase/2004/2131/00/21310164abs.htm},
  tags = {program verification},
  researchr = {https://researchr.org/publication/LicataK04},
  cites = {0},
  citedby = {0},
  pages = {164-173},
  booktitle = {jckbse},
}

@book{Krishnamurthi2014,
  title = {Programming and Programming Languages},
  author = {Shriram Krishnamurthi},
  year = {2014},
  researchr = {https://researchr.org/publication/Krishnamurthi2014},
  cites = {0},
  citedby = {0},
  organization = {Brown University},
}

@inproceedings{YooSKF11,
  title = {WeScheme: the browser is your programming environment},
  author = {Danny Yoo and Emmanuel Schanzer and Shriram Krishnamurthi and Kathi Fisler},
  year = {2011},
  doi = {10.1145/1999747.1999795},
  url = {http://doi.acm.org/10.1145/1999747.1999795},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/YooSKF11},
  cites = {0},
  citedby = {0},
  pages = {163-167},
  booktitle = {iticse},
}

@inproceedings{EgelmanOK11,
  title = {Oops, I did it again: mitigating repeated access control errors on facebook},
  author = {Serge Egelman and Andrew Oates and Shriram Krishnamurthi},
  year = {2011},
  doi = {10.1145/1978942.1979280},
  url = {http://doi.acm.org/10.1145/1978942.1979280},
  tags = {access control},
  researchr = {https://researchr.org/publication/EgelmanOK11},
  cites = {0},
  citedby = {0},
  pages = {2295-2304},
  booktitle = {CHI},
}

@inproceedings{NelsonFSK14,
  title = {Tierless Programming and Reasoning for Software-Defined Networks},
  author = {Timothy Nelson and Andrew D. Ferguson and Michael J. G. Scheer and Shriram Krishnamurthi},
  year = {2014},
  url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/nelson},
  researchr = {https://researchr.org/publication/NelsonFSK14},
  cites = {0},
  citedby = {0},
  pages = {519-531},
  booktitle = {NSDI},
}

@inproceedings{LiKF02,
  title = {Interfaces for Modular Feature Verification},
  author = {Harry C. Li and Shriram Krishnamurthi and Kathi Fisler},
  year = {2002},
  url = {http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360195abs.htm},
  tags = {C++},
  researchr = {https://researchr.org/publication/LiKF02},
  cites = {0},
  citedby = {0},
  pages = {195-204},
  booktitle = {ASE},
}

@inproceedings{TschantzK06,
  title = {Towards reasonability properties for access-control policy languages},
  author = {Michael Carl Tschantz and Shriram Krishnamurthi},
  year = {2006},
  doi = {10.1145/1133058.1133081},
  url = {http://doi.acm.org/10.1145/1133058.1133081},
  tags = {access control policies, access control},
  researchr = {https://researchr.org/publication/TschantzK06},
  cites = {0},
  citedby = {1},
  pages = {160-169},
  booktitle = {SACMAT},
}

@inproceedings{KrishnamurthiFDY08,
  title = {Alchemy: transmuting base alloy specifications into implementations},
  author = {Shriram Krishnamurthi and Kathi Fisler and Daniel J. Dougherty and Daniel Yoo},
  year = {2008},
  doi = {10.1145/1453101.1453123},
  url = {http://doi.acm.org/10.1145/1453101.1453123},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/KrishnamurthiFDY08},
  cites = {0},
  citedby = {0},
  pages = {158-169},
  booktitle = {sigsoft},
}

@article{FelleisenFFK04-0,
  title = {The TeachScheme! Project: Computing and Programming for Every Student},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {2004},
  doi = {10.1076/csed.14.1.55.23499},
  url = {http://dx.doi.org/10.1076/csed.14.1.55.23499},
  researchr = {https://researchr.org/publication/FelleisenFFK04-0},
  cites = {0},
  citedby = {0},
  journal = {csedu},
  volume = {14},
  number = {1},
  pages = {55-77},
}

@inproceedings{GomathiNK07,
  title = {Increasing the Lifetime of Mobile Ad Hoc Network using Energy Aware Gradient Exchange Algorithm},
  author = {S. Sankara Gomathi and A. Nakkeeran and Shriram Krishnamurthi},
  year = {2007},
  tags = {context-aware, mobile},
  researchr = {https://researchr.org/publication/GomathiNK07},
  cites = {0},
  citedby = {0},
  pages = {47-52},
  booktitle = {hpcncs},
}

@inproceedings{MarceauFK11-0,
  title = {Do values grow on trees?: expression integrity in functional programming},
  author = {Guillaume Marceau and Kathi Fisler and Shriram Krishnamurthi},
  year = {2011},
  doi = {10.1145/2016911.2016921},
  url = {http://doi.acm.org/10.1145/2016911.2016921},
  researchr = {https://researchr.org/publication/MarceauFK11-0},
  cites = {0},
  citedby = {0},
  pages = {39-44},
  booktitle = {icer},
}

@inproceedings{McGuireKH02,
  title = {Programming Languages for Compressing Graphics},
  author = {Morgan McGuire and Shriram Krishnamurthi and John F. Hughes},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2305/23050068.htm},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/McGuireKH02},
  cites = {0},
  citedby = {0},
  pages = {68-82},
  booktitle = {ESOP},
}

@inproceedings{FislerK05,
  title = {Decomposing Verification Around End-User Features},
  author = {Kathi Fisler and Shriram Krishnamurthi},
  year = {2005},
  doi = {10.1007/978-3-540-69149-5_10},
  url = {http://dx.doi.org/10.1007/978-3-540-69149-5_10},
  tags = {Variability-Aware Analysis, analysis, context-aware},
  researchr = {https://researchr.org/publication/FislerK05},
  cites = {0},
  citedby = {0},
  pages = {74-81},
  booktitle = {vstte},
}

@inproceedings{FindlerFFKF97,
  title = {DrScheme: A Pedagogic Programming Environment for Scheme},
  author = {Robby Findler and Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1997},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/FindlerFFKF97},
  cites = {0},
  citedby = {0},
  pages = {369-388},
  booktitle = {plilp},
}

@inproceedings{FergusonGPFK12,
  title = {Participatory Networking},
  author = {Andrew D. Ferguson and Arjun Guha and Jordan Place and Rodrigo Fonseca and Shriram Krishnamurthi},
  year = {2012},
  url = {https://www.usenix.org/conference/hot-ice12/workshop-program/presentation/ferguson},
  researchr = {https://researchr.org/publication/FergusonGPFK12},
  cites = {0},
  citedby = {0},
  booktitle = {NSDI},
}

@inproceedings{LiKF02:0,
  title = {Verifying cross-cutting features as open systems},
  author = {Harry C. Li and Shriram Krishnamurthi and Kathi Fisler},
  year = {2002},
  doi = {10.1145/587051.587066},
  url = {http://doi.acm.org/10.1145/587051.587066},
  tags = {Variability-Aware Analysis, points-to analysis, analysis, source-to-source, C++, context-aware, open-source},
  researchr = {https://researchr.org/publication/LiKF02%3A0},
  cites = {0},
  citedby = {0},
  pages = {89-98},
  booktitle = {ESEC/FSE},
}

@inproceedings{LicataHK03,
  title = {The Feature Signatures of Evolving Programs},
  author = {Daniel R. Licata and Christopher D. Harris and Shriram Krishnamurthi},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350281abs.htm},
  tags = {object-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/LicataHK03},
  cites = {0},
  citedby = {0},
  pages = {281-285},
  booktitle = {ASE},
}

@inproceedings{GomathiK07,
  title = {Modified Energy Efficient Cache Invalidation Algorithm in Mobile Environment},
  author = {S. Sankara Gomathi and Shriram Krishnamurthi},
  year = {2007},
  tags = {caching, meta-model, Meta-Environment, mobile, meta-objects},
  researchr = {https://researchr.org/publication/GomathiK07},
  cites = {0},
  citedby = {0},
  pages = {1540-1545},
  booktitle = {wce},
}

@inproceedings{McCarthyK09,
  title = {Trusted Multiplexing of Cryptographic Protocols},
  author = {Jay A. McCarthy and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1007/978-3-642-12459-4_16},
  url = {http://dx.doi.org/10.1007/978-3-642-12459-4_16},
  tags = {protocol},
  researchr = {https://researchr.org/publication/McCarthyK09},
  cites = {0},
  citedby = {0},
  pages = {217-232},
  booktitle = {ifip1-7},
}

@inproceedings{BaskinK09,
  title = {Preference aggregation in group recommender systems for committee decision-making},
  author = {Jacob P. Baskin and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1145/1639714.1639782},
  url = {http://doi.acm.org/10.1145/1639714.1639782},
  tags = {recommender systems},
  researchr = {https://researchr.org/publication/BaskinK09},
  cites = {0},
  citedby = {0},
  pages = {337-340},
  booktitle = {recsys},
}

@inproceedings{MarceauFK11-1,
  title = {Mind your language: on novices' interactions with error messages},
  author = {Guillaume Marceau and Kathi Fisler and Shriram Krishnamurthi},
  year = {2011},
  doi = {10.1145/2048237.2048241},
  url = {http://doi.acm.org/10.1145/2048237.2048241},
  researchr = {https://researchr.org/publication/MarceauFK11-1},
  cites = {0},
  citedby = {0},
  pages = {3-18},
  booktitle = {OOPSLA},
}

@inproceedings{ValleeWZFK13,
  title = {Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems},
  author = {Hannah Quay-de la Vallee and James M. Walsh and William Zimrin and Kathi Fisler and Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1145/2509578.2509589},
  url = {http://doi.acm.org/10.1145/2509578.2509589},
  researchr = {https://researchr.org/publication/ValleeWZFK13},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {OOPSLA},
}

@inproceedings{McCarthyKGR07,
  title = {Compiling cryptographic protocols for deployment on the web},
  author = {Jay A. McCarthy and Shriram Krishnamurthi and Joshua D. Guttman and John D. Ramsdell},
  year = {2007},
  doi = {10.1145/1242572.1242665},
  url = {http://doi.acm.org/10.1145/1242572.1242665},
  tags = {deployment, protocol, compiler},
  researchr = {https://researchr.org/publication/McCarthyKGR07},
  cites = {0},
  citedby = {0},
  pages = {687-696},
  booktitle = {WWW},
}

@inproceedings{DoughertyFK07,
  title = {Obligations and Their Interaction with Programs},
  author = {Daniel J. Dougherty and Kathi Fisler and Shriram Krishnamurthi},
  year = {2007},
  doi = {10.1007/978-3-540-74835-9_25},
  url = {http://dx.doi.org/10.1007/978-3-540-74835-9_25},
  researchr = {https://researchr.org/publication/DoughertyFK07},
  cites = {0},
  citedby = {0},
  pages = {375-389},
  booktitle = {esorics},
}

@inproceedings{RasleyGOBKC15,
  title = {Detecting latent cross-platform API violations},
  author = {Jeff Rasley and Eleni Gessiou and Tony Ohmann and Yuriy Brun and Shriram Krishnamurthi and Justin Cappos},
  year = {2015},
  doi = {10.1109/ISSRE.2015.7381841},
  url = {http://dx.doi.org/10.1109/ISSRE.2015.7381841},
  researchr = {https://researchr.org/publication/RasleyGOBKC15},
  cites = {0},
  citedby = {0},
  pages = {484-495},
  booktitle = {issre},
}

@inproceedings{PolitzEGK11,
  title = {ADsafety: Type-Based Verification of JavaScript Sandboxing},
  author = {Joe Gibbs Politz and Spiridon Aristides Eliopoulos and Arjun Guha and Shriram Krishnamurthi},
  year = {2011},
  url = {http://static.usenix.org/events/sec11/tech/full_papers/Politz.pdf},
  researchr = {https://researchr.org/publication/PolitzEGK11},
  cites = {0},
  citedby = {0},
  booktitle = {uss},
}

@inproceedings{FlattFKF99,
  title = {Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)},
  author = {Matthew Flatt and Robby Findler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1999},
  doi = {10.1145/317636.317793},
  url = {http://doi.acm.org/10.1145/317636.317793},
  tags = {programming languages, operating system, programming},
  researchr = {https://researchr.org/publication/FlattFKF99},
  cites = {0},
  citedby = {0},
  pages = {138-147},
  booktitle = {ICFP},
}

@inproceedings{KrishnamurthiF98,
  title = {Toward a Formal Theory of Extensible Software},
  author = {Shriram Krishnamurthi and Matthias Felleisen},
  year = {1998},
  doi = {10.1145/288195.288269},
  url = {http://doi.acm.org/10.1145/288195.288269},
  researchr = {https://researchr.org/publication/KrishnamurthiF98},
  cites = {0},
  citedby = {0},
  pages = {88-98},
  booktitle = {ESEC/FSE},
}

@inproceedings{DoughertyFK06,
  title = {Specifying and Reasoning About Dynamic Access-Control Policies},
  author = {Daniel J. Dougherty and Kathi Fisler and Shriram Krishnamurthi},
  year = {2006},
  doi = {10.1007/11814771_51},
  url = {http://dx.doi.org/10.1007/11814771_51},
  tags = {access control policies, access control},
  researchr = {https://researchr.org/publication/DoughertyFK06},
  cites = {0},
  citedby = {0},
  pages = {632-646},
  booktitle = {cade},
}

@inproceedings{TuckerK03,
  title = {Pointcuts and advice in higher-order languages},
  author = {David B. Tucker and Shriram Krishnamurthi},
  year = {2003},
  doi = {10.1145/643603.643620},
  url = {http://doi.acm.org/10.1145/643603.643620},
  researchr = {https://researchr.org/publication/TuckerK03},
  cites = {0},
  citedby = {0},
  pages = {158-167},
  booktitle = {AOSD},
}

@inproceedings{FergusonGLFK13,
  title = {Participatory networking: an API for application control of SDNs},
  author = {Andrew D. Ferguson and Arjun Guha and Chen Liang and Rodrigo Fonseca and Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1145/2486001.2486003},
  url = {http://doi.acm.org/10.1145/2486001.2486003},
  researchr = {https://researchr.org/publication/FergusonGLFK13},
  cites = {0},
  citedby = {0},
  pages = {327-338},
  booktitle = {sigcomm},
}

@inproceedings{MarceauCKR04,
  title = {Dataflow Language for Scriptable Debugging},
  author = {Guillaume Marceau and Gregory H. Cooper and Shriram Krishnamurthi and Steven P. Reiss},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/ase/2004/2131/00/21310218abs.htm},
  tags = {debugging},
  researchr = {https://researchr.org/publication/MarceauCKR04},
  cites = {0},
  citedby = {0},
  pages = {218-227},
  booktitle = {jckbse},
}

@inproceedings{FislerKD10,
  title = {Embracing policy engineering},
  author = {Kathi Fisler and Shriram Krishnamurthi and Daniel J. Dougherty},
  year = {2010},
  doi = {10.1145/1882362.1882385},
  url = {http://doi.acm.org/10.1145/1882362.1882385},
  researchr = {https://researchr.org/publication/FislerKD10},
  cites = {0},
  citedby = {0},
  pages = {109-110},
  booktitle = {FSE},
}

@article{MatthewsFGKF04,
  title = {Automatically Restructuring Programs for the Web},
  author = {Jacob Matthews and Robby Findler and Paul T. Graunke and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/index/10.1023/B:AUSE.0000038936.09009.69},
  researchr = {https://researchr.org/publication/MatthewsFGKF04},
  cites = {0},
  citedby = {0},
  journal = {ASE},
  volume = {11},
  number = {4},
  pages = {337-364},
}

@inproceedings{PolitzVK12,
  title = {Progressive types},
  author = {Joe Gibbs Politz and Hannah Quay-de la Vallee and Shriram Krishnamurthi},
  year = {2012},
  doi = {10.1145/2384592.2384599},
  url = {http://doi.acm.org/10.1145/2384592.2384599},
  researchr = {https://researchr.org/publication/PolitzVK12},
  cites = {0},
  citedby = {0},
  pages = {55-66},
  booktitle = {OOPSLA},
}

@inproceedings{NelsonYLFK15,
  title = {Simon: scriptable interactive monitoring for SDNs},
  author = {Tim Nelson and Da Yu and Yiming Li and Rodrigo Fonseca and Shriram Krishnamurthi},
  year = {2015},
  doi = {10.1145/2774993.2774994},
  url = {http://doi.acm.org/10.1145/2774993.2774994},
  researchr = {https://researchr.org/publication/NelsonYLFK15},
  cites = {0},
  citedby = {0},
  booktitle = {sosr},
}

@inproceedings{KrishnamurthiGG00,
  title = {Transformation-by-Example for XML},
  author = {Shriram Krishnamurthi and Kathryn E. Gray and Paul T. Graunke},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1753/17530249.htm},
  tags = {XML, XML Schema, e-science, transformation},
  researchr = {https://researchr.org/publication/KrishnamurthiGG00},
  cites = {0},
  citedby = {0},
  pages = {249-262},
  booktitle = {PADL},
}

@inproceedings{GraunkeFKF01,
  title = {Automatically Restructuring Programs for the We},
  author = {Paul T. Graunke and Robby Findler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260211abs.htm},
  researchr = {https://researchr.org/publication/GraunkeFKF01},
  cites = {0},
  citedby = {0},
  pages = {211-222},
  booktitle = {ASE},
}

@inproceedings{MeyerovichGBCGBK09,
  title = {Flapjax: a programming language for Ajax applications},
  author = {Leo A. Meyerovich and Arjun Guha and Jacob P. Baskin and Gregory H. Cooper and Michael Greenberg and Aleks Bromfield and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1145/1640089.1640091},
  url = {http://doi.acm.org/10.1145/1640089.1640091},
  tags = {programming languages, AJAX, programming},
  researchr = {https://researchr.org/publication/MeyerovichGBCGBK09},
  cites = {0},
  citedby = {0},
  pages = {1-20},
  booktitle = {OOPSLA},
}

@inproceedings{PolitzKF14-0,
  title = {In-flow peer-review of tests in test-first programming},
  author = {Joe Gibbs Politz and Shriram Krishnamurthi and Kathi Fisler},
  year = {2014},
  doi = {10.1145/2632320.2632347},
  url = {http://doi.acm.org/10.1145/2632320.2632347},
  researchr = {https://researchr.org/publication/PolitzKF14-0},
  cites = {0},
  citedby = {0},
  pages = {11-18},
  booktitle = {icer},
}

@inproceedings{PolitzCLPK12,
  title = {A tested semantics for getters, setters, and eval in JavaScript},
  author = {Joe Gibbs Politz and Matthew J. Carroll and Benjamin S. Lerner and Justin Pombrio and Shriram Krishnamurthi},
  year = {2012},
  doi = {10.1145/2384577.2384579},
  url = {http://doi.acm.org/10.1145/2384577.2384579},
  researchr = {https://researchr.org/publication/PolitzCLPK12},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {DLS},
}

@inproceedings{LernerELK13,
  title = {Combining Form and Function: Static Types for JQuery Programs},
  author = {Benjamin S. Lerner and Liam Elberty and Jincheng Li and Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1007/978-3-642-39038-8_4},
  url = {http://dx.doi.org/10.1007/978-3-642-39038-8_4},
  researchr = {https://researchr.org/publication/LernerELK13},
  cites = {0},
  citedby = {0},
  pages = {79-103},
  booktitle = {ECOOP},
}

@inproceedings{FislerK10,
  title = {A model of triangulating environments for policy authoring},
  author = {Kathi Fisler and Shriram Krishnamurthi},
  year = {2010},
  doi = {10.1145/1809842.1809847},
  url = {http://doi.acm.org/10.1145/1809842.1809847},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/FislerK10},
  cites = {0},
  citedby = {0},
  pages = {3-12},
  booktitle = {SACMAT},
}

@book{PLAI:2007,
  title = {Programming Languages: Application and Interpretation},
  author = {Shriram Krishnamurthi},
  year = {2007},
  url = {http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/PLAI%3A2007},
  cites = {0},
  citedby = {0},
}

@inproceedings{PombrioK14,
  title = {Resugaring: lifting evaluation sequences through syntactic sugar},
  author = {Justin Pombrio and Shriram Krishnamurthi},
  year = {2014},
  doi = {10.1145/2594291.2594319},
  url = {http://doi.acm.org/10.1145/2594291.2594319},
  researchr = {https://researchr.org/publication/PombrioK14},
  cites = {0},
  citedby = {0},
  pages = {38},
  booktitle = {PLDI},
}

@inproceedings{EgelmanMCAHK10,
  title = {Please Continue to Hold: An Empirical Study on User Tolerance of Security Delays},
  author = {Serge Egelman and David Molnar and Nicolas Christin and Alessandro Acquisti and Cormac Herley and Shriram Krishnamurthi},
  year = {2010},
  url = {http://weis2010.econinfosec.org/papers/session3/weis2010_egelman.pdf},
  researchr = {https://researchr.org/publication/EgelmanMCAHK10},
  cites = {0},
  citedby = {0},
  booktitle = {weis},
}

@inproceedings{AhmadAGK03,
  title = {A Type System for Statically Detecting Spreadsheet Errors},
  author = {Yanif Ahmad and Tudor Antoniu and Sharon Goldwater and Shriram Krishnamurthi},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350174abs.htm},
  tags = {type system},
  researchr = {https://researchr.org/publication/AhmadAGK03},
  cites = {0},
  citedby = {0},
  pages = {174-183},
  booktitle = {ASE},
}

@inproceedings{YooK13-3,
  title = {Whalesong: running racket in the browser},
  author = {Danny Yoo and Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1145/2508168.2508172},
  url = {http://doi.acm.org/10.1145/2508168.2508172},
  researchr = {https://researchr.org/publication/YooK13-3},
  cites = {0},
  citedby = {0},
  pages = {97-108},
  booktitle = {DLS},
}

@article{KrishnamurthiHMGPF07,
  title = {Implementation and use of the PLT scheme Web server},
  author = {Shriram Krishnamurthi and Peter Walton Hopkins and Jay A. McCarthy and Paul T. Graunke and Greg Pettyjohn and Matthias Felleisen},
  year = {2007},
  doi = {10.1007/s10990-007-9008-y},
  url = {http://dx.doi.org/10.1007/s10990-007-9008-y},
  researchr = {https://researchr.org/publication/KrishnamurthiHMGPF07},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {20},
  number = {4},
  pages = {431-460},
}

@inproceedings{SaghafiFK12,
  title = {Features and object capabilities: reconciling two visions of modularity},
  author = {Salman Saghafi and Kathi Fisler and Shriram Krishnamurthi},
  year = {2012},
  doi = {10.1145/2162049.2162053},
  url = {http://doi.acm.org/10.1145/2162049.2162053},
  researchr = {https://researchr.org/publication/SaghafiFK12},
  cites = {0},
  citedby = {0},
  pages = {25-34},
  booktitle = {AOSD},
}

@inproceedings{PolitzPKF14,
  title = {CaptainTeach: multi-stage, in-flow peer review for programming assignments},
  author = {Joe Gibbs Politz and Daniel Patterson and Shriram Krishnamurthi and Kathi Fisler},
  year = {2014},
  doi = {10.1145/2591708.2591738},
  url = {http://doi.acm.org/10.1145/2591708.2591738},
  researchr = {https://researchr.org/publication/PolitzPKF14},
  cites = {0},
  citedby = {0},
  pages = {267-272},
  booktitle = {iticse},
}

@article{FindlerCFFKSF02,
  title = {DrScheme: a programming environment for Scheme},
  author = {Robby Findler and John Clements and Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Paul Steckler and Matthias Felleisen},
  year = {2002},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/FindlerCFFKSF02},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {12},
  number = {2},
  pages = {159-182},
}

@article{HirschfeldKV12,
  title = {Foundations for Scripting Languages (Dagstuhl Seminar 12011)},
  author = {Robert Hirschfeld and Shriram Krishnamurthi and Jan Vitek},
  year = {2012},
  doi = {10.4230/DagRep.2.1.1},
  url = {http://dx.doi.org/10.4230/DagRep.2.1.1},
  researchr = {https://researchr.org/publication/HirschfeldKV12},
  cites = {0},
  citedby = {0},
  journal = {dagstuhl-reports},
  volume = {2},
  number = {1},
  pages = {1-18},
}

@inproceedings{FislerKS16,
  title = {Modernizing Plan-Composition Studies},
  author = {Kathi Fisler and Shriram Krishnamurthi and Janet Siegmund},
  year = {2016},
  doi = {10.1145/2839509.2844556},
  url = {http://doi.acm.org/10.1145/2839509.2844556},
  researchr = {https://researchr.org/publication/FislerKS16},
  cites = {0},
  citedby = {0},
  pages = {211-216},
  booktitle = {sigcse},
}

@inproceedings{FelleisenFFK09,
  title = {A functional I/O system or, fun for freshman kids},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1145/1596550.1596561},
  url = {http://doi.acm.org/10.1145/1596550.1596561},
  researchr = {https://researchr.org/publication/FelleisenFFK09},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {ICFP},
}

@article{LiKF05,
  title = {Modular Verification of Open Features Using Three-Valued Model Checking},
  author = {Harry C. Li and Shriram Krishnamurthi and Kathi Fisler},
  year = {2005},
  doi = {10.1007/s10515-005-2643-9},
  url = {http://dx.doi.org/10.1007/s10515-005-2643-9},
  tags = {model checking, meta-model, Variability-Aware Analysis, points-to analysis, analysis, source-to-source, C++, context-aware, Meta-Environment, open-source},
  researchr = {https://researchr.org/publication/LiKF05},
  cites = {0},
  citedby = {0},
  journal = {ASE},
  volume = {12},
  number = {3},
  pages = {349-382},
}

@inproceedings{FislerK01,
  title = {Modular verification of collaboration-based software designs},
  author = {Kathi Fisler and Shriram Krishnamurthi},
  year = {2001},
  doi = {10.1145/503209.503231},
  url = {http://doi.acm.org/10.1145/503209.503231},
  tags = {rule-based, Variability-Aware Analysis, analysis, context-aware},
  researchr = {https://researchr.org/publication/FislerK01},
  cites = {0},
  citedby = {0},
  pages = {152-163},
  booktitle = {ESEC/FSE},
}

@inproceedings{KiselyovK03,
  title = {SXSLT: Manipulation Language for XML},
  author = {Oleg Kiselyov and Shriram Krishnamurthi},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2562/25620256.htm},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/KiselyovK03},
  cites = {0},
  citedby = {0},
  pages = {256-272},
  booktitle = {PADL},
}

@inproceedings{Krishnamurthi15,
  title = {Desugaring in Practice: Opportunities and Challenges},
  author = {Shriram Krishnamurthi},
  year = {2015},
  doi = {10.1145/2678015.2678016},
  url = {http://doi.acm.org/10.1145/2678015.2678016},
  researchr = {https://researchr.org/publication/Krishnamurthi15},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {PEPM},
}

@inproceedings{FelleisenFFKBMT15,
  title = {The Racket Manifesto},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi and Eli Barzilay and Jay A. McCarthy and Sam Tobin-Hochstadt},
  year = {2015},
  doi = {10.4230/LIPIcs.SNAPL.2015.113},
  url = {http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.113},
  researchr = {https://researchr.org/publication/FelleisenFFKBMT15},
  cites = {0},
  citedby = {0},
  pages = {113-128},
  booktitle = {SNAPL},
}

@inproceedings{KrishnamurthiFF98,
  title = {Synthesizing Object-Oriented and Functional Design to Promote Re-Use},
  author = {Shriram Krishnamurthi and Matthias Felleisen and Daniel P. Friedman},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1445/14450091.htm},
  tags = {design},
  researchr = {https://researchr.org/publication/KrishnamurthiFF98},
  cites = {0},
  citedby = {0},
  pages = {91-113},
  booktitle = {ECOOP},
}

@inproceedings{AntoniuSKNF04,
  title = {Validating the Unit Correctness of Spreadsheet Programs},
  author = {Tudor Antoniu and Paul A. Steckler and Shriram Krishnamurthi and Erich Neuwirth and Matthias Felleisen},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630439abs.htm},
  researchr = {https://researchr.org/publication/AntoniuSKNF04},
  cites = {0},
  citedby = {0},
  pages = {439-448},
  booktitle = {ICSE},
}

@inproceedings{NelsonDFK12,
  title = {Toward a More Complete Alloy},
  author = {Timothy Nelson and Daniel J. Dougherty and Kathi Fisler and Shriram Krishnamurthi},
  year = {2012},
  doi = {10.1007/978-3-642-30885-7_10},
  url = {http://dx.doi.org/10.1007/978-3-642-30885-7_10},
  researchr = {https://researchr.org/publication/NelsonDFK12},
  cites = {0},
  citedby = {0},
  pages = {136-149},
  booktitle = {asm},
}

@article{MarceauCSKR07,
  title = {The design and implementation of a dataflow language for scriptable debugging},
  author = {Guillaume Marceau and Gregory H. Cooper and Jonathan P. Spiro and Shriram Krishnamurthi and Steven P. Reiss},
  year = {2007},
  doi = {10.1007/s10515-006-0003-z},
  url = {http://dx.doi.org/10.1007/s10515-006-0003-z},
  tags = {language design, debugging, design},
  researchr = {https://researchr.org/publication/MarceauCSKR07},
  cites = {0},
  citedby = {0},
  journal = {ASE},
  volume = {14},
  number = {1},
  pages = {59-86},
}

@inproceedings{FlanaganFKWF96,
  title = {Static Debugging: Browsing the Web of Program Invariants},
  author = {Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Stephanie Weirich and Matthias Felleisen},
  year = {1996},
  tags = {debugging},
  researchr = {https://researchr.org/publication/FlanaganFKWF96},
  cites = {0},
  citedby = {0},
  pages = {23-32},
  booktitle = {PLDI},
}

@article{KrishnamurthiF07,
  title = {Foundations of incremental aspect model-checking},
  author = {Shriram Krishnamurthi and Kathi Fisler},
  year = {2007},
  doi = {10.1145/1217295.1217296},
  url = {http://doi.acm.org/10.1145/1217295.1217296},
  tags = {model checking, meta-model, Meta-Environment, incremental},
  researchr = {https://researchr.org/publication/KrishnamurthiF07},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {16},
  number = {2},
  pages = {7},
}

@article{HengleinJKT14,
  title = {Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)},
  author = {Fritz Henglein and Ranjit Jhala and Shriram Krishnamurthi and Peter Thiemann},
  year = {2014},
  doi = {10.4230/DagRep.4.6.84},
  url = {http://dx.doi.org/10.4230/DagRep.4.6.84},
  researchr = {https://researchr.org/publication/HengleinJKT14},
  cites = {0},
  citedby = {0},
  journal = {dagstuhl-reports},
  volume = {4},
  number = {6},
  pages = {84-107},
}

@inproceedings{GraunkeK02,
  title = {Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs},
  author = {Paul T. Graunke and Shriram Krishnamurthi},
  year = {2002},
  doi = {10.1145/581339.581375},
  url = {http://doi.acm.org/10.1145/581339.581375},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/GraunkeK02},
  cites = {0},
  citedby = {0},
  pages = {277-287},
  booktitle = {ICSE},
}

@inproceedings{BurchettCK07,
  title = {Lowering: a static optimization technique for transparent functional reactivity},
  author = {Kimberley Burchett and Gregory H. Cooper and Shriram Krishnamurthi},
  year = {2007},
  doi = {10.1145/1244381.1244393},
  url = {http://doi.acm.org/10.1145/1244381.1244393},
  tags = {optimization},
  researchr = {https://researchr.org/publication/BurchettCK07},
  cites = {0},
  citedby = {0},
  pages = {71-80},
  booktitle = {PEPM},
}

@inproceedings{GraunkeKHF01,
  title = {Programming the Web with High-Level Programming Languages},
  author = {Paul T. Graunke and Shriram Krishnamurthi and Steve Van Der Hoeven and Matthias Felleisen},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2028/20280122.htm},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/GraunkeKHF01},
  cites = {0},
  citedby = {0},
  pages = {122-136},
  booktitle = {ESOP},
}

@article{Krishnamurthi08,
  title = {Teaching programming languages in a post-linnaean age},
  author = {Shriram Krishnamurthi},
  year = {2008},
  doi = {10.1145/1480828.1480846},
  url = {http://doi.acm.org/10.1145/1480828.1480846},
  tags = {programming languages, teaching, programming},
  researchr = {https://researchr.org/publication/Krishnamurthi08},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {43},
  number = {11},
  pages = {81-83},
}

@inproceedings{FlattKF98,
  title = {Classes and Mixins},
  author = {Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1998},
  doi = {10.1145/268946.268961},
  url = {http://doi.acm.org/10.1145/268946.268961},
  researchr = {https://researchr.org/publication/FlattKF98},
  cites = {0},
  citedby = {0},
  pages = {171-183},
  booktitle = {POPL},
}

@inproceedings{SchanzerFKF15,
  title = {Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap},
  author = {Emmanuel Schanzer and Kathi Fisler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2015},
  doi = {10.1145/2676723.2677238},
  url = {http://doi.acm.org/10.1145/2676723.2677238},
  researchr = {https://researchr.org/publication/SchanzerFKF15},
  cites = {0},
  citedby = {0},
  pages = {616-621},
  booktitle = {sigcse},
}

@inproceedings{ClarkeCFHKPTW14,
  title = {In-Flow Peer Review},
  author = {Dave Clarke and Tony Clear and Kathi Fisler and Matthias Hauswirth and Shriram Krishnamurthi and Joe Gibbs Politz and Ville Tirronen and Tobias Wrigstad},
  year = {2014},
  doi = {10.1145/2713609.2713612},
  url = {http://doi.acm.org/10.1145/2713609.2713612},
  researchr = {https://researchr.org/publication/ClarkeCFHKPTW14},
  cites = {0},
  citedby = {0},
  pages = {59-79},
  booktitle = {iticse},
}

@inproceedings{CooperK06,
  title = {Embedding Dynamic Dataflow in a Call-by-Value Language},
  author = {Gregory H. Cooper and Shriram Krishnamurthi},
  year = {2006},
  doi = {10.1007/11693024_20},
  url = {http://dx.doi.org/10.1007/11693024_20},
  researchr = {https://researchr.org/publication/CooperK06},
  cites = {0},
  citedby = {0},
  pages = {294-308},
  booktitle = {ESOP},
}

@inproceedings{LiPPK15,
  title = {Slimming languages by reducing sugar: a case for semantics-altering transformations},
  author = {Junsong Li and Justin Pombrio and Joe Gibbs Politz and Shriram Krishnamurthi},
  year = {2015},
  doi = {10.1145/2814228.2814240},
  url = {http://doi.acm.org/10.1145/2814228.2814240},
  researchr = {https://researchr.org/publication/LiPPK15},
  cites = {0},
  citedby = {0},
  pages = {90-106},
  booktitle = {OOPSLA},
}

@inproceedings{ReissKWK03,
  title = {CLIME: An Environment for Constrained Evolution Demonstration Description},
  author = {Steven P. Reiss and Christina M. Kennedy and Tom Wooldridge and Shriram Krishnamurthi},
  year = {2003},
  url = {http://computer.org/proceedings/icse/1877/18770818.pdf},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/ReissKWK03},
  cites = {0},
  citedby = {0},
  pages = {818-819},
  booktitle = {ICSE},
}

@inproceedings{FislerK09,
  title = {Escape from the matrix: lessons from a case-study in access-control requirements},
  author = {Kathi Fisler and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1145/1572532.1572567},
  url = {http://doi.acm.org/10.1145/1572532.1572567},
  tags = {case study, access control},
  researchr = {https://researchr.org/publication/FislerK09},
  cites = {0},
  citedby = {0},
  booktitle = {soups},
}

@book{KrishnamurthiPolitz2015,
  title = {Programming and Programming Languages},
  author = {Shriram Krishnamurthi and Joe Gibbs Politz},
  year = {2015},
  researchr = {https://researchr.org/publication/KrishnamurthiPolitz2015},
  cites = {0},
  citedby = {0},
  publisher = {Brown University},
}

@inproceedings{Krishnamurthi03,
  title = {The CONTINUE Server (or, How I Administered PADL 2002 and 2003)},
  author = {Shriram Krishnamurthi},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2562/25620002.htm},
  researchr = {https://researchr.org/publication/Krishnamurthi03},
  cites = {0},
  citedby = {0},
  pages = {2-16},
  booktitle = {PADL},
}

@inproceedings{GomathiKC06,
  title = {Design of Extended Optimal Energy Drain Rate Algorithm for Mobile Adhoc Network},
  author = {S. Sankara Gomathi and Shriram Krishnamurthi and Richard Chbeir},
  year = {2006},
  doi = {10.1109/ICDIM.2007.369360},
  url = {http://dx.doi.org/10.1109/ICDIM.2007.369360},
  tags = {design, mobile},
  researchr = {https://researchr.org/publication/GomathiKC06},
  cites = {0},
  citedby = {0},
  pages = {240-247},
  booktitle = {icdim},
}

@article{ChildersFKZ15,
  title = {Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452)},
  author = {Bruce R. Childers and Grigori Fursin and Shriram Krishnamurthi and Andreas Zeller},
  year = {2015},
  doi = {10.4230/DagRep.5.11.29},
  url = {http://dx.doi.org/10.4230/DagRep.5.11.29},
  researchr = {https://researchr.org/publication/ChildersFKZ15},
  cites = {0},
  citedby = {0},
  journal = {dagstuhl-reports},
  volume = {5},
  number = {11},
  pages = {29-35},
}

@inproceedings{McCarthyK08:0,
  title = {Cryptographic Protocol Explication and End-Point Projection},
  author = {Jay A. McCarthy and Shriram Krishnamurthi},
  year = {2008},
  doi = {10.1007/978-3-540-88313-5_34},
  url = {http://dx.doi.org/10.1007/978-3-540-88313-5_34},
  tags = {protocol},
  researchr = {https://researchr.org/publication/McCarthyK08%3A0},
  cites = {0},
  citedby = {0},
  pages = {533-547},
  booktitle = {esorics},
}

@inproceedings{LernerEPK13,
  title = {Verifying Web Browser Extensions' Compliance with Private-Browsing Mode},
  author = {Benjamin S. Lerner and Liam Elberty and Neal Poole and Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1007/978-3-642-40203-6_4},
  url = {http://dx.doi.org/10.1007/978-3-642-40203-6_4},
  researchr = {https://researchr.org/publication/LernerEPK13},
  cites = {0},
  citedby = {0},
  pages = {57-74},
  booktitle = {esorics},
}

@inproceedings{NelsonGDFK13,
  title = {A balance of power: expressive, analyzable controller programming},
  author = {Timothy Nelson and Arjun Guha and Daniel J. Dougherty and Kathi Fisler and Shriram Krishnamurthi},
  year = {2013},
  doi = {10.1145/2491185.2491201},
  url = {http://doi.acm.org/10.1145/2491185.2491201},
  researchr = {https://researchr.org/publication/NelsonGDFK13},
  cites = {0},
  citedby = {0},
  pages = {79-84},
  booktitle = {sigcomm},
}
@proceedings{oopsla-2014onward,
  title = {Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014},
  year = {2014},
  url = {http://dl.acm.org/citation.cfm?id=2661136},
  researchr = {https://researchr.org/publication/oopsla-2014onward},
  cites = {0},
  citedby = {0},
  booktitle = {Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014},
  conference = {OOPSLA},
  editor = {Andrew P. Black and Shriram Krishnamurthi and Bernd Bruegge and Joseph N. Ruskiewicz},
  publisher = {ACM},
  isbn = {978-1-4503-3210-1},
}

@proceedings{cc:2007,
  title = {Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings},
  year = {2007},
  tags = {compiler},
  researchr = {https://researchr.org/publication/cc%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings},
  conference = {CC},
  editor = {Shriram Krishnamurthi and Martin Odersky},
  volume = {4420},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71228-2},
}

@proceedings{padl:2002,
  title = {Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
  year = {2002},
  researchr = {https://researchr.org/publication/padl%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
  conference = {PADL},
  editor = {Shriram Krishnamurthi and C. R. Ramakrishnan},
  volume = {2257},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43092-X},
}

@proceedings{snapl-2015,
  title = {1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA},
  year = {2015},
  url = {http://www.dagstuhl.de/dagpub/978-3-939897-80-4},
  researchr = {https://researchr.org/publication/snapl-2015},
  cites = {0},
  citedby = {0},
  booktitle = {1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA},
  conference = {SNAPL},
  editor = {Thomas Ball and Rastislav Bodík and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett},
  volume = {32},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-80-4},
}

@proceedings{paste:2008,
  title = {Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 08, Atlanta, Georgia, November 9-10, 2008},
  year = {2008},
  tags = {program analysis, analysis, software engineering},
  researchr = {https://researchr.org/publication/paste%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 08, Atlanta, Georgia, November 9-10, 2008},
  conference = {PASTE},
  editor = {Shriram Krishnamurthi and Michal Young},
  publisher = {ACM},
  isbn = {978-1-60558-382-2},
}