@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 = {The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013},
  editor = {Roberto Giacobazzi and Radhia Cousot},
  publisher = {ACM},
  isbn = {978-1-4503-1832-7},
}

@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 = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}

@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 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings},
  editor = {Theo D Hondt},
  volume = {6183},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14106-5},
}

@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},
  series = {ONWARD '11},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-4503-0941-7},
}

@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 = {Journal of Computer Security},
  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 = {Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, October 22, 2007, Montreal, Quebec, Canada},
  editor = {Pascal Costanza and Robert Hirschfeld},
  publisher = {ACM},
  isbn = {978-1-59593-868-8},
}

@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 = {Proceedings of the 47th ACM Technical Symposium on Computing Science Education, Memphis, TN, USA, March 02 - 05, 2016},
  editor = {Carl Alphonce and Jodi Tims and Michael E. Caspersen and Stephen Edwards},
  publisher = {ACM},
  isbn = {978-1-4503-3685-7},
}

@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 = {Generative and Component-Based Software Engineering, First International Symposium, GCSE 99, Erfurt, Germany, September 28-30, 1999, Revised Papers},
  editor = {Krzysztof Czarnecki and Ulrich W. Eisenecker},
  volume = {1799},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41172-0},
}

@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 = {19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2131-2},
}

@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 = {Science of Computer Programming},
  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 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
  editor = {Ana Cavalcanti and Dennis Dams},
  volume = {5850},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-05088-6},
}

@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 = {ACM SIGSOFT Software Engineering Notes},
  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 = {Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013 - Companion Volume},
  editor = {Antony L. Hosking and Patrick Th. Eugster},
  publisher = {ACM},
  isbn = {978-1-4503-1995-9},
}

@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 = {3rd USENIX Conference on Web Application Development, WebApps'12, Boston, MA, USA, June 13, 2012},
  editor = {E. Michael Maximilien},
  publisher = {USENIX Association},
}

@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 = {Proceedings of the 2006 Symposium on Interactive 3D Graphics, SI3D 2006, March 14-17, 2006, Redwood City, California, USA},
  editor = {Marc Olano and Carlo H. Séquin},
  publisher = {ACM},
  isbn = {1-59593-295-X},
}

@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 = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013},
  editor = {Antony L. Hosking and Patrick Th. Eugster and Cristina V. Lopes},
  publisher = {ACM},
  isbn = {978-1-4503-2374-1},
}

@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 = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
  editor = {S. Doaitse Swierstra},
  volume = {1576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65699-5},
}

@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'13, Proceedings of the 9th Symposium on Dynamic Languages, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013},
  editor = {Antony L. Hosking and Patrick Th. Eugster and Carl Friedrich Bolz},
  publisher = {ACM},
  isbn = {978-1-4503-2433-5},
}

@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 = {Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings},
  editor = {Dragan Bosnacki and Stefan Leue},
  volume = {2318},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43477-1},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA},
  editor = {Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh},
  publisher = {ACM},
}

@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 = {Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014},
  editor = {Åsa Cajander and Mats Daniels and Tony Clear and Arnold Pears},
  publisher = {ACM},
  isbn = {978-1-4503-2833-3},
}

@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 = {ACM SIGSOFT Software Engineering Notes},
  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 = {Uncovering the Secrets of System Administration: Proceedings of the 24th Large Installation System Administration Conference, LISA 2010, San Jose, CA, USA, November 7-12, 2010},
  editor = {Rudi van Drunen},
  publisher = {USENIX Association},
}

@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 = {Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Pierpaolo Degano},
  volume = {2618},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00886-1},
}

@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 = {Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009},
  editor = {Juan Quemada and Gonzalo León and Yoëlle S. Maarek and Wolfgang Nejdl},
  publisher = {ACM},
  isbn = {978-1-60558-487-4},
}

@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 = {Proceedings of the 42nd ACM technical symposium on Computer science education, SIGCSE 2011, Dallas, TX, USA, March 9-12, 2011},
  editor = {Thomas J. Cortina and Ellen Lowenfeld Walker and Laurie A. Smith King and David R. Musicant},
  publisher = {ACM},
  isbn = {978-1-4503-0500-6},
}

@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 = {Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010},
  editor = {Gruia-Catalin Roman and Kevin J. Sullivan},
  publisher = {ACM},
  isbn = {978-1-4503-0427-6},
}

@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 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings},
  editor = {Nikolaj Bjørner and Frank D. de Boer},
  volume = {9109},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-19248-2},
}

@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 = {Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015},
  editor = {Kathleen Fisher and John H. Reppy},
  publisher = {ACM},
  isbn = {978-1-4503-3669-7},
}

