Verified Software Toolchain Andrew W. Appel Princeton University To appear in ESOP ’11: European Symposium on Programming, MarchAbstract. The software toolchain includes static analyzers to check assertions

Source URL: www.cs.princeton.edu

Appears in Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany, March 2000, Springer-Verlag LNCSType Classes with Functional Dependencies? Mark P. Jones Department of Computer Scie

Source URL: web.cecs.pdx.edu

• Software engineering
• Computer programming
• Computing
• Data types
• Type theory
• Functional programming
• C++
• Type class
• C++ classes
• Monad
• Parameter
• Type system

Vita of Kirk Pruhs Department of Computer Science University of Pittsburgh Pittsburgh, PA8844

Source URL: people.cs.pitt.edu

• Theoretical computer science
• Computer science
• Science
• Academia
• ACM SIGACT
• Symposium on Discrete Algorithms
• ACM Transactions on Algorithms
• Algorithmica
• Symposium on Parallelism in Algorithms and Architectures
• European Symposium on Algorithms
• International Colloquium on Automata
• Languages and Programming
• Computational geometry

Magnús Már Halldórsson ICE-TCS, School of Computer Science Reykjavik University 101 Reykjavik, Iceland

Source URL: www.ru.is

• Computational complexity theory
• NP-complete problems
• Combinatorial optimization
• Theoretical computer science
• Maximum cut
• Approximation algorithm
• International Colloquium on Automata
• Languages and Programming
• Algorithmica
• Halldrsson
• International Symposium on Algorithms and Computation
• European Symposium on Algorithms
• Graph coloring

Ilya Sergey C URRICULUM V ITÆ February 2016

Source URL: ilyasergey.net

• Computing
• Software engineering
• Computer programming
• Functional languages
• Scripting languages
• Symposium on Principles of Programming Languages
• International Conference on Functional Programming
• Object-oriented programming languages
• Programming Language Design and Implementation
• SIGPLAN
• Actor model
• European Symposium on Programming

Sam Tobin-Hochstadt School of Informatics & Computing Indiana University  S. Woodlawn Ave. Bloomington, IN 

Source URL: homes.soic.indiana.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Association for Computing Machinery
• Matthias Felleisen
• International Conference on Functional Programming
• Scheme
• SIGPLAN
• Racket
• European Symposium on Programming
• Symposium on Trends in Functional Programming

Giuseppe F. Italiano Dipartimento di Ingegneria Civile e Ingegneria Informatica +Università di Roma “Tor Vergata” Fax +via del Politecnico 1

Source URL: www.disp.uniroma2.it

• European Symposium on Algorithms
• SWAT and WADS conferences
• International Colloquium on Automata
• Languages and Programming
• Algorithm engineering
• Kurt Mehlhorn
• Algorithm
• Distributed computing
• Susanne Albers
• International Symposium on Graph Drawing
• Theoretical computer science
• Applied mathematics
• Computer science

T P A 2010 L  M B The Presburger Award Committee, consisting of Stefano Leonardi, Andrzej Tarlecki, and

Source URL: www.eatcs.org

• Applied mathematics
• Formal languages
• International Colloquium on Automata
• Languages and Programming
• Presburger Award
• Symposium on Theoretical Aspects of Computer Science
• Alphabet
• European Association for Theoretical Computer Science
• Symposium on Theory of Computing
• Theoretical computer science
• Computer science
• Automata theory

20th European Symposium on Computer Aided Process Engineering – ESCAPE20 S. Pierucci and G. Buzzi Ferraris (Editors) © 2010 Elsevier B.V. All rights reserved. Process simulation as a domain-specific OPC Unified Archit

Source URL: www.libpf.com

• Computing
• OPC Unified Architecture
• OPC Foundation
• Opc server
• OPC Data Access
• OLE for process control
• OPC Xi
• Component Object Model
• Automation
• Technology
• Application programming interfaces