[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - SWINLi, Jun; Wang, Chenglong; Xiong, Yingfei; Hu, Zhenjiang · 2015

[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Linearly Ordered Attribute Grammarsvan Binsbergen, L. Thomas; Bransen, Jeroen; Dijkstra, Atze · 2015

[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Generalising Tree Traversals to DAGsBahr, Patrick; Axelsson, Emil · 2015

[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Safe Concurrency Introduction through SlicingLi, Huiqing; Thompson, Simon · 2015

[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Constraint Specialisation in Horn Clause VerificationKafle, Bishoksan; Gallagher, John P. · 2015

[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Incremental Evaluation of Higher Order AttributesBransen, Jeroen; Dijkstra, Atze; Swierstra, S. Doaitse · 2015

[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Static Backward Demand-Driven SlicingLisper, Björn; Masud, Abu Naser; Khanfar, Husni · 2015

Web Verification: Perspective and ChallengesShriram Krishnamurthi · 2006

FlapjaxMeyerovich, Leo A.; Guha, Arjun; Baskin, Jacob; Cooper, Gregory H.; Greenberg, Michael; Bromfield, Aleks; Krishnamurthi, Shriram · ACM SIGPLAN Notices · 2009

The real software crisisKrishnamurthi, Shriram; Vitek, Jan · Communications of the ACM · 2015

An introduction to SchemeKrishnamurthi, Shriram · Crossroads · 1994

Artifact evaluation for software conferencesKrishnamurthi, Shriram · ACM SIGPLAN Notices · 2013

ResugaringPombrio, Justin; Krishnamurthi, Shriram · ACM SIGPLAN Notices · 2014

Discussion summaryKrishnamurthi, Shriram; Bultan, Tevfik · ACM SIGSOFT Software Engineering Notes · 2005

Verifying aspect advice modularlyKrishnamurthi, Shriram; Fisler, Kathi; Greenberg, Michael · ACM SIGSOFT Software Engineering Notes · 2004