Publications tagged "types"

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 ]

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

Mixing Type Checking and Symbolic Execution
Yit Phang Khoo, Bor-Yuh Evan Chang, and Jeffrey S. Foster
In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 436–447, Toronto, Canada, June 2010.
tags: analysis, otter, symbolic exec, types
[ 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 ]

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 ]

2008

Formalizing Soundness of Contextual Effects
Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, and Iulian Neamtiu
In 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs), volume 5170 of Lecture Notes in Computer Science, pages 262–277, Montreal, Canada, August 2008. Springer.
tags: analysis, types
[ bibtex | doi ]

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
ACM Transactions on Programming Languages and Systems (TOPLAS), 30(4):1–63, July 2008.
tags: analysis, ffi, types
[ bibtex | doi ]

Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, and Patrick Jenkins
IEEE Transactions on Software Engineering (TSE), 34(3):357–376, May/June 2008.
tags: analysis, modules, types
[ bibtex | doi ]

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 37–49, San Francisco, USA, January 2008.
tags: analysis, dsu, races, types
[ bibtex | doi ]

2007

Type Qualifier Inference for Java
David Greenfieldboyce and Jeffrey S. Foster
In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 321–336, Montreal, Canada, October 2007.
tags: analysis, java, quals, types
[ bibtex | doi ]

Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, and Jeffrey S. Foster
In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), pages 3–14, Nice, France, January 2007.
tags: analysis, modules, types
[ bibtex | doi ]

2006

Flow-Insensitive Type Qualifiers
Jeffrey S. Foster, Robert Johnson, John Kodumal, and Alex Aiken
ACM Transactions of Programming Languages and Systems (TOPLAS), 28(6):1035–1087, November 2006.
tags: analysis, quals, security, types
[ bibtex | doi ]

Existential Label Flow Inference via CFL Reachability
Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks
In The 13th International Static Analysis Symposium (SAS), volume 4134 of Lecture Notes in Computer Science, pages 88–106, Seoul, Korea, August 2006. Springer.
tags: analysis, types
[ bibtex | doi ]

Polymorphic Type Inference for the JNI
Michael Furr and Jeffrey S. Foster
In European Symposium on Programming (ESOP), volume 3924 of Lecture Notes in Computer Science, pages 309–324, Vienna, Austria, March 2006. Springer.
tags: analysis, ffi, types
[ bibtex | doi ]

2005

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 62–72, Chicago, Illinois, USA, June 2005.
tags: analysis, ffi, types
[ bibtex | doi ]

2004

Visualizing Type Qualifier Inference with Eclipse
David Greenfieldboyce and Jeffrey S. Foster
In Workshop on Eclipse Technology eXchange (ETX), pages 57–61, Vancouver, British Columbia, Canada, October 2004.
tags: analysis, quals, types
[ bibtex ]

2002

Type Qualifiers: Lightweight Specifications to Improve Software Quality
Jeffrey Scott Foster
PhD thesis, University of California, Berkeley, December 2002.
tags: analysis, quals, security, types
[ bibtex ]

Flow-Sensitive Type Qualifiers
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken
In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 1–12, Berlin, Germany, June 2002.
tags: analysis, quals, types
[ bibtex | doi ]

2001

Detecting Format String Vulnerabilities with Type Qualifiers
Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, and David Wagner
In Proceedings of the 10th USENIX Security Symposium, pages 201–218, Washington, D.C., August 2001.
tags: analysis, quals, security, types
[ bibtex ]

1999

A Theory of Type Qualifiers
Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken
In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 192–203, Atlanta, Georgia, May 1999.
tags: analysis, quals, types
[ bibtex | doi ]

1998

A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, and Zhendong Su
In Proceedings of the Second International Workshop on Types in Compilation (TIC), volume 1473 of Lecture Notes in Computer Science, pages 78–96, Kyoto, Japan, March 1998. Springer-Verlag.
tags: analysis, 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 ]

Mixing Type Checking and Symbolic Execution (Extended Version)
Yit Phang Khoo, Bor-Yun Evan Chang, and Jeffrey S. Foster
Technical Report CS-TR-4954, Computer Science Department, University of Maryland, College Park, March 2010.
tags: analysis, otter, symbolic exec, 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 ]

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
Technical Report CS-TR-4920, Computer Science Department, University of Maryland, College Park, November 2007.
tags: analysis, dsu, races, types
[ bibtex | doi ]

Appendix to CMod: Modular Information Hiding and Type-Safe Linking for C
Saurabh Srivastava, Michael Hicks, and Jeffrey S. Foster
Technical Report CS-TR-4874, Computer Science Department, University of Maryland, College Park, July 2007.
tags: analysis, modules, types
[ bibtex ]

Defining and Enforcing C's Module System
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, and Bhargab Kanagal
Technical Report CS-TR-4816, Computer Science Department, University of Maryland, College Park, July 2006.
tags: analysis, modules, types
[ bibtex ]

Polymorphic Type Inference for the JNI
Michael Furr and Jeff Foster
Technical Report CS-TR-4759, Computer Science Department, University of Maryland, College Park, November 2005.
tags: analysis, ffi, types
[ bibtex | doi ]

Existential Label Flow Inference via CFL Reachability
Polyvios Pratikakis, Michael Hicks, and Jeffrey S. Foster
Technical Report CS-TR-4700, Computer Science Department, University of Maryland, College Park, November 2005.
tags: analysis, types
[ bibtex | doi ]

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster
Technical Report CS-TR-4627, Computer Science Department, University of Maryland, College Park, November 2004.
tags: analysis, ffi, types
[ bibtex | doi ]

Types for Lexically-Scoped Access Control
Tachio Terauchi, Alex Aiken, and Jeffrey S. Foster
Technical Report CSD-03-1282, Computer Science Division, University of California, Berkeley, October 2003.
tags: security, types
[ bibtex ]

Flow-Sensitive Type Qualifiers
Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken
Technical Report CSD-01-1162, Computer Science Division, University of California, Berkeley, November 2001.
tags: analysis, quals, types
[ bibtex ]

Tracking Down Exceptions in Standard ML Programs
Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, and Jason Cu
Technical Report CSD-98-996, Computer Science Division, University of California, Berkeley, February 1998.
tags: analysis, types
[ bibtex ]