Edwin Rodríguez
Lecturer
Dept. of Computer Science
California Polytechnic State University, Pomona
Linux User # 146036
-----BEGIN GEEK CODE BLOCK-----
Version: 3.1
GCS/E/M/S/P d- s+: a? C++(++++) UL++(+++)
P+++(++++) L+++(++++) E--- W+++ N+(++) !o
K w--- O- !M !V !PS !PE Y+ !PGP t- 5-- X+
R+(++) tv+ b++(++++) DI++ D G++ e+++ h---
r+++ y+++
------END GEEK CODE BLOCK------
|
|
Interests
Research
My general interests usually fall in the theoretical ground:
Artificial Intelligence, Computability Theory, Computational Complexity,
Programming Languages and Software Analysis (Abstraction, Correctness
Verification, etc.). If only I could do all these stuff, I'd be VERY
happy. But I can't. So, my work focuses
mainly in the first and last areas I mentioned:
- Software analysis: My work in this area has centered around the
development of specification languages, and verification of correctness properties on multi-threaded software,
as well as secure information flow.
Teaching
I am currently a lecturer in the Department of Computer Science
at California State Polytechnic University, Pomona. Here's a list of my
current courses:
Fall 2012
Publications
Book Chapters
Conference Proceedings
- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information
Flow Properties of Programs with Arrays, March 2010.
Torben Amtoft, John Hatcliff, Edwin Rodríguez.
In Proceedings of the 19th European Symposium on Programming, 2010 (ESOP 2010).
Technical Report.
pdf
(Last Updated: November 2009).
- Specification and Checking of Software Contracts for Conditional Information Flow, May 2008.
Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greeve.
In Proceedings of the 15th International Symposium on Formal Methods, 2008 (FM 2008).
- Extending JML for Modular Specification and Verification of Multi-Threaded Programs, December 2004.
Edwin Rodríguez, Matthew Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby.
In the Proceedings of 19th European Conference on Object-Oriented Programming (ECOOP 2005).
Technical Report, SAnToS-TR2004-10.
pdf
(Last updated: May 2005).
- Checking JML Specifications Using An Extensible Software Model
Checking Framework, August 2004.
Robby, Edwin Rodríguez, Matthew Dwyer, John Hatcliff.
In the International Journal on Software Tools for Technology Transfer (STTT).
Technical Report, SAnToS-TR2004-7.
(Extended version of TACAS 2004 paper).
pdf
(Last updated: May 2005).
- A Flexible Framework for the Estimation of Coverage Metrics in
Explicit State Software Model Checking, June 2004.
Edwin Rodríguez, Matthew Dwyer, John Hatcliff, Robby.
In the Proceedings of the International Workshop on Construction and Analysis
of Safe, Secure, and Interoperable Smart Devices, 2004 (CASSIS 2004).
Technical Report, SAnToS-TR2004-3.
pdf
(Last updated: June 2004).
BibTeX
- A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in
Genetic Programming, June 2004.
Scott J. Harmon, Edwin Rodríguez, Christopher Zhong, William Hsu.
In Proceedings of the Genetic and Evolutionary Computation Conference, 2004 (GECCO 2004).
- Checking Strong Specifications Using An Extensible Software Model
Checking Framework, April 2004.
Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff.
In the Proceedings of the Tenth International Conference on Tools and
Algorithms for the Construction and Analysis of Systems (TACAS 2004).
Technical Report, SAnToS-TR2003-10.
pdf
(Last updated: February 2004).
BibTeX
Miscellaneous
Cool Quotes by Computer Scientists
- The only way tcsh "rocks" is when the rocks are attached to it's feet in the
deepest part of a very deep lake. - Linus Torvalds
- When you say "I wrote a program that crashed Windows", people just stare at
you blankly and say "Hey, I got those with the system, *for free*". - Linus Torvalds
- Dijkstra probably hates me. - Linus Torvalds
- Many computer scientists have fallen into the trap of trying to define languages like
George Orwell's Newspeak, in which it is impossible to think bad thoughts.
What they end up doing is killing the creativity of programming. - Larry Wall
- I dunno, I dream in Perl sometimes... - Larry Wall
- In general, if you think something isn't in Perl, try it out, because it usually is.
- Larry Wall
- Science is a differential equation. Religion is a boundary condition. - Alan Turing
- There are two ways of constructing a software design;
one way is to make it so simple that there are obviously no deficiencies,
and the other way is to make it so complicated that there are no obvious deficiencies.
The first method is far more difficult. - Charles Anthony Richard Hoare
- ... the psychological profiling [of a programmer] is mostly the ability to shift levels
of abstraction, from low level to high level.
To see something in the small and to see something in the large. - Donald E. Knuth
- Beware of bugs in the above code; I have only proved it correct, not tried it
- Donald E. Knuth
- I mean, if 10 years from now, when you are doing something quick and dirty,
you suddenly visualize that I am looking over your shoulders and say to yourself:
'Dijkstra would not have liked this',
well that would be enough immortality for me. - Edsger Dijkstra
- Computer Science is no more about computers than astronomy is about telescopes.
- Edsger Dijkstra
- Program testing can be used to show the presence of bugs, but never to show their absence!
- Edsger Dijkstra
- It is practically impossible to teach good programming to students that have had a prior exposure to BASIC:
as potential programmers they are mentally mutilated beyond hope of regeneration.
- Edsger Dijkstra
- UNIX is basically a simple operating system, but you have to be a genius to understand the simplicity.
- Dennis Ritchie
- Premature optimization is the root of all evil. - Robert W Floyd (also attributed
Donald E. Knuth and C.A.R. Hoare)
- Often people, especially computer engineers, focus on the machines. They think, "By doing this, the machine will run faster. By doing this, the machine will run more effectively. By doing this, the machine will something something something." They are focusing on machines. But in fact we need to focus on humans, on how humans care about doing programming or operating the application of the machines. We are the masters. They are the slaves.
- Yukihiro "Matz" Matsumoto
Cool Quotes by non Computer Scientists
- Great spirits have always found violent opposition from mediocrities. The latter cannot understand
it when a man does not thoughtlessly submit to hereditary prejudices but honestly and courageously uses his intelligence.
- Albert Einstein
- Genius is one per cent inspiration and ninety-nine per cent perspiration.
- Thomas Alva Edison
- In my heart the only ruler is my conscience.
- Simón Bolivar
- Live as if you were to die tomorrow. Learn as if you were to live forever.
- Mahatma Ghandi
- You should be the change that you want to see in the world.
- Mahatma Ghandi
- I consider western Christianity in its practical working a negation of Christ's Christianity.
- Mahatma Ghandi
- All I know is that I know nothing.
- Socrates
- I never met a man so stupid I could not learn something from him.
- Galileo Galilei
- I do not feel obliged to believe that the same God who has endowed us with sense, reason,
and intellect has intended us to forego their use.
- Galileo Galilei
- Let the one who is free of sin step forward and throw the first stone.
- Jesus of Nazareth
- If you have faith of the size of a mustard seed, you will say to this mountain, 'Move from here to there,'
and it will move; and nothing will be impossible for you.
- Jesus of Nazareth
- Believe nothing, no matter where you read it, or who said it,
no matter if I have said it, unless it agrees with your own reason and your own common sense.
- Siddhartha Gautama
- An idea that is developed and put into action is more important than an idea that exists only as an idea.
- Siddhartha Gautama
- A mathematician is a device for turning coffee into theorems.
- Paul Erdös
Contact Info
If you want to reach me, the best way to do it is through e-mail. My
e-mail ID is earodriguez. Just attach the Cal Poly Pomona's domain after the
'at' symbol.
Edwin
Rodríguez.