@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 = {Communications of the ACM},
  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 = {Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR '15, Santa Clara, California, USA, June 17-18, 2015},
  editor = {Jennifer Rexford and Amin Vahdat},
  publisher = {ACM},
  isbn = {978-1-4503-3451-8},
}

@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 = {Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004},
  editor = {Richard N. Taylor and Matthew B. Dwyer},
  publisher = {ACM},
  isbn = {1-58113-855-5},
}

@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 = {Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015},
  editor = {Michael Clarkson and Limin Jia},
  publisher = {ACM},
  isbn = {978-1-4503-3661-1},
}

@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 Notices},
  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 = {Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008},
  editor = {Vitaly Shmatikov},
  publisher = {ACM},
  isbn = {978-1-60558-288-7},
}

@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 = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  editor = {Masami Hagiya and Philip Wadler},
  volume = {3945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33438-6},
}

@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 Notices},
  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 = {The 44th ACM Technical Symposium on Computer Science Education, SIGCSE '13, Denver, CO, USA, March 6-9, 2013},
  editor = {Tracy Camp and Paul T. Tymann and J. D. Dougherty and Kris Nagel},
  publisher = {ACM},
  isbn = {978-1-4503-1868-6},
}

@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 = {Journal of Functional Programming},
  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 = {Formal Syntax and Semantics of Java},
  editor = {Jim Alves-Foss},
  volume = {1523},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66158-1},
}

@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 = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL 2015, Mumbai, India, January 14, 2015},
  publisher = {ACM},
  isbn = {978-1-4503-3299-6},
}

@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 = {First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain},
  editor = {María Alpuente and Santiago Escobar and Moreno Falaschi},
  volume = {DSIC-II/03/05},
  publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia},
}

@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 = {Journal of Functional Programming},
  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 = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013},
  editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl},
  publisher = {IEEE / ACM},
  isbn = {978-1-4673-3076-3},
}

@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 = {Communications of the ACM},
  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 = {Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings},
  editor = {Gilles Barthe},
  volume = {6602},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-19717-8},
}

@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 Notices},
  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 = {Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings},
  editor = {Antoine Miné and David Schmidt},
  volume = {7460},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33124-4},
}

@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 = {19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2131-2},
}

@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 = {Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011},
  editor = {Guido Rößling and Thomas L. Naps and Christian Spannagel},
  publisher = {ACM},
  isbn = {978-1-4503-0697-3},
}

@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 = {Proceedings of the International Conference on Human Factors in Computing Systems, CHI 2011, Vancouver, BC, Canada, May 7-12, 2011},
  editor = {Desney S. Tan and Saleema Amershi and Bo Begole and Wendy A. Kellogg and Manas Tungare},
  publisher = {ACM},
  isbn = {978-1-4503-0228-9},
}

@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 = {Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014, Seattle, WA, USA, April 2-4, 2014},
  editor = {Ratul Mahajan and Ion Stoica},
  publisher = {USENIX Association},
  isbn = {978-1-931971-09-6},
}

@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 = {17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1736-6},
}

@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 2006,11th ACM Symposium on Access Control Models and Technologies, Lake Tahoe, California, USA, June 7-9, 2006, Proceedings},
  editor = {David F. Ferraiolo and Indrakshi Ray},
  publisher = {ACM},
  isbn = {1-59593-353-0},
}

@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 = {Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008},
  editor = {Mary Jean Harrold and Gail C. Murphy},
  publisher = {ACM},
  isbn = {978-1-59593-995-1},
}

@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 = {Computer Science Education},
  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 = {International Conference on High Performance Computing, Networking and Communication Systems, HPCNCS-07, Orlando, Florida, USA, July 9-12 2007},
  editor = {Mislav Grgic and Andrew H. Sung and Guoyin Wang},
  publisher = {ISRST},
  isbn = {978-0-9727412-5-5},
}

@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 = {Proceedings of the Seventh International Workshop on Computing Education Research, ICER 2011, Providence, RI, USA, August 8-9, 2011},
  editor = {Kate Sanders and Michael E. Caspersen and Alison Clear},
  publisher = {ACM},
  isbn = {978-1-4503-0829-8},
}

@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 = {Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings},
  editor = {Daniel Le Métayer},
  volume = {2305},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43363-5},
}

@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 = {Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions},
  editor = {Bertrand Meyer and Jim Woodcock},
  volume = {4171},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69147-1},
}

@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 = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings},
  editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen},
  volume = {1292},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63398-7},
}

