Year |
Citation |
Score |
2019 |
Politz JG, Lerner BS, Porncharoenwase S, Krishnamurthi S. Event Loops as First-Class Values: A Case Study in Pedagogic Language Design Arxiv: Programming Languages. 3: 11. DOI: 10.22152/Programming-Journal.Org/2019/3/11 |
0.572 |
|
2018 |
Felleisen M, Findler RB, Flatt M, Krishnamurthi S, Barzilay E, McCarthy J, Tobin-Hochstadt S. A programmable programming language Communications of the Acm. 61: 62-71. DOI: 10.1145/3127323 |
0.787 |
|
2016 |
Fisler K, Krishnamurthi S, Siegmund J. Modernizing plan-composition studies Sigcse 2016 - Proceedings of the 47th Acm Technical Symposium On Computing Science Education. 211-216. DOI: 10.1145/2839509.2844556 |
0.435 |
|
2015 |
Felleisen M, Findler RB, Flatt M, Krishnamurthi S, Barzilay E, Mccarthy J, Tobin-Hochstadt S. The racket manifesto Leibniz International Proceedings in Informatics, Lipics. 32: 113-128. DOI: 10.4230/LIPIcs.SNAPL.2015.113 |
0.641 |
|
2015 |
Li J, Pombrio J, Politz JG, Krishnamurthi S. Slimming languages by reducing sugar: A case for semantics-altering transformations Onward! 2015 - Proceedings of the 2015 Acm International Symposium On New Ideas, New Paradigms, and Reflections On Programming and Software, Part of Splash 2015. 90-106. DOI: 10.1145/2814228.2814240 |
0.332 |
|
2015 |
Pombrio J, Krishnamurthi S. Hygienic resugaring of compositional desugaring Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 2015: 75-87. DOI: 10.1145/2784731.2784755 |
0.522 |
|
2015 |
Nelson T, Ferguson AD, Yu D, Fonseca R, Krishnamurthi S. Exodus: Toward automatic migration of enterprise network configurations to SDNs Symposium On Software Defined Networking (Sdn) Research, Sosr 2015. DOI: 10.1145/2774993.2774997 |
0.376 |
|
2015 |
Krishnamurthi S. Desugaring in practice: Opportunities and challenges Pepm 2015 - Proceedings of the 2015 Acm Sigplan Workshop On Partial Evaluation and Program Manipulation, Co-Located With Popl 2015. 1-2. DOI: 10.1145/2678015.2678016 |
0.436 |
|
2015 |
Schanzer E, Fisler K, Krishnamurthi S, Felleisen M. Transferring skills at solving word problems from computing to algebra through bootstrap Sigcse 2015 - Proceedings of the 46th Acm Technical Symposium On Computer Science Education. 616-621. DOI: 10.1145/2676723.2677238 |
0.661 |
|
2015 |
Nelson T, Ferguson AD, Krishnamurthi S. Static differential program analysis for software-defined networks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9109: 395-413. DOI: 10.1007/978-3-319-19249-9_25 |
0.31 |
|
2014 |
Gibbs Politz J, Guha A, Krishnamurthi S. Typed-based verification of Web sandboxes Journal of Computer Security. 22: 511-565. DOI: 10.3233/Jcs-140504 |
0.331 |
|
2014 |
Pombrio J, Krishnamurthi S. Resugaring: Lifting evaluation sequences through syntactic sugar Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 361-371. DOI: 10.1145/2594291.2594319 |
0.418 |
|
2014 |
Politz JG, Patterson D, Krishnamurthi S, Fisler K. CaptainTeach: Multi-stage, in-flow peer review for programming assignments Iticse 2014 - Proceedings of the 2014 Innovation and Technology in Computer Science Education Conference. 267-272. DOI: 10.1145/2591708.2591738 |
0.306 |
|
2014 |
Yoo D, Krishnamurthi S. Whalesong: Running racket in the browser Acm Sigplan Notices. 49: 97-108. DOI: 10.1145/2508168.2508172 |
0.459 |
|
2014 |
Lerner BS, Politz JG, Guha A, Krishnamurthi S. TeJaS: Retrofitting type systems for javascript Acm Sigplan Notices. 49: 1-15. DOI: 10.1145/2508168.2508170 |
0.37 |
|
2013 |
La Vallee HQD, Walsh JM, Zimrin W, Fisler K, Krishnamurthi S. Usable security as a static-analysis problem: Modeling and reasoning about user permissions in social-sharing systems Splash Indianapolis 2013: Onward! 2013 - Proceedings of the 2013 International Symposium On New Ideas, New Paradigms, and Reflections On Programming and Software. 1-15. DOI: 10.1145/2509578.2509589 |
0.336 |
|
2013 |
Politz JG, Martinez A, Milano M, Warren S, Patterson D, Li J, Chitipothu A, Krishnamurthi S. Python: The full monty a tested semantics for the python programming language Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 217-231. DOI: 10.1145/2509136.2509536 |
0.429 |
|
2013 |
Nelson T, Guha A, Dougherty DJ, Fisler K, Krishnamurthi S. A balance of power: Expressive, analyzable controller programming Hotsdn 2013 - Proceedings of the 2013 Acm Sigcomm Workshop On Hot Topics in Software Defined Networking. 79-84. DOI: 10.1145/2491185.2491201 |
0.468 |
|
2013 |
Krishnamurthi S. From principles to programming languages (and back) Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 233. DOI: 10.1145/2429069.2429097 |
0.519 |
|
2013 |
Lerner BS, Elberty L, Li J, Krishnamurthi S. Combining form and function: Static types for jquery programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7920: 79-103. DOI: 10.1007/978-3-642-39038-8-4 |
0.402 |
|
2013 |
Politz JG, Warren S, Martinez A, Patterson D, Milano M, Li J, Chitipothu A, Krishnamurthi S. Python: The full monty: A tested semantics for the python programming language Acm Sigplan Notices. 48: 217-231. |
0.429 |
|
2013 |
Cooper GH, Guha A, Krishnamurthi S, McCarthy J, Findler RB. Teaching garbage collection without implementing compilers or interpreters Sigcse 2013 - Proceedings of the 44th Acm Technical Symposium On Computer Science Education. 385-390. |
0.639 |
|
2012 |
Saghafi S, Fisler K, Krishnamurthi S. Features and object capabilities: Reconciling two visions of modularity Aosd'12 - Proceedings of the 11th Annual International Conference On Aspect Oriented Software Development. 25-33. DOI: 10.1145/2162049.2162053 |
0.364 |
|
2011 |
Marceau G, Fisler K, Krishnamurthi S. Do values grow on trees? Expression integrity in functional programming Icer'11 - Proceedings of the Acm Sigcse 2011 International Computing Education Research Workshop. 39-44. DOI: 10.1145/2016911.2016921 |
0.464 |
|
2011 |
Yoo D, Schanzer E, Krishnamurthi S, Fisler K. WeScheme: The browser is your programming environment Iticse'11 - Proceedings of the 16th Annual Conference On Innovation and Technology in Computer Science. 163-167. DOI: 10.1145/1999747.1999795 |
0.529 |
|
2011 |
Marceau G, Fisler K, Krishnamurthi S. Measuring the effectiveness of error messages designed for novice programmers Sigcse'11 - Proceedings of the 42nd Acm Technical Symposium On Computer Science Education. 499-504. DOI: 10.1145/1953163.1953308 |
0.314 |
|
2010 |
Guha A, Krishnamurthi S. Minding the (semantic) gap: Engineering programming language theory Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 155-156. DOI: 10.1145/1882362.1882395 |
0.431 |
|
2010 |
Guha A, Saftoiu C, Krishnamurthi S. The essence of javascript Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6183: 126-150. DOI: 10.1007/978-3-642-14107-2_7 |
0.387 |
|
2009 |
Meyerovich LA, Guha A, Baskin J, Cooper GH, Greenberg M, Bromfield A, Krishnamurthi S. Flapjax: A programming language for Ajax applications Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 1-20. DOI: 10.1145/1640089.1640091 |
0.506 |
|
2009 |
Felleisen M, Findler RB, Flatt M, Krishnamurthi S. A functional I/O system*: Or, fun for freshman kids Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 47-58. DOI: 10.1145/1596550.1596561 |
0.79 |
|
2009 |
Felleisen M, Krishnamurthi S. Viewpoint: Why computer science doesn't matter Communications of the Acm. 52: 37-40. DOI: 10.1145/1538788.1538803 |
0.576 |
|
2009 |
Felleisen M, Findler RB, Flatt M, Krishnamurthi S. A functional I/O system :Or, fun for freshman kids Acm Sigplan Notices. 44: 47-58. |
0.79 |
|
2008 |
Krishnamurthi S. Teaching programming languages in a post-linnaean age Acm Sigplan Notices. 43: 81-83. DOI: 10.1145/1480828.1480846 |
0.551 |
|
2008 |
Allen E, Bodik R, Bruce K, Fisher K, Freund S, Harper R, Krintz C, Krishnamurthi S, Larus J, Lea D, Leavens G, Pollock L, Reges S, Rinard M, Sheldon M, et al. SIGPLAN programming language curriculum workshop Acm Sigplan Notices. 43: 6-29. DOI: 10.1145/1480828.1480831 |
0.607 |
|
2008 |
Fisler K, Krishnamurthi S. Decomposing verification around end-user features Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4171: 74-81. DOI: 10.1007/978-3-540-69149-5_10 |
0.459 |
|
2007 |
Guha A, Matthews J, Findler RB, Krishnamurthi S. Relationally-parametric polymorphic contracts Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 29-40. DOI: 10.1145/1297081.1297089 |
0.621 |
|
2007 |
Burchett K, Cooper GH, Krishnamurthi S. Lowering: A static optimization technique for transparent functional reactivity Proceedings of the Acm Sigplan Symposium On Partial Evaluation and Semantics-Based Program Manipulation. 71-80. DOI: 10.1145/1244381.1244393 |
0.405 |
|
2007 |
McCarthy JA, Krishnamurthi S, Guttman JD, Ramsdell JD. Compiling cryptographic protocols for deployment on the web 16th International World Wide Web Conference, Www2007. 687-696. DOI: 10.1145/1242572.1242665 |
0.429 |
|
2007 |
Krishnamurthi S, Fisler K. Foundations of incremental aspect model-checking Acm Transactions On Software Engineering and Methodology. 16. DOI: 10.1145/1217295.1217296 |
0.514 |
|
2007 |
Krishnamurthi S, Hopkins PW, McCarthy J, Graunke PT, Pettyjohn G, Felleisen M. Implementation and use of the PLT scheme Web server Higher-Order and Symbolic Computation. 20: 431-460. DOI: 10.1007/s10990-007-9008-y |
0.634 |
|
2007 |
Dougherty DJ, Fisler K, Krishnamurthi S. Obligations and their interaction with programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4734: 375-389. |
0.356 |
|
2006 |
Krishnamurthi S. Automata via macros Journal of Functional Programming. 16: 253-267. DOI: 10.1017/S0956796805005733 |
0.424 |
|
2006 |
Dutchyn C, Tucker DB, Krishnamurthi S. Semantics and scoping of aspects in higher-order languages Science of Computer Programming. 63: 207-239. DOI: 10.1016/J.Scico.2006.01.003 |
0.45 |
|
2006 |
Krishnamurthi S. Web Verification: Perspective and Challenges Electronic Notes in Theoretical Computer Science. 157: 41-46. DOI: 10.1016/J.Entcs.2005.12.044 |
0.45 |
|
2006 |
Krishnamurthi S, Findler RB, Graunke P, Felleisen M. Modeling web interactions and errors Interactive Computation: the New Paradigm. 255-275. DOI: 10.1007/3-540-34874-3_11 |
0.752 |
|
2006 |
Ignatoff D, Cooper GH, Krishnamurthi S. Crossing state lines: Adapting object-oriented frameworks to functional reactive languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3945: 259-276. DOI: 10.1007/11737414_18 |
0.369 |
|
2006 |
Cooper GH, Krishnamurthi S. Embedding dynamic dataflow in a call-by-value language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3924: 294-308. DOI: 10.1007/11693024_20 |
0.538 |
|
2005 |
Pettyjohn G, Clements J, Marshall J, Krishnamurthi S, Felleisen M. Continuations from generalized stack inspection Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 216-227. DOI: 10.1145/1086365.1086393 |
0.647 |
|
2005 |
Li HC, Krishnamurthi S, Fisler K. Modular verification of open features using three-valued model checking Automated Software Engineering. 12: 349-382. DOI: 10.1007/s10515-005-2643-9 |
0.398 |
|
2004 |
Marceau G, Cooper GH, Krishnamurthi S, Reiss SP. A dataflow language for scriptable debugging Proceedings - 19th International Conference On Automated Software Engineering, Ase 2004. 218-227. DOI: 10.1109/ASE.2004.1342739 |
0.47 |
|
2004 |
Licata DR, Krishnamurthi S. Verifying interactive web programs Proceedings - 19th International Conference On Automated Software Engineering, Ase 2004. 164-173. DOI: 10.1109/ASE.2004.1342734 |
0.418 |
|
2004 |
Felleisen M, Findler RB, Flatt M, Krishnamurthi S. The TeachScheme! Project: Computing and Programming for Every Student Computer Science Education. 14: 55-77. DOI: 10.1076/Csed.14.1.55.23499 |
0.787 |
|
2004 |
Matthews J, Findler RB, Graunke P, Krishnamurthi S, Felleisen M. Automatically restructuring programs for the Web Automated Software Engineering. 11: 337-364. DOI: 10.1023/B:AUSE.0000038936.09009.69 |
0.814 |
|
2004 |
Felleisen M, Findler RB, Flatt M, Krishnamurthi S. The structure and interpretation of the computer science curriculum Journal of Functional Programming. 14: 365-378. DOI: 10.1017/S0956796804005076 |
0.812 |
|
2004 |
Antoniu T, Steckler PA, Krishnamurthi S, Neuwirth E, Felleisen M. Validating the unit correctness of spreadsheet programs Proceedings - International Conference On Software Engineering. 26: 439-448. |
0.588 |
|
2004 |
Krishnamurthi S, Fisler K, Greenberg M. Verifying aspect advice modularly Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 137-146. |
0.413 |
|
2004 |
Clements J, Felleisen M, Findler RB, Flatt M, Krishnamurthi S. Fostering Little Languages Dr. Dobb's Journal. 29: 16-24. |
0.747 |
|
2004 |
Felleisen M, Findler RB, Flatt M, Krishnamurthi S. Building Little Languages With Macros Dr. Dobb's Journal. 29: 45-49. |
0.732 |
|
2003 |
Tucker DB, Krishnamurthi S. Pointcuts and Advice in Higher-Order Languages 2nd International Conference On Aspect-Oriented Software Development. 158-167. |
0.341 |
|
2003 |
Krishnamurthi S. The CONTINUE server (or, how i administered PADL 2002 and 2003) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2562: 2-16. |
0.409 |
|
2002 |
Findler RB, Clements J, Flanagan C, Flatt M, Krishnamurthi S, Steckler P, Felleisen M. Drscheme: A programming environment for scheme Journal of Functional Programming. 12: 159-182. DOI: 10.1017/S0956796801004208 |
0.818 |
|
2002 |
Graunke PT, Krishnamurthi S. Advanced control flows for flexible graphical user interfaces Proceedings - International Conference On Software Engineering. 277-287. |
0.45 |
|
2002 |
McGuire M, Krishnamurthi S, Hughes JF. Programming languages for compressing graphics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2305: 68-82. |
0.402 |
|
2001 |
Graunke P, Krishnamurthi S, Van Der Hoeven S, Felleisen M. Programming the web with high-level programming languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2028: 122-136. |
0.703 |
|
2000 |
Krishnamurthi S, Gray KE, Graunke PT. Transformation-by-example for xml Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1753: 249-262. DOI: 10.1007/3-540-46584-7_17 |
0.393 |
|
2000 |
Krishnamurthi S, Felleisen M, Duba BF. From macros to reusable generative programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1799: 105-120. DOI: 10.1007/3-540-40048-6_9 |
0.738 |
|
1999 |
Krishnamurthi S, Erlich YD, Felleisen M. Expressing structural properties as language constructs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1576: 258-272. DOI: 10.1007/3-540-49099-X_17 |
0.738 |
|
1999 |
Flatt M, Findler RB, Krishnamurthi S, Felleisen M. Programming languages as operating systems (or revenge of the son of the lisp machine) Sigplan Notices (Acm Special Interest Group On Programming Languages). 34: 138-146. |
0.808 |
|
1998 |
Felleisen M, Findler RB, Flatt M, Krishnamurthi S. The DrScheme Project: An Overview Sigplan Notices (Acm Special Interest Group On Programming Languages). 33: 17-23. DOI: 10.1145/284563.284566 |
0.8 |
|
1998 |
Krishnamurthi S, Felleisen M, Friedman DP. Synthesizing object-oriented and functional design to promote re-use Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1445: 91-113. DOI: 10.1007/BFb0054088 |
0.683 |
|
1997 |
Findler RB, Flanagan C, Flatt M, Krishnamurthi S, Felleisen M. Drscheme: A pedagogic programming environment for scheme Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1292: 369-388. |
0.823 |
|
1996 |
Flanagan C, Flatt M, Krishnamurthi S, Weirich S, Felleisen M. Catching bugs in the web of program invariants Sigplan Notices (Acm Special Interest Group On Programming Languages). 31: 23-32. |
0.725 |
|
Show low-probability matches. |