Jan Vitek
Brookline, Massachusetts, United States
2K followers
500+ connections
Activity
-
A blast from the past! A nice tradition at Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI) is that the staff asks participants to sign their…
A blast from the past! A nice tradition at Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI) is that the staff asks participants to sign their…
Liked by Jan Vitek
-
A follow-up to "Treat Agent Output Like Compiler Output", published in March. That essay argued that the right response to AI-generated code isn't…
A follow-up to "Treat Agent Output Like Compiler Output", published in March. That essay argued that the right response to AI-generated code isn't…
Liked by Jan Vitek
Experience
Education
Publications
-
Crack detection technique for operating wind turbine blades using Vibro-Acoustic Modulation
Structural Health Monitoring
This article presents a new technique for identifying cracks in wind turbine blades undergoing operational loads using the Vibro-Acoustic Modulation technique. Vibro-Acoustic Modulation utilizes a low-frequency pumping excitation signal in conjunction with a high-frequency probing excitation signal to create the modulation that is used to identify cracks. Wind turbines provide the ideal conditions in which Vibro-Acoustic Modulation can be utilized because wind turbines experience large…
This article presents a new technique for identifying cracks in wind turbine blades undergoing operational loads using the Vibro-Acoustic Modulation technique. Vibro-Acoustic Modulation utilizes a low-frequency pumping excitation signal in conjunction with a high-frequency probing excitation signal to create the modulation that is used to identify cracks. Wind turbines provide the ideal conditions in which Vibro-Acoustic Modulation can be utilized because wind turbines experience large low-frequency structural vibrations during operation which can serve as the low-frequency pumping excitation signal. In this article, the theory for the vibro-acoustic technique is described, and the proposed crack detection technique is demonstrated with Vibro-Acoustic Modulation experiments performed on a small Whisper 100 wind turbine in operation. The experimental results are also compared with two other conventional vibro-acoustic techniques in order to validate the new technique. Finally, a computational study is demonstrated for choosing a proper probing signal with a finite element model of the cracked blade to maximize the sensitivity of the technique for detecting cracks.
Other authorsSee publication -
Evaluating the Design of the R Language
ECOOP '12
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably never have been prepared by computer scientists, yet the language has become surprisingly popular. With millions of lines of R code available in repositories, we have an opportunity to evaluate the fundamental
choices underlying the R language design. Using a combination of static and dynamic program analysis we…R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably never have been prepared by computer scientists, yet the language has become surprisingly popular. With millions of lines of R code available in repositories, we have an opportunity to evaluate the fundamental
choices underlying the R language design. Using a combination of static and dynamic program analysis we assess the success of different language features.
Other authorsSee publication -
Thorn—Robust, Concurrent, Extensible Scripting on the JVM
OOPSLA 2009
Scripting languages enjoy great popularity due to their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powerful aggregate data types, and allow execution of the completed parts of incomplete programs. The price of these features comes later in the software life cycle. Scripts are hard to evolve and compose, and often slow. An additional weakness of most scripting languages is lack of support for concurrency - though…
Scripting languages enjoy great popularity due to their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powerful aggregate data types, and allow execution of the completed parts of incomplete programs. The price of these features comes later in the software life cycle. Scripts are hard to evolve and compose, and often slow. An additional weakness of most scripting languages is lack of support for concurrency - though concurrency is required for scalability and interacting with remote services. This paper reports on the design and implementation of Thorn, a novel programming language targeting the JVM. Our principal contributions are a careful selection of features that support the evolution of scripts into industrial grade programs - e.g., an expressive module system, an optional type annotation facility for declarations, and support for concurrency based on message passing between lightweight, isolated processes. On the implementation side, Thorn has been designed to accommodate the evolution of the language itself through a compiler plugin mechanism and target the Java virtual machine.
Other authorsSee publication
Languages
-
English
Native or bilingual proficiency
-
French
Native or bilingual proficiency
-
German
Limited working proficiency
-
Czech
Professional working proficiency
More activity by Jan
-
Google Summer of Code for ScummVM was (and still is) one of the hardest projects I’ve worked on, but it was also my first contact with real…
Google Summer of Code for ScummVM was (and still is) one of the hardest projects I’ve worked on, but it was also my first contact with real…
Liked by Jan Vitek
-
Today's our 40th anniversary celebration at National Center for Supercomputing Applications (https://lnkd.in/dk-BeHjA) NCSA was founded in 1986, and…
Today's our 40th anniversary celebration at National Center for Supercomputing Applications (https://lnkd.in/dk-BeHjA) NCSA was founded in 1986, and…
Liked by Jan Vitek
-
An implementation of Erik Meijer's paper Guardians of the Agents (CACM, January 2026). The paper's thesis: the root cause of prompt injection in…
An implementation of Erik Meijer's paper Guardians of the Agents (CACM, January 2026). The paper's thesis: the root cause of prompt injection in…
Liked by Jan Vitek
-
Happy to announce that I've received the NSF CAREER award for my project Foundations and Verification of Parsers and Type Checkers! Our approach is…
Happy to announce that I've received the NSF CAREER award for my project Foundations and Verification of Parsers and Type Checkers! Our approach is…
Liked by Jan Vitek
-
The future of data and AI is being shaped right now—and leadership matters more than ever. As governments and regulated industries accelerate AI…
The future of data and AI is being shaped right now—and leadership matters more than ever. As governments and regulated industries accelerate AI…
Liked by Jan Vitek
-
Funding agencies are in trouble …. AI has deeply disrupted their world.
Funding agencies are in trouble …. AI has deeply disrupted their world.
Liked by Jan Vitek
-
When are we going to have agents running our business? We now have coding agents that produce code, co-work agents that produce documents and…
When are we going to have agents running our business? We now have coding agents that produce code, co-work agents that produce documents and…
Liked by Jan Vitek
-
Montoux was a super cool functional programming language startup in Wellington, NZ. What Fidelity Information Services (FIS) did to destroy it is…
Montoux was a super cool functional programming language startup in Wellington, NZ. What Fidelity Information Services (FIS) did to destroy it is…
Liked by Jan Vitek
-
SkipLabs founder Julien Verlaguet says most AI guardrail claims are just better prompting. He's building the infrastructure layer to prove the…
SkipLabs founder Julien Verlaguet says most AI guardrail claims are just better prompting. He's building the infrastructure layer to prove the…
Liked by Jan Vitek
Other similar profiles
Explore top content on LinkedIn
Find curated posts and insights for relevant topics all in one place.
View top content