@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 = {2nd USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services, Hot-ICE'12, San Jose, CA, USA, April 24, 2012},
  editor = {Olivier Bonaventure and Ramana Rao Kompella},
  publisher = {USENIX Association},
}

@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 = {SIGSOFT 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 = {18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2035-9},
}

@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 = {Proceedings of the World Congress on Engineering, WCE 2007, London, UK, 2-4 July, 2007},
  editor = {Sio Iong Ao and Leonid Gelman and David W. L. Hukins and Andrew Hunter and A. M. Korsunsky},
  series = {Lecture Notes in Engineering and Computer Science},
  publisher = {Newswood Limited},
  isbn = {978-988-98671-5-7},
}

@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 = {Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers},
  editor = {Pierpaolo Degano and Joshua D. Guttman},
  volume = {5983},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12458-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 = {Proceedings of the 2009 ACM Conference on Recommender Systems, RecSys 2009, New York, NY, USA, October 23-25, 2009},
  editor = {Lawrence D. Bergman and Alexander Tuzhilin and Robin D. Burke and Alexander Felfernig and Lars Schmidt-Thieme},
  publisher = {ACM},
  isbn = {978-1-60558-435-5},
}

@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 = {ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2011, part of SPLASH '11, Portland, OR, USA, October 22-27, 2011},
  editor = {Robert Hirschfeld and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-4503-0941-7},
}

@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 = {ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2013, part of SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013},
  editor = {Antony L. Hosking and Patrick Th. Eugster and Robert Hirschfeld},
  publisher = {ACM},
  isbn = {978-1-4503-2472-4},
}

@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 = {Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007},
  editor = {Carey L. Williamson and Mary Ellen Zurko and Peter F. Patel-Schneider and Prashant J. Shenoy},
  publisher = {ACM},
  isbn = {978-1-59593-654-7},
}

@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 = {Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings},
  editor = {Joachim Biskup and Javier Lopez},
  volume = {4734},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74834-2},
}

@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 = {26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015},
  publisher = {IEEE},
  isbn = {978-1-5090-0406-5},
}

@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 = {20th USENIX Security Symposium, San Francisco, CA, USA, August 8-12, 2011, Proceedings},
  publisher = {USENIX Association},
}

@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 = {SIGSOFT 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 = {Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  editor = {Ulrich Furbach and Natarajan Shankar},
  volume = {4130},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37187-7},
}

@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 = {ACM SIGCOMM 2013 Conference, SIGCOMM'13, Hong Kong, China, August 12-16, 2013},
  editor = {Dah-Ming Chiu and Jia Wang and Paul Barford and Srinivasan Seshan},
  publisher = {ACM},
  isbn = {978-1-4503-2056-6},
}

@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 = {19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2131-2},
}

@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 = {Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010},
  editor = {Gruia-Catalin Roman and Kevin J. Sullivan},
  publisher = {ACM},
  isbn = {978-1-4503-0427-6},
}

@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 = {Automated Software Engineering},
  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 = {ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012},
  editor = {Gary T. Leavens and Jonathan Edwards},
  publisher = {ACM},
  isbn = {978-1-4503-1562-3},
}

@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 = {Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR '15, Santa Clara, California, USA, June 17-18, 2015},
  editor = {Jennifer Rexford and Amin Vahdat},
  publisher = {ACM},
  isbn = {978-1-4503-3451-8},
}

@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 = {Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings},
  editor = {Enrico Pontelli and Vítor Santos Costa},
  volume = {1753},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66992-2},
}

@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 = {16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1426-X},
}

@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 = {Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-766-0},
}

@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 = {International Computing Education Research Conference, ICER 2014, Glasgow, United Kingdom, August 11-13, 2014},
  editor = {Quintin I. Cutts and Beth Simon and Brian Dorn},
  publisher = {ACM},
  isbn = {978-1-4503-2755-8},
}

@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 = {Proceedings of the 8th Symposium on Dynamic Languages, DLS '12, Tucson, AZ, USA, October 22, 2012},
  editor = {Alessandro Warth},
  publisher = {ACM},
  isbn = {978-1-4503-1564-7},
}

@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 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings},
  editor = {Giuseppe Castagna},
  volume = {7920},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-39037-1},
}

@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 2010, 15th ACM Symposium on Access Control Models and Technologies, Pittsburgh, Pennsylvania, USA, June 9-11, 2010, Proceedings},
  editor = {James B. D. Joshi and Barbara Carminati},
  publisher = {ACM},
  isbn = {978-1-4503-0049-0},
}

