|
back to main page
|
|
Dimitris Vardoulakis:
College of Computer and Information Science
Northeastern University
360 Huntington Ave, WVH
Boston, MA 02115
Office: 308 WVH
(define Email '(dimvar @ ccs . (neu . edu)))
|
Some Info/Academic Background:
I'm a third-year PhD student at CCIS, with a focus on
Programming Languages.
My advisor is Olin Shivers.
We are working on various static analyses for functional languages, aiming to:
-
determine when it is safe to allocate the environment of a closure on the stack
-
allow lightweight continuations, that don't require copying the stack
-
find data dependencies and extract parallelism out of sequential programs
Previously, I did work with Mitchell Wand
on Orc, a concurrent language for web-service orchestration.
I got my MSc in Computer Science in May 2007.
I received my diploma of Electrical and Computer Engineering from the
National Technical University of Athens in 2005.
My advisor there was Nikos Papaspyrou,
and my
diploma thesis
(for those of you who can read Greek) was "Security Issues in Programming Languages:
the Industry and the Academic approach".
|
Research Papers:
-
Ordering Multiple Continuations on the Stack.
Dimitrios Vardoulakis and Olin Shivers.
unpublished.
[pdf]
-
A compositional trace semantics for Orc.
Dimitrios Vardoulakis and Mitchell Wand.
COORDINATION 2008.
[pdf]
[slides]
[bib]
-
A compositional trace semantics for Orc (short version).
Dimitrios Vardoulakis and Mitchell Wand.
1st Informal Workshop on Formal Models and Notations for
Business Process Execution, SOC and CSCW (BPESO/CSCW),
IT University of Copenhagen,
Denmark,
2007.
[pdf]
[slides]
[bib]
|
NEU stuff:
Courses taken:
CSG711:
Principles of Programming Languages
, M.Felleisen
CSG252:
Cryptography and Communication Security
, G.Noubir
CSG712:
Intensive Operating Systems
, G.Cooperman
CSG254:
Network Security
, G.Noubir
CSG713:
Advanced Algorithms
, J.Aslam
CSG264:
Semantics of Programming Languages
, M.Wand
CSG714:
Theory of Computation
, R.Pucella
CSG272:
Analysis of Software Artifacts, O. Shivers
Courses attended (not enrolled):
CSG399:
Reasoning about Security
, R.Pucella
CSG379:
Decision Procedures for Verification
, P.Manolios
Courses TAed:
CSU211(Fall '05):
Introduction to Programming and Computing
, M.Felleisen and V.Proulx
CSU213(Spring '06):
Fundamentals of Computer Science 2
, V.Proulx and E.Barzilay
CSU213(Fall '06):
Fundamentals of Computer Science 2
, V.Proulx
CSU213(Spring '07):
Fundamentals of Computer Science 2
, V.Proulx and P.Douglass
CSU213(Fall '07):
Fundamentals of Computer Science 2
, V.Proulx
CSU390(Fall '07):
Theory of Computation
, V.Proulx
CSU290(Spring '08):
Logic and Computation
, P.Manolios
|