David Walker

Proceedings of the Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles. Démonstrations, 2011

A survey of the practice of computational science.

[BibT_eX]

[DOI]

Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Linear maps.

[BibT_eX]

[DOI]

Shuvendu K. Lahiri

Shaz Qadeer

Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

Frenetic: a network programming language.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Forest: a language and toolkit for programming with filestores.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

The PADS project: an overview.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2011

Consistent updates for software-defined networks: change you can believe in!

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

Interaction Mining: the new Frontier of Call Center Analytics.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval, 2011

2010

Incremental learning of system log formats.

[BibT_eX]

[DOI]

Kenny Qili Zhu

ACM SIGOPS Oper. Syst. Rev., 2010

The next 700 data description languages.

[BibT_eX]

[DOI]

Yitzhak Mandelbaum

J. ACM, 2010

Concurrent Separation Logic for Pipelined Parallelization.

[BibT_eX]

[DOI]

Christian J. Bell

Andrew W. Appel

Proceedings of the Static Analysis - 17th International Symposium, 2010

Semantics and algorithms for data-dependent grammars.

[BibT_eX]

[DOI]

Trevor Jim

Yitzhak Mandelbaum

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A context-free markup language for semi-structured text.

[BibT_eX]

[DOI]

Qian Xi

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Faulty Logic: Reasoning about Fault Tolerant Programs.

[BibT_eX]

[DOI]

Matthew L. Meola

Proceedings of the Programming Languages and Systems, 2010

Frenetic: a high-level language for OpenFlow networks.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Programmable Routers for Extensible Services of Tomorrow, 2010

2009

Composing expressive runtime security policies.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2009

Run-Time Enforcement of Nonsafety Policies.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2009

An overview of the Oregon programming languages summer school.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2009

Growth and characterisation of dilute antimonide nitride materials for long-wavelength applications.

[BibT_eX]

[DOI]

Microelectron. J., 2009

Language support for processing distributed ad hoc data.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Ad Hoc Data and the Token Ambiguity Problem.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2009

2008

AspectML: A polymorphic aspect-oriented functional programming language.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Specifying Properties of Concurrent Computations in CLF.

[BibT_eX]

[DOI]

Electron. Notes Theor. Comput. Sci., 2008

LearnPADS: automatic tool generation from ad hoc data.

[BibT_eX]

[DOI]

Kenny Qili Zhu

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Reasoning about Control Flow in the Presence of Transient Faults.

[BibT_eX]

[DOI]

Frances Perry

Proceedings of the Static Analysis, 15th International Symposium, 2008

From dirt to shovels: fully automatic tool generation from ad hoc data.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Public Health Information Fusion for Situation Awareness.

[BibT_eX]

[DOI]

Henry Rolka

Jean C. O'Connor

Proceedings of the Biosurveillance and Biosecurity, International Workshop, 2008

2007

Management Information Base for the Session Initiation Protocol (SIP).

[BibT_eX]

[DOI]

RFC, April, 2007

Dynamic computational workflows: Discovery, optimisation and scheduling.

[BibT_eX]

[DOI]

Ewa Deelman

Sci. Program., 2007

PADS/ML: a functional data description language.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Fault-tolerant typed assembly language.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

A Two-port GFSK Direct Modulator for Wideband Applications at 5.8 GHz.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

2006

A type-theoretic interpretation of pointcuts and advice.

[BibT_eX]

[DOI]

Steve Zdancewic

Sci. Comput. Program., 2006

PADS: an end-to-end system for processing ad hoc data.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Harmless advice.

[BibT_eX]

[DOI]

Daniel S. Dantas

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

LAUNCHPADS: A System for Processing Ad Hoc Data.

[BibT_eX]

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

Towards a quality model for grid portals.

[BibT_eX]

Proceedings of the ICSOFT 2006, 2006

Static typing for a faulty lambda calculus.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Expressing heap-shape contracts in linear logic.

[BibT_eX]

[DOI]

Frances Perry

Proceedings of the Generative Programming and Component Engineering, 2006

ILC: A Foundation for Automated Reasoning About Pointer Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2006

2005

Edit automata: enforcement mechanisms for run-time security policies.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2005

Types and full abstraction for polyadic pi-calculus.

[BibT_eX]

[DOI]

