Porncharoenwase, Sorawee; Nelson, Tim; Krishnamurthi, Shriram CompoSAT: specification-guided coverage for model finding. (English) Zbl 1460.68064 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 568-587 (2018). MSC: 68Q60 PDFBibTeX XMLCite \textit{S. Porncharoenwase} et al., Lect. Notes Comput. Sci. 10951, 568--587 (2018; Zbl 1460.68064) Full Text: DOI
Pombrio, Justin; Krishnamurthi, Shriram Hygienic resugaring of compositional desugaring. (English) Zbl 1360.68367 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 75-87 (2015). MSC: 68N30 PDFBibTeX XMLCite \textit{J. Pombrio} and \textit{S. Krishnamurthi}, in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 75--87 (2015; Zbl 1360.68367) Full Text: DOI
Guha, Arjun; Saftoiu, Claudiu; Krishnamurthi, Shriram Typing local control and state using flow analysis. (English) Zbl 1326.68048 Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 256-275 (2011). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{A. Guha} et al., Lect. Notes Comput. Sci. 6602, 256--275 (2011; Zbl 1326.68048) Full Text: DOI
Krishnamurthi, Shriram; Hopkins, Peter Walton; McCarthy, Jay; Graunke, Paul T.; Pettyjohn, Greg; Felleisen, Matthias Implementation and use of the PLT scheme web server. (English) Zbl 1129.68330 High.-Order Symb. Comput. 20, No. 4, 431-460 (2007). MSC: 68M10 PDFBibTeX XMLCite \textit{S. Krishnamurthi} et al., High.-Order Symb. Comput. 20, No. 4, 431--460 (2007; Zbl 1129.68330) Full Text: DOI
Krishnamurthi, Shriram; Findler, Robert Bruce; Graunke, Paul; Felleisen, Matthias Modeling web interactions and errors. (English) Zbl 1266.68037 Goldin, Dina (ed.) et al., Interactive computation. The new paradigm. Berlin: Springer (ISBN 3-540-34666-X/hbk). 255-275 (2006). MSC: 68M11 68N99 PDFBibTeX XMLCite \textit{S. Krishnamurthi} et al., in: Interactive computation. The new paradigm. Berlin: Springer. 255--275 (2006; Zbl 1266.68037) Full Text: DOI
Dougherty, Daniel J.; Fisler, Kathi; Krishnamurthi, Shriram Specifying and reasoning about dynamic access-control policies. (English) Zbl 1222.68361 Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 632-646 (2006). MSC: 68T15 68Q60 PDFBibTeX XMLCite \textit{D. J. Dougherty} et al., Lect. Notes Comput. Sci. 4130, 632--646 (2006; Zbl 1222.68361) Full Text: DOI
Cooper, Gregory H.; Krishnamurthi, Shriram Embedding dynamic dataflow in a call-by-value language. (English) Zbl 1178.68123 Sestoft, Peter (ed.), 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. Berlin: Springer (ISBN 3-540-33095-X/pbk). Lecture Notes in Computer Science 3924, 294-308 (2006). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{G. H. Cooper} and \textit{S. Krishnamurthi}, Lect. Notes Comput. Sci. 3924, 294--308 (2006; Zbl 1178.68123) Full Text: DOI
Dutchyn, Christopher; Tucker, David B.; Krishnamurthi, Shriram Semantics and scoping of aspects in higher-order languages. (English) Zbl 1119.68111 Sci. Comput. Program. 63, No. 3, 207-239 (2006). MSC: 68Q55 PDFBibTeX XMLCite \textit{C. Dutchyn} et al., Sci. Comput. Program. 63, No. 3, 207--239 (2006; Zbl 1119.68111) Full Text: DOI
Krishnamurthi, Shriram Automata via macros. (English) Zbl 1092.68015 J. Funct. Program. 16, No. 3, 253-267 (2006). MSC: 68N15 68N99 PDFBibTeX XMLCite \textit{S. Krishnamurthi}, J. Funct. Program. 16, No. 3, 253--267 (2006; Zbl 1092.68015) Full Text: DOI
Pettyjohn, Greg; Clements, John; Marshall, Joe; Krishnamurthi, Shriram; Felleisen, Matthias Continuations from generalized stack inspection. (English) Zbl 1302.68047 Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 216-227 (2005). MSC: 68N01 PDFBibTeX XMLCite \textit{G. Pettyjohn} et al., in: Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP '05, Tallinn, Estonia, September 26--28, 2005. New York, NY: Association for Computing Machinery (ACM). 216--227 (2005; Zbl 1302.68047) Full Text: DOI Link
Graunke, Paul; Findler, Robert Bruce; Krishnamurthi, Shriram; Felleisen, Matthias Modeling web interactions. (English) Zbl 1032.68575 Degano, Pierpaolo (ed.), 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. Berlin: Springer. Lect. Notes Comput. Sci. 2618, 238-252 (2003). MSC: 68N99 PDFBibTeX XMLCite \textit{P. Graunke} et al., Lect. Notes Comput. Sci. 2618, 238--252 (2003; Zbl 1032.68575) Full Text: Link
Krishnamurthi, Shriram (ed.); Ramakrishnan, C. R. (ed.) Practical aspects of declarative languages. 4th international symposium, PADL 2002, Portland, OR, USA, January 19–20, 2002. Proceedings. (English) Zbl 1049.68803 Lecture Notes in Computer Science 2257. Berlin: Springer (ISBN 3-540-43092-X/pbk). viii, 351 p. (2002). MSC: 68U99 68-06 68N15 PDFBibTeX XMLCite \textit{S. Krishnamurthi} (ed.) and \textit{C. R. Ramakrishnan} (ed.), Practical aspects of declarative languages. 4th international symposium, PADL 2002, Portland, OR, USA, January 19--20, 2002. Proceedings. Berlin: Springer (2002; Zbl 1049.68803)
Li, Harry C.; Fisler, Kathi; Krishnamurthi, Shriram The influence of software module systems on modular verification. (English) Zbl 1077.68692 Bošnački, Dragan (ed.) et al., Model checking software. 9th international SPIN workshop, Grenoble, France, April 11–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43477-1). Lect. Notes Comput. Sci. 2318, 60-78 (2002). MSC: 68Q60 68N99 PDFBibTeX XMLCite \textit{H. C. Li} et al., Lect. Notes Comput. Sci. 2318, 60--78 (2002; Zbl 1077.68692) Full Text: Link
McGuire, Morgan; Krishnamurthi, Shriram; Hughes, John F. Programming languages for compressing graphics. (English) Zbl 1077.68562 Le Métayer, Daniel (ed.), Programming languages and systems. 11th European symposium on programming, ESOP 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43363-5). Lect. Notes Comput. Sci. 2305, 68-82 (2002). MSC: 68N15 PDFBibTeX XMLCite \textit{M. McGuire} et al., Lect. Notes Comput. Sci. 2305, 68--82 (2002; Zbl 1077.68562) Full Text: Link
Kiselyov, Oleg; Krishnamurthi, Shriram SXSLT: Manipulation language for XML. (English) Zbl 1026.68785 Dahl, Veronica (ed.) et al., Practical aspects of declarative languages. 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2562, 256-272 (2002). MSC: 68U99 68N15 68N18 68Q42 PDFBibTeX XMLCite \textit{O. Kiselyov} and \textit{S. Krishnamurthi}, Lect. Notes Comput. Sci. 2562, 256--272 (2002; Zbl 1026.68785) Full Text: Link
Krishnamurthi, Shriram The CONTINUE server (or, how I administered PADL 2002 and 2003). (English) Zbl 1026.68788 Dahl, Veronica (ed.) et al., Practical aspects of declarative languages. 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2562, 2-16 (2002). MSC: 68U99 68N15 68U35 PDFBibTeX XMLCite \textit{S. Krishnamurthi}, Lect. Notes Comput. Sci. 2562, 2--16 (2002; Zbl 1026.68788) Full Text: Link
Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias DrScheme: A programming environment for scheme. (English) Zbl 0987.68610 J. Funct. Program. 12, No. 2, 159-182 (2002). MSC: 68U99 68N99 PDFBibTeX XMLCite \textit{R. B. Findler} et al., J. Funct. Program. 12, No. 2, 159--182 (2002; Zbl 0987.68610) Full Text: DOI
Graunke, Paul; Krishnamurthi, Shriram; Van Der Hoeven, Steve; Felleisen, Matthias Programming the Web with high-level programming languages. (English) Zbl 0977.68732 Sands, David (ed.), 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. Berlin: Springer. Lect. Notes Comput. Sci. 2028, 122-136 (2001). MSC: 68U99 68N99 68N25 PDFBibTeX XMLCite \textit{P. Graunke} et al., Lect. Notes Comput. Sci. 2028, 122--136 (2001; Zbl 0977.68732) Full Text: Link
Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram How to design programs. An introduction to programming and computing. (English) Zbl 0994.68013 Cambridge, MA: MIT Press. 720 p. (2001). MSC: 68N01 68-01 PDFBibTeX XMLCite \textit{M. Felleisen} et al., How to design programs. An introduction to programming and computing. Cambridge, MA: MIT Press (2001; Zbl 0994.68013)