Publications tagged "dyn langs"

Journal, Conference, and Workshop Papers

2016

Just-in-Time Static Type Checking for Dynamic Languages
Brianna M. Ren and Jeffrey S. Foster
In Proceedings of the 2016 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 462–476, Santa Barbara, CA, June 2016.
tags: dyn langs, types
[ bibtex | doi ]

2014

Contracts for Domain-Specific Languages in Ruby
T. Stephen Strickland, Brianna Ren, and Jeffrey S. Foster
In Dynamic Languages Symposium (DLS), Portland, OR, October 2014.
tags: dsl, dyn langs
[ bibtex ]

2013

The Ruby Type Checker
Brianna M. Ren, John Toman, T. Stephen Strickland, and Jeffrey S. Foster
In Object-Oriented Program Languages and Systems (OOPS) Track at ACM Symposium on Applied Computing, pages 1565–1572, Coimbra, Portugal, March 2013.
tags: dyn langs, types
[ bibtex | doi ]

2011

Dynamic Inference of Static Types for Ruby
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, and Michael Hicks
In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 459–472, Austin, TX, USA, January 2011.
tags: analysis, dyn langs, types
[ bibtex | doi ]

Position Paper: Dynamically Inferred Types for Dynamic Languages
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, and Michael Hicks
In 2nd International Workshop on Script to Program Evolution (STOP), Austin, TX, USA, January 2011.
tags: analysis, dyn langs, types
[ bibtex ]

2010

Symbolic Security Analysis of Ruby-on-Rails Web Applications
Avik Chaudhuri and Jeffrey S. Foster
In Proceedings of the 17th ACM Conference on Computer and Communications Security (CCS), pages 585–594, Chicago, IL, USA, October 2010.
tags: analysis, dyn langs, security, symbolic exec
[ bibtex | doi ]

2009

Static Typing for Ruby on Rails
Jong-hoon (David) An, Avik Chaudhuri, and Jeffrey S. Foster
In IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 590–594, Auckland, New Zealand, November 2009. Short paper.
tags: analysis, dyn langs, types
[ bibtex | doi ]

Work In Progress: an Empirical Study of Static Typing in Ruby
Mark T. Daly, Vibha Sazawal, and Jeffrey S. Foster
In Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), Orlando, Florida, October 2009.
tags: dyn langs, types, usability
[ bibtex ]

The Ruby Intermediate Langauge
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, and Michael Hicks
In Dynamic Languages Symposium (DLS), pages 89–98, Orlando, Florida, October 2009.
tags: analysis, dyn langs
[ bibtex | doi ]

Directing JavaScript with Arrows
Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, and Vibha Sazawal
In Dynamic Languages Symposium (DLS), pages 49–58, Orlando, Florida, October 2009.
tags: dyn langs
[ bibtex | doi ]

Profile-Guided Static Typing for Dynamic Scripting Languages
Michael Furr, Jong-hoon (David) An, and Jeffrey S. Foster
In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 283–300, Orlando, Floria, October 2009. Best student paper award.
tags: analysis, dyn langs, types
[ bibtex | doi ]

Tests to the Left of Me, Types to the Right: How Not to Get Stuck in the Middle of a Ruby Execution (A Demo of Diamondback Ruby)
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, and Michael Hicks
In 1st International Workshop on Script to Program Evolution (STOP), Genova, Italy, July 2009.
tags: analysis, dyn langs, types
[ bibtex ]

Static Type Inference for Ruby
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, and Michael Hicks
In Object-Oriented Program Languages and Systems (OOPS) Track at ACM Symposium on Applied Computing (SAC), pages 1859–1866, Honolulu, Hawaii, March 2009.
tags: analysis, dyn langs, types
[ bibtex | doi ]

Technical Reports

Just-in-Time Static Type Checking for Dynamic Languages
Brianna M. Ren and Jeffrey S. Foster
Technical Report arXiv:1604.03641, CoRR, April 2016.
tags: dyn langs, types
[ bibtex ]

Dynamic Inference of Static Types for Ruby
Jong-hoon (Daivd) An, Avik Chaudhuri, Jeffrey S. Foster, and Michael Hicks
Technical Report CS-TR-4965, Department of Computer Science, University of Maryland, College Park, July 2010.
tags: analysis, dyn langs, types
[ bibtex | doi ]

Static Typing for Ruby on Rails
Jong-hoon (David) An, Avik Chaudhuri, and Jeffrey S. Foster
Technical Report CS-TR-4950, Department of Computer Science, University of Maryland, College Park, January 2010.
tags: analysis, dyn langs, types
[ bibtex | doi ]

Profile-Guided Static Typing for Dynamic Scripting Languages
Michael Furr, Jong-hoon (David) An, and Jeffrey S. Foster
Technical Report CS-TR-4935, Computer Science Department, University of Maryland, College Park, April 2009.
tags: analysis, dyn langs, types
[ bibtex | doi ]

Directing JavaScript with Arrows (Functional Pearl)
Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, and Vibha Sazawal
Technical Report CS-TR-4923, Computer Science Department, University of Maryland, College Park, August 2008.
tags: dyn langs
[ bibtex | doi ]