Paola Quaglia

Inf. Comput., 2005

Composing security policies with polymer.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Certifying Compilation for a Language with Stack Allocation.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

PolyAML: a polymorphic aspect-oriented functional programming language.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

Patch (1) Considered Harmful.

[BibT_eX]

[DOI]

Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

Enforcing Non-safety Security Policies with Program Monitors.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2005

2004

Management Information Base for Telephony Routing over IP (TRIP).

[BibT_eX]

[DOI]

David Zinman

Jianping Jiang

RFC, September, 2004

Dynamic Typing with Dependent Types.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Topic 7: Applications on High Performance Computers.

[BibT_eX]

[DOI]

Peter Arbenz

Rolf Hempel

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Modal Proofs as Distributed Programs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2004

2003

A Concurrent Logical Framework: The Propositional Fragment.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

The logical approach to stack typing.

[BibT_eX]

[DOI]

Amal J. Ahmed

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

Reasoning about Hierarchical Storage.

[BibT_eX]

[DOI]

Amal J. Ahmed

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

A theory of aspects.

[BibT_eX]

[DOI]

Steve Zdancewic

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

An effective theory of type refinements.

[BibT_eX]

[DOI]

Yitzhak Mandelbaum

Robert Harper

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Task allocation for wide area search munitions with variable path length.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

2002

Stack-based typed assembly language.

[BibT_eX]

[DOI]

J. Funct. Program., 2002

Types and Effects for Non-interfering Program Monitors.

[BibT_eX]

[DOI]

Jarred Ligatti

Proceedings of the Software Security -- Theories and Systems, 2002

A "Low-Tech" Design Experiment Improving Student Work.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computers in Education, 2002

2001

A Process-Calculus Analysis of Concurrent Operations on B-Trees.

[BibT_eX]

[DOI]

Anna Philippou

J. Comput. Syst. Sci., 2001

On Regions and Linear Types.

[BibT_eX]

[DOI]

Kevin Watkins

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

On Barbed Equivalences in pi-Calculus.

[BibT_eX]

[DOI]

Davide Sangiorgi

Proceedings of the CONCUR 2001, 2001

The Pi-Calculus - a theory of mobile processes.

[BibT_eX]

Davide Sangiorgi

Cambridge University Press, ISBN: 978-0-521-78177-0, 2001

2000

Typed Memory Management.

[BibT_eX]

PhD thesis, 2000

Typed memory management via static capabilities.

[BibT_eX]

[DOI]

Karl Crary

ACM Trans. Program. Lang. Syst., 2000

Alias Types for Recursive Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Types in Compilation, Third International Workshop, 2000

A Type System for Expressive Security Policies.

[BibT_eX]

[DOI]

Proceedings of the POPL 2000, 2000

On Synchronous and Asynchronous Mobile Processes.

[BibT_eX]

[DOI]

Paola Quaglia

Proceedings of the Foundations of Software Science and Computation Structures, 2000

Alias Types.

[BibT_eX]

[DOI]

Frederick Smith

Proceedings of the Programming Languages and Systems, 2000

Concurrent objects as mobile processes.

[BibT_eX]

Xinxin Liu

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

From system F to typed assembly language.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1999

Typed Memory Management in a Calculus of Capabilities.

[BibT_eX]

[DOI]

Karl Crary

Proceedings of the POPL '99, 1999

1998

On Transformations of Concurrent-Object Programs.

[BibT_eX]

[DOI]

Anna Philippou

Theor. Comput. Sci., 1998

Partial Confluence of Proceses and Systems of Objects.

[BibT_eX]

[DOI]

Xinxin Liu

Theor. Comput. Sci., 1998

On Encoding p-pi in m-pi.

[BibT_eX]

[DOI]

Paola Quaglia

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

Theory and Algorithms for Parallel Computation.

[BibT_eX]

[DOI]

Bill McColl

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997

Application of a mixed H2/H∞ approach with a singular H∞constraint.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 1997

Developing new group work practices: An evaluation of the design and use of groupware-based work systems for a graduate student course in Information System.

[BibT_eX]

[DOI]

Proceedings of the Third Pacific Asia Conference on Information Systems, 1997

On Confluence in the pi-Calculus.

[BibT_eX]

[DOI]

Anna Philippou