Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Shriram Krishnamurthi
@article{DBLP:journals/pacmpl/CrichtonK24,
author = {Will Crichton and
Shriram Krishnamurthi},
title = {A Core Calculus for Documents: Or, Lambda: The Ultimate Document},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {667--694},
year = {2024},
url = {https://doi.org/10.1145/3632865},
doi = {10.1145/3632865},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CrichtonK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/RiveraFK24,
author = {Elijah Rivera and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Ben Stephenson and
Jeffrey A. Stone and
Lina Battestilli and
Samuel A. Rebelsky and
Libby Shoop},
title = {Observations on the Design of Program Planning Notations for Students},
booktitle = {Proceedings of the 55th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2024, Volume 1, Portland, OR, USA, March 20-23,
2024},
pages = {1133--1139},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3626252.3630901},
doi = {10.1145/3626252.3630901},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/RiveraFK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-00021,
author = {Siddhartha Prasad and
Ben Greenman and
Tim Nelson and
Shriram Krishnamurthi},
title = {Conceptual Mutation Testing for Student Programming Misconceptions},
journal = {CoRR},
volume = {abs/2401.00021},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.00021},
doi = {10.48550/ARXIV.2401.00021},
eprinttype = {arXiv},
eprint = {2401.00021},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-00021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-01257,
author = {Will Crichton and
Shriram Krishnamurthi},
title = {Profiling Programming Language Learning},
journal = {CoRR},
volume = {abs/2401.01257},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.01257},
doi = {10.48550/ARXIV.2401.01257},
eprinttype = {arXiv},
eprint = {2401.01257},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-01257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-02409,
author = {Ben Greenman and
Alan Jeffrey and
Shriram Krishnamurthi and
Mitesh Shah},
title = {Privacy-Respecting Type Error Telemetry at Scale},
journal = {CoRR},
volume = {abs/2403.02409},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.02409},
doi = {10.48550/ARXIV.2403.02409},
eprinttype = {arXiv},
eprint = {2403.02409},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-02409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LuKFT23,
author = {Kuang{-}Chen Lu and
Shriram Krishnamurthi and
Kathi Fisler and
Ethel Tshukudu},
title = {What Happens When Students Switch (Functional) Languages (Experience
Report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {796--812},
year = {2023},
url = {https://doi.org/10.1145/3607857},
doi = {10.1145/3607857},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LuKFT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/CrichtonGK23,
author = {Will Crichton and
Gavin Gray and
Shriram Krishnamurthi},
title = {A Grounded Conceptual Model for Ownership Types in Rust},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1224--1252},
year = {2023},
url = {https://doi.org/10.1145/3622841},
doi = {10.1145/3622841},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CrichtonGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/LuGMVPK23,
author = {Kuang{-}Chen Lu and
Ben Greenman and
Carl Meyer and
Dino Viehland and
Aniket Panse and
Shriram Krishnamurthi},
title = {Gradual Soundness: Lessons from Static Python},
journal = {Art Sci. Eng. Program.},
volume = {7},
number = {1},
pages = {2},
year = {2023},
url = {https://doi.org/10.22152/programming-journal.org/2023/7/2},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2023/7/2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/LuGMVPK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/GreenmanSNK23,
author = {Ben Greenman and
Sam Saarinen and
Tim Nelson and
Shriram Krishnamurthi},
title = {Little Tricky Logic: Misconceptions in the Understanding of {LTL}},
journal = {Art Sci. Eng. Program.},
volume = {7},
number = {2},
year = {2023},
url = {https://doi.org/10.22152/programming-journal.org/2023/7/7},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2023/7/7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/GreenmanSNK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comped/PrasadGNK23,
author = {Siddhartha Prasad and
Ben Greenman and
Tim Nelson and
Shriram Krishnamurthi},
editor = {Venkatesh Choppella and
Deepak B. Phatak and
Andrew Luxton{-}Reilly and
Michelle Craig},
title = {Generating Programs Trivially: Student Use of Large Language Models},
booktitle = {Proceedings of the {ACM} Conference on Global Computing Education
Vol 1, CompEd 2023, Hyderabad, India, December 5-9, 2023},
pages = {126--132},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576882.3617921},
doi = {10.1145/3576882.3617921},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comped/PrasadGNK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-04265,
author = {John Wrenn and
Anjali Pal and
Alexa VanHattum and
Shriram Krishnamurthi},
title = {Dependently Typing {R} Vectors, Arrays, and Matrices},
journal = {CoRR},
volume = {abs/2304.04265},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.04265},
doi = {10.48550/ARXIV.2304.04265},
eprinttype = {arXiv},
eprint = {2304.04265},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-04265.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-04134,
author = {Will Crichton and
Gavin Gray and
Shriram Krishnamurthi},
title = {A Grounded Conceptual Model for Ownership Types in Rust},
journal = {CoRR},
volume = {abs/2309.04134},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.04134},
doi = {10.48550/ARXIV.2309.04134},
eprinttype = {arXiv},
eprint = {2309.04134},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-04134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-04368,
author = {Will Crichton and
Shriram Krishnamurthi},
title = {A Core Calculus for Documents},
journal = {CoRR},
volume = {abs/2310.04368},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.04368},
doi = {10.48550/ARXIV.2310.04368},
eprinttype = {arXiv},
eprint = {2310.04368},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-04368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GibbonsK22,
author = {Jeremy Gibbons and
Shriram Krishnamurthi},
title = {Editorial},
journal = {J. Funct. Program.},
volume = {32},
pages = {e1},
year = {2022},
url = {https://doi.org/10.1017/S0956796821000265},
doi = {10.1017/S0956796821000265},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/GibbonsK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RiveraK22,
author = {Elijah Rivera and
Shriram Krishnamurthi},
title = {Structural versus pipeline composition of higher-order functions (experience
report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {343--356},
year = {2022},
url = {https://doi.org/10.1145/3547633},
doi = {10.1145/3547633},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RiveraK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DyerNFK22,
author = {Tristan Dyer and
Tim Nelson and
Kathi Fisler and
Shriram Krishnamurthi},
title = {Applying cognitive principles to model-finding output: the positive
value of negative information},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA1}},
pages = {1--29},
year = {2022},
url = {https://doi.org/10.1145/3527323},
doi = {10.1145/3527323},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DyerNFK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/LuGK22,
author = {Kuang{-}Chen Lu and
Ben Greenman and
Shriram Krishnamurthi},
title = {Types for Tables: {A} Language Design Benchmark},
journal = {Art Sci. Eng. Program.},
volume = {6},
number = {2},
pages = {8},
year = {2022},
url = {https://doi.org/10.22152/programming-journal.org/2022/6/8},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2022/6/8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/LuGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/NelsonRSVWK22,
author = {Tim Nelson and
Elijah Rivera and
Sam Soucie and
Thomas Del Vecchio and
John Wrenn and
Shriram Krishnamurthi},
title = {Automated, Targeted Testing of Property-Based Testing Predicates},
journal = {Art Sci. Eng. Program.},
volume = {6},
number = {2},
pages = {10},
year = {2022},
url = {https://doi.org/10.22152/programming-journal.org/2022/6/10},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2022/6/10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/NelsonRSVWK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/RiveraKG22,
author = {Elijah Rivera and
Shriram Krishnamurthi and
Robert L. Goldstone},
editor = {Jan Vahrenhold and
Kathi Fisler and
Matthias Hauswirth and
Diana Franklin},
title = {Plan Composition Using Higher-Order Functions},
booktitle = {{ICER} 2022: {ACM} Conference on International Computing Education
Research, Lugano and Virtual Event, Switzerland, August 7 - 11, 2022,
Volume 1},
pages = {84--104},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3501385.3543965},
doi = {10.1145/3501385.3543965},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/RiveraKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/ClementsK22,
author = {John Clements and
Shriram Krishnamurthi},
editor = {Jan Vahrenhold and
Kathi Fisler and
Matthias Hauswirth and
Diana Franklin},
title = {Towards a Notional Machine for Runtime Stacks and Scope: When Stacks
Don't Stack Up},
booktitle = {{ICER} 2022: {ACM} Conference on International Computing Education
Research, Lugano and Virtual Event, Switzerland, August 7 - 11, 2022,
Volume 1},
pages = {206--222},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3501385.3543961},
doi = {10.1145/3501385.3543961},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/ClementsK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/KrishnamurthiBL22,
author = {Shriram Krishnamurthi and
Anika Bahl and
Benjamin Lee and
Steven Sloman},
editor = {Ilkka Jormanainen and
Andrew Petersen},
title = {Problematic and Persistent Post-Secondary Program Performance Preconceptions},
booktitle = {Koli Calling '22: 22nd Koli Calling International Conference on Computing
Education Research, Koli 2022, Koli, Finland, November 17-20, 2022},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3564721.3564722},
doi = {10.1145/3564721.3564722},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/KrishnamurthiBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/PrasadGNWK22,
author = {Siddhartha Prasad and
Ben Greenman and
Tim Nelson and
John Wrenn and
Shriram Krishnamurthi},
editor = {Ilkka Jormanainen and
Andrew Petersen},
title = {Making Hay from Wheats: {A} Classsourcing Method to Identify Misconceptions},
booktitle = {Koli Calling '22: 22nd Koli Calling International Conference on Computing
Education Research, Koli 2022, Koli, Finland, November 17-20, 2022},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3564721.3564726},
doi = {10.1145/3564721.3564726},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/PrasadGNWK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SchanzerPDDPLFK21,
author = {Emmanuel Schanzer and
Nancy Pfenning and
Flannery Denny and
Sam Dooman and
Joe Gibbs Politz and
Benjamin S. Lerner and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Larry Merkle and
Maureen Doyle and
Judithe Sheard and
Leen{-}Kiat Soh and
Brian Dorn},
title = {Integrated Data Science for Secondary Schools: Design and Assessment
of a Curriculum},
booktitle = {{SIGCSE} 2022: The 53rd {ACM} Technical Symposium on Computer Science
Education, Providence, RI, USA, March 3-5, 2022, Volume 1},
pages = {22--28},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3478431.3499311},
doi = {10.1145/3478431.3499311},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/SchanzerPDDPLFK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13831,
author = {Kuang{-}Chen Lu and
Ben Greenman and
Carl Meyer and
Dino Viehland and
Aniket Panse and
Shriram Krishnamurthi},
title = {Gradual Soundness: Lessons from Static Python},
journal = {CoRR},
volume = {abs/2206.13831},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13831},
doi = {10.48550/ARXIV.2206.13831},
eprinttype = {arXiv},
eprint = {2206.13831},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13831.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-01677,
author = {Ben Greenman and
Sam Saarinen and
Tim Nelson and
Shriram Krishnamurthi},
title = {Little Tricky Logic: Misconceptions in the Understanding of {LTL}},
journal = {CoRR},
volume = {abs/2211.01677},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.01677},
doi = {10.48550/ARXIV.2211.01677},
eprinttype = {arXiv},
eprint = {2211.01677},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-01677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BrownGKM22,
author = {Neil Brown and
Mark J. Guzdial and
Shriram Krishnamurthi and
Jens M{\"{o}}nig},
title = {Educational Programming Languages and Systems (Dagstuhl Seminar 22302)},
journal = {Dagstuhl Reports},
volume = {12},
number = {7},
pages = {205--236},
year = {2022},
url = {https://doi.org/10.4230/DagRep.12.7.205},
doi = {10.4230/DAGREP.12.7.205},
timestamp = {Tue, 07 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BrownGKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Krishnamurthi21,
author = {Shriram Krishnamurthi},
title = {What is an education paper?},
journal = {J. Funct. Program.},
volume = {31},
pages = {e16},
year = {2021},
url = {https://doi.org/10.1017/S0956796821000150},
doi = {10.1017/S0956796821000150},
timestamp = {Wed, 12 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Krishnamurthi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/WrennNK21,
author = {John Wrenn and
Tim Nelson and
Shriram Krishnamurthi},
title = {Using Relational Problems to Teach Property-Based Testing},
journal = {Art Sci. Eng. Program.},
volume = {5},
number = {2},
pages = {9},
year = {2021},
url = {https://doi.org/10.22152/programming-journal.org/2021/5/9},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2021/5/9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/WrennNK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SiegelSDNK21,
author = {Abigail Siegel and
Mia Santomauro and
Tristan Dyer and
Tim Nelson and
Shriram Krishnamurthi},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {Prototyping Formal Methods Tools: {A} Protocol Analysis Case Study},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
on the Occasion of his 66.66th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13066},
pages = {394--413},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_22},
doi = {10.1007/978-3-030-91631-2\_22},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SiegelSDNK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurousec/MartinezK21,
author = {Mary Rose Martinez and
Shriram Krishnamurthi},
title = {Vision: Computing and Authentication Practicesin Global Oil and Gas
Fields},
booktitle = {EuroUSEC '21: European Symposium on Usable Security 2021, Karlsruhe,
Germany, October 11 - 12, 2021},
pages = {118--123},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3481357.3481524},
doi = {10.1145/3481357.3481524},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurousec/MartinezK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/YoungK21,
author = {Nick Young and
Shriram Krishnamurthi},
editor = {Amy J. Ko and
Jan Vahrenhold and
Ren{\'{e}}e McCauley and
Matthias Hauswirth},
title = {Early Post-Secondary Student Performance of Adversarial Thinking},
booktitle = {{ICER} 2021: {ACM} Conference on International Computing Education
Research, Virtual Event, USA, August 16-19, 2021},
pages = {213--224},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3446871.3469743},
doi = {10.1145/3446871.3469743},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/YoungK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/KrishnamurthiF21,
author = {Shriram Krishnamurthi and
Kathi Fisler},
editor = {Amy J. Ko and
Jan Vahrenhold and
Ren{\'{e}}e McCauley and
Matthias Hauswirth},
title = {Developing Behavioral Concepts of Higher-Order Functions},
booktitle = {{ICER} 2021: {ACM} Conference on International Computing Education
Research, Virtual Event, USA, August 16-19, 2021},
pages = {306--318},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3446871.3469739},
doi = {10.1145/3446871.3469739},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/KrishnamurthiF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/WrennK21,
author = {Jack Wrenn and
Shriram Krishnamurthi},
editor = {Otto Sepp{\"{a}}l{\"{a}} and
Andrew Petersen},
title = {Reading Between the Lines: Student Help-Seeking for (Un)Specified
Behaviors},
booktitle = {Koli Calling '21: 21st Koli Calling International Conference on Computing
Education Research, Joensuu, Finland, November 18 - 21, 2021},
pages = {14:1--14:6},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3488042.3488072},
doi = {10.1145/3488042.3488072},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/WrennK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/FislerSWFRKPLPK21,
author = {Kathi Fisler and
Emmanuel Schanzer and
Steve Weimar and
Annie Fetter and
K. Ann Renninger and
Shriram Krishnamurthi and
Joe Gibbs Politz and
Benjamin S. Lerner and
Jennifer Poole and
Christine Koerner},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {Evolving a {K-12} Curriculum for Integrating Computer Science into
Mathematics},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {59--65},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3432546},
doi = {10.1145/3408877.3432546},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/FislerSWFRKPLPK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-02660,
author = {Mary Rose Martinez and
Shriram Krishnamurthi},
title = {Computing and Authentication Practices in Global Oil and Gas Fields},
journal = {CoRR},
volume = {abs/2108.02660},
year = {2021},
url = {https://arxiv.org/abs/2108.02660},
eprinttype = {arXiv},
eprint = {2108.02660},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-10412,
author = {Kuang{-}Chen Lu and
Ben Greenman and
Shriram Krishnamurthi},
title = {Types for Tables: {A} Language Design Benchmark},
journal = {CoRR},
volume = {abs/2111.10412},
year = {2021},
url = {https://arxiv.org/abs/2111.10412},
eprinttype = {arXiv},
eprint = {2111.10412},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-10412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-10414,
author = {Tim Nelson and
Elijah Rivera and
Sam Soucie and
Thomas Del Vecchio and
John Wrenn and
Shriram Krishnamurthi},
title = {Automated, Targeted Testing of Property-Based Testing Predicates},
journal = {CoRR},
volume = {abs/2111.10414},
year = {2021},
url = {https://arxiv.org/abs/2111.10414},
eprinttype = {arXiv},
eprint = {2111.10414},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-10414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KrishnamurthiF20,
author = {Shriram Krishnamurthi and
Kathi Fisler},
title = {Data-centricity: a challenge and opportunity for computing education},
journal = {Commun. {ACM}},
volume = {63},
number = {8},
pages = {24--26},
year = {2020},
url = {https://doi.org/10.1145/3408056},
doi = {10.1145/3408056},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KrishnamurthiF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/DackowWNKB20,
author = {Kevin Dackow and
Andrew Wagner and
Tim Nelson and
Shriram Krishnamurthi and
Theophilus A. Benson},
editor = {Ben Y. Zhao and
Heather Zheng and
Harsha V. Madhyastha and
Venkat N. Padmanabhan},
title = {Solver-Aided Multi-Party Configuration},
booktitle = {HotNets '20: The 19th {ACM} Workshop on Hot Topics in Networks, Virtual
Event, USA, November 4-6, 2020},
pages = {103--109},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3422604.3425944},
doi = {10.1145/3422604.3425944},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotnets/DackowWNKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/GuHLRFK20,
author = {Xingjian Gu and
Max A. Heller and
Stella Li and
Yanyan Ren and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Anthony V. Robins and
Adon Moskal and
Amy J. Ko and
Ren{\'{e}}e McCauley},
title = {Using Design Alternatives to Learn About Data Organizations},
booktitle = {{ICER} 2020: International Computing Education Research Conference,
Virtual Event, New Zealand, August 10-12, 2020},
pages = {248--258},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372782.3406267},
doi = {10.1145/3372782.3406267},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icer/GuHLRFK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/SchanzerBK20,
author = {Emmanuel Schanzer and
Sina Bahram and
Shriram Krishnamurthi},
editor = {Nick Falkner and
Otto Sepp{\"{a}}l{\"{a}}},
title = {Adapting Student IDEs for Blind Programmers},
booktitle = {Koli Calling '20: 20th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 19-22, 2020},
pages = {23:1--23:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3428029.3428051},
doi = {10.1145/3428029.3428051},
timestamp = {Sat, 21 Oct 2023 10:46:28 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/SchanzerBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/WrennK20,
author = {John Wrenn and
Shriram Krishnamurthi},
editor = {Nick Falkner and
Otto Sepp{\"{a}}l{\"{a}}},
title = {Will Students Write Tests Early Without Coercion?{\unicode{10033}}},
booktitle = {Koli Calling '20: 20th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 19-22, 2020},
pages = {27:1--27:5},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3428029.3428060},
doi = {10.1145/3428029.3428060},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/WrennK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01794,
author = {Shriram Krishnamurthi and
Emmanuel Schanzer and
Joe Gibbs Politz and
Benjamin S. Lerner and
Kathi Fisler and
Sam Dooman},
title = {Data Science as a Route to {AI} for Middle- and High-School Students},
journal = {CoRR},
volume = {abs/2005.01794},
year = {2020},
url = {https://arxiv.org/abs/2005.01794},
eprinttype = {arXiv},
eprint = {2005.01794},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01794.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-16305,
author = {John Wrenn and
Tim Nelson and
Shriram Krishnamurthi},
title = {Using Relational Problems to Teach Property-Based Testing},
journal = {CoRR},
volume = {abs/2010.16305},
year = {2020},
url = {https://arxiv.org/abs/2010.16305},
eprinttype = {arXiv},
eprint = {2010.16305},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16305.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/SchanzerKF19,
author = {Emmanuel Schanzer and
Shriram Krishnamurthi and
Kathi Fisler},
title = {What does it mean for a computing curriculum to succeed?},
journal = {Commun. {ACM}},
volume = {62},
number = {5},
pages = {30--32},
year = {2019},
url = {https://doi.org/10.1145/3319081},
doi = {10.1145/3319081},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/SchanzerKF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/PolitzLPK19,
author = {Joe Gibbs Politz and
Benjamin S. Lerner and
Sorawee Porncharoenwase and
Shriram Krishnamurthi},
title = {Event Loops as First-Class Values: {A} Case Study in Pedagogic Language
Design},
journal = {Art Sci. Eng. Program.},
volume = {3},
number = {3},
pages = {11},
year = {2019},
url = {https://doi.org/10.22152/programming-journal.org/2019/3/11},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2019/3/11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/PolitzLPK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KrishnamurthiN19,
author = {Shriram Krishnamurthi and
Tim Nelson},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {The Human in Formal Methods},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {3--10},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_1},
doi = {10.1007/978-3-030-30942-8\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KrishnamurthiN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/RenKF19,
author = {Yanyan Ren and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {Robert McCartney and
Andrew Petersen and
Anthony V. Robins and
Adon Moskal},
title = {What Help Do Students Seek in {TA} Office Hours?},
booktitle = {Proceedings of the 2019 {ACM} Conference on International Computing
Education Research, {ICER} 2019, Toronto, ON, Canada, August 12-14,
2019},
pages = {41--49},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3291279.3339418},
doi = {10.1145/3291279.3339418},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/RenKF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/WrennK19,
author = {John Wrenn and
Shriram Krishnamurthi},
editor = {Robert McCartney and
Andrew Petersen and
Anthony V. Robins and
Adon Moskal},
title = {Executable Examples for Programming Problem Comprehension},
booktitle = {Proceedings of the 2019 {ACM} Conference on International Computing
Education Research, {ICER} 2019, Toronto, ON, Canada, August 12-14,
2019},
pages = {131--139},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3291279.3339416},
doi = {10.1145/3291279.3339416},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/WrennK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NelsonDGK19,
author = {Tim Nelson and
Natasha Danas and
Theophilos Giannakopoulos and
Shriram Krishnamurthi},
title = {Synthesizing Mutable Configurations: Setting up Systems for Success},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering
Workshops, {ASE} Workshops 2019, San Diego, CA, USA, November 11-15,
2019},
pages = {81--85},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASEW.2019.00034},
doi = {10.1109/ASEW.2019.00034},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/NelsonDGK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SaarinenKFW19,
author = {Sam Saarinen and
Shriram Krishnamurthi and
Kathi Fisler and
Preston Tunnell Wilson},
editor = {Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
Sarah Heckman and
Jian Zhang},
title = {Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning
for Assessment Instrument Generation},
booktitle = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
02, 2019},
pages = {606--612},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287324.3287504},
doi = {10.1145/3287324.3287504},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/SaarinenKFW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SchanzerBK20,
author = {Emmanuel Schanzer and
Sina Bahram and
Shriram Krishnamurthi},
editor = {Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
Sarah Heckman and
Jian Zhang},
title = {Accessible AST-Based Programming for Visually-Impaired Programmers},
booktitle = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
02, 2019},
pages = {773--779},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287324.3287499},
doi = {10.1145/3287324.3287499},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/SchanzerBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/CulpepperFFK19,
author = {Ryan Culpepper and
Matthias Felleisen and
Matthew Flatt and
Shriram Krishnamurthi},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {From Macros to DSLs: The Evolution of Racket},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {5:1--5:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.5},
doi = {10.4230/LIPICS.SNAPL.2019.5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/CulpepperFFK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/KrishnamurthiLE19,
author = {Shriram Krishnamurthi and
Benjamin S. Lerner and
Liam Elberty},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {The Next 700 Semantics: {A} Research Challenge},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {9:1--9:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.9},
doi = {10.4230/LIPICS.SNAPL.2019.9},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/KrishnamurthiLE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2019,
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-113-9},
isbn = {978-3-95977-113-9},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00735,
author = {Joe Gibbs Politz and
Benjamin S. Lerner and
Sorawee Porncharoenwase and
Shriram Krishnamurthi},
title = {Event Loops as First-Class Values: {A} Case Study in Pedagogic Language
Design},
journal = {CoRR},
volume = {abs/1902.00735},
year = {2019},
url = {http://arxiv.org/abs/1902.00735},
eprinttype = {arXiv},
eprint = {1902.00735},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GuzdialKSV19,
author = {Mark Guzdial and
Shriram Krishnamurthi and
Juha Sorva and
Jan Vahrenhold},
title = {Notional Machines and Programming Language Semantics in Education
(Dagstuhl Seminar 19281)},
journal = {Dagstuhl Reports},
volume = {9},
number = {7},
pages = {1--23},
year = {2019},
url = {https://doi.org/10.4230/DagRep.9.7.1},
doi = {10.4230/DAGREP.9.7.1},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GuzdialKSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FelleisenFFKBMT18,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi and
Eli Barzilay and
Jay A. McCarthy and
Sam Tobin{-}Hochstadt},
title = {A programmable programming language},
journal = {Commun. {ACM}},
volume = {61},
number = {3},
pages = {62--71},
year = {2018},
url = {https://doi.org/10.1145/3127323},
doi = {10.1145/3127323},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/FelleisenFFKBMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/WilsonGPK18,
author = {Preston Tunnell Wilson and
Ben Greenman and
Justin Pombrio and
Shriram Krishnamurthi},
editor = {Tim Felgentreff},
title = {The behavior of gradual types: a user study},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} International Symposium on
Dynamic Languages, {DLS} 2018, Boston, MA, USA, November 6, 2018},
pages = {1--12},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3276945.3276947},
doi = {10.1145/3276945.3276947},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dls/WilsonGPK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Porncharoenwase18,
author = {Sorawee Porncharoenwase and
Tim Nelson and
Shriram Krishnamurthi},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {CompoSAT: Specification-Guided Coverage for Model Finding},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {568--587},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_34},
doi = {10.1007/978-3-319-95582-7\_34},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Porncharoenwase18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/WrennKF18,
author = {John Wrenn and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {Lauri Malmi and
Ari Korhonen and
Robert McCartney and
Andrew Petersen},
title = {Who Tests the Testers?},
booktitle = {Proceedings of the 2018 {ACM} Conference on International Computing
Education Research, {ICER} 2018, Espoo, Finland, August 13-15, 2018},
pages = {51--59},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3230977.3230999},
doi = {10.1145/3230977.3230999},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/WrennKF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BaxterNPKG18,
author = {Samuel Baxter and
Rachit Nigam and
Joe Gibbs Politz and
Shriram Krishnamurthi and
Arjun Guha},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Putting in all the stops: execution control for JavaScript},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {30--45},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192370},
doi = {10.1145/3192366.3192370},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BaxterNPKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PombrioK18,
author = {Justin Pombrio and
Shriram Krishnamurthi},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Inferring type rules for syntactic sugar},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {812--825},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192398},
doi = {10.1145/3192366.3192398},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PombrioK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SchanzerFK18,
author = {Emmanuel Schanzer and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Tiffany Barnes and
Daniel D. Garcia and
Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
title = {Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded
Word Problems},
booktitle = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
pages = {8--13},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3159450.3159498},
doi = {10.1145/3159450.3159498},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/SchanzerFK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SchanzerKF18,
author = {Emmanuel Schanzer and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {Tiffany Barnes and
Daniel D. Garcia and
Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
title = {Creativity, Customization, and Ownership: Game Design in Bootstrap:
Algebra},
booktitle = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
pages = {161--166},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3159450.3159471},
doi = {10.1145/3159450.3159471},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/SchanzerKF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/WilsonFK18,
author = {Preston Tunnell Wilson and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Tiffany Barnes and
Daniel D. Garcia and
Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
title = {Evaluating the Tracing of Recursion in the Substitution Notional Machine},
booktitle = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
pages = {1023--1028},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3159450.3159479},
doi = {10.1145/3159450.3159479},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/WilsonFK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PolitzFKL17,
author = {Joe Gibbs Politz and
Kathi Fisler and
Shriram Krishnamurthi and
Benjamin S. Lerner},
editor = {Tiffany Barnes and
Daniel D. Garcia and
Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
title = {From Spreadsheets to Programs: Data Science and {CS1} in Pyret (Abstract
Only)},
booktitle = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
pages = {1058},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3159450.3162371},
doi = {10.1145/3159450.3162371},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/PolitzFKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-02974,
author = {Samuel Baxter and
Rachit Nigam and
Joe Gibbs Politz and
Shriram Krishnamurthi and
Arjun Guha},
title = {Putting in All the Stops: Execution Control for JavaScript},
journal = {CoRR},
volume = {abs/1802.02974},
year = {2018},
url = {http://arxiv.org/abs/1802.02974},
eprinttype = {arXiv},
eprint = {1802.02974},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-02974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PombrioKW17,
author = {Justin Pombrio and
Shriram Krishnamurthi and
Mitchell Wand},
title = {Inferring scope through syntactic sugar},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {44:1--44:28},
year = {2017},
url = {https://doi.org/10.1145/3110288},
doi = {10.1145/3110288},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PombrioKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/CastroKF17,
author = {Francisco Enrique Vicente Castro and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {Calkin Suero Montero and
Mike Joy},
title = {The impact of a single lecture on program plans in first-year {CS}},
booktitle = {Proceedings of the 17th Koli Calling Conference on Computing Education
Research, Koli, Finland, November 16-19, 2017},
pages = {118--122},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3141880.3141897},
doi = {10.1145/3141880.3141897},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kolicalling/CastroKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WilsonPK17,
author = {Preston Tunnell Wilson and
Justin Pombrio and
Shriram Krishnamurthi},
editor = {Emina Torlak and
Tijs van der Storm and
Robert Biddle},
title = {Can we crowdsource language design?},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
pages = {1--17},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133850.3133863},
doi = {10.1145/3133850.3133863},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/WilsonPK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WrennK17,
author = {John Wrenn and
Shriram Krishnamurthi},
editor = {Emina Torlak and
Tijs van der Storm and
Robert Biddle},
title = {Error messages are classifiers: a process to design and evaluate error
messages},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
pages = {134--147},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133850.3133862},
doi = {10.1145/3133850.3133862},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/WrennK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DanasNHKD17,
author = {Natasha Danas and
Tim Nelson and
Lane Harrison and
Shriram Krishnamurthi and
Daniel J. Dougherty},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {User Studies of Principled Model Finder Output},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {168--184},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_11},
doi = {10.1007/978-3-319-66197-1\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/DanasNHKD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/FislerKW17,
author = {Kathi Fisler and
Shriram Krishnamurthi and
Preston Tunnell Wilson},
editor = {Michael E. Caspersen and
Stephen H. Edwards and
Tiffany Barnes and
Daniel D. Garcia},
title = {Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level
Undergraduates},
booktitle = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
Science Education, {SIGCSE} 2017, Seattle, WA, USA, March 8-11, 2017},
pages = {213--218},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3017680.3017777},
doi = {10.1145/3017680.3017777},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/FislerKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NelsonDDK17,
author = {Tim Nelson and
Natasha Danas and
Daniel J. Dougherty and
Shriram Krishnamurthi},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {The power of "why" and "why not": enriching scenario
exploration with provenance},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {106--116},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106272},
doi = {10.1145/3106237.3106272},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/NelsonDDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/PombrioKF17,
author = {Justin Pombrio and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Teaching Programming Languages by Experimental and Adversarial Thinking},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {13:1--13:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.13},
doi = {10.4230/LIPICS.SNAPL.2017.13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/PombrioKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2017,
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-032-3},
isbn = {978-3-95977-032-3},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ValleeSK16,
author = {Hannah Quay{-}de la Vallee and
Paige Selby and
Shriram Krishnamurthi},
editor = {Long Lu and
Mohammad Mannan},
title = {On a (Per)Mission: Building Privacy Into the App Marketplace},
booktitle = {Proceedings of the 6th Workshop on Security and Privacy in Smartphones
and Mobile Devices, SPSM@CCS 2016, Vienna, Austria, October 24, 2016},
pages = {63--72},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2994466},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ValleeSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/NelsonDHFK16,
author = {Tim Nelson and
Nicholas DeMarinis and
Timothy Adam Hoff and
Rodrigo Fonseca and
Shriram Krishnamurthi},
editor = {Bryan Ford and
Alex C. Snoeren and
Ellen W. Zegura},
title = {Switches are Monitors Too!: Stateful Property Monitoring as a Switch
Design Criterion},
booktitle = {Proceedings of the 15th {ACM} Workshop on Hot Topics in Networks,
HotNets 2016, Atlanta, GA, USA, November 9-10, 2016},
pages = {99--105},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3005745.3005755},
doi = {10.1145/3005745.3005755},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotnets/NelsonDHFK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/FislerKS16,
author = {Kathi Fisler and
Shriram Krishnamurthi and
Janet Siegmund},
editor = {Carl Alphonce and
Jodi L. Tims and
Michael E. Caspersen and
Stephen H. Edwards},
title = {Modernizing Plan-Composition Studies},
booktitle = {Proceedings of the 47th {ACM} Technical Symposium on Computing Science
Education, {SIGCSE} 2016, Memphis, TN, USA, March 02 - 05, 2016},
pages = {211--216},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2839509.2844556},
doi = {10.1145/2839509.2844556},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/FislerKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PolitzCGFK16,
author = {Joe Gibbs Politz and
Joseph M. Collard and
Arjun Guha and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Carl Alphonce and
Jodi L. Tims and
Michael E. Caspersen and
Stephen H. Edwards},
title = {The Sweep: Essential Examples for In-Flow Peer Review},
booktitle = {Proceedings of the 47th {ACM} Technical Symposium on Computing Science
Education, {SIGCSE} 2016, Memphis, TN, USA, March 02 - 05, 2016},
pages = {243--248},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2839509.2844626},
doi = {10.1145/2839509.2844626},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/PolitzCGFK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2016,
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
title = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
series = {LIPIcs},
volume = {56},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-014-9},
isbn = {978-3-95977-014-9},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NelsonDHFK16,
author = {Tim Nelson and
Nicholas DeMarinis and
Timothy Adam Hoff and
Rodrigo Fonseca and
Shriram Krishnamurthi},
title = {Compiling Stateful Network Properties for Runtime Verification},
journal = {CoRR},
volume = {abs/1607.03385},
year = {2016},
url = {http://arxiv.org/abs/1607.03385},
eprinttype = {arXiv},
eprint = {1607.03385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NelsonDHFK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DemetrescuEHK16,
author = {Camil Demetrescu and
Sebastian Erdweg and
Matthew A. Hammer and
Shriram Krishnamurthi},
title = {Programming Language Techniques for Incremental and Reactive Computing
(Dagstuhl Seminar 16402)},
journal = {Dagstuhl Reports},
volume = {6},
number = {10},
pages = {1--12},
year = {2016},
url = {https://doi.org/10.4230/DagRep.6.10.1},
doi = {10.4230/DAGREP.6.10.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DemetrescuEHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KrishnamurthiV15,
author = {Shriram Krishnamurthi and
Jan Vitek},
title = {The real software crisis: repeatability as a core value},
journal = {Commun. {ACM}},
volume = {58},
number = {3},
pages = {34--36},
year = {2015},
url = {https://doi.org/10.1145/2658987},
doi = {10.1145/2658987},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KrishnamurthiV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Krishnamurthi15,
author = {Shriram Krishnamurthi},
editor = {Michael Clarkson and
Limin Jia},
title = {Tierless Programming and Reasoning for Networks},
booktitle = {Proceedings of the 10th {ACM} Workshop on Programming Languages and
Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July
4-10, 2015},
pages = {42},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786558.2786559},
doi = {10.1145/2786558.2786559},
timestamp = {Tue, 18 Aug 2020 09:27:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Krishnamurthi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NelsonFK15,
author = {Tim Nelson and
Andrew D. Ferguson and
Shriram Krishnamurthi},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Static Differential Program Analysis for Software-Defined Networks},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {395--413},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_25},
doi = {10.1007/978-3-319-19249-9\_25},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/NelsonFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PombrioK15,
author = {Justin Pombrio and
Shriram Krishnamurthi},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Hygienic resugaring of compositional desugaring},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {75--87},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784755},
doi = {10.1145/2784731.2784755},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/PombrioK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/RasleyGOBKC15,
author = {Jeff Rasley and
Eleni Gessiou and
Tony Ohmann and
Yuriy Brun and
Shriram Krishnamurthi and
Justin Cappos},
title = {Detecting latent cross-platform {API} violations},
booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
pages = {484--495},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISSRE.2015.7381841},
doi = {10.1109/ISSRE.2015.7381841},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/RasleyGOBKC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiPPK15,
author = {Junsong Li and
Justin Pombrio and
Joe Gibbs Politz and
Shriram Krishnamurthi},
editor = {Gail C. Murphy and
Guy L. Steele Jr.},
title = {Slimming languages by reducing sugar: a case for semantics-altering
transformations},
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},
pages = {90--106},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814228.2814240},
doi = {10.1145/2814228.2814240},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/LiPPK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Krishnamurthi15,
author = {Shriram Krishnamurthi},
editor = {Kenichi Asai and
Kostis Sagonas},
title = {Desugaring in Practice: Opportunities and Challenges},
booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program
Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
pages = {1--2},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2678015.2678016},
doi = {10.1145/2678015.2678016},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Krishnamurthi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SchanzerFKF15,
author = {Emmanuel Schanzer and
Kathi Fisler and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Adrienne Decker and
Kurt Eiselt and
Carl Alphonce and
Jodi L. Tims},
title = {Transferring Skills at Solving Word Problems from Computing to Algebra
Through Bootstrap},
booktitle = {Proceedings of the 46th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2015, Kansas City, MO, USA, March 4-7, 2015},
pages = {616--621},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676723.2677238},
doi = {10.1145/2676723.2677238},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/SchanzerFKF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/FelleisenFFKBMT15,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi and
Eli Barzilay and
Jay A. McCarthy and
Sam Tobin{-}Hochstadt},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {The Racket Manifesto},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {113--128},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.113},
doi = {10.4230/LIPICS.SNAPL.2015.113},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/FelleisenFFKBMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/NelsonFYFK15,
author = {Tim Nelson and
Andrew D. Ferguson and
Da Yu and
Rodrigo Fonseca and
Shriram Krishnamurthi},
editor = {Jennifer Rexford and
Amin Vahdat},
title = {Exodus: toward automatic migration of enterprise network configurations
to SDNs},
booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Symposium on Software Defined
Networking Research, {SOSR} '15, Santa Clara, California, USA, June
17-18, 2015},
pages = {13:1--13:7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774993.2774997},
doi = {10.1145/2774993.2774997},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosr/NelsonFYFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/NelsonYLFK15,
author = {Tim Nelson and
Da Yu and
Yiming Li and
Rodrigo Fonseca and
Shriram Krishnamurthi},
editor = {Jennifer Rexford and
Amin Vahdat},
title = {Simon: scriptable interactive monitoring for SDNs},
booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Symposium on Software Defined
Networking Research, {SOSR} '15, Santa Clara, California, USA, June
17-18, 2015},
pages = {19:1--19:7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774993.2774994},
doi = {10.1145/2774993.2774994},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosr/NelsonYLFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2015,
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {http://www.dagstuhl.de/dagpub/978-3-939897-80-4},
isbn = {978-3-939897-80-4},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Krishnamurthi15,
author = {Shriram Krishnamurthi},
title = {The story of Arjun Guha, or: the arc of a research project},
booktitle = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
2015, Mumbai, India, January 14, 2015},
pages = {7:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2792434.2792441},
doi = {10.1145/2792434.2792441},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Krishnamurthi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PolitzEGK15,
author = {Joe Gibbs Politz and
Spiridon Aristides Eliopoulos and
Arjun Guha and
Shriram Krishnamurthi},
title = {ADsafety: Type-Based Verification of JavaScript Sandboxing},
journal = {CoRR},
volume = {abs/1506.07813},
year = {2015},
url = {http://arxiv.org/abs/1506.07813},
eprinttype = {arXiv},
eprint = {1506.07813},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PolitzEGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuhaSK15,
author = {Arjun Guha and
Claudiu Saftoiu and
Shriram Krishnamurthi},
title = {The Essence of JavaScript},
journal = {CoRR},
volume = {abs/1510.00925},
year = {2015},
url = {http://arxiv.org/abs/1510.00925},
eprinttype = {arXiv},
eprint = {1510.00925},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuhaSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/KoKMS15,
author = {Amy J. Ko and
Shriram Krishnamurthi and
Gail C. Murphy and
Janet Siegmund},
title = {Human-Centric Development of Software Tools (Dagstuhl Seminar 15222)},
journal = {Dagstuhl Reports},
volume = {5},
number = {5},
pages = {115--132},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.5.115},
doi = {10.4230/DAGREP.5.5.115},
timestamp = {Mon, 14 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/KoKMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/ChildersFKZ15,
author = {Bruce R. Childers and
Grigori Fursin and
Shriram Krishnamurthi and
Andreas Zeller},
title = {Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop
15452)},
journal = {Dagstuhl Reports},
volume = {5},
number = {11},
pages = {29--35},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.11.29},
doi = {10.4230/DAGREP.5.11.29},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/ChildersFKZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/PolitzGK14,
author = {Joe Gibbs Politz and
Arjun Guha and
Shriram Krishnamurthi},
title = {Typed-based verification of Web sandboxes},
journal = {J. Comput. Secur.},
volume = {22},
number = {4},
pages = {511--565},
year = {2014},
url = {https://doi.org/10.3233/JCS-140504},
doi = {10.3233/JCS-140504},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/PolitzGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/PolitzKF14,
author = {Joe Gibbs Politz and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {Quintin I. Cutts and
Beth Simon and
Brian Dorn},
title = {In-flow peer-review of tests in test-first programming},
booktitle = {International Computing Education Research Conference, {ICER} 2014,
Glasgow, United Kingdom, August 11-13, 2014},
pages = {11--18},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632320.2632347},
doi = {10.1145/2632320.2632347},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/PolitzKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/ClarkeCFHKPTW14,
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},
editor = {Alison Clear and
Raymond Lister},
title = {In-Flow Peer Review},
booktitle = {Proceedings of the Working Group Reports of the 2014 on Innovation
{\&} Technology in Computer Science Education Conference, ITiCSE-WGR
2014, Uppsala, Sweden, June 23-25, 2014},
pages = {59--79},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2713609.2713612},
doi = {10.1145/2713609.2713612},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/ClarkeCFHKPTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PolitzPKF14,
author = {Joe Gibbs Politz and
Daniel Patterson and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {{\AA}sa Cajander and
Mats Daniels and
Tony Clear and
Arnold Pears},
title = {CaptainTeach: multi-stage, in-flow peer review for programming assignments},
booktitle = {Innovation and Technology in Computer Science Education Conference
2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014},
pages = {267--272},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591708.2591738},
doi = {10.1145/2591708.2591738},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PolitzPKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PolitzKF14,
author = {Joe Gibbs Politz and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {{\AA}sa Cajander and
Mats Daniels and
Tony Clear and
Arnold Pears},
title = {CaptainTeach: a platform for in-flow peer review of programming assignments},
booktitle = {Innovation and Technology in Computer Science Education Conference
2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014},
pages = {332},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591708.2602687},
doi = {10.1145/2591708.2602687},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PolitzKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/NelsonFSK14,
author = {Tim Nelson and
Andrew D. Ferguson and
Michael J. G. Scheer and
Shriram Krishnamurthi},
editor = {Ratul Mahajan and
Ion Stoica},
title = {Tierless Programming and Reasoning for Software-Defined Networks},
booktitle = {Proceedings of the 11th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2014, Seattle, WA, USA, April 2-4, 2014},
pages = {519--531},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/nelson},
timestamp = {Tue, 02 Feb 2021 08:05:43 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/NelsonFSK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PombrioK14,
author = {Justin Pombrio and
Shriram Krishnamurthi},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Resugaring: lifting evaluation sequences through syntactic sugar},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {361--371},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594319},
doi = {10.1145/2594291.2594319},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PombrioK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2014onward,
editor = {Andrew P. Black and
Shriram Krishnamurthi and
Bernd Bruegge and
Joseph N. Ruskiewicz},
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},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661136},
doi = {10.1145/2661136},
isbn = {978-1-4503-3210-1},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2014onward.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HengleinJKT14,
author = {Fritz Henglein and
Ranjit Jhala and
Shriram Krishnamurthi and
Peter Thiemann},
title = {Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl
Seminar 14271)},
journal = {Dagstuhl Reports},
volume = {4},
number = {6},
pages = {84--107},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.6.84},
doi = {10.4230/DAGREP.4.6.84},
timestamp = {Mon, 23 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HengleinJKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Krishnamurthi13,
author = {Shriram Krishnamurthi},
title = {Artifact evaluation for software conferences},
journal = {{ACM} {SIGPLAN} Notices},
volume = {48},
number = {4S},
pages = {17--21},
year = {2013},
url = {https://doi.org/10.1145/2502508.2502518},
doi = {10.1145/2502508.2502518},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/Krishnamurthi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Krishnamurthi13,
author = {Shriram Krishnamurthi},
title = {Artifact evaluation for software conferences},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {38},
number = {3},
pages = {7--10},
year = {2013},
url = {https://doi.org/10.1145/2464526.2464530},
doi = {10.1145/2464526.2464530},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Krishnamurthi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/LernerPGK13,
author = {Benjamin S. Lerner and
Joe Gibbs Politz and
Arjun Guha and
Shriram Krishnamurthi},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Carl Friedrich Bolz},
title = {TeJaS: retrofitting type systems for JavaScript},
booktitle = {DLS'13, Proceedings of the 9th Symposium on Dynamic Languages, part
of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013},
pages = {1--16},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508168.2508170},
doi = {10.1145/2508168.2508170},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dls/LernerPGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/YooK13,
author = {Danny Yoo and
Shriram Krishnamurthi},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Carl Friedrich Bolz},
title = {Whalesong: running racket in the browser},
booktitle = {DLS'13, Proceedings of the 9th Symposium on Dynamic Languages, part
of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013},
pages = {97--108},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508168.2508172},
doi = {10.1145/2508168.2508172},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dls/YooK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LernerELK13,
author = {Benjamin S. Lerner and
Liam Elberty and
Jincheng Li and
Shriram Krishnamurthi},
editor = {Giuseppe Castagna},
title = {Combining Form and Function: Static Types for JQuery Programs},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {79--103},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_4},
doi = {10.1007/978-3-642-39038-8\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/LernerELK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/LernerEPK13,
author = {Benjamin S. Lerner and
Liam Elberty and
Neal Poole and
Shriram Krishnamurthi},
editor = {Jason Crampton and
Sushil Jajodia and
Keith Mayes},
title = {Verifying Web Browser Extensions' Compliance with Private-Browsing
Mode},
booktitle = {Computer Security - {ESORICS} 2013 - 18th European Symposium on Research
in Computer Security, Egham, UK, September 9-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8134},
pages = {57--74},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40203-6\_4},
doi = {10.1007/978-3-642-40203-6\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/LernerEPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NelsonSDFK13,
author = {Tim Nelson and
Salman Saghafi and
Daniel J. Dougherty and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Aluminum: principled scenario exploration through minimality},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {232--241},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606569},
doi = {10.1109/ICSE.2013.6606569},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NelsonSDFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ValleeWZFK13,
author = {Hannah Quay{-}de la Vallee and
James M. Walsh and
William Zimrin and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Robert Hirschfeld},
title = {Usable security as a static-analysis problem: modeling and reasoning
about user permissions in social-sharing systems},
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},
pages = {1--16},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509578.2509589},
doi = {10.1145/2509578.2509589},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/ValleeWZFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KrishnamurthiNV13,
author = {Shriram Krishnamurthi and
James Noble and
Jan Vitek},
editor = {Antony L. Hosking and
Patrick Th. Eugster},
title = {Should software conferences respect software?},
booktitle = {SPLASH'13 - The Proceedings of the 2013 Companion Publication for
Conference on Systems, Programming, {\&} Applications: Software
for Humanity, Indianapolis, IN, USA, October 26-31, 2013},
pages = {71--72},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508075.2516929},
doi = {10.1145/2508075.2516929},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/KrishnamurthiNV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PolitzMMWPLCK13,
author = {Joe Gibbs Politz and
Alejandro Martinez and
Mae Milano and
Sumner Warren and
Daniel Patterson and
Junsong Li and
Anand Chitipothu and
Shriram Krishnamurthi},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Python: the full monty},
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},
pages = {217--232},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509536},
doi = {10.1145/2509136.2509536},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PolitzMMWPLCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Krishnamurthi13,
author = {Shriram Krishnamurthi},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {From principles to programming languages (and back)},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {233--234},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429097},
doi = {10.1145/2429069.2429097},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Krishnamurthi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/NelsonGDFK13,
author = {Tim Nelson and
Arjun Guha and
Daniel J. Dougherty and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Nate Foster and
Rob Sherwood},
title = {A balance of power: expressive, analyzable controller programming},
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},
pages = {79--84},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491185.2491201},
doi = {10.1145/2491185.2491201},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/NelsonGDFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/FergusonGLFK13,
author = {Andrew D. Ferguson and
Arjun Guha and
Chen Liang and
Rodrigo Fonseca and
Shriram Krishnamurthi},
editor = {Dah Ming Chiu and
Jia Wang and
Paul Barford and
Srinivasan Seshan},
title = {Participatory networking: an {API} for application control of SDNs},
booktitle = {{ACM} {SIGCOMM} 2013 Conference, {SIGCOMM} 2013, Hong Kong, August
12-16, 2013},
pages = {327--338},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2486001.2486003},
doi = {10.1145/2486001.2486003},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/FergusonGLFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/CooperGKMF13,
author = {Gregory H. Cooper and
Arjun Guha and
Shriram Krishnamurthi and
Jay A. McCarthy and
Robert Bruce Findler},
editor = {Tracy Camp and
Paul T. Tymann and
J. D. Dougherty and
Kris Nagel},
title = {Teaching garbage collection without implementing compiler or interpreters},
booktitle = {The 44th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2013, Denver, CO, USA, March 6-9, 2013},
pages = {385--390},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2445196.2445314},
doi = {10.1145/2445196.2445314},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/CooperGKMF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/SaghafiFK12,
author = {Salman Saghafi and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Robert Hirschfeld and
{\'{E}}ric Tanter and
Kevin J. Sullivan and
Richard P. Gabriel},
title = {Features and object capabilities: reconciling two visions of modularity},
booktitle = {Proceedings of the 11th International Conference on Aspect-oriented
Software Development, {AOSD} 2012, Potsdam, Germany, March 25-30,
2012},
pages = {25--34},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2162049.2162053},
doi = {10.1145/2162049.2162053},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/SaghafiFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/NelsonDFK12,
author = {Timothy Nelson and
Daniel J. Dougherty and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
title = {Toward a More Complete Alloy},
booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7316},
pages = {136--149},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7\_10},
doi = {10.1007/978-3-642-30885-7\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/NelsonDFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/PolitzCLPK12,
author = {Joe Gibbs Politz and
Matthew J. Carroll and
Benjamin S. Lerner and
Justin Pombrio and
Shriram Krishnamurthi},
editor = {Alessandro Warth},
title = {A tested semantics for getters, setters, and eval in JavaScript},
booktitle = {Proceedings of the 8th Symposium on Dynamic Languages, {DLS} '12,
Tucson, AZ, USA, October 22, 2012},
pages = {1--16},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384577.2384579},
doi = {10.1145/2384577.2384579},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dls/PolitzCLPK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/FergusonGPFK12,
author = {Andrew D. Ferguson and
Arjun Guha and
Jordan Place and
Rodrigo Fonseca and
Shriram Krishnamurthi},
editor = {Olivier Bonaventure and
Ramana Rao Kompella},
title = {Participatory Networking},
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},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hot-ice12/workshop-program/presentation/ferguson},
timestamp = {Tue, 02 Feb 2021 08:04:59 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/FergusonGPFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PolitzVK12,
author = {Joe Gibbs Politz and
Hannah Quay{-}de la Vallee and
Shriram Krishnamurthi},
editor = {Gary T. Leavens and
Jonathan Edwards},
title = {Progressive types},
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},
pages = {55--66},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384592.2384599},
doi = {10.1145/2384592.2384599},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/PolitzVK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Krishnamurthi12,
author = {Shriram Krishnamurthi},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Semantics and Analyses for JavaScript and the Web},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {4},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_3},
doi = {10.1007/978-3-642-33125-1\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Krishnamurthi12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/FergusonGLFK12,
author = {Andrew D. Ferguson and
Arjun Guha and
Chen Liang and
Rodrigo Fonseca and
Shriram Krishnamurthi},
editor = {Nick Feamster and
Jennifer Rexford},
title = {Hierarchical policies for software defined networks},
booktitle = {Proceedings of the first workshop on Hot topics in software defined
networks, HotSDN@SIGCOMM 2012, Helsinki, Finland, August 13, 2012},
pages = {37--42},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2342441.2342450},
doi = {10.1145/2342441.2342450},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/FergusonGLFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webapps/LernerCKVK12,
author = {Benjamin S. Lerner and
Matthew J. Carroll and
Dan P. Kimmel and
Hannah Quay{-}de la Vallee and
Shriram Krishnamurthi},
editor = {E. Michael Maximilien},
title = {Modeling and Reasoning about {DOM} Events},
booktitle = {3rd {USENIX} Conference on Web Application Development, WebApps'12,
Boston, MA, USA, June 13, 2012},
pages = {1--12},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/webapps12/technical-sessions/presentation/lerner},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/webapps/LernerCKVK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HirschfeldKV12,
author = {Robert Hirschfeld and
Shriram Krishnamurthi and
Jan Vitek},
title = {Foundations for Scripting Languages (Dagstuhl Seminar 12011)},
journal = {Dagstuhl Reports},
volume = {2},
number = {1},
pages = {1--18},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.1.1},
doi = {10.4230/DAGREP.2.1.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HirschfeldKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/EgelmanOK11,
author = {Serge Egelman and
Andrew Oates and
Shriram Krishnamurthi},
editor = {Desney S. Tan and
Saleema Amershi and
Bo Begole and
Wendy A. Kellogg and
Manas Tungare},
title = {Oops, {I} did it again: mitigating repeated access control errors
on facebook},
booktitle = {Proceedings of the International Conference on Human Factors in Computing
Systems, {CHI} 2011, Vancouver, BC, Canada, May 7-12, 2011},
pages = {2295--2304},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1978942.1979280},
doi = {10.1145/1978942.1979280},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/EgelmanOK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GuhaSK11,
author = {Arjun Guha and
Claudiu Saftoiu and
Shriram Krishnamurthi},
editor = {Gilles Barthe},
title = {Typing Local Control and State Using Flow Analysis},
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{\"{u}}cken, Germany,
March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6602},
pages = {256--275},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19718-5\_14},
doi = {10.1007/978-3-642-19718-5\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GuhaSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icer/MarceauFK11,
author = {Guillaume Marceau and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Kate Sanders and
Michael E. Caspersen and
Alison Clear},
title = {Do values grow on trees?: expression integrity in functional programming},
booktitle = {Proceedings of the Seventh International Workshop on Computing Education
Research, {ICER} 2011, Providence, RI, USA, August 8-9, 2011},
pages = {39--44},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2016911.2016921},
doi = {10.1145/2016911.2016921},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icer/MarceauFK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/YooSKF11,
author = {Danny Yoo and
Emmanuel Schanzer and
Shriram Krishnamurthi and
Kathi Fisler},
editor = {Guido R{\"{o}}{\ss}ling and
Thomas L. Naps and
Christian Spannagel},
title = {WeScheme: the browser is your programming environment},
booktitle = {Proceedings of the 16th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2011, Darmstadt,
Germany, June 27-29, 2011},
pages = {163--167},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1999747.1999795},
doi = {10.1145/1999747.1999795},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/YooSKF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MarceauFK11,
author = {Guillaume Marceau and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Robert Hirschfeld and
Eelco Visser},
title = {Mind your language: on novices' interactions with error messages},
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},
pages = {3--18},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048237.2048241},
doi = {10.1145/2048237.2048241},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MarceauFK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/MarceauFK11,
author = {Guillaume Marceau and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Thomas J. Cortina and
Ellen Lowenfeld Walker and
Laurie A. Smith King and
David R. Musicant},
title = {Measuring the effectiveness of error messages designed for novice
programmers},
booktitle = {Proceedings of the 42nd {ACM} technical symposium on Computer science
education, {SIGCSE} 2011, Dallas, TX, USA, March 9-12, 2011},
pages = {499--504},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1953163.1953308},
doi = {10.1145/1953163.1953308},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/MarceauFK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/PolitzEGK11,
author = {Joe Gibbs Politz and
Spiridon Aristides Eliopoulos and
Arjun Guha and
Shriram Krishnamurthi},
title = {ADsafety: Type-Based Verification of JavaScript Sandboxing},
booktitle = {20th {USENIX} Security Symposium, San Francisco, CA, USA, August 8-12,
2011, Proceedings},
publisher = {{USENIX} Association},
year = {2011},
url = {http://static.usenix.org/events/sec11/tech/full\_papers/Politz.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/PolitzEGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GuhaSK10,
author = {Arjun Guha and
Claudiu Saftoiu and
Shriram Krishnamurthi},
editor = {Theo D'Hondt},
title = {The Essence of JavaScript},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {126--150},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_7},
doi = {10.1007/978-3-642-14107-2\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/GuhaSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lisa/NelsonBDFK10,
author = {Timothy Nelson and
Christopher Barratt and
Daniel J. Dougherty and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Rudi van Drunen},
title = {The Margrave Tool for Firewall Analysis},
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},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/lisa10/margrave-tool-firewall-analysis},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lisa/NelsonBDFK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/FislerK10,
author = {Kathi Fisler and
Shriram Krishnamurthi},
editor = {James B. D. Joshi and
Barbara Carminati},
title = {A model of triangulating environments for policy authoring},
booktitle = {15th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2010, Pittsburgh, Pennsylvania, USA, June 9-11, 2010, Proceedings},
pages = {3--12},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809842.1809847},
doi = {10.1145/1809842.1809847},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/FislerK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FislerKD10,
author = {Kathi Fisler and
Shriram Krishnamurthi and
Daniel J. Dougherty},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Embracing policy engineering},
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},
pages = {109--110},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882385},
doi = {10.1145/1882362.1882385},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FislerKD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuhaK10,
author = {Arjun Guha and
Shriram Krishnamurthi},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Minding the (semantic) gap: engineering programming language theory},
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},
pages = {155--156},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882395},
doi = {10.1145/1882362.1882395},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GuhaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weis/EgelmanMCAHK10,
author = {Serge Egelman and
David Molnar and
Nicolas Christin and
Alessandro Acquisti and
Cormac Herley and
Shriram Krishnamurthi},
title = {Please Continue to Hold: An Empirical Study on User Tolerance of Security
Delays},
booktitle = {9th Annual Workshop on the Economics of Information Security, {WEIS}
2010, Harvard University, Cambridge, MA, USA, June 7-8, 2010},
year = {2010},
url = {http://weis2010.econinfosec.org/papers/session3/weis2010\_egelman.pdf},
timestamp = {Thu, 22 Jul 2021 16:15:46 +0200},
biburl = {https://dblp.org/rec/conf/weis/EgelmanMCAHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FelleisenK09,
author = {Matthias Felleisen and
Shriram Krishnamurthi},
title = {Viewpoint - Why computer science doesn't matter},
journal = {Commun. {ACM}},
volume = {52},
number = {7},
pages = {37--40},
year = {2009},
url = {https://doi.org/10.1145/1538788.1538803},
doi = {10.1145/1538788.1538803},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/FelleisenK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GiannakopoulosDFK09,
author = {Theophilos Giannakopoulos and
Daniel J. Dougherty and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Towards an Operational Semantics for Alloy},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {483--498},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_31},
doi = {10.1007/978-3-642-05089-3\_31},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/GiannakopoulosDFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FelleisenFFK09,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {A functional {I/O} system or, fun for freshman kids},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {47--58},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596561},
doi = {10.1145/1596550.1596561},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FelleisenFFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/McCarthyK09,
author = {Jay A. McCarthy and
Shriram Krishnamurthi},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Trusted Multiplexing of Cryptographic Protocols},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {217--232},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_16},
doi = {10.1007/978-3-642-12459-4\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/McCarthyK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MeyerovichGBCGBK09,
author = {Leo A. Meyerovich and
Arjun Guha and
Jacob P. Baskin and
Gregory H. Cooper and
Michael Greenberg and
Aleks Bromfield and
Shriram Krishnamurthi},
editor = {Shail Arora and
Gary T. Leavens},
title = {Flapjax: a programming language for Ajax applications},
booktitle = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {1--20},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1640089.1640091},
doi = {10.1145/1640089.1640091},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MeyerovichGBCGBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recsys/BaskinK09,
author = {Jacob P. Baskin and
Shriram Krishnamurthi},
editor = {Lawrence D. Bergman and
Alexander Tuzhilin and
Robin D. Burke and
Alexander Felfernig and
Lars Schmidt{-}Thieme},
title = {Preference aggregation in group recommender systems for committee
decision-making},
booktitle = {Proceedings of the 2009 {ACM} Conference on Recommender Systems, RecSys
2009, New York, NY, USA, October 23-25, 2009},
pages = {337--340},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639714.1639782},
doi = {10.1145/1639714.1639782},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/recsys/BaskinK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soups/FislerK09,
author = {Kathi Fisler and
Shriram Krishnamurthi},
editor = {Lorrie Faith Cranor},
title = {Escape from the matrix: lessons from a case-study in access-control
requirements},
booktitle = {Proceedings of the 5th Symposium on Usable Privacy and Security, {SOUPS}
2009, Mountain View, California, USA, July 15-17, 2009},
series = {{ACM} International Conference Proceeding Series},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1572532.1572567},
doi = {10.1145/1572532.1572567},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soups/FislerK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GuhaKJ09,
author = {Arjun Guha and
Shriram Krishnamurthi and
Trevor Jim},
editor = {Juan Quemada and
Gonzalo Le{\'{o}}n and
Yo{\"{e}}lle S. Maarek and
Wolfgang Nejdl},
title = {Using static analysis for Ajax intrusion detection},
booktitle = {Proceedings of the 18th International Conference on World Wide Web,
{WWW} 2009, Madrid, Spain, April 20-24, 2009},
pages = {561--570},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1526709.1526785},
doi = {10.1145/1526709.1526785},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/GuhaKJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/AllenBBBFFHKKLLLPRRSTW08,
author = {Eric Allen and
Mark W. Bailey and
Rastislav Bod{\'{\i}}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 A. Sheldon and
Franklyn A. Turbak and
Mitchell Wand},
title = {{SIGPLAN} programming language curriculum workshop: Discussion Summaries
and recommendations},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {6--29},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480831},
doi = {10.1145/1480828.1480831},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/AllenBBBFFHKKLLLPRRSTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Krishnamurthi08,
author = {Shriram Krishnamurthi},
title = {Teaching programming languages in a post-linnaean age},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {81--83},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480846},
doi = {10.1145/1480828.1480846},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/Krishnamurthi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/McCarthyK08,
author = {Jay A. McCarthy and
Shriram Krishnamurthi},
editor = {Vitaly Shmatikov},
title = {Minimal backups of cryptographic protocol runs},
booktitle = {Proceedings of the 6th {ACM} Workshop on Formal Methods in Security
Engineering, {FMSE} 2008, Alexandria, VA, USA, October 27, 2008},
pages = {11--20},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1456396.1456398},
doi = {10.1145/1456396.1456398},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/McCarthyK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/McCarthyK08,
author = {Jay A. McCarthy and
Shriram Krishnamurthi},
editor = {Sushil Jajodia and
Javier L{\'{o}}pez},
title = {Cryptographic Protocol Explication and End-Point Projection},
booktitle = {Computer Security - {ESORICS} 2008, 13th European Symposium on Research
in Computer Security, M{\'{a}}laga, Spain, October 6-8, 2008.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5283},
pages = {533--547},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88313-5\_34},
doi = {10.1007/978-3-540-88313-5\_34},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/McCarthyK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KrishnamurthiFDY08,
author = {Shriram Krishnamurthi and
Kathi Fisler and
Daniel J. Dougherty and
Daniel Yoo},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Alchemy: transmuting base alloy specifications into implementations},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {158--169},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453123},
doi = {10.1145/1453101.1453123},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KrishnamurthiFDY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2008,
editor = {Shriram Krishnamurthi and
Michal Young},
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},
publisher = {{ACM}},
year = {2008},
url = {http://dl.acm.org/citation.cfm?id=1512475},
isbn = {978-1-60558-382-2},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MarceauCSKR07,
author = {Guillaume Marceau and
Gregory H. Cooper and
Jonathan P. Spiro and
Shriram Krishnamurthi and
Steven P. Reiss},
title = {The design and implementation of a dataflow language for scriptable
debugging},
journal = {Autom. Softw. Eng.},
volume = {14},
number = {1},
pages = {59--86},
year = {2007},
url = {https://doi.org/10.1007/s10515-006-0003-z},
doi = {10.1007/S10515-006-0003-Z},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/MarceauCSKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/KrishnamurthiHMGPF07,
author = {Shriram Krishnamurthi and
Peter Walton Hopkins and
Jay A. McCarthy and
Paul T. Graunke and
Greg Pettyjohn and
Matthias Felleisen},
title = {Implementation and use of the {PLT} scheme Web server},
journal = {High. Order Symb. Comput.},
volume = {20},
number = {4},
pages = {431--460},
year = {2007},
url = {https://doi.org/10.1007/s10990-007-9008-y},
doi = {10.1007/S10990-007-9008-Y},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/KrishnamurthiHMGPF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/KrishnamurthiF07,
author = {Shriram Krishnamurthi and
Kathi Fisler},
title = {Foundations of incremental aspect model-checking},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {16},
number = {2},
pages = {7},
year = {2007},
url = {https://doi.org/10.1145/1217295.1217296},
doi = {10.1145/1217295.1217296},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/KrishnamurthiF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/GuhaMFK07,
author = {Arjun Guha and
Jacob Matthews and
Robert Bruce Findler and
Shriram Krishnamurthi},
editor = {Pascal Costanza and
Robert Hirschfeld},
title = {Relationally-parametric polymorphic contracts},
booktitle = {Proceedings of the 2007 Symposium on Dynamic Languages, {DLS} 2007,
October 22, 2007, Montreal, Quebec, Canada},
pages = {29--40},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297081.1297089},
doi = {10.1145/1297081.1297089},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dls/GuhaMFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/DoughertyFK07,
author = {Daniel J. Dougherty and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Joachim Biskup and
Javier L{\'{o}}pez},
title = {Obligations and Their Interaction with Programs},
booktitle = {Computer Security - {ESORICS} 2007, 12th European Symposium On Research
In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4734},
pages = {375--389},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74835-9\_25},
doi = {10.1007/978-3-540-74835-9\_25},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/DoughertyFK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/BurchettCK07,
author = {Kimberley Burchett and
Gregory H. Cooper and
Shriram Krishnamurthi},
editor = {G. Ramalingam and
Eelco Visser},
title = {Lowering: a static optimization technique for transparent functional
reactivity},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {71--80},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244393},
doi = {10.1145/1244381.1244393},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/BurchettCK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/McCarthyKGR07,
author = {Jay A. McCarthy and
Shriram Krishnamurthi and
Joshua D. Guttman and
John D. Ramsdell},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {Compiling cryptographic protocols for deployment on the web},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {687--696},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242665},
doi = {10.1145/1242572.1242665},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/McCarthyKGR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2007,
editor = {Shriram Krishnamurthi and
Martin Odersky},
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},
series = {Lecture Notes in Computer Science},
volume = {4420},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71229-9},
doi = {10.1007/978-3-540-71229-9},
isbn = {978-3-540-71228-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Krishnamurthi06,
author = {Shriram Krishnamurthi},
title = {Educational Pearl: Automata via macros},
journal = {J. Funct. Program.},
volume = {16},
number = {3},
pages = {253--267},
year = {2006},
url = {https://doi.org/10.1017/S0956796805005733},
doi = {10.1017/S0956796805005733},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/Krishnamurthi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DutchynTK06,
author = {Christopher Dutchyn and
David B. Tucker and
Shriram Krishnamurthi},
title = {Semantics and scoping of aspects in higher-order languages},
journal = {Sci. Comput. Program.},
volume = {63},
number = {3},
pages = {207--239},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2006.01.003},
doi = {10.1016/J.SCICO.2006.01.003},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DutchynTK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DoughertyFK06,
author = {Daniel J. Dougherty and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Specifying and Reasoning About Dynamic Access-Control Policies},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {632--646},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_51},
doi = {10.1007/11814771\_51},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/DoughertyFK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CooperK06,
author = {Gregory H. Cooper and
Shriram Krishnamurthi},
editor = {Peter Sestoft},
title = {Embedding Dynamic Dataflow in a Call-by-Value Language},
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},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {294--308},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_20},
doi = {10.1007/11693024\_20},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/CooperK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/IgnatoffCK06,
author = {Daniel Ignatoff and
Gregory H. Cooper and
Shriram Krishnamurthi},
editor = {Masami Hagiya and
Philip Wadler},
title = {Crossing State Lines: Adapting Object-Oriented Frameworks to Functional
Reactive Languages},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {259--276},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_18},
doi = {10.1007/11737414\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flops/IgnatoffCK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/TschantzK06,
author = {Michael Carl Tschantz and
Shriram Krishnamurthi},
editor = {David F. Ferraiolo and
Indrakshi Ray},
title = {Towards reasonability properties for access-control policy languages},
booktitle = {11th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2006, Lake Tahoe, California, USA, June 7-9, 2006, Proceedings},
pages = {160--169},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133058.1133081},
doi = {10.1145/1133058.1133081},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/TschantzK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/si3d/McGuireSPK06,
author = {Morgan McGuire and
George Stathis and
Hanspeter Pfister and
Shriram Krishnamurthi},
editor = {Marc Olano and
Carlo H. S{\'{e}}quin},
title = {Abstract shade trees},
booktitle = {Proceedings of the 2006 Symposium on Interactive 3D Graphics, {SI3D}
2006, March 14-17, 2006, Redwood City, California, {USA}},
pages = {79--86},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111411.1111425},
doi = {10.1145/1111411.1111425},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/si3d/McGuireSPK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/LiKF05,
author = {Harry C. Li and
Shriram Krishnamurthi and
Kathi Fisler},
title = {Modular Verification of Open Features Using Three-Valued Model Checking},
journal = {Autom. Softw. Eng.},
volume = {12},
number = {3},
pages = {349--382},
year = {2005},
url = {https://doi.org/10.1007/s10515-005-2643-9},
doi = {10.1007/S10515-005-2643-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/LiKF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KrishnamurthiB05,
author = {Shriram Krishnamurthi and
Tevfik Bultan},
title = {Discussion summary: characteristics of web services and their impact
on testing, analysis and verification},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {1},
pages = {5},
year = {2005},
url = {https://doi.org/10.1145/1039174.1039189},
doi = {10.1145/1039174.1039189},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/KrishnamurthiB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PettyjohnCMKF05,
author = {Greg Pettyjohn and
John Clements and
Joe Marshall and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {Continuations from generalized stack inspection},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {216--227},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086393},
doi = {10.1145/1086365.1086393},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/PettyjohnCMKF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FislerKMT05,
author = {Kathi Fisler and
Shriram Krishnamurthi and
Leo A. Meyerovich and
Michael Carl Tschantz},
editor = {Gruia{-}Catalin Roman and
William G. Griswold and
Bashar Nuseibeh},
title = {Verification and change-impact analysis of access-control policies},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005),
15-21 May 2005, St. Louis, Missouri, {USA}},
pages = {196--205},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062455.1062502},
doi = {10.1145/1062455.1062502},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FislerKMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FislerK05,
author = {Kathi Fisler and
Shriram Krishnamurthi},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Decomposing Verification Around End-User Features},
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},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {74--81},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_10},
doi = {10.1007/978-3-540-69149-5\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/FislerK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Krishnamurthi05,
author = {Shriram Krishnamurthi},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Web Verification: Perspective and Challenges},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {3--8},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/Krishnamurthi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Krishnamurthi06,
author = {Shriram Krishnamurthi},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Web Verification: Perspective and Challenges},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {41--46},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.044},
doi = {10.1016/J.ENTCS.2005.12.044},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Krishnamurthi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MatthewsFGKF04,
author = {Jacob Matthews and
Robert Bruce Findler and
Paul T. Graunke and
Shriram Krishnamurthi and
Matthias Felleisen},
title = {Automatically Restructuring Programs for the Web},
journal = {Autom. Softw. Eng.},
volume = {11},
number = {4},
pages = {337--364},
year = {2004},
url = {https://doi.org/10.1023/B:AUSE.0000038936.09009.69},
doi = {10.1023/B:AUSE.0000038936.09009.69},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/MatthewsFGKF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/FelleisenFFK04,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
title = {The TeachScheme! Project: Computing and Programming for Every Student},
journal = {Comput. Sci. Educ.},
volume = {14},
number = {1},
pages = {55--77},
year = {2004},
url = {https://doi.org/10.1076/csed.14.1.55.23499},
doi = {10.1076/CSED.14.1.55.23499},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csedu/FelleisenFFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FelleisenFFK04,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
title = {The structure and interpretation of the computer science curriculum},
journal = {J. Funct. Program.},
volume = {14},
number = {4},
pages = {365--378},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005076},
doi = {10.1017/S0956796804005076},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/FelleisenFFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AntoniuSKNF04,
author = {Tudor Antoniu and
Paul A. Steckler and
Shriram Krishnamurthi and
Erich Neuwirth and
Matthias Felleisen},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Validating the Unit Correctness of Spreadsheet Programs},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {439--448},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317466},
doi = {10.1109/ICSE.2004.1317466},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AntoniuSKNF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LicataK04,
author = {Daniel R. Licata and
Shriram Krishnamurthi},
title = {Verifying Interactive Web Programs},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {164--173},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10054},
doi = {10.1109/ASE.2004.10054},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LicataK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MarceauCKR04,
author = {Guillaume Marceau and
Gregory H. Cooper and
Shriram Krishnamurthi and
Steven P. Reiss},
title = {Dataflow Language for Scriptable Debugging},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {218--227},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10033},
doi = {10.1109/ASE.2004.10033},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MarceauCKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlundellFKH04,
author = {Colin Blundell and
Kathi Fisler and
Shriram Krishnamurthi and
Pascal Van Hentenryck},
title = {Parameterized Interfaces for Open System Verification of Product Lines},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {258--267},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10004},
doi = {10.1109/ASE.2004.10004},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BlundellFKH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KrishnamurthiFG04,
author = {Shriram Krishnamurthi and
Kathi Fisler and
Michael Greenberg},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Verifying aspect advice modularly},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {137--146},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029916},
doi = {10.1145/1029894.1029916},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KrishnamurthiFG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017450,
author = {Shriram Krishnamurthi},
title = {Programming languages - application and interpretation},
publisher = {e-book},
year = {2003},
url = {http://www.cs.brown.edu/\%7Esk/Publications/Books/ProgLangs/},
timestamp = {Thu, 27 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0017450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/TuckerK03,
author = {David B. Tucker and
Shriram Krishnamurthi},
editor = {William G. Griswold and
Mehmet Aksit},
title = {Pointcuts and advice in higher-order languages},
booktitle = {Proceedings of the 2nd International Conference on Aspect-Oriented
Software Development, {AOSD} 2003, Boston, Massachusetts, USA, March
17-21, 2003},
pages = {158--167},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/643603.643620},
doi = {10.1145/643603.643620},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/TuckerK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GraunkeFKF03,
author = {Paul T. Graunke and
Robert Bruce Findler and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Pierpaolo Degano},
title = {Modeling Web Interactions},
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},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {238--252},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_17},
doi = {10.1007/3-540-36575-3\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GraunkeFKF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ReissKWK03,
author = {Steven P. Reiss and
Christina M. Kennedy and
Tom Wooldridge and
Shriram Krishnamurthi},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {{CLIME:} An Environment for Constrained Evolution Demonstration Description},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {818--819},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201302},
doi = {10.1109/ICSE.2003.1201302},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ReissKWK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AhmadAGK03,
author = {Yanif Ahmad and
Tudor Antoniu and
Sharon Goldwater and
Shriram Krishnamurthi},
title = {A Type System for Statically Detecting Spreadsheet Errors},
booktitle = {18th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2003), 6-10 October 2003, Montreal, Canada},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ASE.2003.1240305},
doi = {10.1109/ASE.2003.1240305},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AhmadAGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LicataHK03,
author = {Daniel R. Licata and
Christopher D. Harris and
Shriram Krishnamurthi},
title = {The Feature Signatures of Evolving Programs},
booktitle = {18th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2003), 6-10 October 2003, Montreal, Canada},
pages = {281--285},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ASE.2003.1240321},
doi = {10.1109/ASE.2003.1240321},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LicataHK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Krishnamurthi03,
author = {Shriram Krishnamurthi},
editor = {Ver{\'{o}}nica Dahl and
Philip Wadler},
title = {The {CONTINUE} Server (or, How {I} Administered {PADL} 2002 and 2003)},
booktitle = {Practical Aspects of Declarative Languages, 5th International Symposium,
{PADL} 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2562},
pages = {2--16},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36388-2\_2},
doi = {10.1007/3-540-36388-2\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/Krishnamurthi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/KiselyovK03,
author = {Oleg Kiselyov and
Shriram Krishnamurthi},
editor = {Ver{\'{o}}nica Dahl and
Philip Wadler},
title = {{SXSLT:} Manipulation Language for {XML}},
booktitle = {Practical Aspects of Declarative Languages, 5th International Symposium,
{PADL} 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2562},
pages = {256--272},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36388-2\_18},
doi = {10.1007/3-540-36388-2\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/KiselyovK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310040,
author = {Brock Pytlik and
Manos Renieris and
Shriram Krishnamurthi and
Steven P. Reiss},
title = {Automated Fault Localization Using Potential Invariants},
journal = {CoRR},
volume = {cs.SE/0310040},
year = {2003},
url = {http://arxiv.org/abs/cs/0310040},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0310040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FindlerCFFKSF02,
author = {Robert Bruce Findler and
John Clements and
Cormac Flanagan and
Matthew Flatt and
Shriram Krishnamurthi and
Paul Steckler and
Matthias Felleisen},
title = {DrScheme: a programming environment for Scheme},
journal = {J. Funct. Program.},
volume = {12},
number = {2},
pages = {159--182},
year = {2002},
url = {https://doi.org/10.1017/S0956796801004208},
doi = {10.1017/S0956796801004208},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/FindlerCFFKSF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/McGuireKH02,
author = {Morgan McGuire and
Shriram Krishnamurthi and
John F. Hughes},
editor = {Daniel Le M{\'{e}}tayer},
title = {Programming Languages for Compressing Graphics},
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},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {68--82},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_6},
doi = {10.1007/3-540-45927-8\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/McGuireKH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GraunkeK02,
author = {Paul T. Graunke and
Shriram Krishnamurthi},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Advanced control flows for flexible graphical user interfaces: or,
growing GUIs on trees or, bookmarking GUIs},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {277--287},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581375},
doi = {10.1145/581339.581375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GraunkeK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiKF02,
author = {Harry C. Li and
Shriram Krishnamurthi and
Kathi Fisler},
title = {Interfaces for Modular Feature Verification},
booktitle = {17th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
pages = {195--204},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASE.2002.1115013},
doi = {10.1109/ASE.2002.1115013},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiKF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiKF02,
author = {Harry C. Li and
Shriram Krishnamurthi and
Kathi Fisler},
title = {Verifying cross-cutting features as open systems},
booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering 2002, Charleston, South Carolina, USA, November
18-22, 2002},
pages = {89--98},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/587051.587066},
doi = {10.1145/587051.587066},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LiKF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LiFK02,
author = {Harry C. Li and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {The Influence of Software Module Systems on Modular Verification},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {60--78},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_7},
doi = {10.1007/3-540-46017-9\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/LiFK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2002,
editor = {Shriram Krishnamurthi and
C. R. Ramakrishnan},
title = {Practical Aspects of Declarative Languages, 4th International Symposium,
{PADL} 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2257},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45587-6},
doi = {10.1007/3-540-45587-6},
isbn = {3-540-43092-X},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GraunkeKHF01,
author = {Paul T. Graunke and
Shriram Krishnamurthi and
Steve Van Der Hoeven and
Matthias Felleisen},
editor = {David Sands},
title = {Programming the Web with High-Level Programming Languages},
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},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {122--136},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_9},
doi = {10.1007/3-540-45309-1\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GraunkeKHF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GraunkeFKF01,
author = {Paul T. Graunke and
Robert Bruce Findler and
Shriram Krishnamurthi and
Matthias Felleisen},
title = {Automatically Restructuring Programs for the We},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {211--222},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989807},
doi = {10.1109/ASE.2001.989807},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GraunkeFKF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FislerK01,
author = {Kathi Fisler and
Shriram Krishnamurthi},
editor = {A Min Tjoa and
Volker Gruhn},
title = {Modular verification of collaboration-based software designs},
booktitle = {Proceedings of the 8th European Software Engineering Conference held
jointly with 9th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering 2001, Vienna, Austria, September 10-14, 2001},
pages = {152--163},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/503209.503231},
doi = {10.1145/503209.503231},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FislerK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/KrishnamurthiGG00,
author = {Shriram Krishnamurthi and
Kathryn E. Gray and
Paul T. Graunke},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Transformation-by-Example for {XML}},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {249--262},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_17},
doi = {10.1007/3-540-46584-7\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/KrishnamurthiGG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KrishnamurthiEF99,
author = {Shriram Krishnamurthi and
Yan{-}David Erlich and
Matthias Felleisen},
editor = {S. Doaitse Swierstra},
title = {Expressing Structural Properties as Language Constructs},
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},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {258--272},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_17},
doi = {10.1007/3-540-49099-X\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/KrishnamurthiEF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcse/KrishnamurthiFD99,
author = {Shriram Krishnamurthi and
Matthias Felleisen and
Bruce F. Duba},
editor = {Krzysztof Czarnecki and
Ulrich W. Eisenecker},
title = {From Macros to Reusable Generative Programming},
booktitle = {Generative and Component-Based Software Engineering, First International
Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {1799},
pages = {105--120},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-40048-6\_9},
doi = {10.1007/3-540-40048-6\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcse/KrishnamurthiFD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FlattFKF99,
author = {Matthew Flatt and
Robert Bruce Findler and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Programming Languages as Operating Systems (or Revenge of the Son
of the Lisp Machine)},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {138--147},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317793},
doi = {10.1145/317636.317793},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FlattFKF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/FlattKF99,
author = {Matthew Flatt and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Jim Alves{-}Foss},
title = {A Programmer's Reduction Semantics for Classes and Mixins},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {241--269},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_7},
doi = {10.1007/3-540-48737-9\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/java/FlattKF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FelleisenFFK98,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
title = {The DrScheme Project: An Overview},
journal = {{ACM} {SIGPLAN} Notices},
volume = {33},
number = {6},
pages = {17--23},
year = {1998},
url = {https://doi.org/10.1145/284563.284566},
doi = {10.1145/284563.284566},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/FelleisenFFK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KrishnamurthiFF98,
author = {Shriram Krishnamurthi and
Matthias Felleisen and
Daniel P. Friedman},
editor = {Eric Jul},
title = {Synthesizing Object-Oriented and Functional Design to Promote Re-Use},
booktitle = {ECOOP'98 - Object-Oriented Programming, 12th European Conference,
Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1445},
pages = {91--113},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054088},
doi = {10.1007/BFB0054088},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/KrishnamurthiFF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlattKF98,
author = {Matthew Flatt and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Classes and Mixins},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {171--183},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268961},
doi = {10.1145/268946.268961},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FlattKF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KrishnamurthiF98,
author = {Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Leon J. Osterweil and
William L. Scherlis},
title = {Toward a Formal Theory of Extensible Software},
booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
USA, November 3-5, 1998},
pages = {88--98},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288195.288269},
doi = {10.1145/288195.288269},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KrishnamurthiF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FindlerFFKF97,
author = {Robert Bruce Findler and
Cormac Flanagan and
Matthew Flatt and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {DrScheme: {A} Pedagogic Programming Environment for Scheme},
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},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {369--388},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033856},
doi = {10.1007/BFB0033856},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/FindlerFFKF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlanaganFKWF96,
author = {Cormac Flanagan and
Matthew Flatt and
Shriram Krishnamurthi and
Stephanie Weirich and
Matthias Felleisen},
editor = {Charles N. Fischer},
title = {Static Debugging: Browsing the Web of Program Invariants},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {23--32},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231387},
doi = {10.1145/231379.231387},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FlanaganFKWF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crossroads/Krishnamurthi94,
author = {Shriram Krishnamurthi},
title = {An introduction to Scheme},
journal = {{XRDS}},
volume = {1},
number = {2},
pages = {19--27},
year = {1994},
url = {https://doi.org/10.1145/197149.197166},
doi = {10.1145/197149.197166},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/crossroads/Krishnamurthi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