@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 = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  editor = {Michael F. P. O'Boyle and Keshav Pingali},
  publisher = {ACM},
  isbn = {978-1-4503-2784-8},
}

@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 = {9th Annual Workshop on the Economics of Information Security, WEIS 2010, Harvard University, Cambridge, MA, USA, June 7-8, 2010},
}

@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 = {18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2035-9},
}

@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'13, Proceedings of the 9th Symposium on Dynamic Languages, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013},
  editor = {Antony L. Hosking and Patrick Th. Eugster and Carl Friedrich Bolz},
  publisher = {ACM},
  isbn = {978-1-4503-2433-5},
}

@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 = {Higher-Order and Symbolic Computation},
  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 = {Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012},
  editor = {Robert Hirschfeld and Éric Tanter and Kevin J. Sullivan and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {978-1-4503-1092-5},
}

@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 = {Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014},
  editor = {Åsa Cajander and Mats Daniels and Tony Clear and Arnold Pears},
  publisher = {ACM},
  isbn = {978-1-4503-2833-3},
}

@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 = {Journal of Functional Programming},
  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 = {Proceedings of the 47th ACM Technical Symposium on Computing Science Education, Memphis, TN, USA, March 02 - 05, 2016},
  editor = {Carl Alphonce and Jodi Tims and Michael E. Caspersen and Stephen Edwards},
  publisher = {ACM},
  isbn = {978-1-4503-3685-7},
}

@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 = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}

@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 = {Automated Software Engineering},
  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 / SIGSOFT 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 = {Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
  editor = {Verónica Dahl and Philip Wadler},
  volume = {2562},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00389-4},
}

@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 = {Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
  editor = {Kenichi Asai and Kostis Sagonas},
  publisher = {ACM},
  isbn = {978-1-4503-3297-2},
}

@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 = {1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA},
  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},
}

@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 = {ECCOP 98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings},
  editor = {Eric Jul},
  volume = {1445},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64737-6},
}

@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 = {26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2163-0},
}

@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 = {Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  editor = {John Derrick and John A. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene},
  volume = {7316},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-30884-0},
}

@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 = {Automated Software Engineering},
  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 = {ACM Transactions on Software Engineering Methodology},
  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 = {Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA},
  publisher = {ACM},
}

@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 = {Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007},
  editor = {Ganesan Ramalingam and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-59593-620-2},
}

@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 = {Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings},
  editor = {David Sands},
  volume = {2028},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41862-8},
}

@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 Notices},
  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 = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
  address = {New York, NY, USA},
  publisher = {ACM},
}

@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 = {Proceedings of the 46th ACM Technical Symposium on Computer Science Education, Kansas City, MO, USA, March 4-7, 2015},
  editor = {Adrienne Decker and Kurt Eiselt and Carl Alphonce and Jodi Tims},
  publisher = {ACM},
  isbn = {978-1-4503-2966-8},
}

@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 = {Proceedings of the Working Group Reports of the 2014 on Innovation & Technology in Computer Science Education Conference, ITiCSE-WGR '14, Uppsala, Sweden, June 23-25, 2014},
  editor = {Alison Clear and Raymond Lister},
  publisher = {ACM},
  isbn = {978-1-4503-3406-8},
}

@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 = {Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings},
  editor = {Peter Sestoft},
  volume = {3924},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33095-X},
}

@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 = {2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  editor = {Gail C. Murphy and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-4503-3688-8},
}

@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 = {Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA},
  publisher = {IEEE Computer Society},
}

@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 = {Proceedings of the 5th Symposium on Usable Privacy and Security, SOUPS 2009, Mountain View, California, USA, July 15-17, 2009},
  editor = {Lorrie Faith Cranor},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {978-1-60558-736-3},
}

@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 = {Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
  editor = {Verónica Dahl and Philip Wadler},
  volume = {2562},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00389-4},
}

@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 = {First IEEE International Conference on Digital Information Management (ICDIM), December 6-8, 2006, Christ College, Bangalore, India, Proceedings},
  publisher = {IEEE},
}

@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 = {Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings},
  editor = {Sushil Jajodia and Javier Lopez},
  volume = {5283},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88312-8},
}

@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 = {Computer Security - ESORICS 2013 - 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013. Proceedings},
  editor = {Jason Crampton and Sushil Jajodia and Keith Mayes},
  volume = {8134},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40202-9},
}

@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 = {Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN 2013, The Chinese University of Hong Kong, Hong Kong, China, Friday, August 16, 2013},
  editor = {Nate Foster and Rob Sherwood},
  publisher = {ACM},
  isbn = {978-1-4503-2178-5},
}
@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},
}