Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShriram Krishnamurthi
Person information
- affiliation: Brown University, Computer Science Department, Providence, RI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j34]Kuang-Chen Lu
, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi:
Gradual Soundness: Lessons from Static Python. Art Sci. Eng. Program. 7(1): 2 (2023)- [j33]Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Little Tricky Logic: Misconceptions in the Understanding of LTL. Art Sci. Eng. Program. 7(2) (2023) - 2022
- [j32]Jeremy Gibbons, Shriram Krishnamurthi:
Editorial. J. Funct. Program. 32: e1 (2022) - [j31]Elijah Rivera, Shriram Krishnamurthi:
Structural versus pipeline composition of higher-order functions (experience report). Proc. ACM Program. Lang. 6(ICFP): 343-356 (2022) - [j30]Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi:
Applying cognitive principles to model-finding output: the positive value of negative information. Proc. ACM Program. Lang. 6(OOPSLA1): 1-29 (2022) - [j29]Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi:
Types for Tables: A Language Design Benchmark. Art Sci. Eng. Program. 6(2): 8 (2022) - [j28]Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi:
Automated, Targeted Testing of Property-Based Testing Predicates. Art Sci. Eng. Program. 6(2): 10 (2022) - [c146]Elijah Rivera, Shriram Krishnamurthi, Robert L. Goldstone:
Plan Composition Using Higher-Order Functions. ICER (1) 2022: 84-104 - [c145]John Clements, Shriram Krishnamurthi:
Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up. ICER (1) 2022: 206-222 - [c144]Shriram Krishnamurthi, Anika Bahl, Benjamin Lee, Steven Sloman:
Problematic and Persistent Post-Secondary Program Performance Preconceptions. Koli Calling 2022: 1:1-1:6 - [c143]Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi:
Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. Koli Calling 2022: 2:1-2:7 - [c142]Emmanuel Schanzer, Nancy Pfenning, Flannery Denny, Sam Dooman, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Shriram Krishnamurthi:
Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum. SIGCSE (1) 2022: 22-28 - [i21]Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi:
Gradual Soundness: Lessons from Static Python. CoRR abs/2206.13831 (2022) - [i20]Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Little Tricky Logic: Misconceptions in the Understanding of LTL. CoRR abs/2211.01677 (2022) - [i19]Neil Brown, Mark J. Guzdial, Shriram Krishnamurthi, Jens Mönig:
Educational Programming Languages and Systems (Dagstuhl Seminar 22302). Dagstuhl Reports 12(7): 205-236 (2022) - 2021
- [j27]Shriram Krishnamurthi:
What is an education paper? J. Funct. Program. 31: e16 (2021) - [j26]John Wrenn, Tim Nelson, Shriram Krishnamurthi:
Using Relational Problems to Teach Property-Based Testing. Art Sci. Eng. Program. 5(2): 9 (2021) - [c141]Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi:
Prototyping Formal Methods Tools: A Protocol Analysis Case Study. Protocols, Strands, and Logic 2021: 394-413 - [c140]Mary Rose Martinez, Shriram Krishnamurthi:
Vision: Computing and Authentication Practicesin Global Oil and Gas Fields. EuroUSEC 2021: 118-123 - [c139]Nick Young, Shriram Krishnamurthi:
Early Post-Secondary Student Performance of Adversarial Thinking. ICER 2021: 213-224 - [c138]Shriram Krishnamurthi, Kathi Fisler:
Developing Behavioral Concepts of Higher-Order Functions. ICER 2021: 306-318 - [c137]Jack Wrenn, Shriram Krishnamurthi:
Reading Between the Lines: Student Help-Seeking for (Un)Specified Behaviors. Koli Calling 2021: 14:1-14:6 - [c136]Kathi Fisler, Emmanuel Schanzer, Steve Weimar, Annie Fetter, K. Ann Renninger, Shriram Krishnamurthi, Joe Gibbs Politz, Benjamin S. Lerner, Jennifer Poole, Christine Koerner:
Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics. SIGCSE 2021: 59-65 - [i18]Mary Rose Martinez, Shriram Krishnamurthi:
Computing and Authentication Practices in Global Oil and Gas Fields. CoRR abs/2108.02660 (2021) - [i17]Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi:
Types for Tables: A Language Design Benchmark. CoRR abs/2111.10412 (2021) - [i16]Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi:
Automated, Targeted Testing of Property-Based Testing Predicates. CoRR abs/2111.10414 (2021) - 2020
- [j25]Shriram Krishnamurthi, Kathi Fisler:
Data-centricity: a challenge and opportunity for computing education. Commun. ACM 63(8): 24-26 (2020) - [c135]Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson:
Solver-Aided Multi-Party Configuration. HotNets 2020: 103-109 - [c134]Xingjian Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi:
Using Design Alternatives to Learn About Data Organizations. ICER 2020: 248-258 - [c133]Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi:
Adapting Student IDEs for Blind Programmers. Koli Calling 2020: 23:1-23:5 - [c132]John Wrenn, Shriram Krishnamurthi:
Will Students Write Tests Early Without Coercion?✱. Koli Calling 2020: 27:1-27:5 - [i15]Shriram Krishnamurthi, Emmanuel Schanzer, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Sam Dooman:
Data Science as a Route to AI for Middle- and High-School Students. CoRR abs/2005.01794 (2020) - [i14]John Wrenn, Tim Nelson, Shriram Krishnamurthi:
Using Relational Problems to Teach Property-Based Testing. CoRR abs/2010.16305 (2020)
2010 – 2019
- 2019
- [j24]Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler:
What does it mean for a computing curriculum to succeed? Commun. ACM 62(5): 30-32 (2019) - [j23]Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi:
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. Art Sci. Eng. Program. 3(3): 11 (2019) - [c131]Shriram Krishnamurthi, Tim Nelson:
The Human in Formal Methods. FM 2019: 3-10 - [c130]Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler:
What Help Do Students Seek in TA Office Hours? ICER 2019: 41-49 - [c129]John Wrenn, Shriram Krishnamurthi:
Executable Examples for Programming Problem Comprehension. ICER 2019: 131-139 - [c128]Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi:
Synthesizing Mutable Configurations: Setting up Systems for Success. ASE Workshops 2019: 81-85 - [c127]Sam Saarinen, Shriram Krishnamurthi, Kathi Fisler, Preston Tunnell Wilson:
Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning for Assessment Instrument Generation. SIGCSE 2019: 606-612 - [c126]Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi:
Accessible AST-Based Programming for Visually-Impaired Programmers. SIGCSE 2019: 773-779 - [c125]Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi:
From Macros to DSLs: The Evolution of Racket. SNAPL 2019: 5:1-5:19 - [c124]Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty:
The Next 700 Semantics: A Research Challenge. SNAPL 2019: 9:1-9:14 - [e8]Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. LIPIcs 136, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-113-9 [contents] - [i13]Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi:
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. CoRR abs/1902.00735 (2019) - [i12]Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, Jan Vahrenhold:
Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281). Dagstuhl Reports 9(7): 1-23 (2019) - 2018
- [j22]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt:
A programmable programming language. Commun. ACM 61(3): 62-71 (2018) - [c123]Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi:
The behavior of gradual types: a user study. DLS 2018: 1-12 - [c122]Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi:
CompoSAT: Specification-Guided Coverage for Model Finding. FM 2018: 568-587 - [c121]John Wrenn, Shriram Krishnamurthi, Kathi Fisler:
Who Tests the Testers? ICER 2018: 51-59 - [c120]Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha:
Putting in all the stops: execution control for JavaScript. PLDI 2018: 30-45 - [c119]Justin Pombrio, Shriram Krishnamurthi:
Inferring type rules for syntactic sugar. PLDI 2018: 812-825 - [c118]Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi:
Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems. SIGCSE 2018: 8-13 - [c117]Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler:
Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra. SIGCSE 2018: 161-166 - [c116]Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi:
Evaluating the Tracing of Recursion in the Substitution Notional Machine. SIGCSE 2018: 1023-1028 - [c115]Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner:
From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). SIGCSE 2018: 1058 - [i11]Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha:
Putting in All the Stops: Execution Control for JavaScript. CoRR abs/1802.02974 (2018) - 2017
- [j21]Justin Pombrio, Shriram Krishnamurthi, Mitchell Wand:
Inferring scope through syntactic sugar. Proc. ACM Program. Lang. 1(ICFP): 44:1-44:28 (2017) - [c114]Francisco Enrique Vicente Castro, Shriram Krishnamurthi, Kathi Fisler:
The impact of a single lecture on program plans in first-year CS. Koli Calling 2017: 118-122 - [c113]Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi:
Can we crowdsource language design? Onward! 2017: 1-17 - [c112]John Wrenn, Shriram Krishnamurthi:
Error messages are classifiers: a process to design and evaluate error messages. Onward! 2017: 134-147 - [c111]Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty:
User Studies of Principled Model Finder Output. SEFM 2017: 168-184 - [c110]Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson:
Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates. SIGCSE 2017: 213-218 - [c109]Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi:
The power of "why" and "why not": enriching scenario exploration with provenance. ESEC/SIGSOFT FSE 2017: 106-116 - [c108]Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler:
Teaching Programming Languages by Experimental and Adversarial Thinking. SNAPL 2017: 13:1-13:9 - [e7]Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA. LIPIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-032-3 [contents] - 2016
- [c107]Hannah Quay-de la Vallee, Paige Selby, Shriram Krishnamurthi:
On a (Per)Mission: Building Privacy Into the App Marketplace. SPSM@CCS 2016: 63-72 - [c106]Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi:
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion. HotNets 2016: 99-105 - [c105]Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund:
Modernizing Plan-Composition Studies. SIGCSE 2016: 211-216 - [c104]Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi:
The Sweep: Essential Examples for In-Flow Peer Review. SIGCSE 2016: 243-248 - [e6]Shriram Krishnamurthi, Benjamin S. Lerner:
30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. LIPIcs 56, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-014-9 [contents] - [i10]Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi:
Compiling Stateful Network Properties for Runtime Verification. CoRR abs/1607.03385 (2016) - [i9]Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi:
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). Dagstuhl Reports 6(10): 1-12 (2016) - 2015
- [j20]Shriram Krishnamurthi, Jan Vitek:
The real software crisis: repeatability as a core value. Commun. ACM 58(3): 34-36 (2015) - [c103]Shriram Krishnamurthi:
Tierless Programming and Reasoning for Networks. PLAS@ECOOP 2015: 42 - [c102]Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi:
Static Differential Program Analysis for Software-Defined Networks. FM 2015: 395-413 - [c101]Justin Pombrio, Shriram Krishnamurthi:
Hygienic resugaring of compositional desugaring. ICFP 2015: 75-87 - [c100]Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos:
Detecting latent cross-platform API violations. ISSRE 2015: 484-495 - [c99]Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi:
Slimming languages by reducing sugar: a case for semantics-altering transformations. Onward! 2015: 90-106 - [c98]Shriram Krishnamurthi:
Desugaring in Practice: Opportunities and Challenges. PEPM 2015: 1-2 - [c97]Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen:
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. SIGCSE 2015: 616-621 - [c96]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt:
The Racket Manifesto. SNAPL 2015: 113-128 - [c95]Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, Shriram Krishnamurthi:
Exodus: toward automatic migration of enterprise network configurations to SDNs. SOSR 2015: 13:1-13:7 - [c94]Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, Shriram Krishnamurthi:
Simon: scriptable interactive monitoring for SDNs. SOSR 2015: 19:1-19:7 - [e5]Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett:
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA. LIPIcs 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-80-4 [contents] - [i8]Shriram Krishnamurthi:
The story of Arjun Guha, or: the arc of a research project. PLMW@POPL 2015: 7:1 - [i7]Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi:
ADsafety: Type-Based Verification of JavaScript Sandboxing. CoRR abs/1506.07813 (2015) - [i6]Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi:
The Essence of JavaScript. CoRR abs/1510.00925 (2015) - [i5]Amy J. Ko, Shriram Krishnamurthi, Gail C. Murphy, Janet Siegmund:
Human-Centric Development of Software Tools (Dagstuhl Seminar 15222). Dagstuhl Reports 5(5): 115-132 (2015) - [i4]Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, Andreas Zeller:
Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452). Dagstuhl Reports 5(11): 29-35 (2015) - 2014
- [j19]Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi:
Typed-based verification of Web sandboxes. J. Comput. Secur. 22(4): 511-565 (2014) - [c93]Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler:
In-flow peer-review of tests in test-first programming. ICER 2014: 11-18 - [c92]Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad:
In-Flow Peer Review. ITiCSE-WGR 2014: 59-79 - [c91]Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler:
CaptainTeach: multi-stage, in-flow peer review for programming assignments. ITiCSE 2014: 267-272 - [c90]Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler:
CaptainTeach: a platform for in-flow peer review of programming assignments. ITiCSE 2014: 332 - [c89]Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi:
Tierless Programming and Reasoning for Software-Defined Networks. NSDI 2014: 519-531 - [c88]Justin Pombrio, Shriram Krishnamurthi:
Resugaring: lifting evaluation sequences through syntactic sugar. PLDI 2014: 361-371 - [e4]Andrew P. Black, Shriram Krishnamurthi, Bernd Bruegge, Joseph N. Ruskiewicz:
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. ACM 2014, ISBN 978-1-4503-3210-1 [contents] - [i3]Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann:
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). Dagstuhl Reports 4(6): 84-107 (2014) - 2013
- [j18]Shriram Krishnamurthi:
Artifact evaluation for software conferences. ACM SIGPLAN Notices 48(4S): 17-21 (2013) - [j17]Shriram Krishnamurthi:
Artifact evaluation for software conferences. ACM SIGSOFT Softw. Eng. Notes 38(3): 7-10 (2013) - [c87]Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi:
TeJaS: retrofitting type systems for JavaScript. DLS 2013: 1-16 - [c86]Danny Yoo, Shriram Krishnamurthi:
Whalesong: running racket in the browser. DLS 2013: 97-108 - [c85]Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi:
Combining Form and Function: Static Types for JQuery Programs. ECOOP 2013: 79-103 - [c84]Benjamin S. Lerner, Liam Elberty, Neal Poole, Shriram Krishnamurthi:
Verifying Web Browser Extensions' Compliance with Private-Browsing Mode. ESORICS 2013: 57-74 - [c83]Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Aluminum: principled scenario exploration through minimality. ICSE 2013: 232-241 - [c82]Hannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, Shriram Krishnamurthi:
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems. Onward! 2013: 1-16 - [c81]Shriram Krishnamurthi, James Noble, Jan Vitek:
Should software conferences respect software? SPLASH (Companion Volume) 2013: 71-72 - [c80]Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi:
Python: the full monty. OOPSLA 2013: 217-232 - [c79]Shriram Krishnamurthi:
From principles to programming languages (and back). POPL 2013: 233-234 - [c78]Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
A balance of power: expressive, analyzable controller programming. HotSDN 2013: 79-84 - [c77]Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi:
Participatory networking: an API for application control of SDNs. SIGCOMM 2013: 327-338 - [c76]Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler:
Teaching garbage collection without implementing compiler or interpreters. SIGCSE 2013: 385-390 - 2012
- [c75]Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi:
Features and object capabilities: reconciling two visions of modularity. AOSD 2012: 25-34 - [c74]Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Toward a More Complete Alloy. ABZ 2012: 136-149 - [c73]Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi:
A tested semantics for getters, setters, and eval in JavaScript. DLS 2012: 1-16 - [c72]Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi:
Participatory Networking. Hot-ICE 2012 - [c71]